arXiv:1609.02184v2 [] 20 Dec 2017

LINEAR ORBITS OF ALTERNATING FORMS ON REAL
VECTOR SPACES
LEONID RYVKIN

Abstract. In this note we complete the calculation of the number of GL(Rn )orbits on Λk (Rn )∗ , by treating the cases (n, k) = (7, 4) and (8, 5) not covered
in the literature. We also calculate the number of of non-degenerate and stable
orbits, as they are of special interest to multisymplectic and special geometry.

Introduction
The last decades have seen a growing interest in multisymplectic geometry (cf.,
e.g., [3, 4, 6, 10] for research in this area and [1, 7] for the rôle of non-degenerate
three-forms in special geometries). A manifold M together with a differential form
α of degree k is called multisymplectic if α is closed and non-degenerate. The latter
condition means that the map
Tp M → Λk−1 (Tp M )∗ , v 7→ ιv (αp )
is injective for all p ∈ M , where ιv (αp ) denotes the contraction of a vector v into
the k-form αp on Tp M .
In contrast to the symplectic case (i.e., the case k = 2) already the linear theory
is not trivial for general k. In fact, there are typically many different equivalence
classes even for non-degenerate alternating k-forms on a real vector space V .
Since the knowledge of these linear equivalence classes (or linear types) are fundamental for multisymplectic geometry, we give here a complete answer to the
following question:
Does the natural GL(V )-action on Λk (V ∗ ) have a finite or infinite
number of orbits and what is this number in the former case?
Furthermore, we answer these questions also for non-degenerate and stable orbits
(i.e. orbits of non-degenerate and stable forms), as well. We analyse the cases
(k, n) = (4, 7) and (5, 8) that were hitherto not covered by the literature and resume
all cases in Theorem 2.1 with proofs for the two cases mentioned above (Proposition
4.1 and Proposition 4.2) and references to proofs for all other cases.
Acknowledgements. The author thanks Tilmann Wurzbacher for suggesting the
problem considered in this article and for useful discussions.
1. Preliminaries
Throughout this note, let V be a finite-dimensional real vector space of dimension
n > 1 and k ∈ {0, ..., n} a natural number.
2010 Mathematics Subject Classification. 15A72, 15A21.
1

2

LEONID RYVKIN

Definition 1.1. We define the natural left action of GL(V ) on Λk (V ) (resp. the
natural right action of GL(V ) on Λk (V ∗ )) by

k

k

X

v1i

∧ ... ∧

θk : GL(V ) × Λ (V ) → Λ (V ),

θk,g

θk : GL(V ∗ ) × Λk (V ∗ ) → Λk (V ∗ ),

θgk (α) = α ◦ θk,g .

i

vki

!

=

X

(gv1i ) ∧ ... ∧ (gvki )

i

