arXiv:1712.09932v1 [] 28 Dec 2017

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS
ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN
Abstract. We consider the space X = Sym3 C2 of binary cubic forms, equipped with the natural action of the
group GL2 of invertible linear transformations of C2 . We describe explicitly the category of GL2 -equivariant
coherent DX -modules as the category of representations of a quiver with relations. We show moreover that
this quiver is of tame representation type and we classify its indecomposable representations. We also give a
construction of the simple equivariant DX -modules (of which there are 14), and give formulas for the characters
of their underlying GL2 -representations. We conclude the article with an explicit calculation of (iterated) local
cohomology groups with supports given by orbit closures.

1. Introduction
Let W = C2 denote a 2-dimensional complex vector space, and let X = Sym3 W denote the corresponding
space of binary cubic forms. There is a natural action of the group GL(W ) = GL2 (C) (which we’ll simply
denote by GL) on the space X, with four orbits:
• The zero orbit O0 = {0}.
• The orbit O2 = {l3 : 0 6= l ∈ W } of cubes of linear forms, whose closure O2 is the affine cone over
the twisted cubic curve.
• The orbit O3 = {l12 · l2 : 0 6= l1 , l2 ∈ W distinct up to scaling} whose closure O3 is the hypersurface
defined by the vanishing of the cubic discriminant (and it is also the affine cone over the tangential
variety to the twisted cubic curve).
• The dense orbit O4 = {l1 · l2 · l3 : 0 6= l1 , l2 , l3 ∈ W distinct up to scaling}.
Note that our indexing of the orbits is chosen so that Oi has dimension i for i = 0, 2, 3, 4. Letting D = DX
denote the Weyl algebra of differential operators on X with polynomial coefficients, our goal is to completely
classify and give concrete constructions of the simple GL-equivariant D-modules, as well as to give an explicit
quiver description of the category of equivariant coherent D-modules and to analyze its structure.
By the Riemann–Hilbert correspondence, the simple equivariant D-modules are known to be indexed by
irreducible equivariant local systems on the orbits of the group action, but their explicit realization is in
general difficult to obtain (see Open Problem 3 in [MV86, Section 6]). In the case of binary cubic forms the
classification is summarized as follows.
Theorem on Simple D-modules. There exist 14 simple GL-equivariant D-modules on X = Sym3 W ,
which can be classified according to their support as follows:
• 6 of the modules, denoted G−1 , G0 = S, G1 , G2 , G3 , G4 , have full support and correspond to irreducible
rank one equivariant local systems on O4 .
• 3 of the modules, denoted Q0 , Q1 , Q2 , have full support and correspond to irreducible rank two equivariant local systems on O4 .
• one of the modules, denoted P , has support O3 .
Date: December 29, 2017.
2010 Mathematics Subject Classification. Primary 13D45, 14F10, 16G20.
Key words and phrases. Binary forms, equivariant D-modules, quivers, local cohomology.
1

2

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

• 3 of the modules, denoted D0 , D1 , D2 , have support O2 .
• one of the modules, denoted E, has support O0 .
All the modules have a concrete description, starting with G0 = S which is the affine coordinate ring of X.
They are permuted by the Fourier transform, which fixes P and G3 and swaps the modules in each of the
pairs
(S, E), (G−1 , D1 ), (G1 , D2 ), (G2 , G4 ), (Q1 , Q2 ), (D0 , Q0 ),
and are also permuted by the holonomic duality functor, which fixes S, Q0 , P, D0 , E, G3 and swaps the modules
in each of the pairs
(D1 , D2 ), (Q1 , Q2 ), (G2 , G4 ), (G1 , G−1 ).
We will analyze in more detail each of the 14 simple modules in the theorem above, but before doing so
we discuss the category modGL (DX ) of GL-equivariant coherent DX -modules. It is known quite generally
that categories of D-modules (or perverse sheaves) admit a quiver interpretation [GMV96, Vil94, LW17], but
explicit descriptions of such categories are hard to come by [GGM85a, GGM85b, MV88, BG99, LW17]. In
the case of binary cubic forms we have the following.
Theorem on the Category of Equivariant D-modules. There is an equivalence of categories
modGL (DX ) ≃ rep(Q, I),
where rep(Q, I) is the category of finite-dimensional representations of a quiver Q with relations I, described
as follows. The vertices and arrows of the quiver Q are depicted in the diagram
d0
✂@✂
❁❁❁❁
✂
❁❁❁❁α1
β2 ✂✂✂✂
✂✂✂
❁❁❁❁
✂ α2
β1 ❁❁❁❁ ✂✂✂
❁  ✂✂✂✂
A p ❁
✂✂✂✂ ^❁❁❁❁❁❁
✂
α4 ✂✂✂✂
❁❁❁❁β3
❁❁
✂✂✂✂✂β4
α3 ❁❁❁❁
✂
❁❁❁
✂
✂
✂✂✂

s ]❁❁❁

q0

g1 o

q1

•

e

q2

•

g−1 o

γ1

/

δ1

g2

g3

•

γ−1
δ−1

d1

/

•

g4

•

d2

and the set of relations I is given by all 2-cycles and all non-diagonal compositions of two arrows:
αi βi and βi αi for i = 1, 2, 3, 4,

γi δi and δi γi for i = 1, −1, and

α1 β2 , α1 β4 , α2 β1 , α2 β3 , α3 β2 , α3 β4 , α4 β1 , α4 β3 .
Moreover, the bijection between the simple GL-equivariant DX -modules and the nodes of the above quiver is
given by replacing upper case symbols with the corresponding lower case symbols.
Once a quiver description of the category modGL (DX ) is given, there are powerful tools available to
understand its structure, such as Auslander–Reiten theory or tilting theory. We give an indication of this
at the end of Section 4 without going into the details of the theory. Instead we focus on proving that the
quiver of modGL (DX ) is of tame representation type, and to classify its indecomposable objects by relating
them to the indecomposables of the extended Dynkin quiver of type D̂4 . These latter indecomposables are
well-understood, as their classification constitutes the solution of the celebrated four subspace problem (see
[GP72] and [SS07a, Section XIII.3]).
In commutative algebra, the importance of the study of equivariant D-modules comes from the desire
to understand local cohomology modules with support in orbit closures [RWW14, RW14, RW16, Rai17].

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

3

Our investigations owe a great deal to the work of Gennady Lyubeznik, who pioneered the use of Dmodule techniques in commutative algebra. In the seminal paper [Lyu93], Lyubeznik studies iterated local
cohomology groups with respect to general families of supports, which lead to invariants known to be
notoriously hard to compute in concrete examples. We show in Section 5 how basic knowledge of the
structure of modGL (DX ) can help to compute explicitly local cohomology groups associated with the space
of binary cubics.
What is missing (and we promised to clarify) from the statements of the theorems above is the concrete
construction of the simple equivariant D-modules. In order to achieve this, we begin by setting up some
notation. We let V = W ∗ denote the dual vector space to V so that Sym3 V is naturally identified with
the space of linear forms on X, and let S = Sym(Sym3 V ) denote the ring of polynomial functions on X. If
{w0 , w1 } is a basis for W then {w03 , 3w02 w1 , 3w0 w12 , w13 } is a basis for Sym3 W . Choosing {x0 , x1 , x2 , x3 } to
be the dual basis of Sym3 V we obtain an identification S = C[x0 , x1 , x2 , x3 ]. The condition for a cubic form
f = x0 · w03 + 3x1 · w02 w1 + 3x2 · w0 w12 + x3 · w13

(1.1)

to be in O2 is equivalent to the vanishing of the 2 × 2 minors of


x x1 x2
A= 0
x1 x2 x3
while the condition that f ∈ O3 is equivalent to the vanishing of the discriminant
∆ = 3x21 x22 − 4x0 x32 − 4x31 x3 − x20 x23 + 6x0 x1 x2 x3 .

(1.2)

We write S∆ for the localization of S at ∆ and for every integer i ∈ Z we define
Fi = S∆ · ∆i/6

(1.3)

which is a D-module. Moreover, we have Fi = Fj if and only if i − j is divisible by 6. For i = −1, 0, 1, 2, 3, 4
we define Gi to be the D-submodule of Fi generated by ∆i/6 , and part of the Theorem on Simple D-modules
is the fact that each Gi is a simple D-module. It is easy to see that G0 = S is simple, and we will show later
that in fact Gi = Fi for i = 2, 3, 4. Moreover, F1 and F−1 have D-module length two so that the quotients
F1 /G1 and F−1 /G−1 are simple D-modules, which we label D1 and D2 respectively.
2 (S) and E = H 4 (S),
The modules D0 and E arise as local cohomology modules, for instance D0 = HO
O0
2
while in order to construct P we proceed as follows. The D-module F0 = S∆ is generated by ∆−1 , and
therefore the same is true about the quotient S∆ /S. There exist a surjective D-module map
π : S∆ /S −→ E
sending ∆−1 to the socle generator of E, and P can be realized as ker(π).
To construct the remaining modules Q0 , Q1 , Q2 we use the Fourier transform, which may be defined as
∂
, then for every D-module M its Fourier transform
follows. If we write D = Sh∂0 , ∂1 , ∂2 , ∂3 i with ∂i = ∂x
i
F(M ) is the D-module with the same underlying abelian group, but with the new action of the generators
xi , ∂i of D given in terms of the old action by
xi ·new m = −∂i ·old m,

∂i ·new m = xi ·old m for every m ∈ M.

We use this definition only for the purpose of this Introduction, but in order to preserve equivariance more
care is needed in defining the Fourier transform, as we explain in Section 2.2. The most basic example of
Fourier transform is exhibited by the identification of E with F(S), but this extends to other pairs of simple
D-modules as indicated in our first theorem. We have Q0 = F(D0 ) and
Q1 = (Q0 )∆ ⊗S∆ F2 = (Q0 )∆ · ∆1/3 ,

Q2 = (Q0 )∆ ⊗S∆ F4 = (Q0 )∆ · ∆2/3 ,

4

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

finalizing the list of simple objects in modGL (DX ).
The article is organized as follows. In Section 2 we record some preliminaries and basic notation regarding GL-representations, (equivariant) D-modules, and quivers. In Section 3 we analyze the simple
GL-equivariant D-modules on the space of binary cubic forms, and describe their characters. In Section 4
we study the category of equivariant D-modules by providing its quiver description and classifying its indecomposable objects. We finish with a number of explicit computations of local cohomology modules in
Section 5.
2. Preliminaries
2.1. Admissible representations and their characters. Throughout this paper we let W denote a
complex vector space of dimension two, we let V = W ∨ be its dual, and write GL for the group GL(W ) ≃
GL2 (C) ≃ GL(V ) of invertible linear transformations of W . We let Λ denote the set of (isomorphism classes
of) finite dimensional irreducible GL-representations, which are classified by dominant weights λ = (λ1 , λ2 ) ∈
Z2 , λ1 ≥ λ2 . Concretely, we write Sλ V for the irreducible GL-representation corresponding to λ, which is
determined by the following conventions:
• If λ = (0, 0) then Sλ V = C with the trivial GL-action.
• If λ = (a, 0) with a ≥ 0 then Sλ V = Syma V is the space of homogeneous degree a polynomial
functions on W .
V
• For every dominant λ = (λ1 , λ2 ) we have S(λ1 +1,λ2 +1) V = Sλ V ⊗ 2 V , and in particular if λ = (1, 1)
V2
V2
V as the determinant of V and denote it det(V ).
V . We will often refer to
then S(1,1) V =

More generally, if U is any k-dimensional vector space (or a GL-representation), we define the determinant
V
of U to be det(U ) = k U , so for instance we get
det(Syma V ) =

a+1
^

Syma V = S(b,b) V where b =

a(a + 1)
.
2

(2.1)

We write Sλ W for the GL-representation dual to Sλ V , so that if we let λ∨ = (−λ2 , −λ1 ) then
Sλ W = HomC (Sλ V, C) = Sλ∨ V.
We next consider admissible GL-representations to be representations that decompose into a (possibly infinite)
direct sum
M
M=
(2.2)
(Sλ V )⊕aλ , where aλ ≥ 0.
λ

The Grothendieck group Γ(GL) of virtual admissible GL-representations is defined as a direct product of copies
of Z indexed by the set Λ
Γ(GL) = ZΛ = {maps f : Λ −→ Z}.
We will often represent elements of Γ(GL) as formal sums
X
a=
aλ · eλ

(2.3)

λ

eλ

where
corresponds to Sλ V and aλ ∈ Z is the multipicity of Sλ V . The correspondence between maps
f : Λ −→ Z and the formal sum a in (2.3) is given by aλ = f (λ) for all λ ∈ Z2 dominant. Given an element
a ∈ Γ(GL) as in (2.3) we will write
ha, eλ i = aλ .

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

5

Besides the additive group operation, Γ(GL) also has a partially defined multiplication given by convolution of functions:
X
(f · g)(λ) =
f (µ) · g(δ)
(2.4)
µ+δ=λ

