Expansions of algebraically closed fields in o-minimal structures. (English) Zbl 1010.03027
An algebraically closed field \(K\) can be conceived as \(R( \sqrt{-1})\), with real closed \(R\). And, \(R\) is orderable by the Artin-Schreier theorem, and so o-minimality is relevant to \(R\), \(K\), and their expansions. In a long first part of this paper, the authors develop a differential part of complex analysis on \(K\). Classical tools, like convergence and integrals are not available, and they resort to topological tools like winding numbers. (The main reference is G. T. Whyburn’s book: Topological analysis. Revised ed. Princeton, N. J.: Princeton Univ. Press (1964; Zbl 0186.55901), the authors state.) Their development is in terms of definable sets and functions, and includes (analogues of) Laurent expansions, residues, the maximum principle, and Liouville’s and Rouché’s theorems. These works are used to obtain a model-theoretic result, as follows. Let \({\mathcal R}\) be an o-minimal expansion of \(R\), and let \({\mathcal K}\) be the expansion of \(K\) defined in \({\mathcal R}\). If \({\mathcal K}\) defines more sets than \(\langle K,+,\cdot\rangle\) does, then \({\mathcal K}\) defines \(R\), too. From this follows a classical result of Chow: An analytic set in \(\mathbb{P}_n (\mathbb{C})\) is algebraic. (For the usual proof, refer, e.g., to P. Griffiths and J. Harris, Principles of algebraic geometry, New York etc.: Wiley (1978; Zbl 0408.14001)).
Reviewer: M.Yasuhara (Princeton)
MSC:
03C64 | Model theory of ordered structures; o-minimality |
12L12 | Model theory of fields |
14A10 | Varieties and morphisms |
30C35 | General theory of conformal mappings |
12J15 | Ordered fields |
03H05 | Nonstandard models in mathematics |