Analytic manifold

A manifold with an analytic atlas. The structure of an -dimensional manifold over a complete non-discretely normed field on a topological space is defined by specifying an analytic atlas over on , i.e. a collection of charts (cf. Chart) with values in covering , any two charts of which are analytically related. Two atlases are said to define the same structure if their union is an analytic atlas. The sheaf of germs of -valued analytic functions is defined on an analytic manifold. The class of ringed spaces which results in this way is identical with the class of smooth analytic spaces over .

If is the field of real numbers one speaks of real-analytic manifolds; if is the field of complex numbers , of complex-analytic or simply complex manifolds; if is the field of -adic numbers , of -adic analytic manifolds. Examples of analytic manifolds include the -dimensional Euclidean spaces , the -dimensional projective spaces over , the affine and projective algebraic varieties without singular points over , and Lie groups and their homogeneous spaces.

The concept of an analytic manifold goes back to B. Riemann and F. Klein, but was precisely formulated for the first time by H. Weyl [4] for the case of Riemann surfaces, i.e. one-dimensional complex manifolds. At present (the 1970's) it is natural to regard analytic manifolds as a special case of analytic spaces (cf. Analytic space), which may be roughly described as "varieties with singular points" . The concept of an analytic space was introduced in the 1950's and became the principal subject of the theory of analytic functions; many fundamental results obtained for analytic manifolds could be successfully applied to the non-smooth case. For an account of the general properties of analytic manifolds over an arbitrary field see [3].

There is a close relationship between the theories of real-analytic and differentiable manifolds (cf. Differentiable manifold), and also between the theories of real-analytic and complex-analytic manifolds, Clearly, the natural structure of a manifold of class is defined on each real-analytic manifold. It was shown by H. Whitney in 1936 that the converse proposition is also true: It is possible to define on any paracompact manifold of class an analytic structure over which induces the initial smooth structure. It follows from Grauert's theorem on the imbeddability of a paracompact analytic manifold over in a Euclidean space that this analytic structure is unambiguously defined up to an isomorphism (not necessarily the identity) [2].

A natural structure of a real-analytic manifold (of double dimension) is defined on all complex manifolds . The answer to the converse problem — viz. whether a complex structure on a given real-analytic manifold exists and whether it is unique — has been given in the simplest cases only. Thus, if is a connected two-dimensional real-analytic manifold, then a necessary and sufficient condition for the existence of a complex structure on is paracompactness and orientability, while the problem of classification of these structures is identical with the classical moduli problem for Riemann surfaces (cf. Moduli of a Riemann surface). There is a classification of compact analytic surfaces (i.e. of two-dimensional complex manifolds, cf. Analytic surface), which gives a partial answer to the above problem for four-dimensional real-analytic manifolds. On the other hand it is possible, using topological methods, to identify classes of real manifolds that do not permit almost-complex or, a fortiori, complex structures. Such manifolds include the spheres for . A description of complex structures which are sufficiently near to a given complex structure is given by the theory of deformations of analytic structures (cf. Deformation), in which an important role is played by Banach analytic manifolds — infinite-dimensional analogues of analytic manifolds.

References

[1]	N. Bourbaki, "Elements of mathematics. Differentiable and analytic manifolds" , Addison-Wesley (1966) (Translated from French)
[2]	R. Narasimhan, "Analysis on real and complex manifolds" , Springer (1971)
[3]	J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French)
[4]	H. Weyl, "Die Idee der Riemannschen Fläche" , Teubner (1955)

Comments

A much related basic problem in complex analysis is the question whether there are any complex structures on projective space besides the usual one (and inducing the same topology). For this is very classical (all Riemann surfaces of genus zero are isomorphic to ). For , uniqueness of the complex structure follows from combined work of F. Hirzebruch, K. Kodaira [a4], and S.T. Yau [a5]. For one has that a compact manifold that is bimeromorphically equivalent to a Kähler manifold and that is also topologically is analytically isomorphic to [a6].

References

[a1]	H. Whitney, "Complex analytic varieties" , Addison-Wesley (1972)
[a2]	W. Barth, C. Peters, A. van der Ven, "Compact complex surfaces" , Springer (1984)
[a3]	R.O. Wells jr., "Differential analysis on complex manifolds" , Springer (1980)
[a4]	F. Hirzebruch, K. Kodaira, "On the complex projective spaces" J. Math. Pures Appl. , 36 (1957) pp. 201–216
[a5]	S.-T. Yau, "Calabi's conjecture and some new results in algebraic geometry" Proc. Nat. Acad. Sci. USA , 74 (1977) pp. 1798–1799
[a6]	T. Peternell, "A rigidity theorem for " Manuscripta Math. , 50 (1985) pp. 397–428