An addendum on algebraic models of smooth manifolds (Q804025): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Krzysztof Dabrowski / rank | |||
Property / reviewed by | |||
Property / reviewed by: Krzysztof Dabrowski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 02:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An addendum on algebraic models of smooth manifolds |
scientific article |
Statements
An addendum on algebraic models of smooth manifolds (English)
0 references
1991
0 references
\textit{J. Bochnak} and \textit{W. Kucharz} [Invent. Math. 97, 585-611 (1989; Zbl 0687.14023)] proved that for every \(C^{\infty}\) m-dimensional compact manifold M there exist countably many algebraic manifolds \(X_ i\) diffeomorphic to M, where \(X_ i\) are irreducible \({\mathbb{R}}\)-algebraic subsets of \({\mathbb{R}}^{2m+1}\) and for \(i\neq j\), \(X_ i\) is not birationally equivalent to \(X_ j\). They conjectured that in fact there exist uncountably many such birationally inequivalent algebraic models of M. The author of the present paper proves this conjecture roughly in the following way. For a compact m-dimensional \(C^{\infty}\) submanifold M of \({\mathbb{R}}^{2m+1}\) he constructs a holomorphic map between complex spaces p: \(X\to T\) defined over \({\mathbb{R}}\), where locally for \(U\subset T\), \(p^{-1}(U)\hookrightarrow U\times {\mathbb{P}}^ N({\mathbb{C}})\) for some N (and p commutes with the Cartesian projection) such that for \(t\in T\), the real part of \(X_ t=p^{-1}(t)\) is diffeomorphic to M, \(X_ t\) is not birationally equivalent to \(X_ u\) if \(t\neq u\), moreover there exists a family of \(C^{\infty}\) embeddings \(g_ t: M\hookrightarrow {\mathbb{R}}^{2m+1}\) (arbitrarily close to the identity) such that for every \(t\in T\), \(X_ t\) is a complexification of \(g_ t(M)\). In the proof the author uses the proofs of the paper by J. Bochnak and W. Kucharz, and standard methods of complex algebraic geometry, e.g. the theory of deformation and moduli. The discussed conjecture has been independently proved by J. Bochnak in another way.
0 references
algebraic model of a \(C^{\infty }\) manifold
0 references
real algebraic
0 references
coarse moduli scheme
0 references
Kuranishi family
0 references
Hilbert scheme
0 references
polarized manifold
0 references
algebraic space
0 references
Hilbert polynomial
0 references