In mathematics, a prehomogeneous vector space (PVS) is a finite-dimensional vector space V together with a subgroup G of the general linear group GL(V) such that G has an open dense orbit in V. The term prehomogeneous vector space was introduced by Mikio Sato in 1970. These spaces have many applications in geometry, number theory and analysis, as well as representation theory. The irreducible PVS were classified first by Vinberg in his 1960 thesis in the special case when G is simple and later by Sato and Tatsuo Kimura in 1977 in the general case by means of a transformation known as "castling". They are subdivided into two types, according to whether the semisimple part of G acts prehomogeneously or not. If it doesn't then there is a homogeneous polynomial on V which is invariant under the semisimple part of G.
In the setting of Sato, G is an algebraic group and V is a rational representation of G which has a (nonempty) open orbit in the Zariski topology. However, PVS can also be studied from the point of view of Lie theory: for instance, in Knapp (2002), G is a complex Lie group and V is a holomorphic representation of G with an open dense orbit. The two approaches are essentially the same, and the theory has validity over the real numbers. We assume, for simplicity of notation, that the action of G on V is a faithful representation. We can then identify G with its image in GL(V), although in practice it is sometimes convenient to let G be a covering group.
Although prehomogeneous vector spaces do not necessarily decompose into direct sums of irreducibles, it is natural to study the irreducible PVS (i.e., when V is an irreducible representation of G). In this case, a theorem of Élie Cartan shows that
G ≤ GL(V)is a reductive group, with a centre that is at most one-dimensional. This, together with the obvious dimensional restriction
dim G ≥ dim V,is the key ingredient in the Sato–Kimura classification.
The classification of PVS is complicated by the following fact. Suppose and V is an m-dimensional representation of G over a field F. Then:
is a PVS if and only if is a PVS.The proof is to observe that both conditions are equivalent to there being an open dense orbit of the action of G on the Grassmannian ofn-planes in V, because this is isomorphic to the Grassmannian of -planes in V*.
(In the case that G is reductive, the pair is equivalent to the pair by an automorphism of G.)
This transformation of PVS is called castling. Given a PVS V, a new PVS can be obtained by tensoring V with F and castling. By repeating this process, and regrouping tensor products, many new examples can be obtained, which are said to be "castling-equivalent". Thus PVS can be grouped into castling equivalence classes. Sato and Kimura show that in each such class, there is essentially one PVS of minimal dimension, which they call "reduced", and they classify the reduced irreducible PVS.
The classification of irreducible reduced PVS splits into two cases: those for which G is semisimple, and those for which it is reductive with one-dimensional centre. If G is semisimple, it is (perhaps a covering of) a subgroup of SL(V), and hence acts prehomogenously on V, with one-dimensional centre. We exclude such trivial extensions of semisimple PVS from the PVS with one-dimensional center. In other words, in the case that G has one-dimensional center, we assume that the semisimple part does not act prehomogeneously; it follows that there is a relative invariant, i.e., a function invariant under the semisimple part of G, which is homogeneous of a certain degree d.
This makes it possible to restrict attention to semisimple and split the classification as follows:
However, it turns out that the classification is much shorter, if one allows not just products with GL(1), but also with SL(n) and GL(n). This is quite natural in terms of the castling transformation discussed previously. Thus we wish to classify irreducible reduced PVS in terms of semisimple and such that either:
In the latter case, there is a homogeneous polynomial which separates the orbits into orbits.
This has an interpretation in terms of the grassmannian Grn(V) of n-planes in V (at least for). In both cases G acts on Grn(V) with a dense open orbit U. In the first case the complement has codimension ≥ 2; in the second case it is a divisor of some degree d, and the relative invariant is a homogeneous polynomial of degree nd.
In the following, the classification list will be presented over the complex numbers.
| G ! V | Type 1 ! Type 2 | Type 2 isotropy group ! Degree | |||
|---|---|---|---|---|---|
| G ⊆ SL(m, C) | Cm | n ≥ m+1 | n = m | G | m |
| SL(m, C) | Cm | m − 1 ≥ n ≥ 1* | |||
| SL(m, C) | Λ2Cm | m odd, n = 1, 2 | m even, n = 1 | Sp(m, C) | m/2 |
| SL(m, C) | S2Cm | n = 1 | SO(m, C) | m | |
| SO(m, C) | Cm | m − 1 ≥ n ≥ 1* | SO(n, C) × SO(m − n, C) | 2 | |
| Sp(2m, C) | C2m | 2m − 1 ≥ n ≥ 1*, n odd | 2m − 1 ≥ n ≥ 1*, n even | Sp(n, C) × Sp(2m − n, C) | 1 |
Type 1
Spin(10, C) on C16
Type 2
Sp(2m, C) × SO(3, C) on
Both of these examples are PVS only for .
The remaining examples are all type 2. To avoid discussing the finite groups appearing, the lists present the Lie algebra of the isotropy group rather than the isotropy group itself.
| G ! V | n ! Isotropy algebra | Degree | |||
|---|---|---|---|---|---|
| SL(2, C) | S3C2 | 1 | 0 | 4 | |
| SL(6, C) | Λ3C6 | 1 | 4 | ||
| SL(7, C) | Λ3C7 | 1 | 7 | ||
| SL(8, C) | Λ3C8 | 1 | 16 | ||
| SL(3, C) | S2C3 | 2 | 0 | 6 | |
| SL(5, C) | Λ2C3 | 3, 4 | , 0 | 5, 10 | |
| SL(6, C) | Λ2C3 | 2 | 6 | ||
| SL(3, C) × SL(3, C) | C3 ⊗ C3 | 2 | 6 | ||
| Sp(6, C) | nowrap | ΛC6 | 1 | 4 | |
| Spin(7, C) | C8 | 1, 2, 3 | ,, | 2, 2, 2 | |
| Spin(9, C) | C16 | 1 | ak{spin} | 2 | |
| Spin(10, C) | C16 | 2, 3 | , | 2, 4 | |
| Spin(11, C) | C32 | 1 | ak{sl} | 4 | |
| Spin(12, C) | C32 | 1 | ak{sl} | 4 | |
| Spin(14, C) | C64 | 1 | 8 | ||
| G | C7 | 1, 2 | , | 2, 2 | |
| E | C27 | 1, 2 | , | 3, 6 | |
| E | C56 | 1 | 4 | ||
Here denotes the space of 3-forms whose contraction with the given symplectic form is zero.
Sato and Kimura establish this classification by producing a list of possible irreducible prehomogeneous, using the fact that G is reductive and the dimensional restriction. They then check whether each member of this list is prehomogeneous or not.
ak{p}
One reason that PVS are interesting is that they classify generic objects that arise in G-invariant situations. For example, if, then the above tables show that there are generic 3-forms under the action of G, and the stabilizer of such a 3-form is isomorphic to the exceptional Lie group G2.
Another example concerns the prehomogeneous vector spaces with a cubic relative invariant. By the Sato-Kimura classification, there are essentially four such examples, and they all come from complexified isotropy representations of hermitian symmetric spaces for a larger group H (i.e., G is the semisimple part of the stabilizer of a point, and V is the corresponding tangent representation).
In each case a generic point in V identifies it with the complexification of a Jordan algebra of hermitian matrices (over the division algebras R, C, H and O respectively) and the cubic relative invariant is identified with a suitable determinant. The isotropy algebra of such a generic point, the Lie algebra of G and the Lie algebra of H give the complexifications of the first three rows of the Freudenthal magic square.
| H ! G | V ! Isotropy algebra | Jordan algebra | ||
|---|---|---|---|---|
| Sp(6, C) | SL(3, C) | S2C3 | ak{so} | J3(R) |
| SL(6, C) | SL(3, C) × SL(3, C) | C3 ⊗ C3 | ak{sl} | J3(C) |
| SO(12, C) | SL(6, C) | Λ2C6 | ak{sp} | J3(H) |
| E | E | C27 | ak{f} | J3(O) |
Other Hermitian symmetric spaces yields prehomogeneous vector spaces whose generic points define Jordan algebras in a similar way.
| H ! G | V ! Isotropy algebra | Jordan algebra | ||
|---|---|---|---|---|
| Sp(2n, C) | SL(n, C) | S2Cn | ak{so} | Jn(R) |
| SL(2n, C) | SL(n, C) × SL(n, C) | Cn ⊗ Cn | ak{sl} | Jn(C) |
| SO(4n, C) | SL(2n, C) | Λ2C2n | ak{sp} | Jn(H) |
| SO(m + 2, C) | SO(m, C) | Cm | ak{so} | J(m − 1) |
The relation between hermitian symmetric spaces and Jordan algebras can be explained using Jordan triple systems.