Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

This monograph presents a systematic study of Special Groups, a first-order universal-existential axiomatization of the theory of quadratic forms, which comprises the usual theory over fields of characteristic different from 2, and is dual to the theory of abstract order spaces. The heart of our theory begins in Chapter 4 with the result that Boolean algebras have a natural structure of reduced special group. More deeply, every such group is canonically and functorially embedded in a certain Boolean algebra, its Boolean hull. This hull contains a wealth of information about the structure of the given special group, and much of the later work consists in unveiling it. Thus, in Chapter 7 we introduce two series of invariants "living" in the Boolean hull, which characterize the isometry of forms in any reduced special group. While the multiplicative series - expressed in terms of meet and symmetric difference - constitutes a Boolean version of the Stiefel-Whitney invariants, the additive series - expressed in terms of meet and join - , which we call Horn-Tarski invariants, does not have a known analog in the field case; however, the latter have a considerably more regular behaviour. We give explicit formulas connecting both series, and compute explicitly the invariants for Pfister forms and their linear combinations. In Chapter 9 we combine Boolean-theoretic methods with techniques from Galois cohomology and a result of Voevodsky to obtain an affirmative solution to a long standing conjecture of Marshall concerning quadratic forms over formally real Pythagorean fields. Boolean methods are put to work in Chapter 10 to obtain information about categories of special groups, reduced or not. And again in Chapter 11 to initiate the model-theoretic study of the first-order theory of reduced special groups, where, amongst other things we determine its model-companion. The first-order approach is also present in the study of some outstanding classes of morphisms carried out in Chapter 5, e.g., the pure embeddings of special groups. Chapter 6 is devoted to the study of special groups of continuous functions.

Registro:

Documento: Artículo
Título:Special groups: Boolean-theoretic methods in the theory of quadratic forms
Autor:Dickmann, M.A.; Miraglia, F.; Petrovich, A.
Filiación:Departamento de Matemáticas, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina
Año:2000
Volumen:145
Número:689
DOI: http://dx.doi.org/10.1090/memo/0689
Título revista:Memoirs of the American Mathematical Society
Título revista abreviado:Mem. Am. Math. Soc.
ISSN:00659266
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00659266_v145_n689_p_Dickmann

