arXiv:1210.6410v3 [math.RT] 14 Mar 2014

Free resolutions of orbit closures for the
representations associated to gradings on Lie
algebras of type E6, F4 and G2
Federico Galetto
March 18, 2014
Abstract
The irreducible representations of complex semisimple algebraic groups
with finitely many orbits are parametrized by graded simple Lie algebras.
For the exceptional Lie algebras, Kraśkiewicz and Weyman exhibit the
Hilbert polynomials and the expected minimal free resolutions of the normalization of the orbit closures. We present an interactive method to construct explicitly these and related resolutions in Macaulay2. The method
is then used in the cases of the Lie algebras of type E6 , F4 , and G2 to
confirm the shape of the expected resolutions as well as some geometric
properties of the orbit closures.

Contents
1 Introduction

3

2 Geometric technique

4

3 Computations
3.1 The interactive method for syzygies . . . . . . . . . . . . . . . .
3.2 The cone procedure . . . . . . . . . . . . . . . . . . . . . . . . .

6
6
7

4 Exactness
4.1 The equivariant exactness criterion . . . . . . . . . . . . . . . . .
4.2 Dual complexes and Cohen-Macaulay orbits . . . . . . . . . . . .

8
8
9

5 Equations of the orbit closures
10
5.1 The coordinate ring of an orbit closure . . . . . . . . . . . . . . . 10
5.2 Inclusions and singular loci of orbit closures . . . . . . . . . . . . 12
5.3 The degenerate orbits . . . . . . . . . . . . . . . . . . . . . . . . 12

1

6 Representations of type E6
6.1 The case pE6 , α1 q . . . . . . . .
6.1.1 The orbit O1 . . . . . .
6.2 The case pE6 , α2 q . . . . . . . .
6.2.1 The orbit O3 . . . . . .
6.2.2 The orbit O2 . . . . . .
6.2.3 The orbit O1 . . . . . .
6.3 The case pE6 , α3 q . . . . . . . .
6.3.1 The orbit O6 . . . . . .
6.3.2 The orbit O5 . . . . . .
6.3.3 The orbit O4 . . . . . .
6.3.4 The orbit O3 . . . . . .
6.3.5 The orbit O2 . . . . . .
6.3.6 The orbit O1 . . . . . .
6.4 The case pE6 , α4 q . . . . . . . .
6.4.1 The orbit O16 . . . . . .
6.4.2 The orbit O15 . . . . . .
6.4.3 The orbit O14 . . . . . .
6.4.4 The orbit O13 . . . . . .
6.4.5 The orbit O12 . . . . . .
6.4.6 The orbits O11 and O10
6.4.7 The orbits O9 and O8 .
6.4.8 The orbit O7 . . . . . .
6.4.9 The orbit O6 . . . . . .
6.4.10 The orbit O5 . . . . . .
6.4.11 The orbit O4 . . . . . .
6.4.12 The orbits O3 and O2 .
6.4.13 The orbit O1 . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

13
13
14
14
15
15
16
16
17
18
19
19
19
20
20
21
24
25
27
28
29
30
31
31
31
32
33
33

7 Representations of type F4
7.1 The case pF4 , α1 q . . . . .
7.1.1 The orbit O3 . . .
7.1.2 The orbit O2 . . .
7.1.3 The orbit O1 . . .
7.2 The case pF4 , α2 q . . . . .
7.2.1 The orbit O9 . . .
7.2.2 The orbit O8 . . .
7.2.3 The orbit O7 . . .
7.2.4 The orbit O6 . . .
7.2.5 The orbit O5 . . .
7.2.6 The orbit O4 . . .
7.2.7 The orbit O3 . . .
7.2.8 The orbit O2 . . .
7.2.9 The orbit O1 . . .
7.3 The case pF4 , α3 q . . . . .
7.4 The case pF4 , α4 q . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

33
34
35
36
37
37
38
40
42
44
46
47
48
49
49
49
49

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2

7.4.1

The orbit O1 . . . . . . . . . . . . . . . . . . . . . . . . .

50

8 Representations of type G2
8.1 The case pG2 , α1 q . . . . .
8.2 The case pG2 , α2 q . . . . .
8.2.1 The orbit O2 . . .
8.2.2 The orbit O1 . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

50
50
51
51
52

A Equivariant maps
A.1 Diagonals . . .
A.2 Multiplications
A.3 Traces . . . . .
A.4 Exterior duality

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

53
53
54
54
55

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

References

1

56

Introduction

In [10], Kac classified the irreducible representations of semisimple groups whose
nullcone contains finitely many orbits, the so-called visible representations.
Among these representations are those which themselves contain finitely many
orbits (when the representation coincides with its nullcone); these are referred
to as representations of type I.
The representations of type I are parametrized by pairs pXn , xq, where Xn
is a Dynkin diagram and x is a “distinguished” node of Xn . The nodes of the
Dynkin diagrams are numbered according to the conventions of Bourbaki [1].
The choice of a distinguished node induces a grading on the root system Xn
and the corresponding simple Lie algebra g
à
g“
gi
iPZ

satisfying the following:
• the Cartan subalgebra h is contained in g0 ;
• the root space gβ is contained in gi , where i is the coefficient of the simple root α, corresponding the node x, in the expression of β as a linear
combination of simple roots;
• the grading is compatible with the Lie bracket of g.
The representation for the pair pXn , xq is given by the vector space g1 with the
action of the group G0 ˆCˆ , where G0 is the adjoint group of the Lie subalgebra
g0 of g; the second factor is the copy of Cˆ that occurs in the maximal torus of
the adjoint group of g but not in the maximal torus of G0 .
The orbit closures of the representations of type I were classified by Vinberg. In [18], he showed that the orbits are the irreducible components of the
3

intersections of the nilpotent orbits in g with the graded component g1 . Later,
in [19], Vinberg gave a combinatorial description of the orbits in terms of some
graded subalgebras of g.
The study of the minimal free resolutions of these orbit closures goes back
to Lascoux and his paper on determinantal varieties [14]. Józefiak, Pragacz and
Weyman developed the case of determinantal ideals of symmetric and antisymmetric matrices [9]. The more general case of rank varieties for the classical
types was studied by Lovett [15]. For the exceptional types, Kraśkiewicz and
Weyman [12] calculate the Hilbert functions of the normalization of the orbit
closures. They also describe the terms of the expected resolutions of the normalizations as representations of the group acting.
The goal of this work is to introduce a framework for constructing the complexes of Kraśkiewicz and Weyman explicitly. This involves computational
methods, carried out in the software system Macaulay2 [4], and techniques from
representation theory, commutative algebra and algebraic geometry. As a result, we can verify the shape of the free resolutions conjectured by Kraśkiewicz
and Weyman in many cases, whenever our computations are feasible; moreover,
we obtain the minimal free resolutions of the coordinate rings of the orbit closures and confirm results about Cohen-Macaulay and Gorenstein orbit closures.
Finally, we establish containment and singularity of the orbit closures. In particular, we examine the exceptional Lie algebras of type E6 , F4 and G2 , and
provide a detailed analysis of each orbit closure for those cases.
In the next section, we provide an overview of the geometric technique used
in the work of Kraśkiewicz and Weyman to extract information about the orbit
closures. In section 3, we describe the computations ran in Macaulay2; in particular, we introduce the interactive method for syzygies and the cone procedure
for non normal orbit closures. In section 4, we discuss the equivariant exactness
criterion, a simple method to establish exactness of our complexes. In section
5, we explain how to obtain the defining equations for the orbit closures and
verify they generate a radical ideal. Finally, the last sections are devoted to
a detailed analysis of the orbit closures for the representations associated with
gradings on the Lie algebras of type E6 , F4 and G2 . The appendix contains a
brief description of the equivariant maps used to construct the differentials in
our complexes.
This work is accompanied by a collection of Macaulay2 files containing the
defining ideals for the orbit closures as well as presentations of related modules. All files are available online at http://www.mast.queensu.ca/~galetto/
orbits.

2

Geometric technique

The work of Kraśkiewicz and Weyman relies on the use of the geometric technique of calculating syzygies. We provide here a brief overview of the technique
applied to the context of our work. For more details, the reader can consult
[20].

4