For g ∈ GL(V ), ξ ∈ Λk (V ) and α ∈ Λk (V ∗ ), we will write g · α for θk,g (ξ) and g · α
for θgk (α).
We will be especially interested in orbits of non-degenerate forms and stable orbits
in Λk (V ∗ ), as they play an important role in multisymplectic geometry.
Definition 1.2.
(1) We define the contraction map V × Λk (V ∗ ) → Λk−1 (V ∗ ) by (v, α) 7→ ιv α,
where (ιv α)(v1 , ..., vk−1 ) = α(v, v1 , ..., vk−1 ).
(2) We uniquely extend the contraction to a linear map Λl (V ) × Λk (V ∗ ) →
Λk−l (V ∗ ) for any l, such that ιξ∧ζ α = ιζ (ιξ α) holds for any ξ ∈ Λl (V ) and
′
ζ ∈ Λl V .
(3) An element α ∈ Λk (V ∗ ) is called non-degenerate if the map V → Λk−1 (V ∗ ),
v 7→ ιv α is injective and degenerate otherwise.
(4) A multivector ξ ∈ Λk (V ) resp. a form α ∈ Λk (V ∗ ) is called stable if the
orbit GL(V ) · ξ ⊂ Λk (V ) resp. GL(V ) · α ⊂ Λk (V ∗ ) is open and unstable
otherwise.
Remark 1.3. Whenever at least one non-degenerate element exists in Λk (V ∗ ), all
degenerate elements are automatically unstable.
As stability and non-degeneracy are preserved by the GL(V )-action, we will call an
orbit GL(V ) · α ⊂ Λk (V ∗ ) non-degenerate (resp. stable) if α is.
Remark 1.4. The choice of a linear isomorphims from V to V ∗ induces an isomorphism Λk (V ) → Λk (V ∗ ), which maps orbits of θk to orbits of θk . Thus the
classification of orbits of θk is equivalent to the classification of orbits of θk . In
terms of Λk (V ) degeneracy of a multivector ξ is equivalent to the existence of a
subspace W $ V such that ξ ∈ Λk (W ) ⊂ Λk (V ). We choose the perspective of
orbits in Λk (V ∗ ), as it has a more immediate relation to multisymplectic geometry.

2. Statement of the theorem
Theorem 2.1. Let V be a real vector space of dimension n > 1 and k ∈ N.
The natural action of GL(V ) on Λk (V ∗ ) has the following number of orbits (resp.
non-degenerate orbits and stable orbits) depending on n and k.

LINEAR ORBITS OF ALTERNATING FORMS ON REAL VECTOR SPACES

k=1
k = 2, n even
k = 2, n odd
k = 3, n = 6
k = 3, n = 7
k = 3, n = 8
k = 4, n = 7
k = 4, n = 8
k = 5, n = 8
3 ≤ k ≤ n − 3, n ≥ 9
k = n − 2, n ≥ 6, n = 2 mod 4
k = n − 2, n ≥ 5, n 6= 2 mod 4
k =n−1
k=n

3

orbits
2
n
2 +1

non-deg. orbits stable orbits
0
1
1
1
n+1
0
1
2
6
3
2
14
8
2
35
21
3
20
15
4
∞
∞
0
35
31
3
∞
∞
0
n
n
2
+
2
2
2
⌊ n2 ⌋ + 1 ⌊ n2 ⌋ − 1
1
2
0
1
2
1
1

Proof. The cases k ∈ {0, 1, 2, n−2, n−1, n} and the cases with infinite number of
orbits have been solved in [9]. The remaining cases for k = 3 have been completed
in [5] together with the stability considerations in [8]. We settle the remaining cases
(n, k) = (7, 4) in Proposition 4.2 and (n, k) = (8, 5) in Proposition 4.1.

Remark 2.2. If two k-forms on V lie in the same GL(V )-orbit, one says that they
are “equivalent” or they have the same “linear type”.
3. Preparations
In the sequel we will use the following technique which was used in [9] to identify
the orbits of (n−2)-forms in an n-dimensional vector space.
Lemma 3.1. Let Ω ∈ Λn (V ∗ ) be a volume form and k ∈ {0, ..., n}. Then the linear
isomorphism c : Λk (V ) → Λn−k (V ∗ ), ξ 7→ ιξ Ω has the following properties:
(1) The isomorphism c preserves stability.
(2) For all g ∈ GL(V ) we have g · c(ξ) = det(g)c(g −1 ξ).
(3) If ξ lies in the orbit of ζ, then c(ξ) lies in the orbit of c(ζ) or in the orbit of
−c(ζ). When n−k is odd those two orbits coincide.
(4) If c(ξ) and c(ζ) lie in the same orbit, then ξ lies in the orbit of ζ or in the orbit
of −ζ. When k is odd those two orbits coincide.
Proof.
(1) This follows directly from the continuity of linear maps between finite-dimensional
vector spaces.
(2) This follows from the formula g · (ιξ Ω) = ι(g−1 ·ξ) gΩ and the fact that g · Ω =
θgn (Ω) = det(g)Ω by the definition of the determinant.
1
g · c(ξ), so c(ξ) lies in the orbit of det(g)c(ζ).
(3) If ξ = g · ζ, then c(ζ) = det(g)
p
By applying the endomorphism n−k |det(g −1 )| · idV we see that c(ξ) lies in the
orbit of sign(det(g))c(ζ). The second part of the statement follows from the
identity (λ · idV ) · α = λn−k α for α ∈ Λn−k (V ∗ ) and λ ∈ R∗ .
(4) The proof of this part is analogous to that of part (3).