which is defined precisely when all the sums in (2.4) involve finitely many non-zero terms. Using this
multiplication, we can make sense of inverting some virtual representations such as (1 − eλ ):
1
= 1 + eλ + e2λ + · · ·
1 − eλ
Given an admissible representation M as in (2.2) we write [M ] for the class of M in Γ(GL). For example,
L
when Sym(V ) = i≥0 Symi V is the ring of polynomial functions on W then [Sym(V )] = 1/(1 − e(1,0) ). The
following will be important in our study of D-modules on binary cubics:
Lemma 2.1 ([LM04, Section 6.1]). If S = Sym(Sym3 V ) is the ring of polynomial functions on the space
X = Sym3 W of binary cubic forms then
[S] =

1 + e(6,3)
.
(1 − e(3,0) )(1 − e(4,2) )(1 − e(6,6) )

(2.5)

We say that a sequence (fn )n of elements in Γ(GL) converges to f , and write limn→∞ fn = f , if for each
dominant weight λ we have that the sequence of integers (fn (λ))n is eventually constant, equal to f (λ). A
typical example of convergent sequence arises from localization: if ∆ is the discriminant of the binary cubic
form (see (1.2)) then it spans a one-dimensional GL-representation with [C · ∆] = e(6,6) . We get based on
Lemma 2.1 that
[S∆ ] = lim [∆−n · S] =
n→∞

where e(6,6)Z =

P

(6i,6i) .
i∈Z e

1 + e(6,3)
· e(6,6)Z
(1 − e(3,0) )(1 − e(4,2) )

(2.6)

We have more generally the following.

Lemma 2.2. Suppose that M is a GL-equivariant S-module which is an admissible representation, and
suppose that ∆ is a non-zerodivisor on M . If for each dominant weight λ we have that the sequence of
multiplicities h[M ], eλ+(6n,6n) i is eventually constant, with stable value equal to mstab
λ , then
X
[M∆ ] = lim [∆−n · M ] =
mstab
· eλ .
λ
n→∞

λ

Proof. The condition
S that−n∆ is a non-zerodivisor on M insures that M embeds into M∆ and that one
can write M∆ = n≥1 ∆ · M . It then suffices to show that for each dominant weight λ we have that
for n ≫ 0. Since [C · ∆] = e(6,6) , it follows that [C · ∆n ] = e(6n,6n) and therefore
h∆−n · M, eλ i = mstab
λ
for n ≫ 0.
h∆−n · M, eλ i = hM, eλ · [∆n ]i = h[M ], eλ+(6n,6n) i = mstab
λ



The main examples of admissible representations in this work come from GL-equivariant coherent DX modules (see [LW17, Theorem 2.4], where admissible representations are called multiplicity-finite). If M is a
GL-equivariant DX -module then the same is true about the localization M∆ , hence Lemma 2.2 applies. In
the next section we record some more generalities on equivariant D-modules.

6

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

2.2. Equivariant D-modules [HTT08]. Given a smooth complex algebraic variety Y we denote by DY
the sheaf of differential operators on Y . If G is a connected affine algebraic group acting on Y , with Lie
algebra g, we get by differentiating the G-action on Y a map from g ⊗C OY to the sheaf of algebraic vector
fields on Y , which in turn extends to a map of sheaves of algebras U (g) ⊗C OY → DY , where U (g) denotes
the universal enveloping algebra of g. We will always assume that G acts on Y with finitely many orbits
and we will be interested in the study of
modG (DY ) = the category of G-equivariant coherent DY -modules,
as defined in [HTT08, Definition 11.5.2]: a DY -module M is equivariant if we have a DG×Y -isomorphism
τ : p∗ M → m∗ M , where p : G × Y → Y denotes the projection and m : G × Y → Y the map defining the
action, with τ satisfying the usual compatibility conditions. When Y is affine, this amounts to M admitting
an algebraic G-action whose differential coincides with the g-action induced by the natural map g → DY .
It follows from [VdB99, Proposition 3.1.2] that a morphism of DY -modules between objects in modG (DY )
is automatically G-equivariant, so modG (DY ) is equivalent to a full subcategory of the category mod(DY )
of all coherent DY -modules, which is closed under taking submodules and quotients. If G is semi-simple,
then if follows from [LW17, Proposition 1.4] that this subcategory is also closed under taking extensions.
Moreover, it follows from [HTT08, Theorem 11.6.1] that every module in modG (DY ) is regular and holonomic,
and via the Riemann–Hilbert correspondence modG (DY ) is equivalent to the category of G-equivariant
perverse sheaves on Y . This category was shown in [Vil94, Theorem 4.3] to be equivalent to the category of
finitely generated modules over a finite dimensional C-algebra, which in turn is equivalent to the category
of representations of a quiver with relations (see [ASS06, Corollary I.6.10, Theorems II.3.7 and III.1.6]). A
more direct, D-module theoretic approach to express modG (DY ) as a category of quiver representations is
described in [LW17], and it is this approach that we will follow in our study.
In what follows it will be important to consider several other categories of D-modules, as well as the
functors between them. If Z ⊂ Y is a G-stable closed subvariety of Y , we define modZ
G (DY ) to be the full
subcategory of modG (DY ) consisting of equivariant DY -modules with support contained in Z. Associated
to any G-equivariant local system S on some open subset contained in the smooth locus of Z we have (see
[HTT08, Remark 7.2.10])
L(Z, S; Y ) = the intersection homology DY -module corresponding to S
which is a simple object in modZ
G (DY ) (and hence also simple in modG (DY ) and in mod(DY )). In the
case when S is the constant sheaf C, we simply write L(Z; Y ) for the corresponding intersection homology
DY -module. One important construction of objects in modZ
G (DY ) comes from considering local cohomology
i (Y, •): for each i ≥ 0 and each M ∈ mod (D ) we have
functors HZ
G
Y
i
HZ
(Y, M ) = the i-th local cohomology module of M with support in Z,

which is an element of modZ
G (DY ). If we write c = dim(Y ) − dim(Z) for the codimension of Z in Y and take
M = OY to be the structure sheaf of Y , then
i (Y, O ) = 0 for all i < c.
• HZ
Y
c
c (Y, O )/L(Z; Y ) has support
• HZ (Y, OY ) contains L(Z; Y ) as a DY -submodule, and the quotient HZ
Y
c
contained in the singular locus of Z (in particular HZ (Y, OY ) = L(Z; Y ) when Z is smooth).
More generally, if Z ′ ⊂ Z is closed, and if we let V = Z \ Z ′ denote the complement, then we can talk about
the local cohomology functors HVi (Y, •) with support in V , which are related to the usual ones via a long
exact sequence for every DY -module M (see [Lyu93, (1.2)]):
i+1
i
i
i
· · · −→ HZ
′ (Y, M ) −→ HZ (Y, M ) −→ HV (Y, M ) −→ H ′ (Y, M ) −→ · · ·
Z

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

7

i (Y, M ) ∈ modZ (D ).
Moreover, if M ∈ modG (DY ) then we have that HZ
Y
G
When Z is itself smooth we can talk about various categories of DZ -modules. As a consequence of
Kashiwara’s equivalence [HTT08, Theorem 1.6.1] we get an equivalence of categories

modG (DZ ) ≃ modZ
G (DY ),

(2.7)

c (Y, O ) ∈ modZ (D ).
under which OZ ∈ modG (DZ ) corresponds to L(Z; Y ) = HZ
Y
Y
G
We next consider a non-empty G-stable open subset U ⊂ Y , and write j : U → Y for the corresponding
open immersion. The direct and inverse image functors j∗ and j ∗ for quasi-coherent sheaves restrict to
functors between the corresponding categories of D-modules:
j∗

mod(DU ) ⇄ mod(DY ),
j∗

j∗

modG (DU ) ⇄ modG (DY ),
j∗

j∗

W ∩U
(DU ) ⇄ modW
modG
G (DY ),

(2.8)

j∗

where in the last pair of categories W denotes a closed G-stable subvariety of Y . In each of the three cases,
we have that j∗ is right adjoint to j ∗ , and j ∗ is (left) exact, so j∗ takes injective objects to injective objects.
For any DY -module M , the adjunction between j∗ and j ∗ gives a natural map M → j∗ j ∗ M . If we let
Z = Y \ U we get an exact sequence
0
1
0 −→ HZ
(Y, M ) −→ M −→ j∗ j ∗ M −→ HZ
(Y, M ) −→ 0

(2.9)

and for every k ≥ 1 we have isomorphisms (where Rk j∗ denotes the k-th derived functor of j∗ )
k+1
(Y, M ).
Rk j∗ (j ∗ M ) ≃ HZ

As a consequence of the Riemann–Hilbert correspondence and [HTT08, Theorem 11.6.1] we have the
following.
Theorem 2.3. Suppose that Y is a smooth complex algebraic variety, and that G is an algebraic group
acting on Y .
(a) If G acts transitively on Y , we identify Y with G/K for some algebraic subgroup K of G and let
H = K/K 0 denote the component group of K (where K 0 is the connected component of the identity element
in K). The category modG (DY ) is equivalent to the category of finite dimensional complex representations
of H and is therefore semisimple (since H is finite).
(b) If G acts with finitely many orbits on Y then we have a bijective correspondence


O is a G-orbit and
(O, S) :
←→ {simple objects of modG (DY )}
S is an equivariant irreducible local system on O
given by

(O, S) ←→ L(O, S; Y ).

