The model theory of compact complex spaces

doi:10.1017/9781316755860.013

The model theory of compact complex spaces

from ARTICLES

Published online by Cambridge University Press: 31 March 2017

Rahim N. Moosa

Edited by

Matthias Baaz ,

Sy-David Friedman and

Jan Krajíček

Show author details

Matthias Baaz: Affiliation:
Technische Universität Wien, Austria
Sy-David Friedman: Affiliation:
Universität Wien, Austria
Jan Krajíček: Affiliation:
Academy of Sciences of the Czech Republic, Prague

Book contents

Get access

Summary

The usual model-theoretic approach to complex algebraic geometry is to view complex algebraic varieties as living definably in the structure (C,+,×). Variousmodel-theoretic properties of algebraically closed fields (such as quantifier elimination and strong minimality) are then used to obtain geometric information about the varieties. This approach extends to other geometric contexts by considering expansions of algebraically closed fields to which the methods of stability or simplicity apply. For example, differential algebraic varieties live in differentially closed fields, and difference algebraic varieties in algebraically closed fields equipped with a generic automorphism. Another approach would be to consider the variety as a structure in its own right, equipped with the algebraic (respectively differential or difference algebraic) subsets of its cartesian powers. This point of view is compatible with the theory of Zariski-type structures, developed by Hrushovski and Zilber (see [21] and [41]). While the two approaches are equivalent (i.e., bi-interpretable) in the case of complex algebraic varieties, the latter point of view extends to certain fragments of complex analytic geometry in a manner that does not seem accessible by the former.

Zilber showed in [41] that a compact complex analytic space with the structure induced by the analytic subsets of its cartesian powers is of finite Morley rank and admits quantifier elimination. Since then, there have been a number of papers investigating various aspects of the model theory of such structures, as well as possible applications to complex analytic geometry. The most notable achievement has been a kind of Chevalley Theorem due to Pillay and Scanlon [35] that classifies meromorphic groups in terms of complex tori and linear algebraic groups. It has become clear that compact complex spaces serve as a particularly rich setting in which many of the more advanced phenomena of stability theory are witnessed. For example, the full trichotomy for strongly minimal sets (trivial, not trivial but locally modular, and not locally modular) occurs in this category. It also seems reasonable to expect that a greater model-theoretic understanding of compact complex spaces can contribute to complex analytic geometry, particularly around issues concerning the bimeromorphic classification of Kähler-type spaces.

Type: Chapter
Information: Logic Colloquium '01 , pp. 317 - 349

DOI: https://doi.org/10.1017/9781316755860.013 [Opens in a new window]

Publisher: Cambridge University Press

Print publication year: 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] J., Baldwin, Fundamentals of stability theory, Springer-Verlag, Berlin, 1988.

[2] F., Campana, Algèbricitè et compacitè dans l'espace des cycles d'un espace analytique complexe, Mathematische Annalen, vol. 251 (1980), no. 1, pp. 7–18.

[3] F., Campana, Rèduction algèbrique d'un morphisme faiblement Kählerien propre et applications, Mathematische Annalen, vol. 256 (1981), no. 2, pp. 157–189.Google Scholar

[4] F., Campana, Exemples de sous-espaces maximaux isolès de codimension deux d'un espace analytique compact, Institut É lie Cartan, vol. 6 (1982), pp. 106–127.

[5] F., Campana and T., Peternell, Cycle spaces, In Grauert et al. [15], pp. 319–349.