Referencias:

  • Arason, J.Kr., Cohomologische Invarianten quadratischer Formen (1975) J. Algebra, 36, pp. 448-491
  • Andradas, C., Bröcker, L., Ruiz, J.M., Constructible Sets in Real Geometry (1996) Ergebnisse der Math. und Ihrer Grenzgebiete, 33. , Springer-Verlag, Berlin, Heidelberg, New York
  • Arason, J.Kr., Elman, R., Jacob, B., On Quadratic Forms and Galois Cohomology (1989) Rocky Mountain Journal Math., 19, pp. 575-588
  • Arason, J.Kr., Pfister, A., Beweis des Krullschen Durchschnittsatzes für den Wittring (1971) Inventiones Math., 12, pp. 173-176
  • Astier, V., (1999) Théorie des Modèles des Groupes Spéciaux de Longueur de Chaîne Finie, , Ph. D. thesis, University of Paris VII
  • Balbes, R., Dwinger, P., (1988) Distributive Lattices, , Indiana University Press
  • Bass, H., Tate, J., The Milnor ring of a global field (1973) Lecture Notes in Math., 342, pp. 349-446. , Algebraic K-Theory II, Springer Verlag
  • Becker, E., Hereditarily Pythagorean Fields and Orderings of Higher Level (1978) Monografias de Matematica, 29. , IMPA, Rio de Janeiro
  • Chang, C.C., Kiesler, H.J., (1983) Model Theory, , North-Holland Publ. Co., Amsterdam
  • Cherlin, G., Model Theoretic Algebra: Selected Topics (1976) Lect. Notes Math., 521. , Spriger, Berlin
  • Craven, T., The Boolean space of orderings of a field (1975) Trans. Amer. Math. Soc., 209, pp. 225-235
  • Dickmann, M., Anneux de Witt abstraits et groupes speciaux (1993) Séminaire de Structures Algébriques Ordonnées 1991-1992, 42. , (F. Delon, M. Dickmann, D. Gondard, eds.) Paris VII - CNRS, Logique, Prépublications, Paris
  • Dickmann, M., Miraglia, F., On quadratic forms whose total signature is zero mod 2n. Solution to a problem of M. Marshall (1998) Inventiones Math., 133, pp. 243-278
  • Algebraic K-Theory of Fields and Special Groups (1999) Contemporary Math
  • (1996) Marshall's Conjecture in a General Setting, , to appear
  • (1997) Algebraic K-Theory and Special Groups, , to appear
  • (1998) Orders and Relative Pythagorean Closures, , to appear
  • Dickson, L.E., History of the Theory of Numbers (1952) Divisibility and Primality, 1. , Chelsea Publ. Co., New York
  • Engelking, R., Topology (1989) Sigma Series in Pure Mathematics, 6. , Heldermann Verlag, Berlin
  • Elman, R., Lam, T.Y., Pfister forms and K-theory of fields (1972) J. Algebra, 23, pp. 181-213
  • Elman, R., Lam, T.Y., Quadratic forms over formally real and pythagorean fields (1972) Amer. J. Math., 94, pp. 1155-1194
  • Fourman, M., Scott, D.S., Sheaves and Logic (1979) Lecture Notes in Math., 753, pp. 302-401. , Applications of Sheaves, (M. Fourman, C. Mulvey and D. S. Scott, ed.) Springer-Verlag
  • (1989) Handbook of Boolean Algebras, 1. , by S. Koppelberg, (J. Donald Monk, R. Bonnet, eds.) North-Holland Publ. Co., Amsterdam
  • Haran, D., Jarden, M., The absolute Galois group of a pseudo real closed field (1985) Ann. Sc. Norm. Sup. Pisa, 12, pp. 449-489. , serie IV
  • Horn, A., Tarski, A., Measures in Boolean Algebras (1948) Trans. Amer. Math. Soc., 64, pp. 467-497
  • Hodges, W., Model Theory (1993) Encyclopedia of Mathematics and Its Applications, 42. , Cambridge Univ. Press
  • Knebush, M., Scharlau, W., Algebraic theory of quadratic forms, (Generic Methods and Pfister forms) (1980) DMV Seminar 1, , Birkhauser, Boston
  • Kula, M., Marshall, M., Sladek, A., Direct limits of finite spaces of orderings (1984) Pacific J. Math., 112, pp. 391-406
  • Kula, M., Szczepanik, L., Szymiczek, K., Quadratic form scemes and quaternionic schemes (1988) Fund. Math., 130, pp. 181-190
  • Lam, T.Y., (1973) The Algebraic Theory of Quadratic Forms, , W. A. Benjamin, Mass
  • Orderings, valuations and quadratic forms (1983) Regional Conf. Maths., 52. , A.M.S
  • Ten Lectures on Quadratic Forms over Fields (1977) Queen's Papers on Pure and Applied Math., 46, pp. 1-102. , Conf. on Quadratic Forms (G. Orzech, ed.), Queen's University, Ontario, Canada
  • Lira De Lima, A., Les Groupes Spéciaux (1993) Séminaire de Structures Algébriques Ordonnées 1991-1992, 42. , (F. Delon, M. Dickmann, D. Gondard, eds.) Paris VII - CNRS, Logique, Prépublications, Paris
  • Espaces d'Ordres Abstraits (1993) Séminaire de Structures Algébriques Ordonnées 1991-1992, 42. , (F. Delon, M. Dickmann, D. Gondard, eds.) Paris VII - CNRS, Logique, Prépublications, Paris
  • (1996) Les Groupes Spéciaux, , Ph.D. thesis, University of Paris VII
  • MacLane, S., Categories for the Working Mathematician (1971) Graduate Texts in Mathematics, 5. , Springer-Verlag, New York
  • Macintyre, A., Model completeness (1977) Handbook of Mathematical Logic, pp. 139-180. , Chapter A4 (J. Barwise, ed.), North-Holland Publ. Co., Amsterdam
  • Marshall, M., Abstract Witt Rings (1980) Queens Papers in Pure and Applied Math., 57. , Queen's University, Ontario, Canada
  • Classification of finite spaces of orderings (1979) Can. J. Math., 31, pp. 320-330
  • Quotients and inverse limits of spaces of orderings (1979) Can. J. Math., 31, pp. 604-616
  • Spaces of Orderings IV (1980) Can. J. Math., 32, pp. 603-627
  • The Witt ring of a space of orderings (1980) Trans. Amer. Math. Soc., 258, pp. 505-521
  • A reduced theory of quadratic forms (1977) Queen's Papers on Pure and Applied Math., 46, pp. 569-579. , Conf. on Quadratic Forms (G. Orzech, ed.), Queen's University, Ontario, Canada
  • Spaces of Orderings and Abstract Real Spectra (1996) Lect. Notes Math., 1636. , Springer, Berlin
  • Marshall, M., Powers, V., Higher level form schemes (1993) Comm. Algebra, 21, pp. 4083-4102
  • Milnor, J., Algebraic K-Theory and Quadratic Forms (1970) Inventiones Math., 9, pp. 318-344
  • Pfister, A., Quadratische Formen in beliebigen Körpern (1966) Inventiones Math., 1, pp. 116-132
  • Pontrjagin, L., (1966) Topological Groups, 2nd Ed., , Gordon and Breach Sci. Publ
  • Prestel, A., Lectures on Formally Real Fields (1975) Monografias de Matematica, 22. , IMPA, Rio de Janeiro
  • (1984) Lect. Notes Math., 1093. , also published Springer, Berlin
  • Pseudo real closed fields (1981) Lecture Notes Math., 872, pp. 127-156. , Set Theory and Model Theory; Proceedings, Bonn 1979 (R.B. Jensen, A. Prestel, eds.), Springer, Berlin
  • Ribes, L., Introduction to Profinite Groups and Galois Cohomology (1970) Queen's Papers in Pure and Applied Math., 24. , Queen's University, Ontario, Canada
  • Serre, J.P., Cohomologie Galoisienne (1965) Lecture Notes in Math., 5. , Springer-Verlag, 3rd edition
  • Scharlau, W., (1985) Quadratic and Hermitian Forms, , Springer-Verlag, Berlin
  • Voevodsky, V., The Milnor Conjecture, 51p. , http://www.math.uiuc.edu, preprint of December 1996 distributed by e-mail

Citas:

---------- APA ----------
Dickmann, M.A., Miraglia, F. & Petrovich, A. (2000) . Special groups: Boolean-theoretic methods in the theory of quadratic forms. Memoirs of the American Mathematical Society, 145(689).
http://dx.doi.org/10.1090/memo/0689
---------- CHICAGO ----------
Dickmann, M.A., Miraglia, F., Petrovich, A. "Special groups: Boolean-theoretic methods in the theory of quadratic forms" . Memoirs of the American Mathematical Society 145, no. 689 (2000).
http://dx.doi.org/10.1090/memo/0689
---------- MLA ----------
Dickmann, M.A., Miraglia, F., Petrovich, A. "Special groups: Boolean-theoretic methods in the theory of quadratic forms" . Memoirs of the American Mathematical Society, vol. 145, no. 689, 2000.
http://dx.doi.org/10.1090/memo/0689
---------- VANCOUVER ----------
Dickmann, M.A., Miraglia, F., Petrovich, A. Special groups: Boolean-theoretic methods in the theory of quadratic forms. Mem. Am. Math. Soc. 2000;145(689).
http://dx.doi.org/10.1090/memo/0689