Let us fix a representation with finitely many orbits; using the notation of
the introduction, we have an action G0 ý g1 . Consider g1 as an affine space
N
AN
C ; every orbit closure O in g1 is an affine variety in AC . Moreover, every orbit
closure O admits a desingularization Z which is the total space of a homogeneous
vector bundle S on some homogeneous space G0 {P , for some parabolic subgroup
P of G0 . The space AN
C ˆ G0 {P can be viewed as the total space of a trivial
vector bundle E of rank N over G0 {P and S is a subbundle of E. Altogether we
have the following picture:
AN ˆ G0 {P

Z
q1

q

AN

O

where q is the projection on AN and q 1 is its restriction to Z.
Let A “ CrAN
C s; this is the polynomial ring over which we will carry out all
computations. Also, introduce the vector bundle ξ “ pE{Sq˚ on G0 {P . We can
now state the basic theorem [20, Thm. 5.1.2].
Theorem 2.1. Define the graded free A-modules:
à j´
Źi`j ¯
Fi :“
H G0 {P,
ξ bC Ap´i ´ jq.
jě0

There exist minimal G0 -equivariant differentials
di : Fi ÝÑ Fi´1
of degree 0 such that F‚ is a complex of graded free A-modules with
H´i pF‚ q “ Ri q˚ OZ .
In particular, F‚ is exact in positive degrees.
Recall that Z is a desingularization of O; in particular, the map q 1 : Z Ñ O
is a birational isomorphism. The next theorem [20, Thm. 5.1.3] gives a criterion
for the complex F‚ to be a free resolution of the coordinate ring of O.
Theorem 2.2. The following properties hold.
1. The module q˚1 OZ is the normalization of CrOs.
2. If Ri q˚ OZ “ 0 for i ą 0, then F‚ is a finite free resolution of the normalization of CrOs as an A-module.
3. If Ri q˚ OZ “ 0 for i ą 0 and F0 “ A, then O is normal and has rational
singularities.

5

The modules Fi are defined in terms of cohomology groups of the bundles
Źi`j
ξ on the flag variety G0 {P . These cohomology groups can be computed
directly using Bott’s algorithm when ξ is semisimple [20, Thm. 4.1.4]. When ξ
is not semisimple, its structure becomes complicated so working with it directly
is more difficult. However itŹis still possible to calculate the equivariant Euler
i`j
characteristic of the bundles
ξ. This was done by Kraśkiewicz and Weyman
in [12]; their work provides the Hilbert functions of the normalization of the orbit
closures together with an estimate for the shape of the minimal free resolution
of their coordinate rings in terms of G0 -modules and equivariant maps.

3

Computations

The expected resolution F‚ of the coordinate ring of O is constructed using the
information provided by the equivariant Euler characteristic. As such it may
be missing those syzygies the Euler characteristic was unable to detect due to
cancellation; namely all those corresponding to an irreducible representation
occurring in neighboring homological degrees and in the same homogeneous
degree of the resolution. By constructing F‚ explicitly in Macaulay2 (M2) [4],
we can ensure it is the actual resolution for O.
In this section we describe the type of computations that were carried out.
All computations were run in M2. Although M2 can compute minimal free
resolutions directly, this is generally impractical for many of the examples we
consider, given the amount of computational resources and time needed for the
algorithms to produce any result. Still, for some of the smaller examples, we
were able to obtain resolutions directly or using the options DegreeLimit and
LengthLimit to aid the computation.

3.1

The interactive method for syzygies

Let F‚ be the expected resolution for O and suppose that some differential
di : Fi Ñ Fi´1 can be written explicitly as a matrix with entries in the polynomial ring A. Using M2 and the command syz, one can find the first syzygies of
di . Since we expect these to coincide with the differential di`1 , we use the expected degree of di`1 as a degree bound with the option DegreeLimit to speed
up the computation. This procedure can be iterated to recover the tail of the
expected resolution:
coker di

Fi´1

di

Fi

T‚

Similarly, transposing di and calculating syzygies gives the complex
H‚

˚
Fi´1

d˚
i

Fi˚

coker d˚i

which can be dualized to obtain the head of the expected resolution. Splicing
these two complexes together, we obtain the expected resolution in the form:
6

H‚˚

di

Fi´1

Fi

T‚

Clearly, taking syzygies with degree bounds and dualizing may cause the resulting complex not to be exact; we prove exactness with the methods described
in section 4. We refer to this method of constructing the expected resolution as
the interactive method for calculating syzygies.
Remark 3.1. In most cases, given the decomposition into irreducible representations of the modules Fi , the differentials di are uniquely determined by
Schur’s lemma, up to a choice of scalars. However writing them explicitly is
in general quite complicated. When the defining equations, i.e. the differential
d1 , are not known, our choice of differential di to write explicitly falls on those
matrices that are easier to describe (e.g. matrices with linear entries).

3.2

The cone procedure

When the orbit closure O is not normal, the geometric technique returns the
expected resolution of the coordinate ring of the normalization N pOq, as an
A-module. We have an exact sequence of A-modules:
0

CrOs

CrN pOqs

C

0

Using the interactive method, we recover the expected resolution F‚ for
N pOq; in particular, d1 : F1 Ñ F0 is a minimal presentation of CrN pOqs. As a
G0 -representation, the module C is always obtained from CrN pOqs by removing
some irreducible representations. This implies that, in the appropriate bases for
F0 and F1 , a presentation of C is given by a map of free modules d11 : F11 Ñ F01
whose matrix is obtained from that of d1 by dropping some rows and columns.
This presentation can be used in M2 to construct a resolution F‚1 for C (using the
interactive method, if necessary). Moreover, the projection π0 : F0 Ñ F01 lifts to
a map of complexes π̃ : F‚ Ñ F‚1 ; this can be achieved explicitly in M2 with the
command extend or via a step by step factorization with the command //. It
is well known that the cone of π̃ is a (non necessarily minimal) free resolution of
CrOs; in M2, this is recovered with cone. Given the shift in homological degree
introduced by the cone, CrOs is the degree one homology of the cone of π̃. Now
CrOs can be minimized and resolved directly or using the interactive method.
We call this the cone procedure.
Remark 3.2. A more efficient version of this technique comes from the realization that, because the homology of the cone of π̃ is concentrated in degree
one, it is not necessary to construct the whole cone in M2. In fact it is enough
to know the resolutions of CrN pOqs and C up to homological degree two and
use them to construct the part of the cone needed to recover the homology in
degree one. We will refer to this as the truncated cone procedure.

7

4

Exactness

Once the expected resolution has been constructed in M2, we turn to the issue
of proving it is exact.

4.1

The equivariant exactness criterion

Recall the exactness criterion of Buchsbaum and Eisenbud [2, Thm. 20.9]:
Theorem 4.1. Let A be a ring and
F‚ :

F0

d1

F1

...

Fn´1

dn

Fn

a complex of free A-modules. F‚ is exact if and only if @k “ 1, . . . , n:
1. rankpFk q “ rankpdk q ` rankpdk`1 q;
2. depthpIpdk qq ě k where Ipdk q is the ideal of A generated by maximal non
vanishing minors of dk .
The map dn`1 is understood to be the zero map.
When A is our polynomial ring and F‚ is the expected resolution of an orbit
closure O, we have a more efficient way of proving exactness relying on the fact
that F‚ is G0 -equivariant. Recall that G0 acts on AN
C , identified with g1 , with
finitely many orbits O0 , . . . , Ot ; it follows immediately that the action has a
dense orbit, also referred to as the generic orbit. Let pj be a representative of
the orbit Oj and let p be a representative of the generic orbit.
Lemma 4.2. Let d : F Ñ F 1 be a non zero, G0 -equivariant, minimal map of
graded free A-modules of finite rank.
depthpIpdqq “ mintcodimpOj q | rankpd|pj q ă rankpd|p qu.
Notice that the minimum on the right hand side is taken over a non empty
set, since the rank of d at the origin is zero.
Proof. Denote VpIpdqq the zero set in AN
C of the ideal Ipdq of A. We have
a
depthpIpdqq “ depthp Ipdqq “ codimpVpIpdqqq
where the first equality holds because radicals preserve depth and the second
equality follows from the fact the that the polynomial ring A is Cohen-Macaulay.
By assumption, d is G0 -equivariant, hence Ipdq is G0 -equivariant and so is its
zero set. Therefore we can write
ď
VpIpdqq “
Oj
rankpd|pj qărankpd|p q

which is a finite union of G0 -orbits. Finally
codimpVpIpdqqq “ mintcodimpOj q | rankpd|pj q ă rankpd|p qu.

8

Proposition 4.3 (Equivariant exactness criterion). Let F‚ be a G0 -equivariant
minimal complex of graded free A-modules and assume the differentials di : Fi Ñ
Fi´1 are non zero. Then F‚ is exact if and only if @k “ 1, . . . , n:
1. rankpFk q “ rankpdk |p q ` rankpdk`1 |p q;
2. mintcodimpOj q | rankpdk |pj q ă rankpdk |p qu ě k.
Proof. Condition 1 is equivalent to the first condition in the criterion of Buchsbaum and Eisenbud. This is because p is a representative of the generic orbit
and therefore rankpdk |p q “ rankpdk q.
As for condition 2, this is equivalent to the second condition in the criterion
of Buchsbaum and Eisenbud, because, by lemma 4.2, we have
depthpIpdk qq “ mintcodimpOj q | rankpdk |pj q ă rankpdk |p qu ě k.

4.2

Dual complexes and Cohen-Macaulay orbits

A useful feature of the equivariant exactness criterion is that it easily allows to
check if the dual complex F‚˚ is exact, providing us with the following.
Corollary 4.4. Under the hypotheses of proposition 4.3, suppose Dj0 P t0, . . . , tu
such that whenever rankpdk |pj q ă rankpdk |p q, for some k and j, we have:
• rankpdk |pj0 q ă rankpdk |p q;
• codimpOj0 q ď codimpOj q.
Then F‚ is exact if and only if F‚˚ is exact.
Remark 4.5. The conditions in the corollary can be simply restated by saying
that the ranks of the differentials dk drop simultaneously at the same orbit Oj0 .
Proof. First observe that rankpd˚k |pj q “ rankpdk |pj q. Now apply the equivariant
exactness criterion. Condition 1 is trivially satisfied. Condition 2 together with
the hypothesis implies
codimpOj0 q “ mintcodimpOj q | rankpdk |pj q ă rankpdk |p qu ě k
for all k. Since the left hand side is independent of k, condition 2 must be
satisfied for F‚ and F‚˚ at the same time.
The above corollary implies that when F‚ is exact and the ranks of the
differentials dk drop simultaneously at the same orbit, F‚ resolves a perfect
module. In particular, if F‚ resolves the coordinate ring of some orbit closure
O, then O is Cohen-Macaulay.
Remark 4.6. As detailed in the discussion of the interactive method 3.1, the
head H‚ of the expected resolution is obtained by transposing the matrix of a
differential di , resolving its cokernel and then dualizing back. It was noted then
that taking duals could affect exactness. However, it follows immediately from
our previous corollary, that if O is Cohen-Macaulay both H‚ and H‚˚ are exact.
9

5

Equations of the orbit closures

Once we establish that the expected resolution F‚ for an orbit closure O is exact,
the entries of the first differential d1 : F1 Ñ F0 generate an ideal I of A whose
zero set VpIq is precisely O. In this section we address the issue of determining
if I is a radical ideal. We also describe a simple criterion to establish inclusion
and singularity of the orbit closures.

5.1

The coordinate ring of an orbit closure

The generators of the ideal I provide equations for the variety O. There is
no guarantee however that I is radical; equivalently, A{I need not be reduced,
hence it may not be the coordinate ring of O.
We outline here the method used to show that the ring R “ A{I is indeed
reduced. The proof relies on the following characterization of reduced rings [2,
Ex. 11.10] which is an analogue of Serre’s criterion for normality.
Proposition 5.1. A Noetherian ring R is reduced if and only if it satisfies:
pR0 q: the localization of R at each prime of height 0 is regular;
pS1 q: all primes associated to zero have height 0.
We address the condition pS1 q first. In our case, O is always irreducible
since it is an orbit closure for an irreducible ?
group G0 . This implies that the
ideal I has a unique
minimal
prime,
namely
I. Therefore the condition pS1 q
?
is equivalent to I being the only associated prime of I. In particular, I will
have no embedded?primes.
To prove that I is the only associated prime of I, we adapt a result from
[2, Cor. 20.14].
Lemma 5.2. Let
F‚ :

F0

d1

F1

...

Fn´1

dn

Fn

0

be a free resolution of R “ A{I as an A-module and suppose depthA pIq “
c. We have depthAp ppAp q “ c for all associated primes p of I if and only if
depthpIpdk qq ą k for all k ą c, where Ipdk q is the ideal of A generated by the
maximal non vanishing minors of dk .
The following result provides a simple test for the condition pS1 q in all cases
we consider.
Proposition 5.3. Let I be an ideal in the polynomial ring A such that the
zero locus VpIq of I is irreducible of codimension c. Let
F‚ :

F0

d1

F1

...

10

Fn´1

dn

Fn

0

be a free resolution
of R “ A{I as an A-module. If depthpIpdk qq ą k for all
?
k ą c, then I is the only associated prime of I and R satisfies pS1 q.
Proof. First observe that
?
c “ codimpVpIqq “ depthA p Iq “ depthA pIq,
because the ring A is Cohen-Macaulay and taking radicals preserve depth.
Now let p be an associated prime of I. By lemma 5.2, we have depthAp ppAp q “
?
?
c. Since I is the unique minimal prime of I, the inclusion I Ď p holds. We
deduce that
?
c “ depthA p Iq ď depthA ppq ď depthAp ppAp q “ c,
where the last inequality holds because passing to the localization preserves
regular sequences. Since A is Cohen-Macaulay, it follows that
heightppq “ depthA ppq “ c.
But

?

I Ď p and both ideals are primes of height c. Therefore p “

?

I.

Remark 5.4. The test given in 5.3 is quite easy to apply in practice. The
(co)dimension of each orbit closure is known a priori. Moreover, as observed in
the proof of proposition 4.3,
depthpIpdk qq “ mintcodimpOj q | rankpdk |pj q ă rankpdk |p qu,
where pj is a representative of the orbit Oj and p is a representative of the dense
orbit.
We now turn to the condition pR0 q in 5.1.
Proposition 5.5. Let I be an ideal in the polynomial ring A with zero
? locus
VpIq of codimension c. Assume also that VpIq is irreducible and that I is the
only associated prime of I. Denote J the Jacobian matrix for a set of generators
of I. If there exists a point x P VpIq such that rankpJ|x q “ c, then the ring
R “ A{I satisfies the condition pR0 q and is therefore reduced.
Proof. Let m? be the maximal ideal of A corresponding to the point x P VpIq
and let p “ I. We denote m and p respectively, the images of m and p under
the canonical projection A Ñ A{I “ R. Clearly R satisfies pS1 q, given the
hypothesis on the associated primes of I. To prove R satisfies pR0 q we must
show that the local ring Rp is regular, since p is the only height 0 prime in R.
First we observe that the ring Rm is regular by the Jacobian criterion [2,
Th. 16.19]. By the transitivity of localization
Rp – pRm qpRm .
The localization of a regular local ring at a prime ideal is regular. Hence Rp is
regular.
11

Remark 5.6. In practice, for an orbit closure O “ VpIq, we will check that the
rank of the Jacobian matrix of I is equal to codimpOq at a representative x of
O. Indeed the point x is smooth in O. This is because the singular locus of O
is equivariant; therefore it must be an orbit closure of codimension at least one
in O and cannot contain x.
Remark 5.7. A Cohen-Macaulay ring R is generically reduced (i.e. its localization at each minimal prime is reduced) if and only if it is reduced [2, Ex.
18.9]. Notice how generically reduced is precisely the condition pR0 q. In fact,
if our ring R “ A{I is Cohen-Macaulay, then it automatically satisfies pS1 q.
Therefore it is enough to check pR0 q as outlined above.

5.2

Inclusions and singular loci of orbit closures

One problem that can be answered easily once we have equations for the orbit
closures is to determine how they sit one inside the other. To be more precise,
we introduce the degeneration partial order by setting Oi ď Oj if and only
if Oi Ď Oj . Because we have finitely many orbits, the entire picture can be
described by checking if the equations of Oj vanish at the representative pi of
Oi . This can be achieved conveniently in M2.
Next we can use the equations of an orbit closure to construct a Jacobian
matrix and apply the Jacobian criterion to determine the singular locus of the
orbit closure [5, p. 31]. Once again, it is enough to evaluate the rank of the
Jacobian matrix at finitely many points, the points being representatives of the
orbits.
The information on containment and singularity of the orbit closures is presented in a table with rows labeled by the orbits and columns labeled by their
closures. The cell corresponding to a row Oi and a column Oj can be empty,
meaning the points of the orbit Oi are not contained in the orbit closure Oj , or
it can contain the letters ‘ns’ (respectively ‘s’) to indicate that the points of Oi
are non singular (respectively singular) in the orbit closure Oj .

5.3

The degenerate orbits

Let pXn , xq be a Dynkin diagram with a distinguished node. The Lie algebra g
of type Xn has a grading
à
g“
gi
iPZ

induced by the choice of the distinguished node x, as described in the introduction. Let O be an orbit for the action G0 ˆ Cˆ ý g1 . Suppose there is
a node y ‰ x in Xn such that O X g11 ‰ 0, where g1 is the graded subalgebra
of g corresponding to the subdiagram pXn ztxu, yq. Then we say the orbit O
is degenerate. This means that O comes from an orbit O1 that occurs in the
case of a smaller Dynkin diagram. The paper of Kraśkiewicz and Weyman [12]
describes a method to obtain the free resolution for the coordinate ring of O by
reducing to the case of O1 .

12

In practice, many of the orbit closures of degenerate orbits that we encountered are well known varieties. When possible, we describe the defining equations directly. For some cases, we can obtain the defining ideal by polarizing
the equations for the closure of the smaller orbit with respect to the inclusion
g11 ãÑ g1 , and adding (if they are not already contained in the ideal) the equations of the so-called generic degenerate orbit. The latter is an orbit closure
in g1 arising from an orbit closure in g11 whose closure is all of g11 ; it will be
indicated on a case by case basis, when needed.

6

Representations of type E6

In this section, we will analyze the cases corresponding to gradings on the simple
Lie algebra of type E6 . Each case corresponds to the choice of a distinguished
node on the Dynkin diagram for E6 . The nodes are numbered according to the
conventions in Bourbaki [1].
α1

α3

α4

α5

α6

α2

Given the symmetry in the diagram, it is enough to consider the cases with
α1 , α2 , α3 , α4 as the distinguished nodes. The case pE6 , α5 q is equivalent to
pE6 , α3 q, while pE6 , α6 q is equivalent to pE6 , α1 q.

6.1

The case pE6 , α1 q

The representation is V pω4 , D5 q, the half spinor representation for the group
Spinp10q. It has dimension 16 and weight vectors of the form pλ1 , . . . , λ5 q,
where λi “ ˘ 12 , with an even number of negative coordinates. Each weight is
labeled by rIs, where
ˇ
(
I “ i P t1, 2, 3, 4, 5uˇλi “ ´ 21 .
The corresponding polynomial ring is
A “ Crx∅ , xab , xijkl |1 ď a ă b ď 5, 1 ď i ă j ă k ă l ď 5s.
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2

dimension
0
11
16

13

representative
0
x∅ “ 1
x∅ “ x1234 “ 1

All the orbit closures are normal, Cohen-Macaulay and have rational singularities. Here is the containment and singularity table:
O0
O1
O2
6.1.1

O0
ns

O1
s
ns

O2
ns
ns
ns

The orbit O1

The variety O1 is the closure of the highest weight vector orbit and it is known
as the variety of pure spinors. The defining equations were described by Manivel
in [16] and can be resolved directly in M2. The Betti table for the resolution is

total:
0:
1:
2:
3:

0 1 2 3 4 5
1 10 16 16 10 1
1 .
.
.
. .
. 10 16 .
. .
. .
. 16 10 .
. .
.
.
. 1

This orbit closure is Gorenstein.

6.2

The case pE6 , α2 q

Ź3
The representation is
F , where F “ C6 ; the group acting is GLpF q. The
Ź3
weights of
F are of the form i ` j ` k for 1 ď i ă j ă k ď 6. We
label the corresponding weight vector by rijks where 1 ď i ă j ă k ď 6. The
corresponding polynomial ring is
´Ź
¯
3 ˚
A “ Crxijk |1 ď i ă j ă k ď 6s “ Sym
F .
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2
O3
O4

dimension
0
10
15
19
20

representative
0
x123 “ 1
x123 “ x145 “ 1
x123 “ x145 “ x246 “ 1
x123 “ x456 “ 1

All the orbit closures are normal, Cohen-Macaulay, Gorenstein and have rational
singularities. Here is the containment and singularity table:

14

O0
O1
O2
O3
O4

O0
ns

O1
s
ns

O2
s
s
ns

O3
s
s
s
ns

O4
ns
ns
ns
ns
ns

When describing the resolutions over A we write simply λ for the Schur
module Sλ F ˚ b Ap´|λ|{3q.
6.2.1

The orbit O3

The orbit closure O3 is a hypersurface defined by an invariant of degree 4 which
can be obtained as follows:
Ź6 ˚ Ź6 ˚
F b
F
∆b∆

Ź3

˚

F b

Ź2

˚

˚

F b F b F˚ b

Ź2

F˚ b

Ź3

F˚

m2,4 b m3,5

Ź3

F˚ b

Ź3

F˚ b

Ź3

F˚ b

Ź3

F˚

A4
An explicit formula for this invariant can be found in [11, Remark 4.2].
6.2.2

The orbit O2

The expected resolution for the coordinate ring CrO2 s is
p06 q ÐÝ p23 , 13 q ÐÝ p3, 24 , 1q ÐÝ p4, 34 , 2q ÐÝ p43 , 33 q ÐÝ p56 q ÐÝ 0
The differential d2 was written explicitly as the map
F b F˚

tr p2q

F b F˚ b

Ź2

Fb

Ź2

F˚

m13 b m24

Ź3

F b A1

restricted to the space of 6 ˆ 6 traceless matrices kerpF b F ˚ Ñ Cq identified
with Sp2,14 q F ˚ . The Betti table for the resolution is
total:
0:
1:
2:
3:
4:
5:

0 1 2 3 4 5
1 20 35 35 20 1
1 .
.
.
. .
. .
.
.
. .
. 20 35 .
. .
. .
. 35 20 .
. .
.
.
. .
. .
.
.
. 1
15

6.2.3

The orbit O1

The variety O1 is the closure of the highest weight vector orbit. Geometrically,
it is the cone over the Grassmannian Grp3, C6 q. The defining ideal is generated
by Plücker relations and can be obtained in M2 using Grassmannian(2, 5,
CoefficientRing => QQ). The Betti table of the minimal free resolution is
total:
0:
1:
2:
3:
4:

0 1
2
3
4
5
6
7
8
9 10
1 35 140 301 735 1080 735 301 140 35 1
1 .
.
.
.
.
.
.
.
.
.
. 35 140 189
.
.
.
.
.
.
.
. .
.
112 735 1080 735 112
.
.
.
. .
.
.
.
.
.
189 140 35 .
. .
.
.
.
.
.
.
.
.
1

This resolution was first determined by Pragacz and Weyman in [17].

6.3

The case pE6 , α3 q

Ź2
The representation is E b
F , where E “ C2 and F “ C5 ; the group acting is
ˆ
SLpEq ˆ SLpF q ˆ C . We denote the tensor ea b fi ^ fj by ra; ijs where a “ 1, 2
and 1 ď i ă j ď 5. The corresponding polynomial ring is
´
Ź2 ˚ ¯
A “ Crxa;ij |a “ 1, 2; 1 ď i ă j ď 5s “ Sym E ˚ b
F .
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2
O3
O4
O5
O6
O7

dimension
0
8
11
12
15
16
18
20

representative
0
x1;12 “ 1
x1;12 “ x1;34 “ 1
x1;12 “ x2;13 “ 1
x1;12 “ x1;34 “ x2;13 “ 1
x1;12 “ x2;34 “ 1
x1;12 “ x2;34 “ x1;35 “ 1
x1;12 “ x2;34 “ x1;35 “ x2;15 “ 1

All the orbit closures, except for O6 , are normal, Cohen-Macaulay and have
rational singularities. Here is the containment and singularity table:
O0
O1
O2
O3
O4
O5
O6
O7

O0
ns

O1
s
ns

O2
s
ns
ns

O3
s
s
ns

16

O4
s
s
s
s
ns

O5
s
s
ns
s
ns
ns

O6
s
s
s
s
s
s
ns

O7
ns
ns
ns
ns
ns
ns
ns
ns

We denote the free A-module Spa,bq E ˚ b Spc,d,e,f,gq F ˚ b Ap´a ´ bq by
pa, b; c, d, e, f, gq.
6.3.1

The orbit O6

The orbit closure O6 is not normal. The expected resolution for the coordinate
ring of the normalization of O6 is
A ‘ p1, 1; 1, 1, 1, 1, 0q Ð p2, 1; 2, 1, 1, 1, 1q Ð p4, 1; 2, 2, 2, 2, 2q Ð 0
The differential d2 : p4, 1; 2, 2, 2, 2, 2q Ñ p2, 1; 2, 1, 1, 1, 1q was written explicitly
as the map
S3 E ˚
then S2 E ˚ b

∆

Ź4

tr p4q

S2 E ˚ b E ˚

S2 E ˚ b E ˚ b

Ź4

Fb

Ź4

F˚

F ˚ is embedded in A2 via the map:
Ź4 ˚
S2 E ˚ b
F
∆
˚

S2 E b

Ź2

F˚ b

Ź2

F˚

m2,3

S2 E ˚ b S2 p

Ź2

F ˚q

A2
to get a map S3 E ˚ Ñ E ˚ b
is

Ź4

F b A2 . The Betti table for the normalization

total:
0:
1:
2:
3:

0 1 2
6 10 4
1 . .
. . .
5 10 .
. . 4

Dropping the row of degree 3 in the first differential we get the map
p2, 1; 2, 1, 1, 1, 1q Ñ p1, 1; 1, 1, 1, 1, 0q
This is a presentation for the cokernel Cp6q of the inclusion CrO6 s ãÑ CrN pO6 qs,
whose Betti table is
0 1 2 3 4
total: 5 10 14 10 1
2:
5 10 .
. .
3:
. .
4
. .
4:
. . 10 10 .
5:
. .
.
. .
6:
. .
.
. 1
17

By the cone procedure, we recover the resolution of CrO6 s which has the following Betti table
0 1 2 3
total: 1 10 10 1
0:
1 .
. .
1:
. .
. .
2:
. .
. .
3:
. .
. .
4:
. .
. .
5:
. 10 10 .
6:
. .
. .
7:
. .
. 1
We observe that O6 is not Cohen-Macaulay because it has codimension 2 but
its coordinate ring has projective dimension 3.
6.3.2

The orbit O5

The orbit closure O5 is degenerate. The expected resolution for the coordinate
ring CrO5 s is
A Ð p2, 1; 2, 1, 1, 1, 1q Ð p4, 1; 2, 2, 2, 2, 2q ‘ p2, 2; 2, 2, 2, 1, 1q Ð
Ð p4, 3; 3, 3, 3, 3, 2q Ð p4, 4; 4, 3, 3, 3, 3q Ð 0
We construct explicitly the differential d4 as follows
F˚
tr p1q b tr p1q

F ˚ b E b E˚ b F b F ˚
m1,5

E b E˚ b F b

Ź2

F˚

m2,4

E b F b A1
The Betti table for the resolution is
total:
0:
1:
2:
3:
4:

0 1 2 3 4
1 10 14 10 5
1 .
.
. .
. .
.
. .
. 10 10 . .
. .
4
. .
. .
. 10 5

18

6.3.3

The orbit O4

The orbit closure O4 is degenerate
Ź2and4 comes from
Ź2a smaller orbit which is a
hypersurface of degree 4 in E b
pC q ãÑ E b
F . This hypersurface is
defined by the discriminant of the Pfaffian of a 4 ˆ 4 skew-symmetric
Ź2matrix
F are
of generic linear forms in two variables. The equations of O4 in E b
obtained Ź
by taking polarizations
of
this
discriminant
with
respect
to
the
incluŹ2
2 4
sion E b
C ãÑ E b
F (corresponding to the representation Sp2,2q E ˚ b
Sp2,2,2,2q F ˚ ) together with the defining equations of the “generic degenerate
orbit” O5 . The Betti table for the resolution is
total:
0:
1:
2:
3:
4:
5:
6.3.4

0 1 2 3 4 5
1 25 62 55 20 3
1 .
.
.
. .
. .
.
.
. .
. 10 10 .
. .
. 15 52 45 . .
. .
. 10 20 .
. .
.
.
. 3

The orbit O3

The orbit closure O3 is degenerate. The equations can be obtained directly
through the map
S2 E ˚ b

Ź4

F˚

A2

which is the embedding described in 6.3.1. The Betti table for the resolution is
total:
0:
1:
2:
3:
4:
6.3.5

0 1
2
3
4
5
6
7 8
1 15 75 187 265 245 121 20 5
1 .
.
.
.
.
.
. .
. 15 20
.
.
.
.
. .
. . 55 152 105
.
.
. .
. .
.
35 160 245 120 . .
. .
.
.
.
.
1 20 5

The orbit O2

The orbit closure O2 is degenerate. The equations can be obtained directly
through the map
Ź2 ˚ Ź2 ´Ź2 ˚ ¯
E b
F
A2

19

which gives the 2 ˆ 2 minors of the generic matrix of a linear map E ˚ Ñ
The ideal is resolved by the Eagon-Northcott complex with Betti table
total:
0:
1:
6.3.6

Ź2

F ˚.

0 1
2
3
4
5
6
7
8 9
1 45 240 630 1008 1050 720 315 80 9
1 .
.
.
.
.
.
.
. .
. 45 240 630 1008 1050 720 315 80 9

The orbit O1

The orbit closure O1 is degenerate. The equations are simply those of the orbit
closures O2 and O3 taken together. The Betti table of the resolution is
total:
0:
1:
2:
3:

0 1
2
3
4
5
6
7
8
9
10 11 12
1 60 360 1011 1958 3750 5490 5235 3257 1329 375 60 4
1 .
.
.
.
.
.
.
.
.
.
.
.
. 60 360 1005 1458 1050 720 315
80
9
.
.
.
. .
.
6
500 2700 4770 4920 3177 1200 285 30 .
. .
.
.
.
.
.
.
.
120 90 30 4

6.4

The case pE6 , α4 q

The representation is E b F b H, where E “ C2 and F “ H “ C3 ; the group
acting is SLpEq ˆ SLpF q ˆ SLpHq ˆ Cˆ . We denote the tensor ei b fj b hk by
[i;j;k], where i “ 1, 2 and j, k “ 1, 2, 3. The corresponding polynomial ring is
A “ Crxijk |i “ 1, 2; j, k “ 1, 2, 3s “ Sym pE ˚ b F ˚ b H ˚ q
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative.

20

orbit
O0
O1
O2
O3
O4
O5
O6
O7
O8
O9
O10
O11
O12
O13
O14
O15
O16
O17

dimension
0
6
8
8
9
11
10
12
13
13
14
14
14
14
15
16
17
18

representative
0
x111 “ 1
x111 “ x221 “ 1
x111 “ x212 “ 1
x111 “ x122 “ 1
x111 “ x122 “ x212 “ 1
x111 “ x122 “ x133 “ 1
x111 “ x222 “ 1
x111 “ x222 “ x132 “ 1
x111 “ x222 “ x123 “ 1
x111 “ x222 “ x132 “ x231 “ 1
x111 “ x222 “ x123 “ x213 “ 1
x111 “ x222 “ x123 “ x132 “ 1
x111 “ x222 “ x123 “ x231 “ 1
x111 “ x222 “ x133 “ 1
x111 “ x222 “ x123 “ x231 “ x132 “ 1
x111 “ x222 “ x133 “ x213 “ 1
x111 “ x211 “ x122 “ x133 “ 1, x222 “ ´1

The containment and singularity table can be found below.
We denote the free A-module Spa,bq E ˚ b Spc,d,eq F ˚ b Spf,g,hq F ˚ b Ap´a ´ bq
by pa, b; c, d, e; f, g, hq.
Certain pairs of orbit closures are isomorphic under the involution exchanging F and H. This involution produces an automorphism of A exchanging xijk
with xikj ; this, in turn, induces isomorphisms of the coordinate rings and free
resolutions. Because of this, it is enough to discuss only one case in each pair.
6.4.1

The orbit O16

The orbit closure O16 is a hypersurface defined by the discriminant of the determinant of a generic 3 ˆ 3 matrix of linear forms in two variables, which is a
homogeneous polynomial of degree 12. Explicitly:
¨
˛
ux111 ` vx211 ux112 ` vx212 ux113 ` vx213
δ “ det ˝ux121 ` vx221 ux122 ` vx222 ux123 ` vx223 ‚ “
ux131 ` vx231 ux132 ` vx232 ux133 ` vx233
“ a3,0 u3 ` a2,1 u2 v ` a1,2 uv 2 ` a0,3 v 3 ,
and
discpδq “ 27a23,0 a21,2 ` 4a3,0 a31,2 ` 4a32,1 a0,3 ´ a22,1 a21,2 ´ 18a3,0 a2,1 a1,2 a0,3 .
The orbit closure O16 is not normal. The expected resolution for the coordinate
ring of the normalization N pO16 q is
A ‘ p2, 1; 1, 1, 1; 1, 1, 1q Ð p4, 2; 2, 2, 2; 2, 2, 2q Ð 0
21

22

O0
O1
O2
O3
O4
O5
O6
O7
O8
O9
O10
O11
O12
O13
O14
O15
O16
O17

O0
ns

O1
s
ns

O2
s
ns
ns
ns

O4
s
s

O5
s
s
s
s
s
ns
ns

ns

O6
s
ns

ns

O7
s
s
s
s
ns
ns
s
ns

O8
s
s
s
s
s
s

ns

s

O9
s
s
s
s
s
s

ns

ns
ns

O10
s
s
s
ns
ns
ns

ns

ns

ns

O11
s
s
ns
s
ns
ns

ns

O12
s
s
s
s
s
s
s
s
ns
ns

ns

s
ns
ns

O13
s
s
s
s
s
s

Table 1: Containment and singularity table for the case pE6 , α4 q

ns

O3
s
ns

ns

ns

O14
s
s
s
s
s
s
s
s
ns
ns

ns

O15
s
s
s
s
s
s
s
s
s
s
s
s
s
s

O16
s
s
s
s
s
s
s
s
s
s
s
s
s
s
s
s
ns

O17
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns

so there is only one differential d1 with two blocks. The block p4, 2; 2, 2, 2; 2, 2, 2q Ñ
p2, 1; 1, 1, 1; 1, 1, 1q is the map
S2 E ˚ b

Ź3

F˚ b

Ź3

H˚

tr p1q

Ź3

E b E ˚ b S2 E ˚ b

F˚ b

Ź3

H˚

m2,3
˚

E b S3 E b

Ź3

F˚ b

Ź3

H˚

E b A3
where the embedding S3 E ˚ b

Ź3

F˚ b

Ź3

pe˚1 qi pe˚2 qj ÞÝÑ

H ˚ ãÑ A3 at the end is given by

i!j!
ai,j ,
3!

the ai,j being the coefficients of δ as above. Notice that this block also provides a minimal presentation of the cokernel Cp16q of the inclusion CrO16 s ãÑ
CrN pO16 qs. The block p4, 2; 2, 2, 2; 2, 2, 2q Ñ A can be obtained as follows. First
construct the following map for the E ˚ factor:
S2 E ˚ b

Ź2

E˚ b

Ź2

E˚

∆b∆b∆
˚

˚

˚

E b E b E b E˚ b E˚ b E˚
m1,3,5 b m2,4,6

S3 E ˚ b S3 E ˚
Then embed into A via the map
S3 E ˚ b

Ź3

F˚ b

Ź3

H ˚ b S3 E ˚ b

Ź3

F˚ b

Ź3

H˚

A3 b A3
A6
where the first step uses the embedding described earlier twice and the second
step is symmetric multiplication.

23

The Betti table for the resolution of the normalization is
0 1
3 3
1 .
. .
. .
2 .
. .
. 3

total:
0:
1:
2:
3:
4:
5:

and the Betti table for the resolution of the cokernel Cp16q is

total:
3:
4:
5:
6:
7:
8:
9:
10:
6.4.2

0 1 2
2 3 1
2 . .
. . .
. 3 .
. . .
. . .
. . .
. . .
. . 1

The orbit O15

The orbit closure O15 is normal with rational singularities. The expected resolution for the coordinate ring CrO15 s is
A ÐÝ p4, 2; 2, 2, 2; 2, 2, 2q ÐÝ p5, 4; 3, 3, 3; 3, 3, 3q ÐÝ 0
The differential d2 was written explicitly by taking the map
Ź2

E˚ b

Ź2

E˚ b E˚

∆b∆
˚

˚

˚

E b E b E b E˚ b E˚
m1,3 b m2,4

S2 E ˚ b S2 E ˚ b E ˚
m1,3

S3 E ˚ b S2 E ˚

24

Ź3 ˚ Ź3 ˚
on the E ˚ factor and then embedding S3 E ˚ b
F b
H into A3 as
described in 6.4.1. The Betti table for the resolution is
0 1 2
1 3 2
1 . .
. . .
. . .
. . .
. . .
. 3 .
. . .
. . 2

total:
0:
1:
2:
3:
4:
5:
6:
7:

We conclude that O15 is Cohen-Macaulay.
6.4.3

The orbit O14

The orbit closure O14 is not normal. The expected resolution for the coordinate
ring of the normalization N pO14 q is
A ‘ p1, 1; 1, 1, 0; 1, 1, 0q Ð p2, 1; 1, 1, 1; 2, 1, 0q ‘ p2, 1; 2, 1, 0; 1, 1, 1q Ð
Ð p3, 1; 2, 1, 1; 2, 1, 1q Ð p5, 1; 2, 2, 2; 2, 2, 2q Ð 0
The differential d3 : p5, 1; 2, 2, 2; 2, 2, 2q Ñ p3, 1; 2, 1, 1; 2, 1, 1q was written explicitly as the map
S4 E ˚
∆ b tr p2q b tr p2q

S2 E ˚ b S2 E ˚ b

Ź2

S2 E ˚ b

Fb

Ź2

Ź2

Fb

F˚ b

Ź2

Ź2

Hb

Ź2

H˚

H b A2

Ź2 ˚ Ź2 ˚
The embedding S2 E ˚ b
F b
H ãÑ A2 works by sending the basis
vector
pe˚1 qi pe˚2 qj b fa ^ fb b hc ^ hd
to the coefficient of ui v j in the expansion of
ˆ
˙
i!j!
ux1ac ` vx2ac ux1ad ` vx2ad
det
ux1bc ` vx2bc ux1bd ` vx2bd
2!

25

Notice that the minor above is the one corresponding to rows a, b and columns
c, d in the matrix δ defined in 6.4.1. The Betti table for the normalization is
total:
0:
1:
2:
3:

0
10
1
.
9
.

1 2 3
32 27 5
.
. .
.
. .
32 27 .
.
. 5

Dropping the row of degree 3 in the first differential we get the map
p2, 1; 1, 1, 1; 2, 1, 0q ‘ p2, 1; 2, 1, 0; 1, 1, 1q Ñ p1, 1; 1, 1, 0; 1, 1, 0q
This is a presentation for the cokernel Cp14q of the inclusion CrO14 s ãÑ CrN pO14 qs;
the Betti table for Cp14q is

total:
2:
3:
4:
5:
6:

0 1
2
3
4
5
6
7 8
9 32 131 347 477 372 181 54 7
9 32 27
.
.
.
.
. .
. .
.
5
.
.
.
. .
. . 104 342 477 372 180 54 7
. .
.
.
.
.
.
. .
. .
.
.
.
.
1
. .

By the truncated cone procedure, we recover the resolution of CrO14 s which has
the following Betti table
total:
0:
1:
2:
3:
4:
5:
6:
7:

0 1
2
3
4
5
6 7
1 104 342 477 372 181 54 7
1
.
.
.
.
.
. .
.
.
.
.
.
.
. .
.
.
.
.
.
.
. .
.
.
.
.
.
.
. .
.
.
.
.
.
.
. .
. 104 342 477 372 180 54 7
.
.
.
.
.
.
. .
.
.
.
.
.
1
. .

We observe that O14 is not Cohen-Macaulay because it has codimension 3 but
its coordinate ring has projective dimension 7.

26

6.4.4

The orbit O13

The orbit closure O13 is not normal. The expected resolution for the coordinate
ring of the normalization N pO13 q is
A ‘ p1, 1; 1, 1, 0; 1, 1, 0q Ð p2, 1; 1, 1, 1; 1, 1, 1q‘
‘p2, 1; 1, 1, 1; 2, 1, 0q ‘ p2, 1; 2, 1, 0; 1, 1, 1q ‘ p3, 0; 1, 1, 1; 1, 1, 1q Ð
Ð p2, 2; 2, 1, 1; 2, 1, 1q ‘ p3, 1; 2, 1, 1; 2, 1, 1q ‘ p3, 2; 2, 2, 2; 2, 2, 2q Ð
Ð p4, 3; 3, 2, 2; 3, 2, 2q Ð p4, 4; 3, 3, 2; 3, 3, 2q Ð 0
The differential d4 : p4, 4; 3, 3, 2; 3, 3, 2q Ñ p4, 3; 3, 2, 2; 3, 2, 2q was written explicitly as the map
Ź2

Ź2

F˚ b

H˚

tr p1q b ∆ b ∆

E b E˚ b F ˚ b F ˚ b H ˚ b H ˚
m2,4,6

E b F ˚ b H ˚ b A1
The Betti table for the normalization is
total:
0:
1:
2:
3:
4:

0
10
1
.
9
.
.

1 2 3 4
38 37 18 9
.
.
. .
.
.
. .
38 36 . .
.
.
. .
.
1 18 9

Dropping the row of degree 3 in the first differential we get the map
p2, 1; 1, 1, 1; 1, 1, 1q‘p2, 1; 1, 1, 1; 2, 1, 0q‘p2, 1; 2, 1, 0; 1, 1, 1q Ñ p1, 1; 1, 1, 0; 1, 1, 0q
Notice how the representation p3, 0; 1, 1, 1; 1, 1, 1q was also dropped from the
domain since it does not map to p1, 1; 1, 1, 0; 1, 1, 0q. This is a presentation for
the cokernel Cp13q of the inclusion CrO13 s ãÑ CrN pO13 qs, whose Betti table is
total:
2:
3:
4:
5:
6:

0 1 2 3 4 5 6
9 34 56 95 99 36 1
9 34 36 .
.
. .
. .
.
5
.
. .
. . 20 90 99 36 .
. .
.
.
.
. .
. .
.
.
.
. 1

27

By the truncated cone procedure, we recover the resolution of CrO13 s which has
the following Betti table
total:
0:
1:
2:
3:
4:
5:
6:
7:

0 1 2 3 4 5
1 24 78 90 36 1
1 .
.
.
. .
. .
.
.
. .
. 4
.
.
. .
. .
.
.
. .
. .
6
.
. .
. 20 72 90 36 .
. .
.
.
. .
. .
.
.
. 1

We observe that O13 is not Cohen-Macaulay because it has codimension 4 but
its coordinate ring has projective dimension 5.
6.4.5

The orbit O12

The orbit closure O12 is not normal. The expected resolution for the coordinate
ring of the normalization N pO12 q is
A ‘ p1, 1; 1, 1, 0; 1, 1, 0q Ð
Ð p2, 1; 1, 1, 1; 1, 1, 1q ‘ p2, 1; 1, 1, 1; 2, 1, 0q ‘ p2, 1; 2, 1, 0; 1, 1, 1q Ð
Ð p3, 1; 2, 1, 1; 2, 1, 1q ‘ p3, 3; 2, 2, 2; 3, 2, 1q ‘ p3, 3; 3, 2, 1; 2, 2, 2q Ð
Ð p4, 3; 3, 2, 2; 3, 2, 2q ‘ p5, 1; 2, 2, 2; 2, 2, 2q Ð p6, 3; 3, 3, 3; 3, 3, 3q Ð 0
The differential d4 : p6, 3; 3, 3, 3; 3, 3, 3q Ñ p4, 3; 3, 2, 2; 3, 2, 2q‘p5, 1; 2, 2, 2; 2, 2, 2q
was written explicitly. The block p6, 3; 3, 3, 3; 3, 3, 3q Ñ p4, 3; 3, 2, 2; 3, 2, 2q was
constructed as the map
S3 E ˚ b

Ź3

F˚ b

Ź3

H˚

∆b∆b∆
˚

˚

˚

E b S2 E b F b

Ź2

F ˚ b H˚ b

Ź2

H˚

m2,4,6

E ˚ b F ˚ b H ˚ b A2
Ź2 ˚ Ź2 ˚
where the embedding S2 E ˚ b
F b
H ãÑ A2 is the one described
in 6.4.3. The second block corresponding to the map p6, 3; 3, 3, 3; 3, 3, 3q Ñ
p5, 1; 2, 2, 2; 2, 2, 2q was constructed as the map

28

Ź2

E˚ b

Ź2

E ˚ b S3 E ˚
∆b∆b∆

E ˚ b E ˚ b E ˚ b E ˚ b S2 E ˚ b E ˚
m1,3,5 b m2,4,6

S4 E ˚ b S3 E ˚
Ź3 ˚ Ź3 ˚
on the E ˚ factor and then embedding S3 E ˚ b
F b
H into A3 as
described in 6.4.1. The Betti table for the normalization is
total:
0:
1:
2:
3:
4:
5:

0
10
1
.
9
.
.
.

1 2 3
34 43 23
.
.
.
.
.
.
34 27 .
.
.
5
. 16 18
.
.
.

4
4
.
.
.
.
.
4

Dropping the row of degree 3 in the first differential we get the map
p2, 1; 1, 1, 1; 1, 1, 1q‘p2, 1; 1, 1, 1; 2, 1, 0q‘p2, 1; 2, 1, 0; 1, 1, 1q Ñ p1, 1; 1, 1, 0; 1, 1, 0q
which is a presentation for the cokernel Cp12q of the inclusion CrO12 s ãÑ
CrN pO12 qs. Notice that this is the same as the presentation of Cp13q whose
Betti table is described in 6.4.4. By the truncated cone procedure, we recover
the resolution of CrO12 s which has the following Betti table
total:
0:
1:
2:
3:
4:
5:
6:
7:

0 1 2 3 4 5
1 29 88 99 40 1
1 .
.
.
. .
. .
.
.
. .
. .
.
.
. .
. 9
.
.
. .
. . 16 .
. .
. 20 72 99 40 .
. .
.
.
. .
. .
.
.
. 1

We observe that O12 is not Cohen-Macaulay because it has codimension 4 but
its coordinate ring has projective dimension 5.
6.4.6

The orbits O11 and O10

We discuss the case of the orbit O11 since O10 is isomorphic under the involution
exchanging F and H. The orbit closure O11 is normal with rational singularities.
29

It is F -degenerate and its equations
¨
x111
˚x112
˚
˚x113
˚
˚x211
˚
˝x212
x213

are the 3 ˆ 3 minors of
˛
x121 x131
x122 x132 ‹
‹
x123 x133 ‹
‹
x221 x231 ‹
‹
x222 x232 ‚
x223 x233

the generic matrix of a linear map F Ñ E ˚ bH ˚ . As such O11 is a determinantal
variety and its resolution is given by the Eagon-Northcott complex with the
following Betti table
0 1 2 3 4
total: 1 20 45 36 10
0:
1 .
.
.
.
1:
. .
.
.
.
2:
. 20 45 36 10
It follows that O11 is Cohen-Macaulay.
6.4.7

The orbits O9 and O8

We discuss the case of the orbit O8 since O9 is isomorphic under the involution
exchanging F and H. The orbit closure O8 is normal with rational singularities.
It is degenerate and comes from a smaller orbit which is a hypersurface of degree
6 in the representation
Sp3,3q E ˚ b Sp2,2,2q F ˚ b Sp3,3q pC2 q˚ ãÑ Sp3,3q E ˚ b Sp2,2,2q F ˚ b Sp3,3q H ˚ .
The hypersurface is defined by the invariant of degree 6 in C2 b C3 b C2 which is
the hyperdeterminant of the boundary format 2 ˆ 3 ˆ 2 (see [3]). The equations
of O8 are obtained by taking polarizations of such invariant with respect to the
inclusion above together with the equations of the “generic degenerate orbit”
O10 . The Betti table for the resolution is
total:
0:
1:
2:
3:
4:
5:
6:
7:

0 1 2 3 4 5
1 30 81 81 30 1
1 .
.
.
. .
. .
.
.
. .
. 20 45 36 10 .
. .
.
.
. .
. .
.
.
. .
. 10 36 45 20 .
. .
.
.
. .
. .
.
.
. 1

It follows that O8 is Gorenstein.

30

6.4.8

The orbit O7

The orbit closure O7 is normal with rational singularities. It is F -H-degenerate
with equations given by the 3 ˆ 3 minors of the generic matrix of a linear map
F Ñ E ˚ b H ˚ together with the 3 ˆ 3 minors of the generic matrix of a linear
map H Ñ E ˚ b F ˚ ; in other words, these are the equations of O11 and O10
taken together. The Betti table for the resolution is
total:
0:
1:
2:
3:
4:

0 1 2 3 4 5 6
1 36 99 95 56 34 9
1 .
.
.
.
. .
. .
.
.
.
. .
. 36 99 90 20 . .
. .
.
5
.
. .
. .
.
. 36 34 9

It follows that O7 is Cohen-Macaulay.
6.4.9

The orbit O6

The orbit closure O6 is normal with rational singularities. It is E-degenerate
and its equations are the 2 ˆ 2 minors of
¨
˛
x111 x211
˚x112 x212 ‹
˚
‹
˚x113 x213 ‹
˚
‹
˚x121 x221 ‹
˚
‹
˚x122 x222 ‹
˚
‹
˚x123 x223 ‹
˚
‹
˚x131 x231 ‹
˚
‹
˝x132 x232 ‚
x133 x233
the generic matrix of a linear map E Ñ F ˚ b H ˚ . Therefore O6 is a determinantal variety and its resolution is given by the Eagon-Northcott complex with
the following Betti table
total:
0:
1:

0 1
2
3
4
5
6
7 8
1 36 168 378 504 420 216 63 8
1 .
.
.
.
.
.
. .
. 36 168 378 504 420 216 63 8

It follows that O6 is Cohen-Macaulay.
6.4.10

The orbit O5

The orbit closure O5 is normal with rational singularities. It is degenerate
and comes from a smaller orbit which is a hypersurface of degree 4 in the
31

representation
Sp2,2q E ˚ b Sp2,2q pC2 q˚ b Sp2,2q pC2 q˚ ãÑ Sp2,2q E ˚ b Sp2,2q F ˚ b Sp2,2q H ˚ .
The hypersurface is defined by the invariant of degree 4 in C2 b C2 b C2 which
can be written as the discriminant of the determinant of a generic 2 ˆ 2 matrix
of linear forms in two variables. Explicitly take:
ˆ
˙
ux111 ` vx211 ux112 ` vx212
det
“ a2,0 u2 ` a1,1 uv ` a0,2 v 2
ux121 ` vx221 ux122 ` vx222
and the discriminant is 4a2,0 a0,2 ´ a21,1 . The equations of O5 are obtained
by taking polarizations of such invariant with respect to the inclusion above
together with the equations of the “generic degenerate orbit” O7 . The Betti
table for the resolution is
total:
0:
1:
2:
3:
4:
5:

0 1
2
3
4
5
6 7
1 72 297 530 488 223 42 3
1 .
.
.
.
.
. .
. .
.
.
.
.
. .
. 36 99 90 20
.
. .
. 36 198 440 468 189 6 .
. .
.
.
.
34 36 .
. .
.
.
.
.
. 3

It follows that O5 is Cohen-Macaulay.
6.4.11

The orbit O4

The orbit closure O4 is normal with rational singularities. It is both E-degenerate
and F -H-degenerate with equations given by the 2 ˆ 2 minors of the generic
matrix of a linear map E Ñ F ˚ b H ˚ together with the coefficients of the
determinant of a generic 3 ˆ 3 matrix of linear forms in two variables. More
explicitly, the former are the equations of O6 while the latter are the coefficients a3,0 , a2,1 , a1,2 , a0,3 of detpδq as introduced in 6.4.1. The Betti table for
the resolution is
total:
0:
1:
2:
3:

0 1
2
3
4
5
6
7
8 9
1 40 195 450 588 546 384 171 44 5
1 .
.
.
.
.
.
.
. .
. 36 168 378 504 420 216 63 8 .
. 4
27 72 84
.
.
.
. .
. .
.
.
.
126 168 108 36 5

It follows that O4 is Cohen-Macaulay.

32

6.4.12

The orbits O3 and O2

We discuss the case of the orbit O3 since O2 is isomorphic under the involution
exchanging F and H. The orbit closure O3 is normal with rational singularities.
It is F -degenerate and its equations are the 2 ˆ 2 minors of the generic matrix
of a linear map F Ñ E ˚ b H ˚ (see 6.4.6). As such O3 is a determinantal variety
and the coordinate ring is resolved by Lascoux’s resolution [20]. Here is the
Betti table for the resolution
total:
0:
1:
2:

0 1
2
3
4
5
1 45 230 540 823 1015
1 .
.
.
.
.
. 45 230 540 648 385
. .
.
.
175 630

6
1035
.
90
945

7
8
9 10
760 351 90 10
.
.
.
.
.
.
.
.
760 351 90 10

It follows that O3 is Cohen-Macaulay.
6.4.13

The orbit O1

The orbit closure O1 is normal with rational singularities. It is both E-degenerate
and F -H-degenerate with equations given by the 2 ˆ 2 minors of the generic
matrix of a linear map E Ñ F ˚ b H ˚ together with the coefficients of the 2 ˆ 2
minors of a generic 3ˆ3 matrix of linear forms in two variables. More explicitly,
the former are the equations of O6 while the latter are the coefficients of the
2 ˆ 2 minors of δ as introduced in 6.4.1. The Betti table for the resolution is
total:
0:
1:
2:
3:

0 1
2
3
4
5
6
7
8
9
10 11 12
1 63 394 1179 2087 2692 3726 4383 3275 1530 407 45 2
1 .
.
.
.
.
.
.
.
.
.
.
.
. 63 394 1179 1980 1702 396
63
8
.
.
.
.
. .
.
.
107 990 3330 4320 3267 1530 407 36 .
. .
.
.
.
.
.
.
.
.
.
9 2

It follows that O1 is Cohen-Macaulay.

7

Representations of type F4

In this section, we will analyze the cases corresponding to gradings on the simple
Lie algebra of type F4 . Each case corresponds to the choice of a distinguished
node on the Dynkin diagram for F4 . The nodes are numbered according to the
conventions in Bourbaki [1].
α1

α2

α3

33

α4

7.1

The case pF4 , α1 q

The representation is V “ V pω3 , C3 q, the third fundamental representation
of the group Spp6, Cq; the group acting is Cˆ ˆ Spp6, Cq. The corresponding
polynomial ring is
A “ Crx1342 , x1242 , x1232 , x1231 , x1222 , x1221 , x1122 ,
x1220 , x1121 , x1120 , x1111 , x1110 , x1100 , x1000 s “ SympV ˚ q.
The variables in A are indexed by the roots in g1 “ V . The variables are weight
vectors in V ˚ , with the following weights:
x1342
x1232
x1222
x1122
x1121
x1111
x1100

Ø 1 ` 2 ` 3
Ø 1
Ø 1 ´ 2 ` 3
Ø 1 ´ 2 ´ 3
Ø ´3
Ø ´2
Ø ´1 ´ 2 ` 3

x1242
x1231
x1221
x1220
x1120
x1110
x1000

Ø 1 ` 2 ´ 3
Ø 2
Ø 3
Ø ´1 ` 2 ` 3
Ø ´1 ` 2 ´ 3
Ø ´1
Ø ´1 ´ 2 ´ 3

Here 1 , 2 , 3 are the vectors in the coordinate basis of R3 (see [6, §12.1] for
more information).
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2
O3
O4

dimension
0
7
10
13
14

representative
0
x1000 “ 1
x1111 “ 1
x1000 “ x1231 “ 1
x1000 “ x1342 “ 1

The orbit closures, in particular their defining equations, have been discussed
in [8]. The treatment we give here follows a similar approach as the one used in
the previous sections. All the orbit closures are normal, Cohen-Macaulay, and
have rational singularities. Here is the containment and singularity table:
O0
O1
O2
O3
O4

O0
ns

O1
s
ns

O2
s
s
ns

O3
s
s
s
ns

O4
ns
ns
ns
ns
ns

We will denote by Vω the highest weight module with highest weight ω. The
weights will be expressed as linear combinations of ω1 , ω2 , ω3 , the fundamental
weights of the root system C3 .
34

Ź3
Let F “ Vω1 “ C6 be the standard representation of Spp6, Cq. Since
F –
Ź3
F ‘ V , there is a projection φ :
F Ñ V of Spp6, Cq-modules. Take ψ : V Ñ
Ź3
F , to be a section of φ, so φ ˝ ψ “ id. Also, let δ : F Ñ F ˚ be the duality
given by the symplectic form on F .
˚
Next we observe that A2 “ S2 V ˚ – S2 F ˚ ‘ V2ω
. Therefore there exists a
2
˚
non zero map ρ : S2 F Ñ A2 of Spp6, Cq-modules. We explain here one possible
way to write such a map explicitly, in terms of well understood equivariant maps:
S2 F ˚
∆
˚

F b F˚
δ ´1

F b F˚
˚

Ź5

F˚ b F˚
∆

Ź3

F˚ b

Ź2

F˚ b F˚

m2,3

Ź3

F˚ b

Ź3

F˚

ψ˚ b ψ˚

V˚bV˚
m1,2

S2 V ˚
This map will be used in the description of the orbit closures for the case pF4 , α1 q.
7.1.1

The orbit O3

The orbit closure O3 is a hypersurface defined by an invariant of degree 4 which
can be obtained as follows:

35

C
tr p2q

S2 F b S2 F ˚
S2 pδq
˚

S2 F b S2 F ˚
ρbρ

A2 b A2
A4
where the last map is symmetric multiplication. Another description of this
invariant was given by Landsberg and Manivel [13].
7.1.2

The orbit O2

The expected resolution for the coordinate ring CrO2 s is
A Ð Vω3 b Ap´3q Ð V2ω1 b Ap´4q Ð
Ð Vω2 b Ap´6q Ð Vω1 b Ap´7q Ð 0
The differential d2 : V2ω1 b Ap´4q Ñ Vω3 b Ap´3q was written explicitly, as
follows:
S2 F ˚
∆

F˚ b F˚
δ ´1

F b F˚
˚

Ź5

F˚ b F˚
∆

Ź3

˚

F b

Ź2

F˚ b F˚

m2,3

Ź3

F˚ b

Ź3

F˚

ψ˚ b ψ˚

V ˚ b A1

36

The Betti table for the resolution is
total:
0:
1:
2:
3:
7.1.3

0 1 2 3 4
1 14 21 14 6
1 .
.
. .
. .
.
. .
. 14 21 . .
. .
. 14 6

The orbit O1

The expected resolution for the coordinate ring CrO2 s is
A Ð V2ω1 b Ap´2q Ð Vω1 `ω2 b Ap´3q Ð Vω1 `ω3 b Ap´4q Ð
Ð Vω1 `ω3 b Ap´6q Ð Vω1 `ω2 b Ap´7q Ð V2ω1 b Ap´8q Ð Ap´10q Ð 0
The first differential is precisely the map ρ described in the introduction to this
case. The Betti table for the resolution is
total:
0:
1:
2:
3:

0 1 2 3 4 5 6 7
1 21 64 70 70 64 21 1
1 .
.
.
.
.
. .
. 21 64 70 .
.
. .
. .
.
. 70 64 21 .
. .
.
.
.
.
. 1

It follows that the orbit closure O1 is Gorenstein.

7.2

The case pF4 , α2 q

The representation is E b S2 F , where E “ C2 and F “ C3 ; the group acting is
SLpEq ˆ SLpF q ˆ Cˆ . The corresponding polynomial ring is
A “ Crxi;jk |i “ 1, 2; 1 ď j ď k ď 3s “ Sym pE ˚ b S2 F ˚ q .
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2
O3
O4
O5
O6
O7
O8
O9
O10

dimension
0
4
6
7
8
8
9
10
10
11
12

x1;11

representative
0
x1;11 “ 1
x1;12 “ 1
x1;11 “ x1;23 “ 1
x1;11 “ x2;22 “ 1
x1;23 “ x2;13 “ 1
x1;11 “ x2;22 “ x123 “ 1
x1;11 “ x2;23 “ 1
x2;13 “ x1;23 “ x1;11 “ 1
xx1;11 , x1;12 , x2;13 , x1;22 , x2;23 y
“ x2;11 “ x1;22 “ x1;33 “ 1, x2;22 “ ´1
37

To obtain a representative for the orbit O9 it is enough to assign random rational
values to the variables listed, and to set all other variables to 0 (this amounts to
taking a generic element in the span of the tensors corresponding to the listed
variables).
Here is the containment and singularity table:
O0
O1
O2
O3
O4
O5
O6
O7
O8
O9
O10

O0
ns

O1
s
ns

O2
s
s
ns

O3
s
ns
ns
ns

O4
s
s
ns

O5
s
s
s

ns

O6
s
s
s
s
s

O7
s
s
s
s
s

ns

ns
ns

ns

O8
s
s
s
s
s
s
s
ns

O9
s
s
s
s
s
s
s
s
s
ns

O10
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns
ns

We denote the free A-module Spa,bq E ˚ b Spc,d,eq F ˚ b Ap´a ´ bq by pa, b; c, d, eq.
7.2.1

The orbit O9

The orbit closure O9 is not normal. The expected resolution for the coordinate
ring of the normalization of O9 is
A ‘ p1, 1; 2, 1, 1q ‘ p2, 1; 2, 2, 2q Ð p2, 2; 4, 2, 2q Ð 0
This orbit closure is a hypersurface, so there is only one differential d1 . The
defining equation of O9 is the determinant of d1 . Alternatively this equation can
be obtained as the discriminant of the determinant of a generic 3 ˆ 3 symmetric
matrix of linear forms in two variables, which is a homogeneous polynomial of
degree 12. Explicitly:
¨
˛
ux111 ` vx211 ux112 ` vx212 ux113 ` vx213
δ “ det ˝ux112 ` vx212 ux122 ` vx222 ux123 ` vx223 ‚ “
ux113 ` vx213 ux123 ` vx223 ux133 ` vx233
“ a3,0 u3 ` a2,1 u2 v ` a1,2 uv 2 ` a0,3 v 3 ,
and
discpδq “ 27a23,0 a21,2 ` 4a3,0 a31,2 ` 4a32,1 a0,3 ´ a22,1 a21,2 ´ 18a3,0 a2,1 a1,2 a0,3 .
The block p2, 2; 4, 2, 2q Ñ p2, 1; 2, 2, 2q of d1 was constructed as the map
S2 F ˚

tr p1q

E b E ˚ b S2 F ˚

38

E b A1

The block p2, 2; 4, 2, 2q Ñ p1, 1; 2, 1, 1q was constructed by taking the map
Ź3

F ˚ b S2 F ˚
∆b∆

F˚ b F˚ b F˚ b F˚ b F˚
m2,4 b m3,5
˚

˚

F b S2 F b S2 F ˚
m2,3

F˚ b

Ź2

pS2 F ˚ q

Ź2 ˚ Ź2
pS2 F ˚ q ãÑ A2
on the F ˚ factor and then applying the embedding
E b
given by
ˆ
˙
x
x1kl
e˚1 ^ e˚2 b fi˚ fj˚ ^ fk˚ fl˚ ÞÝÑ det 1ij
.
x2ij x2kl
The last block p2, 2; 4, 2, 2q Ñ A can be obtained as follows. First construct the
map
Ź3

F˚ b

Ź3

F ˚ b S2 F ˚
∆b∆b∆

F˚ b F˚ b F˚ b F˚ b F˚ b F˚ b F˚ b F˚
m1,7 b m2,4 b m3,5 b m6,8

S2 F ˚ b S2 F ˚ b S2 F ˚ b S2 F ˚
m1,2 b m3,4

Ź2

pS2 F ˚ q b

Ź2

pS2 F ˚ q

on the F ˚ factor. Then embed into A via the map
Ź2

E˚ b

Ź2

pS2 F ˚ q b

Ź2

E˚ b

Ź2

pS2 F ˚ q

A2 b A2
A4
where the first step uses the embedding described earlier twice and the second
step is symmetric multiplication.

39

The Betti table for the resolution of the normalization is
total:
0:
1:
2:
3:

0 1
6 6
1 .
. .
3 .
2 6

and the Betti table for the resolution of the cokernel Cp9q of the inclusion
CrO9 s ãÑ CrN pO9 qs is
0 1 2
total: 5 6 1
2:
3 . .
3:
2 6 .
4:
. . .
5:
. . .
6:
. . .
7:
. . .
8:
. . .
9:
. . .
10:
. . 1
7.2.2

The orbit O8

The orbit closure O8 is not normal. The expected resolution for the coordinate
ring of the normalization N pO8 q is
A ‘ p1, 1; 2, 1, 1q Ð p3, 2; 4, 3, 3q ‘ p2, 2; 4, 2, 2q Ð p3, 3; 5, 4, 3q Ð 0
We construct explicitly the differential d2 as follows. The first block p3, 3; 5, 4, 3q Ñ
p3, 2; 4, 3, 3q is defined on the F ˚ factor as
F˚ b F

tr p1q

F˚ b F b F˚ b F

m1,3 b m2,4

S2 F ˚ b

Ź2

F

restricted to the subspace of traceless tensors Sp2,1q F ˚ . On the E ˚ factor, it is
simply the trace map C Ñ E ˚ b E, and putting the factors together we have
Sp2,1q F ˚

E ˚ b E b S2 F ˚ b

Ź2

F

Eb

Ź2

F b A1

The second block p3, 3; 5, 4, 3q Ñ p2, 2; 4, 2, 2q is defined on the F ˚ factor as

40

F˚ b F
tr p1q b tr p1q b tr p1q

F˚ b F b F˚ b F b F˚ b F b F˚ b F
m1,3 b m2,8 b m4,6 b m5,7

S2 F ˚ b

Ź2

Fb

Ź2

F b S2 F ˚

m1,4 b ˚ b ˚

Ź2

pS2 F ˚ q b F ˚ b F ˚
m2,3

Ź2

pS2 F ˚ q b S2 F ˚

restricted to the subspace of traceless tensors Sp2,1q F ˚ . On the E ˚ factor, we
Ź2 ˚
only have
E , so taking the factors together we get the map
Sp2,1q F ˚

Ź2

E˚ b

Ź2

pS2 F ˚ q b S2 F ˚

S2 F ˚ b A2

where the embedding into A2 is the one described in 7.2.1. The Betti table for
the normalization is
0 1 2
total: 4 12 8
0:
1 . .
1:
. . .
2:
3 . .
3:
. 6 .
4:
. 6 8
Dropping the row with entries of degree 4 and 5 in the differential d1 , we obtain
a map
p3, 2; 4, 3, 3q ‘ p2, 2; 4, 2, 2q Ñ p1, 1; 2, 1, 1q
This is a presentation for the cokernel Cp8q of the inclusion CrO8 s ãÑ CrN pO8 qs;
the Betti table for Cp8q is

total:
0:
1:
2:
3:
4:

0 1 2 3
3 12 11 2
3 .
. .
. 6
. .
. 6 11 .
. .
. .
. .
. 2

Remark 7.1. In this particular example, the (truncated) cone procedure in M2
did not produce a result in a reasonable time. However it is easy to determine

41

the representations appearing in the resolution of Cp8q, namely:
p1, 1; 2, 1, 1q Ð p3, 2; 4, 3, 3q ‘ p2, 2; 4, 2, 2q Ð
Ð p3, 3; 5, 4, 3q ‘ p4, 2; 4, 4, 4q Ð p5, 4; 6, 6, 6q Ð 0
From this and the resolution of CrN pO8 qs, it is possible to construct and minimize the mapping cone by hand. The resulting complex is
p0, 0; 0, 0, 0q Ð p4, 2; 4, 4, 4q Ð p5, 4; 6, 6, 6q Ð 0
The last map in the complex can be built as follows:
E˚ b

Ź2

E˚ b

Ź2

E˚ b

Ź3

F˚ b

Ź3

F˚

∆b∆b∆b∆

E˚ b E˚ b E˚ b E˚ b E˚ b F ˚ b F ˚ b F ˚ b F ˚ b F ˚ b F ˚
m2,4 b m6,9 b m7,10 b m8,11

S2 E ˚ b E ˚ b E ˚ b E ˚ b S2 F ˚ b S2 F ˚ b S2 F ˚
m2,5 b m3,6 b m4,7

S2 E ˚ b A1 b A1 b A1
m2,3

S2 E ˚ b A3
and then resolved as usual to obtain the defining equations of O8 .
The Betti for the resolution of CrO8 s is
total:
0:
1:
2:
3:
4:
5:
6:
7:

0 1 2
1 3 2
1 . .
. . .
. . .
. . .
. . .
. 3 .
. . .
. . 2

It follows that O8 is Cohen-Macaulay.
7.2.3

The orbit O7

The orbit closure O7 is not normal. The expected resolution for the coordinate
ring of the normalization N pO7 q is
A ‘ p1, 1; 2, 2, 0q Ð p2, 1; 3, 2, 1q Ð p3, 1; 3, 3, 2q Ð 0
42

We construct the differential d2 : p3, 1; 3, 3, 2q Ñ p2, 1; 3, 2, 1q explicitly as follows. On the E ˚ factor, take the diagonalization S2 E ˚ Ñ E ˚ b E ˚ . On the F ˚
factor, take the map
Ź2

F˚
tr p1q

F b F˚ b

Ź2

F˚

∆
˚

F b F b F˚ b F˚
m2,3

F b F ˚ b S2 F ˚
then project the first two factors onto the space of traceless tensors Sp2,1q F ˚
via the map F b F ˚ Ñ F b F ˚ { imptrp1q q. Altogether we have
S2 E ˚ b

Ź2

F˚

E ˚ b E ˚ b Sp2,1q F ˚ b S2 F ˚

E ˚ b Sp2,1q F ˚ b A1

The Betti table for the normalization is
total:
0:
1:
2:

0 1 2
7 16 9
1 . .
. . .
6 16 9

Dropping the row of degree 3 in the differential d1 , we obtain a map
p2, 1; 3, 2, 1q Ñ p1, 1; 2, 2, 0q
This is a presentation for the cokernel Cp7q of the inclusion CrO7 s ãÑ CrN pO7 qs;
the Betti table for Cp7q is

total:
0:
1:
2:

0 1 2 3 4 5
6 16 29 36 21 4
6 16 9
.
. .
. .
.
.
. .
. . 20 36 21 4

43

By the cone procedure, we recover the resolution
lowing Betti table
0 1 2 3
total: 1 20 36 21
0:
1 .
.
.
1:
. .
.
.
2:
. .
.
.
3:
. .
.
.
4:
. .
.
.
5:
. 20 36 21

of CrO7 s which has the fol4
4
.
.
.
.
.
4

We observe that O7 is not Cohen-Macaulay because it has codimension 2 but
its coordinate ring has projective dimension 4.
7.2.4

The orbit O6

The orbit closure O6 is not normal. The expected resolution for the coordinate
ring of the normalization N pO6 q is
A ‘ p1, 1; 2, 2, 0q Ð p2, 1; 3, 2, 1q ‘ p2, 1; 2, 2, 2q Ð
Ð p3, 3; 5, 4, 3q ‘ p3, 1; 3, 3, 2q Ð p4, 3; 5, 5, 4q Ð 0
We construct the differential
d1 : p2, 1; 3, 2, 1q ‘ p2, 1; 2, 2, 2q Ñ p1, 1; 2, 2, 0q ‘ A
explicitly. Notice how the domain of d1 is isomorphic to E ˚ b F b F ˚ . It is clear
that the representation on the E ˚ factor is, up to a power of the determinant,
simply E ˚ . On the F ˚ factor, we have Sp3,2,1q F ˚ ‘ Sp2,2,2q F ˚ , with the first
summand corresponding to the space of traceless tensors in F b F ˚ and the
second factor corresponding to the tensor with non zero trace.
For the first block E ˚ b F b F ˚ Ñ p1, 1; 2, 2, 0q, take the map
E˚ b F b F ˚
tr p1q

E˚ b F b F ˚ b F b F ˚
m2,4 b m3,5

E ˚ b S2 F b S2 F ˚
S2 F b A1
For the second block E ˚ b F b F ˚ Ñ A3 , take the map

44

F b F˚ b

Ź3

F˚

˚

Ź2

F˚ b F˚ b

Ź3

F˚

∆b∆
˚

˚

˚

F b F b F b F˚ b F˚ b F˚
m1,4 b m2,5 b m3,6

S2 F ˚ b S2 F ˚ b S2 F ˚
m1,2

Ź2

pS2 F ˚ q b S2 F ˚

on the F ˚ factor. On the E ˚ factor, simply tensor by a power of the determinant.
Altogether we have
E˚ b

Ź2

E˚ b

Ź2

pS2 F ˚ q b S2 F ˚

A1 b A2

A3

where the first step uses the embedding defined in 7.2.1 and the second step is
symmetric multiplication.
The Betti table for the normalization is
total:
0:
1:
2:
3:
4:

0 1 2 3
7 18 17 6
1 .
. .
. .
. .
6 18 9 .
. .
. .
. .
8 6

Dropping the row of degree 3 in the differential d1 , we obtain a map
p2, 1; 3, 2, 1q ‘ p2, 1; 2, 2, 2q Ñ p1, 1; 2, 2, 0q
This is a presentation for the cokernel Cp6q of the inclusion CrO6 s ãÑ CrN pO6 qs;
the Betti table for Cp6q is

total:
2:
3:
4:

0 1 2 3 4
6 18 15 6 3
6 18 15 . .
. .
. . .
. .
. 6 3

By the cone procedure, we recover the resolution of CrO6 s which has the fol-

45

lowing Betti table
total:
0:
1:
2:
3:
4:
5:

0 1 2 3
1 6 8 3
1 . . .
. . . .
. . . .
. 6 . .
. . 8 .
. . . 3

We observe that O6 is Cohen-Macaulay.
7.2.5

The orbit O5

The orbit closure O5 is not normal. The expected resolution for the coordinate
ring of the normalization N pO5 q is
A ‘ p1, 0; 1, 1, 0q Ð p3, 0; 2, 2, 2q ‘ p1, 1; 3, 1, 0q ‘ p2, 0; 2, 1, 1q Ð
Ð p3, 1; 4, 2, 2q ‘ p2, 2; 3, 3, 2q ‘ p2, 1; 4, 1, 1q Ð
Ð p3, 2; 5, 3, 2q Ð p3, 3; 5, 5, 2q Ð 0
We construct the differential d4 : p3, 3; 5, 5, 2q Ñ p3, 2; 5, 3, 2q explicitly. Start
with the map
S3 F
tr p1q b tr p1q b tr p1q

E b E ˚ b S3 F b F b F ˚ b F b F ˚
m4,6 b m5,7

E b E ˚ b S3 F b S2 F b S2 F ˚
E b S3 F b S2 F b A1
Then project onto E b Sp3,2q F b A1 modding out S3 F b S2 F by the image of
the map
S4 F b F

∆

S3 F b F b F

m2,3

The Betti table for the normalization is
total:
0:
1:
2:

0 1 2 3 4
7 28 41 30 10
1 .
.
.
.
6 24 20 .
.
. 4 21 30 10
46

S3 F b S2 F

Dropping the row of degree 2 in the differential d1 , we obtain a map
p3, 0; 2, 2, 2q ‘ p1, 1; 3, 1, 0q ‘ p2, 0; 2, 1, 1q Ñ p1, 0; 1, 1, 0q
This is a presentation for the cokernel Cp5q of the inclusion CrO5 s ãÑ CrN pO5 qs;
the Betti table for Cp5q is
0 1 2
3
4
5
6
7 8
6 24 56 163 298 285 144 33 1
6 24 20
.
.
.
.
. .
. . 36 42 10
.
.
. .
. .
. 121 288 285 144 33 .
. .
.
.
.
.
.
. 1

total:
1:
2:
3:
4:

By the cone procedure, we recover the resolution of CrO5 s which has the following Betti table
total:
0:
1:
2:
3:
4:
5:

0 1
2
3
4
5
6 7
1 19 133 288 285 144 33 1
1 .
.
.
.
.
. .
. .
.
.
.
.
. .
. 4
.
.
.
.
. .
. 15 12
.
.
.
. .
. . 121 288 285 144 33 .
. .
.
.
.
.
. 1

We observe that O5 is not Cohen-Macaulay because it has codimension 4 but
its coordinate ring has projective dimension 7.
7.2.6

The orbit O4

The orbit closure O4 is normal with rational singularities. The expected resolution for the coordinate ring CrO4 s is
A Ð p3, 0; 2, 2, 2q ‘ p2, 1; 3, 2, 1q Ð
Ð p2, 2; 3, 3, 2q ‘ p3, 1; 3, 3, 2q ‘ p3, 1; 4, 2, 2q ‘ p2, 2; 4, 3, 1q Ð
Ð p3, 2; 5, 3, 2q ‘ p3, 2; 4, 3, 3q Ð p3, 3; 6, 3, 3q Ð 0
The differential d4 was written explicitly. For the block, p3, 3; 6, 3, 3q Ñ p3, 2; 4, 3, 3q
take the map
S3 F ˚

tr p1q b ∆

E b E ˚ b S2 F ˚ b F ˚

E b F ˚ b A1

For the block p3, 3; 6, 3, 3q Ñ p3, 2; 5, 3, 2q construct first the map

47

S3 F ˚ b

Ź3

F˚

tr p1q b ∆ b ∆

E b E ˚ b S2 F ˚ b F ˚ b F ˚ b F ˚ b F ˚
m3,5 b m4,6

E b E ˚ b S3 F ˚ b S2 F ˚ b F ˚
E b S3 F ˚ b F ˚ b A1
Finally project onto E bSp3,1q F ˚ bA1 by modding out S3 F ˚ bF ˚ by the image
of the map
∆

S4 F ˚

S3 F ˚ b F ˚

The Betti table for the resolution is
total:
0:
1:
2:

0 1 2 3 4
1 20 45 36 10
1 .
.
.
.
. .
.
.
.
. 20 45 36 10

We conclude that O4 is Cohen-Macaulay. The defining equations are the 3 ˆ 3
minors of the generic matrix of a linear map E b F Ñ F ˚ after symmetrizing
indices on the F ˚ side.
7.2.7

The orbit O3

The orbit closure O3 is normal with rational singularities. It is degenerate with
equations given by the 2 ˆ 2 minors of
¨
˛
x111 x211
˚x112 x212 ‹
˚
‹
˚x113 x213 ‹
˚
‹
˚x122 x222 ‹
˚
‹
˝x123 x223 ‚
x133 x233
the generic matrix of a linear map E Ñ S2 F ˚ . The Betti table for the resolution
is
0 1 2 3 4 5
total: 1 15 40 45 24 5
0:
1 .
.
.
. .
1:
. 15 40 45 24 5
It follows that O3 is Cohen-Macaulay.
48

7.2.8

The orbit O2

The orbit closure O2 is normal with rational singularities. It is degenerate
with equations given by the 2 ˆ 2 minors of the generic matrix of a linear map
E Ñ S2 F ˚ together with the coefficients of the determinant of a generic 3 ˆ 3
matrix of linear forms in two variables. The former are the equations of O3
while the latter are the coefficients a3,0 , a2,1 , a1,2 , a0,3 of δ as defined in 7.2.1.
The Betti table for the resolution is
total:
0:
1:
2:
3:

0 1 2 3 4 5 6
1 19 58 75 44 11 2
1 .
.
.
.
. .
. 15 40 45 24 5 .
. 4 18 30 20 . .
. .
.
.
.
6 2

It follows that O2 is Cohen-Macaulay.
7.2.9

The orbit O1

The orbit closure O1 is normal with rational singularities. It is degenerate
with equations given by the 2 ˆ 2 minors of the generic matrix of a linear map
E Ñ S2 F ˚ together with the coefficients of the 2 ˆ 2 minors of a generic 3 ˆ 3
matrix of linear forms in two variables. The former are the equations of O3
while the latter are the coefficients of the 2 ˆ 2 minors of the matrix defined in
7.2.1. The Betti table for the resolution is
total:
0:
1:
2:

0 1
2
3
4
5
6 7 8
1 33 144 294 336 210 69 16 3
1 .
.
.
.
.
.
. .
. 33 144 294 336 210 48 . .
. .
.
.
.
.
21 16 3

It follows that O1 is Cohen-Macaulay.

7.3

The case pF4 , α3 q

The representation is E b F , where E “ C2 and F “ C3 ; the group acting is
SLpEq ˆ SLpF q ˆ Cˆ . The orbit closures for this representation are classical
determinantal varieties. For a description of the minimal free resolutions of their
coordinate rings, the reader can consult [20, Ch. 6], for example.

7.4

The case pF4 , α4 q

The representation is V “ V pω3 , B3 q, the third fundamental representation of
the group SOp7, Cq; the group acting is Spinp7q. The corresponding polynomial
ring is
A “ Crx1231 , x1221 , x1121 , x0121 , x1111 , x0111 , x0011 , x0001 s “ SympV ˚ q.
49

The variables in A are indexed by the roots in g1 . The variables are weight
vectors in V ˚ , with the following weights:
x1231 Ø 12 p1 ` 2 ` 3 q

x1221 Ø 12 p1 ` 2 ´ 3 q

x1121 Ø 12 p1 ´ 2 ` 3 q

x0121 Ø 12 p´1 ` 2 ` 3 q

x1111 Ø 21 p1 ´ 2 ´ 3 q

x0111 Ø 12 p´1 ` 2 ´ 3 q

x0011 Ø 21 p´1 ´ 2 ` 3 q

x0001 Ø 12 p´1 ´ 2 ´ 3 q

In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2

dimension
0
7
8

representative
0
x0001 “ 1
x0001 “ x1231 “ 1

All the orbit closures are normal, Cohen-Macaulay, Gorenstein and have rational
singularities. Here is the containment and singularity table:
O0
O1
O2
7.4.1

O0
ns

O1
s
ns

O2
ns
ns
ns

The orbit O1

The variety O1 is the closure of the highest weight vector orbit. It is a hypersurface defined by an invariant of degree 2. The invariant was described explicitly
by Igusa [7].

8

Representations of type G2

In this section, we will analyze the cases corresponding to gradings on the simple
Lie algebra of type G2 . Each case corresponds to the choice of a distinguished
node on the Dynkin diagram for G2 . The nodes are numbered according to the
conventions in Bourbaki [1].
α1

8.1

α2

The case pG2 , α1 q

The representation is E “ C2 and the group acting is GLpEq. The only orbits
in this case are the origin and the dense orbit.

50

8.2

The case pG2 , α2 q

The representation is S3 E, where E “ C2 ; the group acting is GLpEq. The
corresponding polynomial ring is
A “ Qrxijk | 1 ď i ď j ď 2s “ SympS3 E ˚ q.
In characteristic zero, the representation has the following orbits, listed along
with the dimension of the closure and a representative:
orbit
O0
O1
O2
O3

dimension
0
2
3
4

representative
0
x111 “ 1
x112 “ 1
x111 “ x222 “ 1

Here is the containment and singularity table:
O0
O1
O2
O3

O0
ns

O1
s
ns

O2
s
s
ns

O3
ns
ns
ns
ns

We denote the free A-module Spa,bq E ˚ b Ap´pa ` bq{3q by pa, bq.
8.2.1

The orbit O2

The orbit closure O2 is not normal. The expected equivariant resolution for the
coordinate ring of the normalization of O2 is
A ‘ p2, 1q Ð p4, 2q Ð 0
The orbit closure is a hypersurface, so there is only one differential d1 . The
defining equation of O9 is the determinant of d1 . Alternatively this equation
can be obtained using the cone procedure.
The block p4, 2q Ñ p2, 1q of d1 was constructed by taking the map
Ź2

E ˚ b S2 E ˚

∆b∆

E˚ b E˚ b E˚ b E˚

The block p4, 2q Ñ A can be obtained as follows:

51

m2,3,4

E ˚ b A1

Ź2

E˚ b

Ź2

E ˚ b S2 E ˚
∆b∆b∆

E˚ b E˚ b E˚ b E˚ b E˚ b E˚
m1,3,5 b m2,4,6

A1 b A1
A2
where the last step is symmetric multiplication.
The Betti table for the resolution of the normalization is
0 1
3 3
1 .
2 3

total:
0:
1:

and the Betti table for the resolution of the cokernel Cp2q of the inclusion
CrO2 s ãÑ CrN pO2 qs is
0 1 2
total: 2 3 1
1:
2 3 .
2:
. . 1
8.2.2

The orbit O1

The orbit closure O1 is normal with rational singularities. The expected equivariant resolution for the coordinate ring of CrO1 s is
A Ð p4, 2q Ð p5, 4q Ð 0
Notice that the first differential is the second block of the differential described
in 8.2.1. Here we describe how to explicitly construct d2 : p5, 4q Ñ p4, 2q, the
second differential in the resolution. This is obtained by writing the map
Ź2

E˚ b

Ź2

E˚ b E˚

∆b∆
˚

˚

˚

E b E b E b E˚ b E˚
m2,3 b m1,4,5

S2 E ˚ b A1

52

The Betti table for the resolution is
total:
0:
1:

0 1 2
1 3 2
1 . .
. 3 2

It follows that the orbit closure O1 is Cohen-Macaulay.

A

Equivariant maps

In this appendix, we give a brief description of the equivariant maps between
representations that are used to construct the differentials in our complexes
(more details can be found in [20, Ch. 1]). The notation introduced here is used
extensively throughout sections 6, 7 and 8. We use the symbol Sλ to denote
the Schur functor associated to the partition λ. In particular, Si “ Spiq “ Symi
denotes the i-th symmetric power. In order to simplify the notation as much as
possible, we omit to write any symbol for the identity and other obvious maps.
Throughout this appendix, E denotes a complex vector space of finite dimension n with basis te1 , . . . , en u; E ˚ denotes the dual of E and we take te˚1 , . . . , e˚n u
to be the basis dual to te1 , . . . , en u. All the maps we describe are GLpEqequivariant.

A.1

Diagonals

Let r, s be natural numbers such that 0 ď r ` s ď n. The exterior diagonal is
the map:
r`s
r
s
ľ
ľ
ľ
∆:
E ÝÑ
Eb
E
with
∆pe1 ^ . . . ^ er`s q “

ÿ

p´1qsgnpσq eσp1q ^ . . . ^ eσprq b eσpr`1q ^ . . . ^ eσpr`sq .

σPSr,s
r`s

Here
Sr,s
r`s :“ tσ P Sr`s | σp1q ă . . . ă σprq, σpr ` 1q ă . . . ă σpr ` squ
where Sd denotes the symmetric group on d letters and sgnpσq is the sign of
the permutation σ.
Now let r, s be arbitrary natural numbers. The symmetric diagonal is the
map:
∆ : Sr`s E ÝÑ Sr E b Ss E
with
∆pe1 . . . er`s q “

ÿ

eσp1q . . . eσprq b eσpr`1q . . . eσpr`sq .

σPSr,s
r`s

53

Both diagonals can be generalized to the case where the codomain is a tensor
product of more than two exterior or symmetric powers of E in the obvious way.
It will be clear from the context whether we are using the exterior or symmetric
diagonal and how many and what factors we are taking in the codomain.

A.2

Multiplications

Let r, s be natural numbers such that 0 ď r ` s ď n. The exterior multiplication
is the map:
r
s
r`s
ľ
ľ
ľ
m:
Eb
E ÝÑ
E
with
mpu1 ^ . . . ^ ur b v1 ^ . . . ^ vs q “ u1 ^ . . . ^ ur ^ v1 ^ . . . ^ vs .
Now let r, s be arbitrary natural numbers. The symmetric multiplication is
the map:
m : Sr E b Ss E ÝÑ Sr`s E
with
mpu1 . . . ur b v1 . . . vs q “ u1 . . . ur v1 . . . vs .
Both multiplications can be generalized to the case where the domain is
a tensor product of more than two exterior or symmetric powers of E in the
obvious way. It will be clear from the context whether we are using the exterior
or symmetric multiplication and how many and what factors we are taking in
the domain.
When the tensor factors that we wish to multiply are not adjacent, we use
subscripts to clarify which factors we are multiplying. For example, we write
m1,3 : E b E b E Ñ S2 E b E to indicate we apply the symmetric multiplication
to the first and third factor, leaving the second one alone.

A.3

Traces

Let r be a natural number such that 0 ď r ď n. The exterior trace is the map:
trprq : C ÝÑ
with

ÿ

trprq p1q “

r
ľ

Eb

r
ľ

E˚

ei1 ^ . . . ^ eir b e˚i1 ^ . . . ^ e˚ir .

1ďi1 ă...ăir ďn

Now let r be an arbitrary natural number. The symmetric trace is the map:
trprq : C ÝÑ Sr E b Sr E ˚
with
trprq p1q “

ÿ

ei1 . . . eir b e˚i1 . . . e˚ir .

1ďi1 ď...ďir ďn

It will be clear from the context whether we are using the exterior or symmetric trace.
54

A.4

Exterior duality

Let r be a natural number such that 0 ď r ď n. The exterior duality is the
map:
r
n´r
ľ
ľ
˚
:
E ÝÑ
E˚
with
˚

pei1 ^ . . . ^ eir q “ p´1qsgnpσq e˚j1 ^ . . . ^ e˚jn´r ,

where 1 ď i1 ă . . . ă ir ď n, 1 ď j1 ă . . . ă jn´r ď n, ti1 , . . . , ir u Y
tj1 , . . . , jn´r u “ t1, . . . , nu and σ is the permutation
ˆ
˙
1 ... r r ` 1 ...
n
.
i1 . . . ir
j1
. . . jn´r
Źr ˚
Źn´r
Similarly we can define an exterior duality ˚ :
E ÝÑ
E.

References
[1] Nicolas Bourbaki. Éléments de mathématique. Fasc. XXXIV. Groupes et
algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmes de Tits.
Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes
de racines. Actualités Scientifiques et Industrielles, No. 1337. Hermann,
Paris, 1968.
[2] David Eisenbud. Commutative algebra, volume 150 of Graduate Texts in
Mathematics. Springer-Verlag, New York, 1995. With a view toward algebraic geometry.
[3] Israel M. Gel’fand, Mikhaik M. Kapranov, and Andrei V. Zelevinsky. Discriminants, resultants, and multidimensional determinants. Mathematics:
Theory & Applications. Birkhäuser Boston Inc., Boston, MA, 1994.
[4] Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system
for research in algebraic geometry. Available at http://www.math.uiuc.
edu/Macaulay2/.
[5] Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977.
Graduate Texts in Mathematics, No. 52.
[6] James E. Humphreys. Introduction to Lie algebras and representation theory, volume 9 of Graduate Texts in Mathematics. Springer-Verlag, New
York, 1978. Second printing, revised.
[7] Jun-ichi Igusa. A classification of spinors up to dimension twelve. Amer.
J. Math., 92:997–1028, 1970.
[8] Atanas Iliev and Kristian Ranestad. Geometry of the Lagrangian Grassmannian LGp3, 6q with applications to Brill-Noether loci. Michigan Math.
J., 53(2):383–417, 2005.
55

[9] Tadeusz Józefiak, Piotr Pragacz, and Jerzy Weyman. Resolutions of determinantal varieties and tensor complexes associated with symmetric and
antisymmetric matrices. In Young tableaux and Schur functors in algebra
and geometry (Toruń, 1980), volume 87 of Astérisque, pages 109–189. Soc.
Math. France, Paris, 1981.
[10] Victor G. Kac. Some remarks on nilpotent orbits. J. Algebra, 64(1):190–
213, 1980.
[11] Tatsuo Kimura. Remark on some combinatorial construction of relative
invariants. Tsukuba J. Math., 5(1):101–115, 1981.
[12] Witold Kraśkiewicz and Jerzy Weyman. Geometry of orbit closures for the
representations associated to gradings of Lie algebras of types E6 , F4 and
G2 . http://arxiv.org/abs/1201.1102v3, Jan 2012.
[13] Joseph M. Landsberg and Laurent Manivel. The projective geometry of
Freudenthal’s magic square. J. Algebra, 239(2):477–512, 2001.
[14] Alain Lascoux. Syzygies des variétés déterminantales. Adv. in Math.,
30(3):202–237, 1978.
[15] Stephen Lovett. Resolutions of orthogonal and symplectic analogues of
determinantal ideals. J. Algebra, 311(1):282–298, 2007.
[16] Laurent Manivel. On spinor varieties and their secants. SIGMA Symmetry
Integrability Geom. Methods Appl., 5:Paper 078, 22, 2009.
[17] Piotr Pragacz and Jerzy Weyman. On the construction of resolutions of
determinantal ideals: a survey. In Séminaire d’algèbre Paul Dubreil et
Marie-Paule Malliavin, 37ème année (Paris, 1985), volume 1220 of Lecture
Notes in Math., pages 73–92. Springer, Berlin, 1986.
[18] Èrnest B. Vinberg. The Weyl group of a graded Lie algebra. Izv. Akad.
Nauk SSSR Ser. Mat., 40(3):488–526, 709, 1976.
[19] Èrnest B. Vinberg. Classification of homogeneous nilpotent elements of
a semisimple graded Lie algebra. Trudy Sem. Vektor. Tenzor. Anal.,
(19):155–177, 1979.
[20] Jerzy Weyman. Cohomology of vector bundles and syzygies, volume 149
of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2003.

56

