Logic and invariant theory. I. Invariant theory of projective properties

Author:
Walter Whiteley

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

Full-text PDF

Abstract | References | Similar Articles | Additional Information

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.

**[1]**Reinhold Baer,*Linear algebra and projective geometry*, Academic Press Inc., New York, N. Y., 1952. MR**0052795****[2]**Jean A. Dieudonné and James B. Carrell,*Invariant theory, old and new*, Advances in Math.**4**(1970), 1–80 (1970). MR**0255525**, https://doi.org/10.1016/0001-8708(70)90015-0**[3]**Solomon Feferman,*Lectures on proof theory*, Proceedings of the Summer School in Logic (Leeds, 1967) Springer, Berlin, 1968, pp. 1–107. MR**0235996****[4]**Henry George Forder,*The Calculus of Extension*, Cambridge University Press, Cambridge, England; Macmillan Company, New York, 1941. MR**0004470****[5]**Bjarni Jónsson,*Algebraic extensions of relational systems*, Math. Scand.**11**(1962), 179–205. MR**0154833**, https://doi.org/10.7146/math.scand.a-10665**[6]**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****[7]**F. I. Mautner,*An extension of Klein’s Erlanger program: logic as invariant-theory*, Amer. J. Math.**68**(1946), 345–384. MR**0016353**, https://doi.org/10.2307/2371821**[8]**H. W. Turnbull,*The theory of determinants, matrices, and invariants*, 3rd ed, Dover Publications, Inc., New York, 1960. MR**0130257****[9]**O. Veblen and J. Whitehead,*The foundations of differential geometry*, Cambridge Univ. Press, Cambridge, 1932.**[10]**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****[11]**W. Whiteley,*Logic and invariant theory*, Ph.D. Thesis, M. I. T., Cambridge, Mass., 1971.**[12]**-,*Homogeneous sets and homogeneous formulas*, Rend. Mat. (to appear).**[13]**-,*Logic and invariant theory*. II:*Homogeneous coordinates*(to appear).**[14]**N. White,*The bracket ring and combinatorial geometry*, Ph.D. Thesis, Harvard University, Cambridge, Mass., 1971.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
02H15,
14N10,
15A72

Retrieve articles in all journals with MSC: 02H15, 14N10, 15A72

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1973-0446962-6

Keywords:
Analytic projective geometry,
category of models,
invariance for a category,
invariant first-order formula,
semilinear transformation,
projective properties,
vector space,
change of coordinates,
general linear group,
determinant,
bracket,
Klein's Erlanger Program

Article copyright:
© Copyright 1973
American Mathematical Society