Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-28T03:44:37.033Z Has data issue: false hasContentIssue false
  • English
  • Français

Elementary properties of the Boolean hull and reduced quotient functors

Published online by Cambridge University Press:  12 March 2014

M. A. Dickmann  and
F. Miraglia
M. A. Dickmann
Affiliation:
Équipe de Logique Mathématique, Université de Paris VII Équipe Topologie et Géométrie Algébriques, Institut De Mathématiques de Jussieu, Paris, France, E-mail: [email protected]
F. Miraglia
Affiliation:
Departamento de Matemática, Universidade De São Paulo, São Paulo, Brazil, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Extract

In [12] we proved the following isotropy-reflection principle:

Theorem. Let F be a formally real field and let Fp denote its Pythagorean closure. The natural embedding of reduced special groups from Gred(F) into Gred(Fp) = G(FP) induced by the inclusion of fields, reflects isotropy.

Here Gred(F) denotes the reduced special group (with underlying group Ḟ/ΣḞ2) associated to the field F, henceforth assumed formally real; cf. [11], Chapter 1, §3, for details.

The result proved in [12] is, in fact, more general. For example, the Pythagorean closure Fp can be replaced in the statement above by the intersection of all real closures of F (inside a fixed algebraic closure). Similar statements hold, more generally, for all relative Pythagorean closures of F in the sense of Becker [3], Chapter II, §3.

Since the notion of isotropy of a quadratic form can be expressed by a first-order formula in the natural language LSG for special groups (with the coefficients as parameters), this result raises the question whether the embedding ιFFp: Gred(F) ↪ G (Fp) is elementary. Further, since the LSG-formula expressing isotropy is positive-existential, one may also ask whether ιFFp reflects all (closed) formulas ofthat kind with parameters in Gred(F).

In this paper we give a negative answer to the first of these questions, for a vast class of formally real (non-Pythagorean) fields F (Prop. 5.1). This follows from rather general preservation results concerning the “Boolean hull” and the “reduced quotient” operations on special groups.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 68 , Issue 3 , September 2003 , pp. 946 - 971
Copyright
Copyright © Association for Symbolic Logic 2003

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

REFERENCES

[1] Andradas, C., Bröcker, L., and Ruiz, J. M., Constructible sets in real geometry, Springer-Verlag, Berlin, 1996.Google Scholar
[2] Astier, V., Some model-theoretic results in the algebraic theory of quadratic forms, Annals of Pure and Applied Logic, vol. 112 (2001), pp. 189–223.Google Scholar
[3] Becker, E., Hereditarily-Pythagorean fields and orderings of higher level, IMPA Lecture Notes, vol. 29, Rio de Janeiro, 1978.Google Scholar
[4] Bell, J. L. and Slomson, A. B., Models and ultraproducts: An introduction, North-Holland Publishing Co., 1969.Google Scholar
[5] Bochnak, J., Coste, M., and Roy, M.-F., Géométrie algébrique réelle, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 12, Springer-Verlag, Berlin, 1980.Google Scholar
[6] Chang, C. C. and Kiesler, H. J., Model theory, North-Holland Publishing Co., 1991.Google Scholar
[7] Craven, T., The Boolean space of orderings of a field, Transactions of the American Mathematical Society, vol. 209 (1975), pp. 225–235.Google Scholar
[8] Dickmann, M., Larger infinitary languages, Chapter IX in Model theoretic logics (Barwise, J. and Feferman, S., editors), Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1985.Google Scholar
[9] Dickmann, M. and Miraglia, F., Elementary properties of the Boolean hull functor, Séminaire de Structures Algébriques Ordonnées (2000–2001), Paris 7 – CNRS, Logique, Prépublications 73, 2002.Google Scholar
[10] Dickmann, M., On quadratic forms whose total signature is zero mod 2n. Solution to a problem of M. Marshall, Inventiones Mathematicae, vol. 133 (1998), pp. 243–278.Google Scholar
[11] Dickmann, M., Special groups: Boolean-theoretic methods in the theory of quadratic forms, Memoirs of the American Mathematical Society, vol. 689, American Mathematical Society, Providence, R.I., 2000.Google Scholar
[12] Dickmann, M., Orders and relative Pythagorean closures, Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo, vol. 5 (2001), pp. 63–84.Google Scholar
[13] Dickmann, M., Lattice ordered special groups, preprint, 2002.Google Scholar
[14] Feferman, S., Infinitary properties, local functors and systems of ordinal functions, Lecture Notes in Mathematics, vol. 255, Springer-Verlag, 1972, pp. 63–97.Google Scholar
[15] Feferman, S. and Vaught, R. L., The first order properties of products of algebraic systems, Fundamenta Mathematicae, vol. 47 (1959), pp. 57–103.Google Scholar
[16] Haran, D. and Jarden, M., The absolute Galois group of a pseudo real closed field, Annali delta Scuola Normale Superiore di Pisa, vol. 22 (1985), pp. 449–489.Google Scholar
[17] Koppelberg, S., Handbook of Boolean algebras (Monk, J. Donald and Bonnet, R., editors), vol. 1, North-Holland Publishing Co., Amsterdam, 1989.Google Scholar
[18] Lam, T. Y., The algebraic theory of quadratic forms, W. A. Benjamin, 1973.Google Scholar
[19] Lam, T. Y., Orderings, valuations and quadratic forms, Regional Conferences Series in Mathematics, vol. 52, American Mathematical Society, Providence, R. I., 1982.Google Scholar
[20] Marshall, M., Spaces of orderings and abstract real spectra, Lecture Notes in Mathematics, vol. 1636, Springer-Verlag, Berlin, 1996.CrossRefGoogle Scholar
[21] Marshall, M., Local-global properties ofpositive primitive formulas in the theory of spaces of orderings, preprint, 2002.Google Scholar
[22] Prestel, A., Lectures on formally real fields, Lecture Notes in Mathematics, vol. 1093, 1984.CrossRefGoogle Scholar