The following lemma will help us deduce the number of non-degenerate orbits, once
we know the total number of orbits.
Lemma 3.2. The degenerate orbits of k-forms on a n-dimensional vector space are
in one-to-one correspondance to all orbits of k-forms on a n−1-dimensional vector
space.

4

LEONID RYVKIN

Proof. Let W be a (n−1)-dimensional subspace of V and a ∈ V \W . Then V =
W ⊕ R · a. Let prW : V → W be the projection. We show that the GL(W )orbits of Λk (W ∗ ) are in one-to-one correspondence to GL(V )-orbits of Λkdeg (V ∗ ),
the degenerate k-forms on V , via the map
φ̄ :

Λkdeg (V ∗ )
Λk (W ∗ )
→
, [α] = GL(W ) · α 7→ GL(V ) · φ(α) = [φ(α)],
GL(W )
GL(V )

induced by
φ : Λk (W ∗ ) → Λk (W ∗ ) ⊕ (Λk−1 (W ∗ ) ⊗ (R · a)∗ ) ∼
= Λk (V ∗ ), α 7→ (α ⊕ 0).
Surjectivity of φ̄. Assume α ∈ Λk (V ∗ ) is degenerate, i.e. there exists a v in
V \{0} such that ιv α = 0. Choosing a g ∈ GL(V ) such that g −1 v = a, we get
ιa (g · α) = 0, i.e. (g · α)|W ∈ Λk (W ∗ ) satisfies φ((g · α)|W ) = g · α. Consequently
φ̄([(g · α)|W ]) = [α] holds and the map φ̄ is surjective.
Injectivity of φ̄. Let α, β ∈ Λk (W ∗ ) and φ(α) be equivalent to φ(β), i.e. there
exists a map g ∈ GL(V ) such that g · φ(α) = φ(β). Especially ga and a are both
elements of the vector subspace ann(φ(α)) := {v ∈ V |ιv φ(α) = 0}. We pick an
element h ∈ GL(V ) such that h(ga) = a and h · φ(α) = φ(α). Then we have
(hg) · φ(α) = g · (h · φ(α)) = g · φ(α) = φ(β), where hg(a) = a. Consequently
prW ◦(hg)|W yields a well-defined automorphism of W satisfying (prW ◦(hg)|W )·α =
β. Hence, [α] = [β] and φ̄ is injective.

4. Proofs of the remaining cases
Proposition 4.1. Let V be 8-dimensional. The natural action of GL(V ) on Λ5 (V ∗ )
has 35 orbits, 31 of those orbits are non-degenerate and three are stable.
Proof. We fix a volume form Ω on V . In the case at hand, (n, k) = (8, 3), both k
and n−k are odd. Parts (3) and (4) of Lemma 3.1 imply that the map c induces
a bijection between the orbits of Λ5 (V ∗ ) and the orbits of Λ3 (V ). This bijection
preserves stable orbits. Thus the total number of orbits and the number of stable
orbits correspond to the numbers known from the case (n, k) = (8, 3). To get the
number of non-degenerate orbits one observes that in the case (n, k) = (7, 5) there
are 4 orbits and applies Lemma 3.2.