Moreover, if we fix O = G/K and let H = K/K 0 as in part (a), then we have a bijective correspondence
{equivariant irreducible local systems on O} ←→ {irreducible representations of H}.
The following will play a key role in our description of the category of equivariant D-modules in Section 4.
Lemma 2.4. Let G, Y be as in Theorem 2.3, and let O denote one of the orbits. Consider Z = O \ O,
U = Y \Z, and let j : U → Y be the corresponding open immersion. If M is a simple equivariant DY -module
with support O then j∗ j ∗ M is the injective envelope of M in the category modO
G (DY ).
0 (Y, M ) is a D-submodule with support contained in Z ( O,
Proof. Since M is simple with support O and HZ
0
it follows that HZ (Y, M ) = 0. Using (2.9) we get a natural injective map M ֒→ j∗ j ∗ M , so it suffices to
verify that j∗ j ∗ M is an injective object in modO
G (DY ) and that it is indecomposable.

8

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

If we let W = O then W ∩ U = O, so based on (2.8) we can think of j∗ , j ∗ as a pair of adjoint functors
O
between the categories modO
G (DU ) and modG (DY ). Using Kashiwara’s equivalence (2.7) and Theorem 2.3(a)
O
we get that modG (DU ) ≃ modG (DO ) is semisimple and in particular j ∗ M is an injective object. As remarked
earlier, j∗ takes injectives to injectives, hence j∗ j ∗ M is injective in modO
G (DY ).
To show that j∗ j ∗ M is indecomposable, we note that j ∗ M is simple and therefore
HomDY (j∗ j ∗ M, j∗ j ∗ M ) = HomDU (j ∗ j∗ j ∗ M, j ∗ M ) = HomDU (j ∗ M, j ∗ M ) = C.
If j∗ j ∗ M decomposed as a direct sum of two submodules then HomDY (j∗ j ∗ M, j∗ j ∗ M ) would have dimension
at least two, concluding our proof.

We end this section by recalling two important functors on modG (DY ):
• The holonomic duality functor D : modG (DY ) −→ modG (DY ) is a duality of categories (i.e. an equivalence of categories between modG (DY ) and its opposite category modG (DY )op ). Translated via
the Riemann–Hilbert correspondence this functor corresponds to Verdier duality [HTT08, Corollary 4.6.5], and in particular it restricts to a duality on modZ
G (DY ) for any G-stable subvariety Z.
At the level of DY -modules it is defined via (see [HTT08, Section 2.6])
D(M ) = Ext DnY (M, DY ) ⊗OY ωY−1
where n = dim(Y ), ωY is the canonical line bundle on Y , and where • ⊗OY ωY−1 is the functor
that transforms right DY -modules (of which Ext DnY (M, DY ) is one) into left DY -modules [HTT08,
Proposition 1.2.12]. What will be important for us is that D interchanges injective and projective
objects in modZ
G (DY ), and that it permutes the collection of simple objects.
• The Fourier transform. If Y is an affine space, corresponding to a finite dimensional G-representation
U , we let Y ∨ denote the affine space corresponding to the dual representation U ∨ . As explained in
[Rai16, Section 2.5] we get an equivalence of categories
F ◦ : modG (DY ) −→ modG (DY ∨ ),

F ◦ (M ) = M ⊗C det(U ∨ ).

In the case when G = GL(W ) and Y = Sλ W , we can further use the natural isomorphism τ :
GL(W ) ≃ GL(V ) given by τ (φ) = (φ∨ )−1 (the inverse transpose), which is compatible with the
respective actions of GL(V ) and GL(W ) on Sλ V , to obtain an equivalence of categories
τ

modGL(W ) (DSλ V ) −→ modGL(V ) (DSλ V )
Fixing a vector space isomorphism T : V → W we obtain a group isomorphism τ ′ : GL(V ) ≃ GL(W )
given by τ ′ (φ) = T ◦φ◦T −1 , and because of the functoriality of Sλ an isomorphism T̃ : Sλ V −→ Sλ W
compatible with the respective actions of GL(V ) and GL(W ) on the source and the target. This
provides a further equivalence of categories
(τ ′ ,T̃ )

modGL(V ) (DSλ V ) −→ modGL(W ) (DSλ W ).
Putting all of these equivalences together, we obtain a self equivalence of categories
F◦

τ

(τ ′ ,T̃ )

F : modGL(W ) (DSλ W ) −→ modGL(W ) (DSλ V ) −→ modGL(V ) (DSλ V ) −→ modGL(W ) (DSλ W )

(2.10)

which we will refer to (by abuse of language) as the Fourier transform on Y = Sλ W .
Remark 2.5. The construction of a Fourier transform as a self-equivalence of modG (DY ) can be done more
generally when G is a connected linear reductive group. Let T ⊂ G be a maximal torus and let B ⊂ G be a
Borel subgroup containing T . There exists an involution θ ∈ Aut(G) such that θ(t) = t−1 for all t ∈ T and
B ∩ θ(B) = T (for example, see [Jan87, II. Corollary 1.16]). If V is any G-module, we can twist the action

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

9

of G by θ to obtain a G-module V ∗ , which is isomorphic to the usual dual representation V ∨ of V . Twisting
the action of G on Y by θ gives then an equivalence of categories τθ : ModG (DY ) ≃ ModG (DY ∗ ). Using
∼
→ ModG (DY ) we
a G-isomorphism Y ∗ ≃ Y ∨ together with the usual Fourier transform F ◦ : ModG (DY ∨ ) −
obtain an involutive self-equivalence of modG (DY ) (which we also call the Fourier transform)
τ

F◦

∼

θ
F : modG (DY ) −→
modG (DY ∗ ) −
→ modG (DY ∨ ) −→ ModG (DY ).

2.3. The Fourier transform of admissible representations. We let U = Sym3 W and recall from (2.1)
that
det(U ) = S(6,6) W.
We define the Fourier transform (relative to U ) F : Λ → Λ via
F(λ) = λ∨ − (6, 6) = (−λ2 − 6, −λ1 − 6).
This in turn induces a Fourier transform F : Γ(GL) −→ Γ(GL) given by
!
X
X
λ
F
=
aλ e
aλ eF (λ) .
λ

λ

The motivation behind this definition is as follows. If X = Sym3 W is the affine space corresponding to U , and
if M ∈ modGL (DX ) then it follows from [LW17, Theorem 2.4] that [M ] is an admissible GL-representation,
and therefore
M
M≃
Sλ V ⊕aλ , for aλ ∈ Z.
λ

Applying the Fourier transform F : modGL (DX ) −→ modGL (DX ) as constructed in (2.10) we obtain
M
M
Sλ∨ −(6,6) V ⊕aλ , that is [F(M )] = F([M ]).
Sλ+(6,6) W ⊕aλ =
F(M ) ≃
λ

λ

We rewrite the above conclusion as follows:
∨ −(6,6)

h[F(M )], eλ i = h[M ], eλ

i for every dominant weight λ.

(2.11)

We record two basic instances of the Fourier transform which will be used later. Using the fact that the
simple D-module E = L(O0 ; X) supported at the origin can be realized as F(S) it follows from (2.5) that
[E] = [F(S)] =

1 + e(−3,−6)
· e(−6,−6) .
(1 − e(0,−3) )(1 − e(−2,−4) )(1 − e(−6,−6) )

(2.12)

We can also use (2.11) in conjunction with (2.6) to show that the character of S∆ doesn’t change under
taking Fourier transform:
[F(S∆ )] =

1 + e(−3,−6)
· e(6,6)Z · e(−6,−6) = [S∆ ].
(1 − e(0,−3) )(1 − e(−2,−4) )

This is a reflection of the fact that F(S∆ ) has three composition factors, S, E and P , and the Fourier
transform exchanges S and E, and it preserves P .

10

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

2.4. Quivers and their representations. We begin by establishing some notation and reviewing some
basic results regarding the representation theory of quivers, following [ASS06]. A quiver Q is an oriented
graph, i.e. a pair Q = (Q0 , Q1 ) formed by a finite set of vertices Q0 and a finite set of arrows Q1 . An arrow
α ∈ Q1 has a head (or a target) h(α) and a tail (or a source) t(α) which are elements of Q0 :
α

t(α)

/ h(α)

A (directed) path p in Q from a to b of length l is a sequence of arrows
p:

a = a0

α1

/ a1

α2

/ a2

α3

/ ···

αl

/ al = b

(2.13)

where ai ∈ Q0 and αi ∈ Q1 . We call a (resp. b) the source (resp. target) of the path, and write p = α1 α2 · · · αl .
The complex vector space with basis given by the paths in Q has a natural multiplication induced by
concatenation of paths (where pq = 0 if the source of q is different from the target of p). The corresponding
C-algebra is called the path algebra of the quiver Q and is denoted CQ. A relation in Q is a C-linear
combination of paths of length at least two having the same source and target. We define a quiver with
relations (Q, I) to be a quiver Q together with a finite set of relations I. The quiver algebra of (Q, I) is the
quotient A = CQ/hIi of the path algebra by the ideal generated byP
the relations. We will often use the
word quiver
to
refer
to
a
quiver
with
relations
(Q,
I),
and
talk
about
ci · pi = 0 as being a relation in the
P
P
quiver if
ci · pi ∈ hIi, or equivalently if the relation
ci · pi = 0 holds in the quiver algebra A. We will
moreover always assume that the ideal of relations hIi contains any path whose length is large enough, so
that the corresponding quiver algebra A is finite dimensional (see [ASS06, Section II.2]).
A (finite-dimensional) representation V of a quiver (Q, I) is a family of (finite-dimensional) vector spaces
{Vx | x ∈ Q0 } together with linear maps {V (α) : Vt(α) → Vh(α) | α ∈ Q1 } satisfying the relations induced by
the elements of I. More precisely, for every path p : a → b as in (2.13) we consider the composition
V (p) = V (αl ) ◦ V (αl−1 ) ◦ · · · ◦ V (α1 )
P
and we ask that for every element i ci · pi ∈ I with ci ∈ C and pi a path from a to b, we have that
X
ci · V (pi ) = 0.
i

′

A morphism φ : V → V of two representations V, V ′ of (Q, I) is a collection of linear maps
φ = {φ(x) : Vx → Vx′ | x ∈ Q0 },
with the property that for each α ∈ Q1 we have
φ(h(α)) ◦ V (α) = V ′ (α) ◦ φ(t(α)).

We note that the data of a representation of (Q, I) is equivalent to that of a module over the quiver algebra
A, and a morphism of representations corresponds to an A-module homomorphism. In other words, the
category rep(Q, I) of finite-dimensional representations of (Q, I) is equivalent to that of finitely generated
A-modules [ASS06, Section III.1, Thm. 1.6]. Moreover, this is an abelian category with enough projectives
and injectives, and having finitely many simple objects, as we explain next.
The (isomorphism classes of) simple objects in rep(Q, I) are in bijection with the vertices of Q. For each
x ∈ Q0 , the corresponding simple S x is the representation with
(S x )x = C, (S x )y = 0 for all y ∈ Q0 \ {x}, and S x (α) = 0 for all α ∈ Q1 .

(2.14)

A representation of (Q, I) is called indecomposable if it is not isomorphic to a direct sum of two non-zero
representations. Just like the simple objects, the indecomposable projectives (resp. injectives) in rep(Q, I)
are in bijection with the vertices of Q. For each x ∈ Q0 , we let P x (resp. I x ) denote the projective cover

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

11

(resp. injective envelope) of S x , as constructed in [ASS06, Section III.2]. For y ∈ Q0 , the dimension of
(P x )y (resp. (I x )y ) is given by the number of paths from x to y (resp. from y to x), considered up to the
relations in I. More precisely
(P x )y = Span{p ∈ A : p is a path from x to y}, (I x )y = Span{p ∈ A : p is a path from y to x}∨ , (2.15)
where ∨ denotes as usual the dual vector space. For an arrow α ∈ Q0 , thought of as an element of A, we
have that P x (α) is right multiplication by α, while I x (α) is the dual to left multiplication by α.
Unlike the classification of simple objects, and that of indecomposable injective and projective objects,
the classification of general indecomposable objects in rep(Q, I) is significantly more involved. A quiver
(Q, I) is said to be of finite representation type if it has finitely many (isomorphism types of) indecomposable
representations. It is of tame representation type if all but a finite number of indecomposable representations
of (Q, I) of a given dimension belong to finitely many one-parameter families [SS07b, XIX.3, Definition 3.3],
and it is of wild representation type otherwise. As the name suggests, in the wild case the classification of
indecomposables is essentially intractable, while in the finite and tame cases it is more manageable. A special
instance of tame representation type, and the one that will concern us in this paper, is when the number of
one-parameter families of indecomposables is bounded as the dimension of the representations grows. We
say in this case that the quiver (Q, I) is of domestic tame representation type [SS07b, XIX.3, Definitions 3.6,
3.10 and Theorem 3.12]. One example of such a quiver, which will appear again in Section 4.2, is given by
the following.
Example 2.6. Let Q be the extended Dynkin quiver D̂4 (with no relations):
1 ◆◆◆ α1
D̂4 :
4

◆◆◆
◆'
75
♣
♣
♣
♣
♣
♣♣ α4

α2 ♣♣♣ 2
♣
♣
w♣ ♣
g◆◆◆
◆◆
α3 ◆◆

3

The representation theory of the the quiver D̂4 is well-understood. The quiver is of (domestic) tame
representation type, and all its indecomposable representations have been classified – this is, in the language of quivers, the famous four subspace problem solved in [GP72]. For the complete description of
the indecomposables of D̂4 together with the Auslander-Reiten quiver, we refer the reader to [SS07a, Section XIII.3]. In the following we illustrate only the 1-parameter families of indecomposable representations (they are taken from [SS07a, XIII.3. Table 3.14]): for each n > 0 there exists precisely one 1parameter family of indecomposable representations V of D̂4 with dimension vector (n, n, n, n, 2n) (i.e. with
dim V1 = dim V2 = dim V3 = dim V4 = 1 and dim V5 = 2n), and moreover these are all the 1-parameter
families occuring in the classification of indecomposable of D̂4 .
Let In denote the n × n identity matrix, and for any λ ∈ C we denote by Jn (λ) the n × n Jordan block

λ
0


Jn (λ) =  ...

0
0


1 0 ... 0
λ 1 . . . 0

.. . . . .
..  .
.
. .
.

0 . . . λ 1
0 ... 0 λ

12

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

Then for any n > 0, we have the following 1-parameter family of indecomposables Rn (λ), where λ ∈ C:
"

#

In
Cn ▼▼
▼▼▼ 0
▼▼▼
▼▼▼
▼&

Rn (λ) :

Cn

"

0
In

#

q
qqq
q
q
qqq
xqqq
C2n f▼▼
q8
▼▼▼
q
q
▼▼▼
qqq #
q
"
# ▼▼
"
q
q
▼▼
q
In
In
qq
Jn (λ)

In

Cn

Cn

In Section 4 we will be concerned with the quiver associated with the category of GL-equivariant Dmodules on the space of binary cubic forms. We will prove that the said quiver is of (domestic) tame
representation type and we will classify its indecomposables by directly relating them to indecomposables
of D̂4 . The following reduction lemmas will play a key role in describing this relationship.
Consider a vertex x in a quiver (Q, I):
◦; · · ·
❋❋ α
①①
β1 ①①
❋❋ 1
①①
· · · ◦ ❘❘ α2❋❋❋❋
①①β2 ❧6 ◦ · · ·
①
❘❘❘ ❋❋
❧
①
❘❘❘ ❋❋ ①①① ❧❧❧❧❧
❘❘❘ # ① ❧❧❧
..
..
( ❧
.
6 x ❘❘❘
.
❧
❧
❘❘❘βn
αm❧❧❧❧
❘
❘
❧
❘❘❘
❧
(
❧❧❧
· · · ◦❋❋

◦···

···◦

Following [MV80], we say x is a node of (Q, I) if we have αi βj = 0 for all 1 ≤ i ≤ m, 1 ≤ j ≤ n. If x is a
node of (Q, I), we can “separate the node” to obtain a new quiver (Q′ , I ′ ):
· · · ◦❇❇

❇❇ α
❇❇ 1
· · · ◦ ❖❖ α2❇❇❇
❖❖❖ ❇❇
❖❖❖ ❇
❖'
..
′
.
7x
♦
αm ♦♦♦
♦♦
♦♦♦

···◦

◦> · · ·
⑥⑥
⑥
⑥⑥
⑥β⑥2 ♦7 ◦ · · ·
⑥
⑥⑥ ♦♦♦
⑥♦⑥♦♦♦♦
..
x ❖❖❖
.
❖❖β❖n
❖❖❖
'
β1

◦···

The relations in I ′ are the natural ones obtained from I by removing the relations αi βj = 0. If V is a
representation of (Q, I), then we can induce a representation V ′ of (Q′ , I ′ ) by letting
Vx′′ =

m
X

Im V (αi ) ⊂ Vx and Vx′ = Vx /Vx′′ .

i=1

The following is a consequence of [MV80, Theorem 2.10(b)] (albeit formulated in a slightly different language):
Lemma 2.7. The functor V 7→ V ′ induces a bijection between the (isomorphism classes of ) non-simple
indecomposable objects in rep(Q, I) and those in rep(Q′ , I ′ ).

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

13

Consider next the following situation. Suppose that (Q, I) is the quiver
y ❋❋

< z
①①
❋❋
①
β
①
❋❋α
①①
❋
①①
· · · ◦ ❘❘ α1 ❋❋❋
①
① β1 ❧❧6 ◦ · · ·
❘❘❘ ❋❋
❘❘❘ ❋❋ ①①①①❧❧❧❧❧
❘❘❘ # ① ❧❧❧
..
..
( ❧
.
.
❧6 x ❘❘❘❘ β
αm❧❧❧❧❧
❘❘❘n
❘
❧
❘
❧
❘❘(
❧❧❧

···◦

◦···

with relations αi · β = 0 and α · βj = 0, for all 1 ≤ i ≤ m, 1 ≤ j ≤ n, where the diagram above is indicative of
the fact that the only arrow connected to the vertex y (resp. z) is α (resp. β). Let P y be the indecomposable
projective corresponding to y, and let I z be the indecomposable injective corresponding to z. It follows
from the explicit description in (2.15) that P y ≃ I z with
(P y )y = (P y )x = (P y )z = C, P y (α) = P y (β) = idC , and (P y )t = 0 for t 6= x, y, z.
We have moreover the following.
Lemma 2.8. If (Q, I) is a quiver as above and if V is an indecomposable representation of (Q, I) with
V 6≃ P y , then V (β) ◦ V (α) = 0.
P
Proof. We let A = m
j=1 im V (αj ) and denote i : A ֒→ Vx the inclusion. We consider the Dynkin quiver of
type D4 (with no relations)
y ❘❘❘❘α
❘❘)

❦5 x
❦❦❦γ❦
❦
a

β

/z

and its representation V ′ given by
′

V :

Vy ◗◗◗V (α)
◗◗◗
(
A

6V
❧❧❧ x
❧❧❧

V (β)

/ Vz

i

If we assume that V (β) ◦ V (α) 6= 0, then V ′ has an indecomposable summand X with the property that
X(β) ◦ X(α) 6= 0. Moreover, it follows from the relations in (Q, I) that V ′ (β) ◦ V ′ (γ) = V (β) ◦ i = 0,
hence X(β) ◦ X(γ) = 0. The classification in [ASS06, Chapter VII, Example 5.15(b)] of indecomposables of
the Dynkin quiver of type D4 shows that there is only one indecomposable X with X(β) ◦ X(α) 6= 0 and
X(β) ◦ X(γ) = 0, namely
X:

C ❙❙❙❙1
❙❙)
❦5 C
❦
❦
❦❦
❦
0

1

/C

We can then write V ′ ≃ X ⊕k ⊕ Y , for some k ≥ 1, where Y is a representation of the quiver of type D4
with Y (β) ◦ Y (α) = 0. Due to the relations α · βj = 0, we can lift this isomorphism to a decomposition
V ≃ (P y )⊕k ⊕ Z in rep(Q, I), where Z is a representation of (Q, I) with Z(α) = Y (α), Z(β) = Y (β). Since
V was indecomposable, we conclude that k = 1 and Z = 0, i.e. V ≃ P y which is a contradiction. It follows
that we must have V (β) ◦ V (α) = 0, concluding the proof.


14

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

3. The simple equivariant D-modules on binary cubics
In this section we give a classification of the simple GL-equivariant holonomic D-modules on the space
X = Sym3 W of binary cubic forms. For each of these simple modules we give an explicit description of the
characters of the underlying admissible representations.
3.1. The classification of simple equivariant D-modules. We will use Theorem 2.3 in order to obtain
a classification of the simple equivariant D-modules. We choose a basis {w0 , w1 } for W and identify GL ≃
GL2 (C) relative to this basis. The non-zero elements of X = Sym3 W are homogeneous cubic polynomials in
the variables w0 , w1 as in (1.1), and as such they factor into a product of three linear forms. The GL-orbit
structure of X is then described by the different types of factorizations: a non-zero cubic form may have
three distinct (up to scaling) linear factors, or precisely one factor that is repeated twice, or it could be the
cube of a linear form. The following table records representatives of each orbit Oi (i = 0, 2, 3, 4), together
with their stabilizers Ki and the component groups Hi = Ki /Ki0 of these stabilizers (we write 1 for the
trivial group, Ck for the cyclic group of order k, and ⋊ for a semidirect product).
Orbit Representative
O0
O2

O3

O4

0
w03

w02 · w1

w03 + w13

Stabilizer

Component group

GL

1





 ξ β
 : ξ 3 = 1, α ∈ C× , β ∈ C


 0 α



 α

0

 : α ∈ C×
 0 α−2


 




S 0 ξ
 ξ
0
1
 : ξ13 = ξ23 = 1

 : ξ13 = ξ23 = 1
 1

  ξ2 0
 0 ξ2

C3

1

(C3 × C3 ) ⋊ C2

We note that the semidirect product H4 = K4 = (C3 × C3 ) ⋊ C2 (where C2 acts on C3 × C3 by interchanging
the factors) is in fact isomorphic to C3 × S3 (where S3 denotes the group of permutations on 3 letters) if we
make the identifications


 [ 





ξ 0
0 ξ
ξ 0
3
3
C3 ≃
:
ξ
=
1
: ξ 3 = 1 and S3 ≃
:
ξ
=
1
.
0 ξ
ξ −1 0
0 ξ −1

The irreducible representations of C3 are all 1-dimensional (and there are three of them), while S3 has one 2dimensional irreducible representation, and two 1-dimensional. By tensoring the irreducible representations
of C3 with those of S3 we conclude that H4 ≃ C3 × S3 has three 2-dimensional irreducible representations,
and six 1-dimensional ones. According to Theorem 2.3, we obtain the following classification for the simple
GL-equivariant D-modules on X:
• 6 modules with full support, corresponding to the 1-dimensional representations of H4 .
• 3 modules with full support, corresponding to the 2-dimensional irreducible representations of H4 .
• 1 module with support O3 .

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

15

• 3 modules with support O2 , corresponding to the 1-dimensional representations of H2 .
• 1 module with support O0 .
Our next goal is to describe the characters of the 14 simple modules listed above and establish some basic
links between them. We have discussed the character of E = L(O0 ; X) in (2.12). The characters of the 3
modules with support O2 have been computed in [Rai17] and we start by recalling their description below.
3.2. D-modules supported on O2 (the cone over the twisted cubic). We consider the collection of
integers (νi )i∈Z encoded by the generating function
X
1
νi · ti =
= 1 + t2 + t3 + t4 + t5 + 2t6 + t7 + 2t8 + 2t9 + 2t10 + · · ·
2
(1 − t )(1 − t3 )
i∈Z

and define for each dominant weight λ = (λ1 , λ2 ) the integers

∨

mλ = νλ1 −5 − νλ2 −6 and eλ = h[E], eλ i

(2.11)

=

h[S], eλ−(6,6) i.

(3.1)

For each j = 0, 1, 2 we set
ajλ = 0 if λ1 + λ2 6≡ j (mod 3)
and otherwise let
ajλ

=

(

mλ + eλ
mλ

(3.2)

if j = 0;
if j = 1, 2.

(3.3)

With this notation, [Rai17, Thm. 1.2] asserts that the characters of the simple GL-equivariant D-modules
D0 , D1 , D2 supported on the twisted cubic are
X j
∨
[Dj ] =
(3.4)
aλ · eλ for j = 0, 1, 2.
λ

Notice the use of the dual weights
in the above formula, which accounts for the fact that eλ denotes the
class of Sλ V in Γ(GL) and not that of Sλ W ! Notice also that (3.2) and (3.4) imply that
λ∨

if h[Dj ], eλ i 6= 0 then λ1 + λ2 + j ≡ 0 (mod 3).

(3.5)

Example 3.1. It will be useful later to know that
h[D0 ], e(−1,−5) i = h[D0 ], e(−6,−9) i = 1 and h[D0 ], e(3,0) i = h[D0 ], e(−2,−4) i = 0.
This is equivalent to proving that

a0(5,1)

=

a0(9,6)

= 1 and

a0(0,−3)

=

a0(4,2)

(3.6)

= 0. We have that

m(5,1) = ν0 − ν−5 = 1, m(9,6) = ν4 − ν0 = 0, m(0,−3) = ν−5 − ν−9 = 0 and m(4,2) = ν−1 − ν−4 = 0.
It follows from (2.12) that if h[E], e(a,b) i 6= 0 then a, b ≤ −6, so
e(5,1) = h[E], e(−1,−5) i = 0, e(0,−3) = h[E], e(3,0) i = 0 and e(4,2) = h[E], e(−2,−4) i = 0.
We have moreover that
e(9,6) = h[S], e(3,0) i =

*

1 + e(6,3)
, e(3,0)
(1 − e(3,0) )(1 − e(4,2) )(1 − e(6,6) )

+

= 1.

We conclude that
a0(5,1) = m(5,1) + e(5,1) = 1, a0(9,6) = m(9,6) + e(9,6) = 1, and
a0(0,−3) = m(0,−3) + e(0,−3) = 0, and a0(4,2) = m(4,2) + e(4,2) = 0,
as desired.

16

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

Example 3.2. It will also be useful later to know that
h[D2 ], e(−5,−9) i = 1 and h[D1 ], e(3,−1) i = 0.

(3.7)

This is equivalent to proving that a1(9,5) = 1 and a2(1,−3) = 0, which in turn follow from
m(9,5) = ν4 − ν−1 = 1 and m(1,−3) = ν−5 − ν−9 = 0.
Lemma 3.3. The values of m(a,a) when a ∈ Z


−1
m(a,a) = 1


0

are as follows:
if a ≡ 0 (mod 6), a ≥ 6
if a ≡ ±1 (mod 6), a ≥ 5
otherwise.

(3.8)

Proof. Since m(a,a) = νa−5 − νa−6 , it follows that m(a,a) = 0 for a < 5. To compute m(a,a) for a ≥ 5 we
consider the generating function
X
X
(νi − νi−1 ) · ti = (1 − t) ·
νi · ti =
i≥0

i≥0

1
1 − t + t2
=
= (1 − t + t2 ) + (t6 − t7 + t8 ) + · · ·
(1 + t)(1 − t3 )
1 − t6

from which the formula for m(a,a) follows.



Combining Lemma 3.3 with (3.4) we conclude that for a ∈ Z we have
(
(
1
if
a
≡
1
(mod
6),
a
≤
−5
1 if a ≡ −1 (mod 6), a ≤ −7
hD1 , e(a,a) i =
hD2 , e(a,a) i =
0 otherwise.
0 otherwise.

(3.9)

In particular, both D1 , D2 contain invariant sections for the action of the special linear group SL ⊂ GL. In
contrast, D0 has no SL-invariant sections as seen by the following.
Lemma 3.4. For every integer a ∈ Z we have
h[D0 ], e(a,a) i = 0.

(3.10)

Proof. Using (3.2), it suffices to consider the case when a ∈ 3Z. Using (3.3), and replacing a by −a, it is
then enough to show that m(a,a) + e(a,a) = 0 for all a ∈ 3Z which follows from
(
−1 + 1 = 0 if a ≡ 0 (mod 6), a ≥ 6
(3.1)
(
2.5
),(
3.8
)
m(a,a) + e(a,a) = m(a,a) + h[S], e(a−6,a−6) i
=

0+0=0
otherwise.
Equipped with the description of the characters of D0 , D1 , D2 , we next prove that none of them appears
as a composition factor in the localization S∆ . This will be important later in our analysis of the remaining
simple D-modules.
Lemma 3.5. D1 , D2 do not appear as composition factors of S∆ .
Proof. It follows from (2.6) that if h[S∆ ], eλ i 6= 0 then λ1 + λ2 is divisible by 3, so (3.5) implies that
h[D1 ], eλ i = h[D2 ], eλ i = 0 showing that D1 , D2 cannot occur as subrepresentations of S∆ and therefore they
are not composition factors of S∆ .

Lemma 3.6. D0 does not appear as a composition factor of S∆ .

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

17

Proof. As shown in Example 3.1, we have h[D0 ], e(−1,−5) i = 1, so to prove the result it suffices to verify that
h[S∆ ], e(−1,−5) i = 0.

(3.11)

Assuming this isn’t the case, it follows from (2.6) that we can find integers 0 ≤ a ≤ 1, b, c ≥ 0 and t ∈ Z
such that
(−1, −5) = a · (6, 3) + b · (3, 0) + c · (4, 2) + t · (6, 6).
(3.12)
Considering the difference between the first and second components of the above weights we get that
4 = 3a + 3b + 2c
which has a unique solution satisfying 0 ≤ a ≤ 1, b, c ≥ 0, namely a = b = 0 and c = 2. The equation (3.12)
becomes (−1, −5) = (8 + 6t, 4 + 6t) which has no integer solution. We get a contradiction, showing (3.11)
and concluding our proof.

3.3. The remaining simple equivariant D-modules. We are left with describing the character of P , as
well as those of the simple D-modules with full support. We first identify P as a composition factor of S∆ .
Lemma 3.7. The D-module P appears with multiplicity one as a composition factor of S∆ .
Proof. Since S∆ /S does not have full support, S is the only composition factor of S∆ with full support.
It follows from the classification and Lemma 3.6 that the remaining composition factors of S∆ /S must be
among P, D1 , D2 , E. Consider the dominant weight (3, −3) and note that in order to compute h[S∆ ], e(3,−3) i
we need to solve, as in the proof of Lemma 3.6, the equation
(3, −3) = a · (6, 3) + b · (3, 0) + c · (4, 2) + t · (6, 6), where 0 ≤ a ≤ 1, b, c ≥ 0 and t ∈ Z.

(3.13)

Every solution has 6 = 3a + 3b + 2c, which in turn implies that (a, b, c) is one of (1, 1, 0), (0, 2, 0), (0, 0, 3).
It follows that there is only one integer solution of (3.13), namely (a, b, c, t) = (1, 1, 0, −1), and therefore
h[S∆ ], e(3,−3) i = 1.
Using (2.5), (2.12) and (3.5) we conclude that
h[S], e(3,−3) i = h[E], e(3,−3) i = h[D1 ], e(3,−3) i = h[D2 ], e(3,−3) i = 0,
so the only composition factor of S∆ that may contain S(3,−3) V is P . Since the multiplicity of S(3,−3) V in
S∆ is 1, the same must be true about the multiplicity of P as a composition factor of S∆ .

1 (X, O ) it follows that P = L(O , X) appears as a submodule of S /S
Remark 3.8. Since S∆ /S = HO
3
∆
X
3

and that the quotient (S∆ /S)/P is supported on a proper closed subset of O3 . Using Lemma 3.6 and
combining (2.6) with (3.5) we get that D0 , D1 , D2 are not composition factors of S∆ , hence (S∆ /S)/P must
have support in O0 . It is not clear a priori that (S∆ /S)/P 6= 0, but as we’ll see shortly we have that
(S∆ /S)/P = E.
Lemma 3.9. The Fourier transform F(D0 ) is different from P, D0 , D1 , D2 , E and hence it is a simple
GL-equivariant D-module with full support.
Proof. Since the weight λ = (−1, −5) satisfies λ = λ∨ − (6, 6), it follows that
h[D0 ], e(−1,−5) i

(2.11)

=

(3.6)
h[F(D0 )], e(−1,−5) i = 1.

Equation (3.11) shows that F(D0 ) does not appear as a composition factor of S∆ , hence F(D0 ) 6= P . We
have
(2.11)
(3.6)
h[F(D0 )], e(3,0) i = h[D0 ], e(−6,−9) i = 1,

18

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

and since h[D0 ], e(3,0) i = 0 by (3.6), we conclude that F(D0 ) 6= D0 . The fact that F(D0 ) 6= D1 , D2 follows
from (3.5), and the fact that F(D0 ) 6= E follows from h[E], e(3,0) i = 0 which is a consequence of (2.12). 
Lemma 3.10. The D-module composition factors of F(D0 )∆ are among D0 , P, F(D0 ). Moreover, both F(D0 )
and P appear as composition factors with multiplicity one.
Proof. We start by noting that since F(D0 ) is simple and has full support, it is torsion free as an S-module.
In particular ∆ is a non-zerodivisor on F(D0 ) and we get using Lemma 2.2 that


[F(D0 )∆ ] = lim [F(D0 )] · e(−6n,−6n) .
n→∞

We also note that F(D0 ) is a submodule of F(D0 )∆ and that the quotient F(D0 )∆ /F(D0 ) has support
contained in O3 , which means that the composition factors of F(D0 )∆ /F(D0 ) are among P, D0 , D1 , D2 , E,
and in particular F(D0 ) appears with multiplicity one.
Since D0 has no SL-invariant sections by Lemma 3.4, the same must be true about F(D0 ) and thus also
about F(D0 )∆ . Since E, D1 , D2 have SL-invariant sections by (2.12) and (3.9), it follows that they cannot
appear as composition factors of F(D0 )∆ , so the only remaining potential composition factors are P and D0 .
To conclude it remains to show that P does appear as a composition factor and that it has multiplicity one.
We have
(2.11)
(3.6)
h[F(D0 )], e(−2,−4) i = h[D0 ], e(−2,−4) i = 0,
so D0 and F(D0 ) do not contain S(−2,−4) V as a subrepresentation. Moreover, using Lemma 2.2 we get
h[F(D0 )∆ ], e(−2,−4) i = lim h[F(D0 )], e(6n−2,6n−4) i = lim h[D0 ], e(−2−6n,−4−6n) i
n→∞

n→∞

= lim (m(6n+4,6n+2) + e(6n+4,6n+2) )

n→∞
6n−2,6n−4
h[S], e
i=

We have e(6n+4,6n+2) =
computed from the generating function
X
(νi − νi−3 ) · ti =
i≥0

1 for all n ≥ 1, and m(6n+4,6n+2) = ν6n−1 − ν6n−4 which can be

1
1 − t3
=
= 1 + t2 + t4 + t6 · · ·
2
3
(1 − t )(1 − t )
1 − t2

Taking i = 6n − 1 we get that νi − νi−4 = 0 and therefore m(6n+4,6n+2) = 0 for all n. We conclude that
h[F(D0 )∆ ], e(−2,−4) i = 1,

(3.14)

so there is a composition factor of F(D0 )∆ containing S(−2,−4) V as a subrepresentation. Since D0 and
F(D0 ) do not have this property, this composition factor must then be P , occurring with multiplicity one
as desired.

Corollary 3.11. The module P has no SL-invariant sections, and is therefore not isomorphic to S∆ /S. In
fact, S∆ /S has length two as a D-module, with composition factors P and E.
Proof. It follows from Lemma 3.10 that P is a composition factor of F(D0 )∆ . Since F(D0 )∆ has no SLinvariant sections, the same must be true about P , but
(2.5),(2.6)
h[S∆ /S], e(−6,−6) i = h[S∆ ], e(−6,−6) i − h[S], e(−6,−6) i
=
1 − 0 = 1,
and therefore P 6= S∆ /S. Using Remark 3.8 and the fact that h[S∆ /S], e(−6,−6) i = h[E], e(−6,−6) i = 1 we
conclude that (S∆ /S)/P = E.

As a consequence of Corollary 3.11 and using (2.5), (2.6), (2.12), we determine the character of P via
[P ] = [S∆ ] − [S] − [E].

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

19

Corollary 3.12. The D-module F(D0 )∆ has length three, with composition factors D0 , P, F(D0 ), each
appearing with multiplicity one.
Proof. We already know that P and F(D0 ) appear as composition factors with multiplicity one, so we need
to show that the same is true for D0 . We consider the weight λ = (−6, −9) and observe using (2.5), (2.6)
and (2.12) that
h[S], e(−6,−9) i = 0

and h[S∆ ], e(−6,−9) i = h[E], e(−6,−9) i = 1

which based on Corollary 3.11 implies that
h[P ], e(−6,−9) i = h[S∆ ], e(−6,−9) i − h[S], e(−6,−9) i − h[E], e(−6,−9) i = 0.
We have
(3.6)
(2.11)
(3.6)
h[D0 ], e(−6,−9) i = 1 and h[F(D0 )], e(−6,−9) i = h[D0 ], e(3,0) i = 0.

Since P and F(D0 ) do not contain S(−6,−9) V as a subrepresentation, and D0 contains it with multiplicity
one, it follows that the multiplicity of D0 as a composition factor of F(D0 )∆ is equal to
h[F(D0 )∆ ], e(−6,−9) i = lim h[F(D0 )], e(6n−6,6n−9) i = lim h[D0 ], e(3−6n,−6n) i = lim (m(6n,6n−3) + e(6n,6n−3) )
n→∞

n→∞

n→∞

We have e(6n,6n−3) = h[S], e6n−6,6n−9 i = 1 for all n ≥ 1, and m(6n,6n−3) = ν6n−5 − ν6n−9 which can be
computed from the generating function
X
i≥0

(νi − νi−4 ) · ti =

1 + t2
1 − t4
=
= (1 + t2 ) + (t3 + t5 ) + (t6 + t8 ) + · · ·
(1 − t2 )(1 − t3 )
1 − t3

Taking i = 6n − 5 we get that νi − νi−4 = 0 and therefore m(6n,6n−3) = 0 for all n. We conclude that
h[F(D0 )∆ ], e(−6,−9) i = 1, so that D0 appears with multiplicity one as a composition factor of F(D0 )∆ ,
concluding the proof.

Lemma 3.13. The Fourier transforms F(D1 ) and F(D2 ) are simple GL-equivariant D-modules with full
support.
Proof. Just as in the proof of Lemma 3.9, it suffices to verify that F(D1 ) and F(D2 ) are not among the
modules P, D0 , D1 , D2 , E. It follows from (2.11) and (3.5) that
if h[F(Dj )], eλ i 6= 0 then λ1 + λ2 ≡ j (mod 3),
so we only need to verify that F(D1 ) 6= D2 and F(D2 ) 6= D1 . Since F is an involution, these two assertions
are equivalent, so we only verify the first one. We have
h[F(D2 )], e(3,−1) i

(2.11)

so F(D2 ) 6= D1 , concluding the proof.

=

(3.7)
(3.7)
h[D2 ], e(−5,−9) i = 1 and h[D1 ], e(3,−1) i = 0



We write Q0 = F(D0 ) and let Qj = (Q0 )∆ · ∆j/3 for j = 1, 2. We have that Q0 , Q1 , Q2 are D-modules
with full support and no SL-invariant sections, and Q0 is simple because the Fourier transform preserves
simplicity. Our aim is to show that Q1 and Q2 are also simple, but for now we only show the following.
Lemma 3.14. All of the composition factors of Q1 , Q2 have full support, or equivalently, none of the modules
E, P, D0 , D1 , D2 appear as composition factors in Q1 , Q2 .

20

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

Proof. Since [C · ∆j/3 ] = e(2j,2j) it follows that
if h[Qj ], eλ i 6= 0 then λ1 + λ2 ≡ j (mod 3),

(3.15)

so it suffices to check that D1 is not a composition factor of Q2 , and that D2 is not a composition factor
of Q1 . To see this it suffices to observe that by (3.9) the modules D1 , D2 have non-zero SL-invariant sections,
whereas Q1 and Q2 do not.

We define as in the introduction Fi = S∆ · ∆i/6 for i = −1, 0, 1, 2, 3, 4, and let Gi ⊆ Fi denote the
D-submodule generated by ∆i/6 .
Lemma 3.15. We have that Gi = Fi for i = 2, 3, 4. Moreover, Gi is a simple D-module for i = 0, 2, 3, 4.
Proof. We have that G0 = S = L(X; X) is a simple D-module, so we only need to focus on the cases
i = 2, 3, 4. Recall from [SKKŌ80, Example 9.1] that the b-function of ∆ is
b∆ (s) = (s + 1)2 · (s + 5/6) · (s + 7/6)
hence no integer translate of i/6 is a root of b∆ (s) for i = 2, 3, 4. The argument in [Rai16, Section 7] with
f = ∆ applies to show that Gi = Fi for i = 2, 3, 4, and that each such Gi is a simple D-module.

Corollary 3.16. The 9 simple equivariant D-modules on X = Sym3 W having full support are
G0 , G2 , G3 , G4 , F(D1 ), F(D2 ), Q0 , Q1 , Q2 .
Moreover, we have that G1 = F(D2 ), G−1 = F(D1 ), D1 = F1 /G1 and D2 = F−1 /G−1 .
Proof. We have already seen that G0 , G2 , G3 , G4 , F(D1 ), F(D2 ), Q0 = F(D0 ) are simple. For j = 1, 2 let Q′j
denote any of the composition factors of Qj , which by Lemma 3.14 has full support. It follows from (3.15) that
the modules Q0 , Q′1 , Q′2 are mutually distinct. Moreover, they are distinct from G0 , G2 , G3 , G4 , F(D1 ), F(D2 )
since the latter contain non-zero SL-invariant sections, whereas Q0 , Q′1 , Q′2 do not. It follows that
G0 , G2 , G3 , G4 , F(D1 ), F(D2 ), Q0 , Q′1 , Q′2

(3.16)

are all the 9 simple equivariant D-modules on X = Sym3 W having full support. Since for j = 1, 2 the modules Q′j were chosen arbitrarily among the composition factors of Qj , and since the list (3.16) is independent
on these choices, we conclude that in fact each Qj only has one composition factor (possibly with multiplicity
bigger than one). We have seen in (3.14) that h[Q0 ], e(−2,−4) i = 1, which implies that h[Q1 ], e(0,−2) i = 1
and h[Q2 ], e(2,0) i = 1, and thus the composition factors of Q1 and Q2 cannot appear with multiplicity bigger
than one. This means that Q′1 = Q1 and Q′2 = Q2 , proving our first assertion.
The D-modules F1 and F−1 are torsion free, so they contain a simple submodule with full support. Looking
at the congruence of λ1 + λ2 modulo 3 for the representations Sλ V contained in F1 and F−1 , and comparing
with the list of simple equivariant D-modules that we obtained, we conclude that
• F(D2 ) and Q2 are the only possible submodules of F1 with full support, and D1 is the only possible
composition factor of F1 that does not have full support.
• F(D1 ) and Q1 are the only possible submodules of F−1 with full support, and D2 is the only possible
composition factor of F−1 that does not have full support.
Since F1 = S∆ · ∆1/6 it follows from (2.6) that
[F1 ] =

1 + e(6,3)
· e(6,6)Z+(1,1)
(1 − e(3,0) )(1 − e(4,2) )

(3.17)

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

21

and in particular h[F1 ], e(a+2,a) i 6= 0 if and only if a ≡ 3 (mod 6). This shows that h[F1 ], e(2,0) i = 0, and
since h[Q2 ], e(2,0) i = 1 we conclude that Q2 is not a submodule of F1 . It follows that F(D2 ) is a submodule
of F1 , and in fact F(D2 ) has multiplicity one as a composition factor of F1 , due to the fact that
h[F(D2 )], e(1,1) i

(2.11),(3.9)

=

1

and

h[F1 ], e(1,1) i = 1.

Since C · ∆1/6 is the unique copy of S(1,1) V inside F1 , it follows that ∆1/6 ∈ F(D2 ). Since F(D2 ) is simple,
it is generated by ∆1/6 as a submodule of F1 , hence F(D2 ) = G1 . Now the quotient F1 /G1 can only have
D1 as a composition factor, and D1 will appear with multiplicity one since
h[F1 ], e(−5,−5) i

(3.17)

=

(3.9)
(2.11),(3.9)
1 = h[D1 ], e(−5,−5) i and h[G1 ], e(−5,−5) i = h[F(D2 )], e(−5,−5) i
=
0.

This shows that F1 /G1 = D1 , as desired. The proof that G−1 = F(D1 ) and that F−1 /G−1 is completely
analogous, and we leave the details to the interested reader.

Remark 3.17. Since the modules Gi , i = −1, 0, 1, 2, 3, 4, have holonomic rank one (when restricted to the
dense orbit O4 they are isomorphic to Fi , which are free S∆ -modules of rank one), they correspond via the
classification in Section 3.1 to the 1-dimensional representations of the component group H4 ≃ C3 × S3 . The
remaining simple D-modules with full support, Q0 , Q1 , Q2 , correspond to the 2-dimensional representations
of H4 , and in particular they have holonomic rank two, which is perhaps not immediately clear from their
construction.
At this point we can describe the characters of all the remaining simple D-modules. Using (3.4) and (2.11)
we obtain from Corollary 3.16 explicit formulas for [G1 ] = F[D2 ] and [G−1 ] = F[D1 ]. Since [Gi ] = [S∆ ] · e(i,i)
for i = 2, 3, 4, they can be computed from (2.6), while the character of G0 = S has been determined in (2.5).
The character of Q0 is [Q0 ] = F[D0 ], while the characters of Q1 , Q2 are determined by [Qi ] = [Q0 ] · e(2i,2i)
for i = 1, 2.
We end this section by analyzing some non-simple D-modules. In Section 4 we will study from a quiver
perspective the indecomposable objects in the category of equivariant D-modules. Two such example is
given below.
Lemma 3.18. The module D0 is not isomorphic to a submodule of (Q0 )∆ /Q0 , and in particular (Q0 )∆ /Q0
is indecomposable.
Proof. Recall from Corollary 3.12 that (Q0 )∆ /Q0 has length two with composition factors P and D0 . If
it were decomposable, it would be isomorphic to P ⊕ D0 , and in particular D0 would be a submodule of
(Q0 )∆ /Q0 . It is then enough to prove that this is not the case.
(3.6)
Assume by contradiction that D0 ⊂ (Q0 )∆ /Q0 , let λ = (−6, −9) and recall that h[D0 ], eλ i = 1. Using
(3.3) we obtain
h[D0 ], e(−3,−6) i = 0 and h[D0 ], e(0,−3) i = 0.

(3.18)

Let vλ ∈ D0 ⊂ (Q0 )∆ /Q0 be a highest weight vector of weight λ and choose a lift of vλ to a highest
weight vector ṽλ ∈ (Q0 )∆ . Since ∆ has weight (6, 6) and h[D0 ], eλ+(6,6) i = h[D0 ], e(0,−3) i = 0, we conclude
that ∆ · vλ = 0 and therefore ∆ · ṽλ ∈ Q0 . We have however that
h[Q0 ], eλ+(6,6) i = h[Q0 ], e(0,−3) i

(2.11)

=

h[D0 ], e(−3,−6) i

(3.18)

=

0

which implies that ∆ · ṽλ = 0. This is a contradiction since ∆ is a non-zero divisor on (Q0 )∆ , concluding
our proof.


22

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

Lemma 3.19. The module E is not isomorphic to a submodule of S∆ /S, and in particular S∆ /S is indecomposable.
Proof. By Corollary 3.11, S∆ /S has length two, with composition factors P and E, so we can prove our
result using the same strategy as in Lemma 3.18. For that it suffices to take again λ = (−6, −9) and use
h[E], eλ i = 1, and h[E], eλ+(6,6) i = h[S], eλ+(6,6) i = 0.



4. The category of equivariant coherent D-modules
In this section we continue to denote by W a 2-dimensional complex vector space, by GL = GL(W )
the group of invertible linear transformations of W , and by X = Sym3 W the space of binary cubic forms
which is equipped with a natural action of GL. The goal of this section is to describe the category of
GL-equivariant coherent DX -modules as the category of finite-dimensional representations of a quiver (as
mentioned in Section 2.2). Then we identify (up to isomorphism) all the indecomposable representations of
the quiver, so implicitly, all the indecomposable equivariant DX -modules.
4.1. The quiver description of the category of equivariant D-modules. We now proceed to determine the quiver (Q, I) for the category of GL-equivariant coherent DX -modules. We will use freely the
following general properties of the correspondence between the category modGL (DX ) and the quiver (Q, I)
representing it:
• There is a bijective correspondence between simples M ∈ modGL (DX ) and nodes m of Q – using
notation (2.14), the representation of (Q, I) corresponding to M is S m .
• If D ∈ modGL (DX ) corresponds to V D ∈ rep(Q, I) then for every simple M ∈ modGL (DX ) corresponding to a node m we have that the multiplicity of M as a composition factor of D is equal to
dim VmD .
• Specializing the remark above to the case when D is the injective envelope of the simple M , we
have that V D = I m . Using (2.15), it follows that for every simple N with corresponding node n,
the multiplicity of N as a composition factor of D is equal to the number of paths in Q (modulo
relations) from n to m.
• Dually, if D is the projective cover of a simple M then the multiplicity of a simple N as a composition
factor of D is equal to the number of paths from m to n.
• If m, n are nodes of Q corresponding to the simples M, N , then the number of arrows from m to n
equals dimC Ext1 (M, N ) [ASS06, Chapter III, Lemma 2.12].
• The holonomic duality functor D (resp. the Fourier transform F) described in Section 2.2 induces a
self-duality (resp. a self-equivalence) of the category rep(Q, I). If m, n are nodes of Q corresponding
to the simples M, N , then we write n = D(m) (resp. n = F(m)) when N = D(M ) (resp. N = F(M )).
The number of arrows from m to n is equal to the number of arrows from D(n) to D(m), as well
as to the number of arrows from F(m) to F(n). An analogous relationship holds for the number of
paths from m to n (considered as always modulo the relations in I).
Based on these general remarks we can prove the following.
Lemma 4.1. Suppose that we have an exact sequence in modGL (DX )
0 −→ M −→ I M −→ N −→ 0
IM

(4.1)

where
denotes the injective envelope of the simple module M , and N has length two, with composition
factors N ′ , N ′′ . We assume that M, N ′ , N ′′ are pairwise distinct and let m, n′ , n′′ denote the corresponding
nodes of Q. If N ′′ is not isomorphic to a submodule of N then there exists a unique arrow in Q from n′ to
m, and no arrow from n′′ to m.

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

23

Proof. Since the socle of I M is M , we get Hom(N ′ , I M ) = Hom(N ′′ , I M ) = 0. Moreover, the assumptions on
N show that N ′ must be a submodule of N , with N ′′ = N/N ′ , which in turn implies that Hom(N ′ , N ) = C.
The long exact sequences associated to Hom(N ′ , •) and Hom(N ′′ , •) applied to (4.1) yield
0 −→ Hom(N ′ , N ) −→ Ext1 (N ′ , M ) −→ Ext1 (N ′ , I M ) = 0,
0 −→ Hom(N ′′ , N ) −→ Ext1 (N ′′ , M ) −→ Ext1 (N ′′ , I M ) = 0,
where the vanishing of Ext1 (•, I M ) follows from the fact that I M is injective. We get that Ext1 (N ′ , M ) = C
and Ext1 (N ′′ , M ) = 0, i.e. there exists exactly one arrow from n′ to m, and no arrow from n′′ to m.

We are now ready to prove the main theorem regarding the quiver description of modGL (DX ).
Theorem 4.2. There is an equivalence of categories
modGL (DX ) ≃ rep(Q, I),
where rep(Q, I) is the category of finite-dimensional representations of a quiver Q with relations I, described
as follows. The vertices and arrows of the quiver Q are depicted in the diagram
s ]❁❁❁

d0
✂@✂
❁❁❁❁
✂
❁❁❁❁α1
β2 ✂✂✂✂
✂✂
❁ ❁❁
β1 ❁❁❁
❁❁ ✂✂✂✂✂✂ α2
❁  ✂✂✂
A p ❁
✂✂✂✂ ^❁❁❁❁❁❁
✂
❁❁❁❁β3
α4 ✂✂✂✂
❁❁
✂✂✂
✂
α
3 ❁❁❁❁
✂✂✂ β4
❁❁❁
✂
✂✂✂

q0

γ1

g1 o

q1

q2

•

e

/

d1

δ1

g2

•

g3

•

γ−1

g−1 o

δ−1

/

•

g4

•

d2

and the set of relations I is given by all 2-cycles and all non-diagonal compositions of two arrows:
αi βi and βi αi for i = 1, 2, 3, 4,

γi δi and δi γi for i = 1, −1, and

α1 β2 , α1 β4 , α2 β1 , α2 β3 , α3 β2 , α3 β4 , α4 β1 , α4 β3 .
Proof. Let M be any of the simples G2 , G3 , G4 , Q1 , Q2 , and consider the open embedding j : O4 → X. We
have by construction that j∗ j ∗ M = M∆ = M , hence M is injective by Lemma 2.4. The holonomic duality
functor D takes a simple D-module corresponding to a local system on U to the simple corresponding to the
dual local system and therefore
D

D

G2 ←→ G4 , D(G3 ) = G3 , Q1 ←→ Q2 .
Since D takes injectives to projectives, this shows that M is both injective and projective, hence Ext1 (M, N ) =
Ext1 (N, M ) = 0 for all N ∈ modGL (DX ). We conclude that g2 , g3 , g4 , q1 , q2 are isolated nodes of the quiver Q.
Consider next the modules Gi with i = ±1. We have by Lemma 2.4 that j∗ j ∗ Gi = Fi is the injective
envelope of Gi . Combining this with Corollary 3.16 we get non-split exact sequences
0 → G1 → F1 → D1 → 0 and 0 → G−1 → F−1 → D2 → 0
so Ext1 (D2 , G−1 ) = Ext1 (D1 , G1 ) = C. It follows that in Q there exist unique arrows δ1 from d1 to g1 , and
δ−1 from d2 to g−1 . Moreover, since Fi is the injective envelope of Gi there are no other paths of positive
length (and in particular no arrows) with target g1 or g−1 . Using
D

D

D1 ←→ D2 , G1 ←→ G−1 ,

24

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

we get unique arrows γ1 from g1 = D(g−1 ) to d1 = D(d2 ), and γ−1 from g−1 = D(g1 ) to d2 = D(d1 ), and
moreover there are no other paths with source in g1 or g−1 . Applying next the Fourier transform
F

F

G1 ←→ D2 , G−1 ←→ D1 ,
we conclude that there are unique arrows in and out of d1 , d2 (namely γ±1 , δ±1 ) and no other paths of
positive length in or out of d1 , d2 . This forces the relations δi γi = γi δi = 0 for i = ±1.
We are left to consider the restriction of the quiver to the nodes e, d0 , p, q0 , s. Since the modules
E, D0 , P, Q0 , S are preserved by holonomic duality, it follows that for m, n ∈ {e, d0 , p, q0 , s}, the number
of arrows from m to n is equal to the number of arrows from n to m.
Applying Lemma 2.4 with Y = X, O = O3 and M = S we find that S∆ is the injective envelope of S, and
combining Lemmas 4.1 and 3.19 we conclude that there exists a unique arrow from p to s, which we denote
by β1 , and no arrow from e to s. Applying the duality D we find a unique arrow α1 from s to p. Since D0
and Q0 do not appear as composition factors of S∆ , there is no path (and thus no arrow) from either d0
or q0 to s. We can next argue in the similar fashion by taking M = Q0 and appealing to Lemma 3.18 to
conclude that there are unique arrows β4 from p to q0 and α4 from q0 to p, there is no arrow from d0 to q0 ,
and no path from either e or s to q0 .
Since the Fourier transform fixes P and swaps the elements in each pair (E, S) and (Q0 , D0 ), it follows
from the conclusions of the preceding paragraph that there exists a pair of arrows α3 , β3 between p and e,
and another pair of arrows α2 , β2 between p and d0 . Moreover, there are no paths from either d0 or q0 to e,
and no paths from either e or s to d0 , so in particular we have obtained a complete list of arrows in Q.
The relations α1 β1 = α4 β4 = 0 follow from the fact that S and Q0 appear with multiplicity one inside
their respective injective envelopes. Applying the duality D we conclude that β1 α1 = β4 α4 = 0, and further
applying the Fourier transform we get α2 β2 = β2 α2 = α3 β3 = β3 α3 = 0. Since there are no paths between
either of e, s and either q0 , d0 we conclude that
α1 β2 = α1 β4 = α2 β1 = α2 β3 = α3 β2 = α3 β4 = α4 β1 = α4 β3 = 0.
Since E appears in the injective envelope of S, there has to be a path from e to s which is necessarily α3 β1 .
By holonomic duality, there is a path from s to e, namely α1 β3 . Similarly, since D0 appears in the injective
envelope of Q0 we get the path α2 β4 from d0 to q0 , and by duality we have the path α4 β2 from q0 to d0 .
This shows that there are no more relations in the quiver Q, concluding our proof.

Remark 4.3. As any D-module in modGL (DX ) has a projective (resp. injective) resolution, the indecomposable projective (resp. injective) D-modules play a special role. We can construct all the indecomposable
projective (resp. injective) D-modules in modGL (DX ) using D-module-theoretic tools as follows. Up to duality D, it is enough to describe the injectives. We already obtained in the proof of Theorem 4.2 the injective
envelopes for the simples with full support. Namely, if M is a simple equivariant D-module with full support,
then its injective envelope is M∆ (see Lemma 2.4). By taking Fourier transform (which preserves injectives),
the injective envelopes of E, D0 , D1 , D2 are F(S∆ ), F((Q0 )∆ ), F(F−1 ), F(F1 ), respectively. We are left to
identify the injective envelope of P . One possible description is as follows. Let U = X\O2 and j : U → X
1 (O ) is the
the open embedding. Since O3 is smooth and closed in U of codimension 1, the sheaf HO
U
3
∗
i
1
0
1
1 (X, O ),
simple DU -module j P , and HO3 (OU ) = 0 for i 6= 1. We have j∗ HO3 (OU ) = H HO3 (OU ) = HO
X
3
q
p+q
since the spectral sequence H p (HO
(U,
O
))
⇒
H
(X,
O
)
degenerates.
By
Lemma
2.4,
this
shows
that
U
X
O3
3
1 (X, O ) is the injective envelope of P in the subcategory modO3 (D ). By Theorem 4.2, the
H = HO
X
X
G
3
D-module H and its Fourier transform F(H) will correspond to the following representations of the quiver

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

25

(Q, I):

H:
0

? 0
❄❄❄❄1
❄❄❄❄
0 ❄

? C_❃❃❃
⑧
1⑧⑧⑧⑧⑧ ❃❃❃❃
❃❃❃❃
⑧
⑧⑧⑧⑧⑧0
❃

C _❄❄❄

0 _❃❃❃

C
⑧?
❃❃❃❃
0⑧⑧⑧⑧
❃❃❃ ⑧⑧⑧⑧
⑧ 1
? C _❄❄❄
❄❄❄❄0
❄❄
1 ❄


F(H) :

C

0
C
Note that P is a submodule of both H and F(H). Due to the description in (2.15), we obtain the injective
envelope I P of P by the exact sequence
0 −→ P −→ H ⊕ F(H) −→ I P −→ 0,
where the first map is the diagonal inclusion.
4.2. Description of the indecomposables. In this section we describe the indecomposable representations of the quiver rep(Q, I) obtained in Theorem 4.2. We consider each connected component of Q. Clearly,
the only indecomposable representations of the isolated vertices are the simples.
/
Next, consider the quiver 1 o
2 with all 2-cycles zero. There are only 4 indecomposable representa/
/
tions (see also [LW17]): the 2 simples C o
0 and 0 o
C , together with their respective projective
covers C o

1
0

/

C and C o

0

/

C.

1

Denote by (Q̃, Ĩ) the largest connected component of (Q, I), that is, the quiver
1 ^❃❃❃
(Q̃, Ĩ) :

4

@ 2
❃❃❃❃
β2
❃❃❃α
1
❃❃❃
α2
β1 ❃❃❃❃
❃
@ 5 ^❃❃❃
❃❃❃❃
α4
❃❃❃❃β3
❃❃
α3 ❃❃❃
β4
❃❃

3

with relations Ĩ as in Theorem 4.2. In contrast with the quivers obtained in [LW17], the quiver (Q̃, Ĩ) is
not representation-finite, that is, the category rep(Q̃, Ĩ) has infinitely many indecomposable representations.
This follows by realizing the extended Dynkin quiver D̂4 as a subquiver Q(α) (resp. Q(β)) of (Q̃, Ĩ) by
considering only the arrows αi (resp. the arrows βi ), where i = 1, 2, 3, 4. Nevertheless, we are able to
describe the indecomposables due to the fact that (Q̃, Ĩ) is of tame representation type (Theorem 4.4).
More precisely, consider the quiver D̂4 as in Example 2.6. We construct two embeddings of categories
α : rep(D̂4 ) → rep(Q̃, Ĩ) and β : rep(D̂4 ) → rep(Q̃, Ĩ)
as follows. For a representation V ∈ rep(D̂4 ), set α(V ), β(V ) to be the representations
V1∗ ❆
`❆ ❆

V1 ❆
`❆ ❆
α(V ) :

V
⑥⑥> 2
❆❆❆❆Vα1
⑥
0⑥⑥⑥⑥
❆❆❆❆
⑥⑥
0 ❆❆❆
⑥~⑥⑥⑥⑥ Vα2
V
⑥> 5 `❆❆❆❆❆
Vα4 ⑥⑥⑥⑥
❆❆❆0❆
⑥⑥⑥⑥
❆❆
Vα3 ❆❆❆
⑥~⑥⑥⑥⑥ 0

V4

V3

β(V ) :

V4∗

∗

> V2
⑥⑥⑥⑥
⑥
⑥⑥
⑥⑥⑥⑥⑥0
⑥⑥
⑥
1
~⑥
∗
>⑥ V5 `❆❆❆ ∗
⑥
❆❆❆❆Vα3
0 ⑥⑥⑥⑥⑥
❆❆❆❆
❆❆
⑥⑥⑥⑥⑥V ∗
⑥
0 ❆❆❆
⑥~⑥⑥ α4

❆❆❆❆0
❆❆❆❆
❆
Vα∗ ❆❆❆❆

Vα∗2

V3∗

26

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

Clearly, α, β send indecomposables to indecomposables. For example, for an arbitrary n > 0, we have
in rep(Q̃, Ĩ) two 1-parameter families of indecomposables α(Rn (λ)) and β(Rn (λ)) in the dimension vector
(n, n, n, n, 2n) induced by the representations Rn (λ) ∈ rep(D̂4 ) described in Example 2.6.
Note that we have 4 projective-injective indecomposable representations of (Q̃, Ĩ) that are not obtained
from α, β, namely: P 1 = I 2 , P 2 = I 1 , P 3 = I 4 and P 4 = I 3 .
As explained in Example 2.6, the indecomposable representations of D̂4 are classified. Using this, we
obtain the classification for (Q̃, Ĩ):
Theorem 4.4. Let X be an indecomposable representation in rep(Q̃, Ĩ). Assume that X is not isomorphic to
either of the projective-injectives P 1 , P 2 , P 3 , P 4 . Then there is an indecomposable V in rep(D̂4 ) such that
X is isomorphic to either α(V ) or β(V ). In particular, the quiver (Q̃, Ĩ) is of (domestic) tame representation
type.
Proof. Due to the relations βi αi = 0, the vertices 1, 2, 3, 4 of (Q̃, Ĩ) are nodes as defined Section 2.4. After
separating each of these nodes, we obtain the following quiver (Q′ , I ′ )
′
2
1′ g❖❖❖
1
?2
♦♦♦
❖❖❖ ❃❃❃
♦
♦
❃
♦
❖❖❖ ❃α1
β2
♦♦
❖ ❃
♦♦♦α2
β1 ❖❖❖❖❃❃❃
♦
♦
❖❖ w♦♦♦
♦♦7 5 _❃❖❖❖

♦♦

α4♦♦♦♦

♦♦
♦♦♦
♦

♦
♦
′

β4

❃❃ ❖❖❖
❃❃ ❖❖β❖3
❖❖❖
α3 ❃❃❃
❖❖❖
❃
❖'

4
4
3
3′
with relations generated by αi βi , where i = 1, 2, 3, 4, and α1 β2 , α1 β4 , α2 β1 , α2 β3 , α3 β2 , α3 β4 , α4 β1 , α4 β3 . By
Lemma 2.7, we can assume X is an indecomposable of (Q′ , I ′ ).
Now we apply Lemma 2.8 four consecutive times. Since X is not isomorphic to P 1 , P 2 , P 3 , P 4 , we
obtain that the indecomposable X must be a representation of the quiver (Q′ , I ′′ ), where I ′′ is obtained
from I ′ by adding the relations α1 β3 , α3 β1 , α2 β4 , α4 β2 . But now the vertex 5 is a node of (Q′ , I ′′ ), and by
separating the node, we obtain two copies of D̂4 (one copy with the middle vertex a sink and one copy with
the middle vertex a source). Using Lemma 2.7 again, we obtain the result.

Remark 4.5. It can be shown that the quiver (Q′ , I ′ ) obtained by separating the 4 nodes has global dimension
2, and any each indecomposable X ∈ rep(Q′ , I ′ ), either the projective dimension or the injective dimension
of X is at most 1. Hence (Q′ , I ′ ) is quasi-tilted by [SS07b, Chapter XX, Theorem 3.10], which suggests
that an alternative approach could be used to classify its indecomposables via tilting theory (for more on
quasi-tilted algebras see [SS07b, Section XX.3]; for more on tilting theory, see [ASS06, Chapter VI]).
Remark 4.6. One can understand the morphisms between the indecomposable representations via AuslanderReiten theory – see [ASS06, Chapter VI] for the basic theory and relevant terminology. We can describe the
Auslander-Reiten quiver of (Q̃, Ĩ) by standard methods as follows. There are two D̂4 type sub-quivers of
(Q̃, Ĩ): the quiver Q(α) with arrows αi and the quiver Q(β) with arrows βj . The Auslander-Reiten quivers
for both of these sub-quivers have three parts: preprojective, preinjective and the regular one consisting of
so-called tubes (see [SS07a, Section XIII.3]).
Now we describe the components of the Auslander-Reiten quiver of (Q̃, Ĩ). First, the tubes of both
sub-quivers Q(α) and Q(β) appear as separate components of the Auslander-Reiten quiver of (Q̃, Ĩ). Next,
the preinjective component of the quiver Q(α) and the preprojective component of Q(β) are glued together
along the four simple representations S 1 , S 2 , S 3 , S 4 to become one component of the Auslander-Reiten

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

27

quiver of (Q̃, Ĩ). Finally, the last component of the Auslander-Reiten quiver of (Q̃, Ĩ) is obtained by gluing
together the preinjective component of Q(β) and the preprojective component of Q(α) along the simple
module S 5 . The four projective-injective modules P 1 , P 2 , P 3 , P 4 are also part of this component, and
they occur in the middle along with S 5 . They are part of four almost split sequences, described as follows.
Denote by Mαi the two dimensional module with the nonzero linear map αi and by Mβj the two dimensional
module with the nonzero linear map βj . Then we have an almost split sequence
P3
ր

ց

ց

ր

Mβ1

Mα3
S5

and three more analogous ones by symmetry.
5. Some local cohomology calculations
We conclude this article with a couple of examples of local cohomology computations for equivariant
D-modules, with support in orbit closures. Many of these calculations are standard, but some require an
understanding of the structure of the category modGL (DX ). We begin with the following general observation.
Suppose that M is a GL-equivariant DX -module with support contained in Oi . It follows that for j ≥ i we
have
(
M if k = 0,
k
(M ) =
HO
j
0
otherwise.
k (M ) when j < i. For iterated
We will thus only be interested in studying the local cohomology groups HO
j
local cohomology groups of S with respect to a family of GL-invariant closed subsets we have the following.
ik
i1
(· · · HO
(S)) with j1 < · · · < jk are:
Theorem 5.1. The non-zero iterated local cohomology groups HO
j1

jk

S∆
2
4
, HO
(S) = D0 , HO
(S) = E,
0
2
S
3
1
2
2
(S)) = D0 , HO
(HO
(S)) = E, HO
(HO
(S)) = E,
0
0

1
HO
(S) =
3

1
1
(HO
HO
2

3

3

2

1
2
1
(HO
(S)))
HO
(HO
0
2
3

= E.

(5.1)
(5.2)
(5.3)

The formulas (5.2–5.3) follow from (5.1) and the fact that the orbit closures are cohomological complete
intersections (see [NBWZ16, Example 4.2]). In particular, the only non-vanishing Lyubeznik number for
each orbit closure is the highest one. Based on Theorem 5.1 we can also determine the local cohomology
groups of simple GL-equivariant DX -modules with support in the orbit closures as follows.
k (M ) when M is a simple GL-equivariant
Theorem 5.2. The only non-zero local cohomology modules HO
j

DX -module with support Oi and j < i are the ones in (5.1), as well as the following:
2
HO
(D0 ) = E,
0
1
(P )
HO
2

= D0 ⊕ E,

1
HO
(P )
0

(5.4)
=

3
HO
(P )
0

(Q0 )∆
2
2
, HO
(Q0 ) = HO
(Q0 ) = E,
0
2
Q0
1
1
(G1 ) = D1 , HO
(G−1 ) = HO
(G−1 ) = D2 .

1
HO
(Q0 ) =
3

1
1
(G1 ) = HO
HO
3

2

= E,

3

2

(5.5)
(5.6)
(5.7)

28

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

1 (P ) = D , as well as that
Perhaps the most interesting computations in Theorem 5.2 are that of HO
0
2
of the local cohomology groups of Q0 , particularly since they require some of the structure theory that we
developed for the category of GL-equivariant DX -modules.
i (S) = S /S for
Proof of Theorem 5.1. Since O3 is the hypersurface defined by ∆ = 0 it follows that HO
∆
3
• (S) is a special case of [Rai17, Theorem 1.2], while that
i = 0, and it is 0 otherwise. The calculation of HO
2
• (S) is known since the ideal of O is the maximal homogeneous ideal of S [Eis05, Corollary A1.6].
of HO
0
0
p
q
p+q
For i < j we have a spectral sequence HO
(HO
(S)) ⇒ HO
(S). We get using (5.1) that this spectral
i

j

i

q
(S) is non-zero for a unique value of q. This proves (5.2), as well as
sequence degenerates, since HO
j

q
p
(HO
(S)). The equation (5.3), as well as the vanishing of
the vanishing of the remaining modules HO
i

j

i1
i2
i3
1 (H 1 (S)) = D = H 2 (S).
HO
(HO
(HO
(S))) for (i1 , i2 , i3 ) 6= (2, 1, 1) follows from (5.1–5.2) since HO
0
0
O
O
2

2

3

3

2



i (D ) for i 6= 2 follows from (5.1–5.2).
Proof of Theorem 5.2. The equation (5.4) and the vanishing of HO
0
0
To prove (5.5), consider the non-split exact sequence

0 −→ P −→ S∆ /S −→ E −→ 0

(5.8)

i (E) = E for i = 0
coming from Corollary 3.11 and Lemma 3.19. Since E is supported at O0 we have HO
j

1 (S) have been computed in (5.2).
and it is 0 otherwise, while the local cohomology modules of S∆ /S = HO
3
0 (•) to (5.8) yields then a short exact sequence
The long exact sequence obtained by applying HO
2

1
0 −→ E −→ HO
(P ) −→ D0 −→ 0
2

i (P )
HO
2

and the vanishing of
for i 6= 1. By Theorem 4.2, any extension between D0 and E is split, hence
1 (P ) = D ⊕ E. We next consider the long exact sequence obtained by applying H 0 (•) to (5.8) and get
HO
0
O0
2

0
1
E = HO
(E) ≃ HO
(P ),
0
0

3
3
HO
(P ) ≃ HO
(S∆ /S) = E,
0
0

i (P ) = 0 for i 6= 1, 3, proving (5.5).
and HO
0
i (Q ) follows from the fact that O is defined by ∆ = 0. Since the only nonThe calculation of HO
3
0
3

p
q
p+q
vanishing is obtained for i = 1, the spectral sequence HO
(HO
(Q0 )) ⇒ HO
(Q0 ) degenerates and we get
2

3

2

i (Q ) = H i−1 (H 1 (Q )). We have from Corollary 3.12 and Lemma 3.18 a non-split exact sequence
HO
0
0
O
O
2

2

3

1
0 −→ P −→ HO
(Q0 ) −→ D0 −→ 0,
3

which yields by applying

0 (•),
HO
2

and using (5.5) and the fact that D0 has support in O2 , an exact sequence
β

α

1
1
1
0
(HO
(Q0 )) −→ D0 −→ D0 ⊕ E −→ HO
(HO
(Q0 )) −→ 0,
0 −→ HO
2

3

2

3

i (H 1 (Q ))
HO
0
O3
2

as well as the vanishing
= 0 for i ≥ 2. If the map α is non-zero, then it must be an
1 (Q ) = (Q ) /Q and
isomorphism since D0 is simple, which would show that D0 is a submodule of HO
0
0 ∆
0
3
1
0
1
contradict Lemma 3.18. It follows that α = 0, hence HO (Q0 ) = HO (HO (Q0 )) = 0, and moreover we
2
2
3
2 (Q ) = H 1 (H 1 (Q )) = E. To finish the proof of (5.6) we note
have coker(β) = E which implies HO
0
0
O2
O3
2
q
(Q0 ) is non-zero only for q = 2, and therefore it yields the degeneration of the spectral sequence
that HO
2

p
q
p+q
q
HO
(HO
(Q0 )) ⇒ HO
(Q0 ) = E for q = 2 and is 0 otherwise.
(Q0 ). We get that HO
0
0
2

2

EQUIVARIANT D-MODULES ON BINARY CUBIC FORMS

29

Since F1 /G1 = D1 we have (G1 )∆ = (F1 )∆ = F1 and therefore
1
(G1 ) = (G1 )∆ /G1 = F1 /G1 = D1
HO
3

i (G ).
HO
1
3

is the only non-vanishing group
The standard (by now) spectral sequence argument shows that
i
HO (G1 ) = D1 for i = 1 and is 0 otherwise. A similar argument, based on F−1 /G−1 = D2 , applies to
2
show the rest of (5.7). To conclude the determination of the local cohomology modules of G±1 it remains
i (G ) = 0 for all i, which in turn is a consequence of the fact that H i (D ) = 0 for all i
to prove that HO
±1
j
O0
0
i (D ) are direct sums of
and j = 1, 2. This vanishing result follows since on the one hand the modules HO
j
0
copies of E (beging supported on O0 ), and on the other hand their characters may only involve terms of the
form eλ with |λ| ≡ 1, 2 (mod 3) by (3.5). Comparing this with (2.12) we get the desired vanishing.
i (M ) = 0 for all i.
Finally, if M is any of the modules G2 , G3 , G4 , Q1 , Q2 we have that M∆ = M , so HO
3
i (M ) = H i (M ) = 0 for all i, concluding the proof.

Using the spectral sequence, this shows that HO
O0
2

Acknowledgements
Experiments with the computer algebra software Macaulay2 [GS] have provided numerous valuable insights. Raicu acknowledges the support of the Alfred P. Sloan Foundation, and of the National Science
Foundation Grant No. 1600765. Weyman acknowledges partial support of the Sidney Professorial Fund and
of the National Science Foundation grant No. 1400740.
References
[ASS06] Ibrahim Assem, Daniel Simson, and Andrzej Skowroński, Elements of the representation theory of associative algebras. Vol. 1, London Mathematical Society Student Texts, vol. 65, Cambridge University Press, Cambridge, 2006.
MR2197389
[BG99] Tom Braden and Mikhail Grinberg, Perverse sheaves on rank stratifications, Duke Math. J. 96 (1999), no. 2, 317–362,
DOI 10.1215/S0012-7094-99-09609-6. MR1666554
[Eis05] David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York,
2005. A second course in commutative algebra and algebraic geometry. MR2103875
[GGM85a] A. Galligo, M. Granger, and Ph. Maisonobe, D-modules et faisceaux pervers dont le support singulier est un croisement normal, Ann. Inst. Fourier (Grenoble) 35 (1985), no. 1, 1–48 (French). MR781776 (88b:32027)
[GGM85b]
, D-modules et faisceaux pervers dont le support singulier est un croisement normal. II, Astérisque 130 (1985),
240–259 (French). Differential systems and singularities (Luminy, 1983). MR804057 (88b:32028)
[GMV96] Sergei Gelfand, Robert MacPherson, and Kari Vilonen, Perverse sheaves and quivers, Duke Math. J. 83 (1996),
no. 3, 621–643. MR1390658
[GP72] I. M. Gelfand and V. A. Ponomarev, Problems of linear algebra and classification of quadruples of subspaces in a
finite-dimensional vector space, Hilbert space operators and operator algebras (Proc. Internat. Conf., Tihany, 1970),
North-Holland, Amsterdam, 1972, pp. 163–237. Colloq. Math. Soc. János Bolyai, 5. MR0357428
[GS] Daniel R. Grayson and Michael E. Stillman, Macaulay 2, a software system for research in algebraic geometry,
Available at http://www.math.uiuc.edu/Macaulay2/.
[HTT08] Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tanisaki, D-modules, perverse sheaves, and representation theory,
Progress in Mathematics, vol. 236, Birkhäuser Boston, Inc., Boston, MA, 2008. Translated from the 1995 Japanese
edition by Takeuchi. MR2357361
[Jan87] Jens Carsten Jantzen, Representations of algebraic groups, Pure and Applied Mathematics, vol. 131, Academic Press,
Inc., Boston, MA, 1987. MR899071
[LM04] J. M. Landsberg and L. Manivel, Series of Lie groups, Michigan Math. J. 52 (2004), no. 2, 453–479, DOI
10.1307/mmj/1091112085. MR2069810
[LW17] András C. Lőrincz and Uli Walther, On categories of equivariant D-modules, preprint (2017). Available at
http://www.math.purdue.edu/~ alorincz/.
[Lyu93] Gennady Lyubeznik, Finiteness properties of local cohomology modules (an application of D-modules to commutative
algebra), Invent. Math. 113 (1993), no. 1, 41–55, DOI 10.1007/BF01244301. MR1223223

30

ANDRÁS C. LŐRINCZ, CLAUDIU RAICU, AND JERZY WEYMAN

[MV80] Roberto Martı́nez-Villa, Algebras stably equivalent to l-hereditary, Representation theory, II (Proc. Second Internat.
Conf., Carleton Univ., Ottawa, Ont., 1979), Lecture Notes in Math., vol. 832, Springer, Berlin, 1980, pp. 396–431.
MR607166
[MV86] Robert MacPherson and Kari Vilonen, Elementary construction of perverse sheaves, Invent. Math. 84 (1986), no. 2,
403–435, DOI 10.1007/BF01388812. MR833195 (87m:32028)
[MV88] R. MacPherson and K. Vilonen, Perverse sheaves with singularities along the curve y n = xm , Comment. Math.
Helv. 63 (1988), no. 1, 89–102. MR928029
[NBWZ16] Luis Núñez-Betancourt, Emily E. Witt, and Wenliang Zhang, A survey on the Lyubeznik numbers, Mexican mathematicians abroad: recent contributions, Contemp. Math., vol. 657, Amer. Math. Soc., Providence, RI, 2016, pp. 137–
163. MR3466449
[Rai16] Claudiu Raicu, Characters of equivariant D-modules on spaces of matrices, Compos. Math. 152 (2016), no. 9,
1935–1965, DOI 10.1112/S0010437X16007521. MR3568944
[Rai17]
, Characters of equivariant D-modules on Veronese cones, Trans. Amer. Math. Soc. 369 (2017), no. 3, 2087–
2108. MR3581228
[RW14] Claudiu Raicu and Jerzy Weyman, Local cohomology with support in generic determinantal ideals, Algebra & Number
Theory 8 (2014), no. 5, 1231–1257, DOI 10.2140/ant.2014.8.1231. MR3263142
[RW16]
, Local cohomology with support in ideals of symmetric minors and Pfaffians, J. Lond. Math. Soc. (2) 94
(2016), no. 3, 709–725, DOI 10.1112/jlms/jdw056. MR3614925
[RWW14] Claudiu Raicu, Jerzy Weyman, and Emily E. Witt, Local cohomology with support in ideals of maximal minors and
sub-maximal Pfaffians, Adv. Math. 250 (2014), 596–610, DOI 10.1016/j.aim.2013.10.005. MR3122178
[SKKŌ80] M. Sato, M. Kashiwara, T. Kimura, and T. Ōshima, Microlocal analysis of prehomogeneous vector spaces, Invent.
Math. 62 (1980/81), no. 1, 117–179. MR595585
[SS07a] Daniel Simson and Andrzej Skowroński, Elements of the representation theory of associative algebras. Vol. 2. Tubes
and concealed algebras of Euclidean type, London Mathematical Society Student Texts, vol. 71, Cambridge University
Press, Cambridge, 2007. MR2360503
[SS07b]
, Elements of the representation theory of associative algebras. Vol. 3. Representation-infinite tilted algebras,
London Mathematical Society Student Texts, vol. 72, Cambridge University Press, Cambridge, 2007. MR2382332
[VdB99] Michel Van den Bergh, Local cohomology of modules of covariants, Adv. Math. 144 (1999), no. 2, 161–220, DOI
10.1006/aima.1998.1809. MR1695237 (2000d:14051)
[Vil94] K. Vilonen, Perverse sheaves and finite-dimensional algebras, Trans. Amer. Math. Soc. 341 (1994), no. 2, 665–676.
MR1135104
Department of Mathematics, Purdue University, West Lafayette, IN 47907
E-mail address: alorincz@purdue.edu
Department of Mathematics, University of Notre Dame, 255 Hurley, Notre Dame, IN 46556
Institute of Mathematics “Simion Stoilow” of the Romanian Academy
E-mail address: craicu@nd.edu
Department of Mathematics, University of Connecticut, Storrs, CT 06269
E-mail address: jerzy.weyman@uconn.edu

