Open Research Index

Optimal embedding dimension in the Nash--Tognoli theorem

Juliusz Banecki

arXivarxiv/2605.22928May 21, 2026math.AGscore 0

We prove that every smooth compact submanifold of $\R^n$ can be approximated up to a small isotopy by the real locus of a nonsingular complex algebraic subset of $\C^n$ defined over $\R$. This settles a version of a conjecture posed in 1952 by Nash. Moreover, we show that if the codimension of the manifold being approximated is at least two, then the approximating real algebraic sets can be chosen to all have the same predetermined biregular isomorphism type.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.22928
curl -X POST /api/v1/records/arxiv/2605.22928/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.22928/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'