Proposition 4.2. Let V be 7-dimensional. The natural action of GL(V ) on Λ4 (V ∗ )
has 20 orbits, 15 of those orbits are non-degenerate and 4 are stable.
Proof. We fix a volume form Ω on V . Let ξ1 , ..., ξ14 be representatives of the orbits
in Λ3 (V ), such that ξ1 , ..., ξ6 are degenerate and ξ13 and ξ14 are stable. The degree
k = 3 of the multivectors ξ is odd, so by Lemma 3.1 part (4), we know that the
orbits of c(ξi ) and c(ξj ) are different for i 6= j. Identifying the orbits in Λ4 (V ∗ )
thus amounts to finding out for which i the orbits of c(ξi ) and −c(ξi ) coincide.
Lemma 3.1 part (2) implies that the orbits coincide if and and only if the stabilizer
Stab(ξi ) ⊂ GL(V ) contains elements of negative determinant.
Fix i ∈ {1, ..., 6}, i.e. ξi is degenerate. Then there exists an a ∈ V \{0} such that
ιa ξi = 0 and W ⊂ V , a complement of R·a. The element g ∈ GL(V ) with g(a) = −a
and g|W = idW has negative determinant and stabilizes ξi . In the remaining cases
i ∈ {7, ..., 14} the explicit list of stabilizers given in [2] yields the following:
• i ∈ {7, ..., 12}: Two of the stabilizers Stab(ξi ) of non-degenerate non-stable
orbits contain elements of negative determinant
• i ∈ {13, 14}: The stabilizers Stab(ξi ) of stable orbits do not contain elements
of negative determinant.

LINEAR ORBITS OF ALTERNATING FORMS ON REAL VECTOR SPACES

5

Consequently there are 8 + 2 · 6 = 20 types of orbits, four of which are stable. We
get 15 as the number of non-degenerate orbits by Lemma 3.2.

References
[1] R. L. Bryant. Metrics with exceptional holonomy. Ann. of Math. (2), 126(3):525–576, 1987.
[2] J. Bureš and J. Vanžura. Multisymplectic forms of degree three in dimension seven. In Proceedings of the 22nd Winter School “Geometry and Physics” (Srnı́, 2002), number 71, pages
73–91, 2003.
[3] M. Callies, Y. Fregier, C. L. Rogers, and M. Zambon. Homotopy moment maps. Advances in
Mathematics, to appear. Also available as Arxiv:1304.2051.
[4] F. Cantrijn, A. Ibort, and M. de León. On the geometry of multisymplectic manifolds. J.
Austral. Math. Soc. Ser. A, 66(3):303–330, 1999.
[5] D. Ž. Djoković. Classification of trivectors of an eight-dimensional real vector space. Linear
and Multilinear Algebra, 13(1):3–39, 1983.
[6] F. Hélein. Multisymplectic formalism and the covariant phase space. In Variational problems
in differential geometry, volume 394 of London Math. Soc. Lecture Note Ser., pages 94–126.
Cambridge Univ. Press, Cambridge, 2012.
[7] N. Hitchin. Stable forms and special metrics. In Global differential geometry: the mathematical
legacy of Alfred Gray (Bilbao, 2000), volume 288 of Contemp. Math., pages 70–89. Amer.
Math. Soc., Providence, RI, 2001.
[8] H.-V. Lê, M. Panák, and J. Vanžura. Manifolds admitting stable forms. Comment. Math.
Univ. Carolin., 49(1):101–117, 2008.
[9] J. Martinet. Sur les singularités des formes différentielles. Ann. Inst. Fourier (Grenoble),
20(fasc. 1):95–178, 1970.
[10] C. L. Rogers. L∞ -algebras from multisymplectic geometry. Lett. Math. Phys., 100(1):29–50,
2012.
Leonid Ryvkin, Fakultät für Mathematik, Ruhr-Universität Bochum, Universitätsstr.
150, 44801 Bochum, Germany
E-mail address: Leonid.Ryvkin@ruhr-uni-bochum.de

