A relative Nash-Tognoli theorem over $\mathbb{Q}$ and application to the $\mathbb{Q}$-algebraicity problem

TL;DR

This paper establishes a version of the Nash-Tognoli theorem over the rationals, showing that certain smooth manifolds and submanifolds can be realized as rational algebraic sets with explicit polynomial equations, extending to noncompact cases.

Contribution

It proves a relative Nash-Tognoli theorem over , enabling algebraic modeling of manifolds with rational coefficients and describing algebraic cycles in Grassmannians over .

Findings

Existence of rational algebraic models for smooth manifolds and submanifolds.

Construction of algebraic representatives for homological cycles over .

Extension of the theorem to noncompact and nonsingular algebraic sets.

Abstract

We prove a relative version over $\mathbb{Q}$ of Nash-Tognoli theorem, that is: Let $M$ be a compact smooth manifold with closed smooth submanifolds $M_1,\dots,M_\ell$ in general position, then there exists a nonsingular real algebraic set $M'\subset\mathbb{R}^n$ with nonsingular algebraic subsets $M_1',\dots,M_\ell'$ and a diffeomorphism $h:M\to M'$ such that $h(M_i)=M_i'$ for all $i=1,\dots,\ell$ such that $M',M_1',\dots,M_\ell'$ are described, both globally and locally, by polynomial equations with rational coefficients. In addition, if $M,M_1,\dots,M_\ell$ are nonsingular algebraic sets, then we prove the diffeomorphism $h:M\to M'$ can be chosen semialgebraic and the result can be extended to the noncompact case. In the proof we describe also the $\mathbb{Z}/2\mathbb{Z}$-homological cycles of real embedded Grassmannian manifolds by nonsingular algebraic representatives over $\mathbb{Q}$ via the Bott-Samelson resolution of Schubert varieties.