Logic and invariant theory. I. Invariant theory of projective properties
HTML articles powered by AMS MathViewer
- by Walter Whiteley PDF
- Trans. Amer. Math. Soc. 177 (1973), 121-139 Request permission
Abstract:
This paper initiates a series of papers which will reexamine some problems and results of classical invariant theory, within the framework of modern first-order logic. In this paper the notion that an equation is of invariant significance for the general linear group is extended in two directions. It is extended to define invariance of an arbitrary first-order formula for a category of linear transformations between vector spaces of dimension n. These invariant formulas are characterized by equivalence to formulas of a particular syntactic form: homogeneous formulas in determinants or “brackets". The fuller category of all semilinear transformations is also introduced in order to cover all changes of coordinates in a projective space. Invariance for this category is investigated. The results are extended to cover invariant formulas with both covariant and contravariant vectors. Finally, Klein’s Erlanger Program is reexamined in the light of the extended notion of invariance as well as some possible geometric categories.References
- Reinhold Baer, Linear algebra and projective geometry, Academic Press, Inc., New York, N.Y., 1952. MR 0052795
- Jean A. Dieudonné and James B. Carrell, Invariant theory, old and new, Advances in Math. 4 (1970), 1–80 (1970). MR 255525, DOI 10.1016/0001-8708(70)90015-0
- Solomon Feferman, Lectures on proof theory, Proceedings of the Summer School in Logic (Leeds, 1967) Springer, Berlin, 1968, pp. 1–107. MR 0235996
- Henry George Forder, The Calculus of Extension, Cambridge University Press, Cambridge, England; The Macmillan Company, New York, 1941. MR 0004470
- Bjarni Jónsson, Algebraic extensions of relational systems, Math. Scand. 11 (1962), 179–205. MR 154833, DOI 10.7146/math.scand.a-10665
- Felix Klein, Elementary mathematics from an advanced standpoint, Dover Publications, Inc., Mineola, NY, 2004. Geometry; Translated from the third German edition and with a preface by E. R. Hendrik and C. A. Noble; Reprint of the 1949 translation. MR 2078728
- F. I. Mautner, An extension of Klein’s Erlanger program: logic as invariant-theory, Amer. J. Math. 68 (1946), 345–384. MR 16353, DOI 10.2307/2371821
- H. W. Turnbull, The theory of determinants, matrices, and invariants, Dover Publications, Inc., New York, 1960. 3rd ed. MR 0130257 O. Veblen and J. Whitehead, The foundations of differential geometry, Cambridge Univ. Press, Cambridge, 1932.
- Hermann Weyl, The classical groups, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1997. Their invariants and representations; Fifteenth printing; Princeton Paperbacks. MR 1488158 W. Whiteley, Logic and invariant theory, Ph.D. Thesis, M. I. T., Cambridge, Mass., 1971. —, Homogeneous sets and homogeneous formulas, Rend. Mat. (to appear). —, Logic and invariant theory. II: Homogeneous coordinates (to appear). N. White, The bracket ring and combinatorial geometry, Ph.D. Thesis, Harvard University, Cambridge, Mass., 1971.
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 177 (1973), 121-139
- MSC: Primary 02H15; Secondary 14N10, 15A72
- DOI: https://doi.org/10.1090/S0002-9947-1973-0446962-6
- MathSciNet review: 0446962