Invariant theory

From Wikipedia, the free encyclopedia

In mathematics, invariant theory refers to the study of invariant algebraic forms (equivalently, symmetric tensors) for the action of linear transformations. This was a major field of study in the latter part of the nineteenth century, when it appeared that progress in this particular field (out of any number of possible mathematical formulations of invariance with respect to symmetry) was the key algorithmic discipline. Despite some heroic efforts that promise was not fulfilled but many spin-off advances are connected to this research. Current theories relating to the symmetric group and symmetric functions, commutative algebra, moduli spaces and the representations of Lie groups are rooted in this area.

In greater detail, given a finite-dimensional vector space V we can consider the symmetric algebra S(V), and the action on it of GL(V). It is actually more accurate to consider the projective representation of GL(V), if we are going to speak of invariants: that's because a scalar multiple of the identity will act on a tensor of rank r in S(V) through the r-th power 'weight' of the scalar. The point is then to define the subalgebra of invariants I(V) for the (projective) action. We are, in classical language, looking at n-ary r-ics, where n is the dimension of V.

These days it might be more natural to look to decompose the degree r part of S(V) into irreducible representations of GL(V): the formulation just given is the same as saying we are concerned only with the occurrence of one-dimensional representations. The representation theory required came later, though, with Issai Schur.

To give the broader picture: what was actually studied in the classical phase of invariant theory related in fact to

$S(V) \otimes S(V^*)$

where V* is the dual vector space to V. That is, the invariants as polynomials involved a contragredient set of coordinates, transforming in a dual fashion.

It is customary to say that the work of David Hilbert, proving abstractly that I(V) was finitely presented, put an end to classical invariant theory. That is far from being true: the classical epoch in the subject may have continued to the final publications of Alfred Young, more than 50 years later. Explicit calculations for particular purposes have been known in modern times (for example Shioda, with the binary octavics).

The modern formulation of geometric invariant theory is due to David Mumford, and emphasizes the construction of a quotient by the group action that should capture invariant information through its coordinate ring. It is a subtle theory, in that success is obtained by excluding some 'bad' orbits and identifying others with 'good' orbits. In a separate development the symbolic method of invariant theory, an apparently heuristic combinatorial notation, has been rehabilitated.

1 Generalization
2 See also
3 References
4 External links

[edit] Generalization

In the introduction to his text listed below, Peter Olver says

...the more interesting generalization of the classical techniques is not necessarily to fields of non-zero characteristic, but rather to more general associative and non-associative algebras, starting with quaternions, octonions, Clifford algebras, quantum groups, and so on. One retains calculus (the quaternion calculus is a particularly pretty case) but gives up commutativity (even possibly associativity). The development of a non-commutative classical invariant theory remains, as far as I know, completely unexplored.

Classical Invariant Theory, p. xvii

[edit] See also

invariant theory of finite groups
Molien series
invariant (mathematics)

[edit] References

Neusel, Mara D.; and Smith, Larry (2002). Invariant Theory of Finite Groups. Providence, RI: American Mathematical Society. ISBN 0-8218-2916-5. A recent resource for learning about modular invariants of finite groups.

Olver, Peter J. (1999). Classical invariant theory. Cambridge: Cambridge University Press. ISBN 0-521-55821-2. An undergraduate level introduction to the classical theory of invariants of binary forms (but not the Omega process!).

Grosshans, Frank D. (1997). Algebraic homogeneous spaces and invariant theory. New York: Springer. ISBN 3-540-63628-5.

Sturmfels, Bernd (1993). Algorithms in Invariant Theory. New York: Springer. ISBN 0-387-82445-6. A beautiful introduction to the theory of invariants of finite groups and techniques for computing them using Gröbner bases.