[6] A., Douady, Le probl`eme des modules pour les sous espaces analytiques compacts d'un espace analytique donnè, Annales de l'Institut Fourier (Grenoble), vol. 16 (1966), pp. 1–95.Google Scholar

[7] G., Fischer, Complex analytic geometry, Springer-Verlag, Berlin, 1976.

[8] A., Fujiki, Closedness of the Douady spaces of compact Kähler spaces, Publication of the Research Institute for Mathematical Sciences, vol. 14 (1978), no. 1, pp. 1–52.Google Scholar

[9] A., Fujiki, On automorphism groups of compact Kähler manifolds, InventionesMathematicae, vol. 44 (1978), no. 3, pp. 225–228.Google Scholar

[10] A., Fujiki, Countability of the Douady space of a complex space, Japanese Journal of Mathematics (New Series), vol. 5 (1979), pp. 431–447.Google Scholar

[11] A., Fujiki, On the Douady space of a compact complex space in the category C, Nagoya Mathematical Journal, vol. 85 (1982), pp. 189–211.Google Scholar

[12] A., Fujiki, On the structure of compact complex manifolds in C, Algebraic varieties and analytic varieties, Advanced Studies in Pure Mathematics, vol. 1, North-Holland, Amsterdam, 1983, pp. 231–302.

[13] A., Fujiki, Relative algebraic reduction and relative Albanese map for a fibre space in C, Publications of the Research Institute for Mathematical Sciences, vol. 19 (1983), no. 1, pp. 207– 236.Google Scholar

[14] H., Grauert, On meromorphic equivalence relations, Contributions to several complex variables (A., Howard and P., Wong, editors), Aspects ofMathematics, Vieweg,Wiesbaden, 1986, pp. 115–147.

[15] H., Grauert, T., Peternell, and R., Remmert (editors), Several complex variables VII, Encyclopedia ofMathematical Sciences, vol. 74, Springer-Verlag, Berlin, 1994.

[16] R., Gunning and H., Rossi, Analytic functions of several complex variables, Prentice-Hall, Edgewood Cliffs, 1965.

[17] H., Hironaka, Flattening theorem in complex-analytic geometry, American Journal of Mathematics, vol. 97 (1975), pp. 503–547.

[18] E., Hrushovski, The Mordell-Lang conjecture for function fields, Journal of the American Mathematical Society, vol. 9 (1996), no. 3, pp. 667–690.Google Scholar

[19] E., Hrushovski and A., Pillay, Weakly normal groups, Logic Colloquium 1985 (Orsay) (Paris Logic, Group, editor), North-Holland, 1987, pp. 233–44.Google Scholar

[20] E., Hrushovski and B., Zilber, Zariski geometries, Bulletin of the AmericanMathematical Society, vol. 28 (1993), no. 2, pp. 315–322.Google Scholar

[21] E., Hrushovski, Zariski geometries, Journal of the AmericanMathematical Society, vol. 9 (1996), pp. 1–56.Google Scholar

[22] P., Kowalski and A., Pillay, Subvarieties of commutative meromorphic groups, preprint.

[23] D., Lieberman, Compactness of theChowscheme: applications to automorphisms and deformations of Kähler manifolds, Fonctions de plusieurs variables complexes, III (Sèminaire Francois Norguet, 1975–1977), Lecture Notes in Mathematics, vol. 670, Springer-Verlag, Berlin, 1978, pp. 140–186.

[24] S., Łojasiewicz, Introduction to complex analytic geometry, Birkäuser Verlag, Basel, 1991, English edition.

[25] R., Moosa, Contributions to the model theory of fields and compact complex spaces, Ph.D. thesis, University of Illinois, Urbana-Champaign, 2001.

[26] T., Peternell and R., Remmert, Differential calculus, holomorphic maps and linear structures on complex spaces, In Grauert et al. [15], pp. 97–144.

[27] Y., Peterzil and S., Starchenko, Expansions of algebraically closed fields in o-minimal structures, Selecta Mathematica. New Series, vol. 7 (2001), no. 3, pp. 409–455.Google Scholar

[28] Y., Peterzil, Expansions of algebraically closed fields II. Functions of several variables, Journal of Mathematical Logic, vol. 3 (2003), no. 1, pp. 1–35.Google Scholar

[29] A., Pillay, Definable sets in generic complex tori, Annals of Pure and Applied Logic, vol. 77 (1996), no. 1, pp. 75–80.Google Scholar

[30] Y., Peterzil, Geometric stability theory, Oxford Logic Guides, vol. 32, Oxford Science Publications, Oxford, 1996.

[31] Y., Peterzil, Some model theory of compact complex spaces, Workshop on Hilbert's tenth problem: relations with arithmetic and algebraic geometry (Ghent), vol. 270, Contemporary Mathematics, 2000.Google Scholar

[32] Y., Peterzil, Model-theoretic consequence of a theorem of Campana and Fujiki, Fundamenta Mathematicae, vol. 174 (2002), no. 2, pp. 187–192.Google Scholar

[33] Y., Peterzil, Mordell-Lang conjecture for function fields in characteristic zero, revisited, Compositio Mathematica, vol. 140 (2004), no. 1, pp. 64–68.Google Scholar

[34] A., Pillay and T., Scanlon, Compact complex manifolds with theDOPand other properties, The Journal of Symbolic Logic, vol. 67 (2002), no. 2, pp. 737–743.Google Scholar

[35] Y., Peterzil, Meromorphic groups, Transactions of the American Mathematical Society, vol. 355 (2003), no. 10, pp. 3843–3859.Google Scholar

[36] A., Pillay and M., Ziegler, Jet spaces of varieties over differential and difference fields, Selecta Mathematica. New Series, vol. 9 (2003), no. 4, pp. 579–599.Google Scholar

[37] B., Poizat, Stable groups, Mathematical Surveys and Monographs, vol. 87, American Mathematical Society, 2001, Translation from the French, Groupes Stables, Nur Al-Mantiq Wal-Ma'rifah, 1987.Google Scholar

[38] R., Remmert, Local theory of complex spaces, In Grauert et al. [15], pp. 10–96.

[39] T., Scanlon, Locally modular groups in compact complex manifolds, preprint.

[40] K., Ueno, Classification theory of algebraic varieties and compact complex spaces, Lecture Notes in Mathematics, vol. 439, Springer-Verlag, Berlin, 1975.

[41] B., Zilber, Model theory and algebraic geometry, Proceedings of the 10th Easter conference on model theory (Berlin), 1993.

Book contents

The model theory of compact complex spaces

Summary

Access options

References

Save book to Kindle

Save book to Dropbox

Save book to Google Drive