arXiv:1609.03446v2 [math.AG] 16 Oct 2016

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR
GRASSMANNIANS
NIC FORD AND JAKE LEVINSON
Abstract. Boij-Söderberg theory characterizes syzygies of graded modules and sheaves
on projective space. This paper continues earlier work with S. Sam [FLS16], extending
the theory to the setting of GLk -equivariant modules and sheaves on Grassmannians.
Algebraically, we study modules over a polynomial ring in kn variables, thought of as the
entries of a k ˆ n matrix.
We give equivariant analogues of two important features of the ordinary theory: the
Herzog-Kühl equations and the pairing between Betti and cohomology tables. As a necessary step, we also extend the result of [FLS16], concerning the base case of square
matrices, to cover complexes other than free resolutions.
Our statements specialize to those of ordinary Boij-Söderberg theory when k “ 1. Our
proof of the equivariant pairing gives a new proof in the graded setting: it relies on finding
perfect matchings on certain graphs associated to Betti tables.
Finally, we give preliminary results on 2 ˆ 3 matrices, exhibiting certain classes of
extremal rays on the cone of Betti tables.

1. Introduction
1.1. Boij-Söderberg theory. Let R “ Crx1 , . . . , xn s be a polynomial ring and M a
graded, finitely-generated R-module. The Betti table of M is the collection of numbers
βij pM q :“ # degree-j generators of the i-th syzygy module of M.
That is, by definition, the minimal free resolution of M has the form
à
M Ð F0 Ð F1 Ð ¨ ¨ ¨ Ð Fn Ð 0, with Fi “
Rr´jsβij .
j

These numbers encode much of the structure of M , such as its dimension and whether
or not it is Cohen-Macaulay. They also describe geometrical properties of the associated
sheaf on PpCn q.
Boij-Söderberg theory was initially concerned with describing which sets of numbers βij
arise as Betti tables of modules. The key early observation was that it is easier to determine
which tables arise up to scalar multiple, and as such, the goal was to characterize the BoijSöderberg cone BSn of positive scalar multiples of Betti tables [BS08, ES09, EFW11].
More recent work has focused on modules over multigraded and toric rings [EE12], and some
homogeneous coordinate rings [BBEG12, GS15, KS15], as well as more detailed homological
questions [NS13, BZEKS13, EES13]. A good survey of the field is [Flø12].
1

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

2

In each of these cases, an important feature of the theory is a duality between Betti
tables and cohomology tables of sheaves on an associated variety. [ES09, EE12] For a
coherent sheaf E on PpCn q, the cohomology table is the collection of numbers
γij pEq :“ dimC H i pEp´jqq,
giving all the sheaf cohomology of all the twists of E.
For graded modules and projective spaces, the duality takes the form of a bilinear pairing
of the cones of Betti and cohomology tables, and it produces a point in the simplest BoijSöderberg cone BS1 . The inequalities defining BS1 therefore pull back to nonnegative
bilinear pairings between Betti and cohomology tables, and these pulled-back inequalities
fully characterize the two cones.
In particular, the Boij-Söderberg cone (in the graded setting) is rational polyhedral,
and its extremal rays and supporting hyperplanes are explicitly known. The extremal rays
correspond to pure Betti tables. These are the simplest possible tables, having only one
nonzero entry in each column (that is, for each i, only one βij is nonzero). Similarly, the
supporting hyperplanes come from pairing with the cohomology of vector bundles with
so-called supernatural cohomology . Much less is known about the Boij-Söderberg cone
in other settings.
1.2. Grassmannian Boij-Söderberg theory. The goal of this paper is to continue earlier work of the authors, joint with S. Sam [FLS16], on extending the theory to the setting
of Grassmannians Grpk, Cn q. On the geometric side, we will be interested in the cohomology of coherent sheaves on Grpk, Cn q. On the algebraic side, we consider the polynomial
ring in kn variables (k ď n),
”
1 ď i ď kı
,
Rk,n “ C xij :
1ďjďn
thought of as the entries of a k ˆ n matrix. The group GLk acts on Rk,n , and we are
interested in (finitely-generated) equivariant modules M , i.e., those with a compatible
GLk action.
Aside from the inherent interest of understanding sheaf cohomology and syzygies on
Grassmannians, there is hope that this setting might avoid some obstacles faced in other
extensions of Boij-Söderberg theory, e.g. to products of projective spaces. For example, in
the ‘base case’ of square matrices pn “ kq, the ‘irrelevant ideal’ is the principal ideal generated by the determinant, and the Boij-Söderberg cone has an especially elegant structure
(see below, Section 1.3.2).
We define equivariant Betti tables βpM q using the representation theory of GLk . Let
Sλ pCk q denote the irreducible GLk representation of weight λ, where Sλ is the Schur functor.
There is a corresponding free module, namely Sλ pCk q bC Rk,n , and every equivariant free
module is a direct sum of these. Then βpM q is the collection of numbers
βi,λ pM q :“ # copies of Sλ pCk q in the generators of the i-th syzygy module of M.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

3

Thus, by definition, the minimal equivariant free resolution of M has the form
à
Sλ pCk qβiλ b Rk,n .
M Ð F0 Ð ¨ ¨ ¨ Ð Fn Ð 0, with Fi “
λ

Grpk, Cn q,

Next, for E a coherent sheaf on
we will define the GL-cohomology table γpEq,
generalizing the usual cohomology table:
γi,λ pEq :“ dim H i pE b Sλ pSqq,
À
where S is the tautological vector bundle on Grpk, Cn q of rank k. We write BTk,n :“ i,λ Q
À ś
for the space of abstract Betti tables. Similarly, we write CTk,n :“ i λ Q for the space
of abstract GL-cohomology tables.
Remark 1.1. The case k “ 1 reduces to the ordinary Boij-Söderberg theory, since an
action of GL1 is formally equivalent to a grading; the module Rr´js is just Spjq pCq b R.
Note also that S “ Op´1q on projective space.
The initial questions of Boij-Söderberg theory concerned finite-length graded modules
M , i.e. those annihilated by a power of the homogeneous maximal ideal, and more generally
Cohen-Macaulay modules. Similarly, we restrict our focus (for now!) on the following class
of modules, which specializes to finite-length modules when k “ 1:
Condition 1.2 (The modules
of interest). We consider finitely-generated Cohen-Macaulay
a
modules M such that annpM q “ Pk , the ideal of maximal minors of the k ˆ n matrix.

Viewing SpecpRk,n q “ HompCk , Cn q as the affine variety of k ˆ n matrices, this means
M is set-theoretically supported on the locus of rank-deficient matrices. That is, the sheaf
associated to M on Grpk, Cn q is zero. For this reason, we refer to Pk as the irrelevant
ideal for this setting. The Cohen-Macaulayness assumption means that
pdimpM q “ dimpRPk q “ n ´ k ` 1,

so its minimal free resolution has length n ´ k ` 1.
Definition 1.3. We define the equivariant Boij-Söderberg cone BSk,n Ă BTk,n as the
positive linear span of Betti tables βpM q, where M satisfies the assumptions of Condition
1.2. We define the Eisenbud-Schreyer cone ESk,n Ă CTk,n as the positive linear span
of GL-cohomology tables of all coherent sheaves E on Grpk, Cn q.
We wish to understand the cones BSk,n and ESk,n generated by equivariant Betti tables
of and GL-cohomology tables.
Remark 1.4 (Multiplicities and ranks). The irreducible representations Sλ pCk q need not
be one-dimensional. As such, the corresponding free modules need not have rank 1. We will
write a tilde βr to denote the rank of the λ-isotypic component (rather than its multiplicity),
Ă k,n and BS
Ąk,n for the spaces of rank Betti tables. Of course, we may
and likewise write BT
switch between them by rescaling each entry βi,λ by dimpSλ pCk qq.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

4

1.3. Results of this paper. We will generalize two important results from the existing
theory on graded modules: the Herzog-Kühl equations and the pairing between Betti
and cohomology tables. Along the way, we also extend our existing result on equivariant
modules for the square matrices.
1.3.1. Equivariant Herzog-Kühl equations. In the graded setting, the Herzog-Kühl equations are n linear conditions satisfied by the Betti tables of finite-length modules M . They
say, essentially, that the Hilbert polynomial of M vanishes identically, i.e., each of its
coefficients is zero.
We give the following equivariant analogue.
Theorem 1.5. Let M be an equivariant Rk,n -module with Betti table βpM q. Assume
(twisting up if necessary)` that
˘ M is generated in positive degree.
There is a system of nk linear conditions on βpM q, indexed by partitions µ ě 0 that
fit inside a k ˆ pn ´ kq rectangle, called the equivariant Herzog-Kühl equations. The
following are equivalent:
(i) βpM q satisfies the equivariant Herzog-Kühl equations.
(ii) M is annihilated by a power of the ideal Pk of maximal minors.
(iii) The sheaf associated to M on Grpk, Cn q vanishes.
In particular, the hypotheses of Condition 1.2 are equivalent to the equivariant Herzog-Kühl
equations, together with the conditions βi,λ “ 0 for all i ą n ´ k ` 1.
We state the equations in Section 3.2, using the combinatorics of standard Young
tableaux. We also give an interpretation in terms of equivariant K-theory, namely that
the class of M lies in the kernel of the map of K-theory rings
K GLk pSpecpRk,n qq Ñ KpGrpk, Cn qq
induced by restriction (to the locus of full-rank matrices) and descent.
1.3.2. The Boij-Söderberg cone for square matrices. As in the ordinary theory, we expect
the smallest case n “ k to play an important role. It serves as the base case of the theory
and the target of the equivariant Boij-Söderberg pairing (Section 1.3.3). Rank tables βr
Ą
turn out to be more significant here, so we will state results in terms of the cone
a BS k,k .
For square matrices, the modules of interest are Cohen-Macaulay and have annpM q “
Ąk,k is fully understood:
pdetq, so they have projective dimension 1. The cone BS

Ąk,k is rational polyhedral. Its supTheorem 1.6 ([FLS16, Theorem 1.2]). The cone BS
porting hyperplanes are indexed by order ideals in the extended Young’s lattice Y˘ of
GLk -representations. Its extremal rays are indexed by comparable pairs λ Ĺ µ from Y˘ .
Ą
These rays correspond to pure tables with βĄ
0,λ “ β1,µ “ 1 and all other entries zero. Up
to scaling, these tables come from free resolutions of the form
M Ð Sλ pCk q‘c0 b R Ð Sµ pCk q‘c1 b R Ð 0,

with all generators in type λ and all syzygies in type µ.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

5

We will need a slightly more general result for the purposes of the equivariant BoijĄk,n .
Söderberg pairing, a derived analog to BS

ĄD , is the positive linear
Definition 1.7. The derived Boij-Söderberg cone, denoted BS
k,n
span of (rank) Betti tables of bounded minimal complexes F‚ of equivariant free modules,
such that F‚ is exact away from the locus of rank-deficient matrices.
a
In this definition, we assume only that the homology modules M have annpM q Ě
ĄD
Pk , not that equality holds. We also do not assume Cohen-Macaulayness. Thus, BS
k,k

Ąk,k , and Betti tables of longer
includes, for example, homological shifts of elements of BS
complexes. The simplest
”
ıtables in the derived cone are homologically shifted pure
i
r
Ą
Č
tables, written β λ ÐÝ µ , for i P Z and λ Ĺ µ. These are the tables with β
i,λ “ βi`1,µ “
1 and all other entries zero.
We show:
ĄD is rational polyhedral. Its extremal rays are the homological
Theorem 1.8. The cone BS
k,k
”
ı
i
Ą
shifts of those of BS k,k , spanned by the tables βr λ ÐÝÝ µ . The supporting hyperplanes are

indexed by tuples p. . . , S´1 , S1 , S3 , . . .q of convex subsets Si Ď Y˘ , one chosen for every
other spot along the complex.
The key idea in the above theorem is that these Betti tables are characterized by certain
perfect matchings. This idea is also crucial in our construction of the pairing between Betti
and cohomology tables, so we discuss it now. We introduce a graph-theoretic model of a
rank Betti table (in the case of free resolutions, this construction is implicit in [FLS16,
Lemma 3.6]).
Ă k,k have nonnegative integer entries. The Betti
Definition 1.9 (Betti graphs). Let βr P BT
r is defined as follows:
graph Gpβq
Ą
‚ The vertex set contains β
i,λ vertices labeled pi, λq, for each pi, λq,
‚ The edge set contains, for each i, all possible edges pi, λq Ð pi ` 1, µq with λ Ĺ µ.

Note that this graph is bipartite: every edge connects an even-indexed and an odd-indexed
vertex.

Recall that a perfect matching on a graph G is a subset of its edges, such that every
r is equivalent
vertex of G appears on exactly one chosen edge. A perfect matching on Gpβq
to a decomposition of βr as a positive integer combination of homologically-shifted
pure
”
ı
i
r
tables: an edge pi, λq Ð pi ` 1, µq corresponds to a pure summand β λ ÐÝ µ . Thus, an
ĄD is:
equivalent characterization of BS
k,k

ĄD if and
Theorem 1.10. Let βr P BTk,k have nonnegative integer entries. Then βr P BS
k,k
r has a perfect matching.
only if Gpβq

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

6

Our proof proceeds by exhibiting this perfect matching using homological algebra. The
ĄD then follow from Hall’s Matching Theorem; see Section
supporting hyperplanes of BS
k,k
4.2 for the precise statement.
1.3.3. The pairing between Betti tables and cohomology tables. We now turn to the BoijSöderberg pairing. This will be a bilinear pairing between abstract Betti tables β and
cohomology tables γ, satisfying certain nonnegativity properties when restricted to realizable tables.
Definition 1.11. Let β P BTk,n and γ P CTk,n be an abstract Betti table and GLcohomology table. The equivariant Boij-Söderberg pairing is given by
r : BTk,n ˆ CTk,n Ñ BT
Ă k,k ,
Φ
(1.1)
r
pβ, γq
ÞÑ Φpβ,
γq,
r the (derived) rank Betti table with entries
with Φ
ÿ
(1.2)
ϕ
Ą
βp,λ ¨ γq,λ .
i,λ pβ, γq “
p´q“i

In this definition, recall that the homological index of a complex decreases under the
boundary map.
r (See Example 1.14 below.) Form a grid in the
Here is how to read the definition of Φ.
first quadrant of the plane, whose pp, qq-entry is the collection of numbers βp,λ ¨ γq,λ for
all λ. Only finitely-many of these are nonzero. The line p ´ q “ i is an upwards-sloping
diagonal through this grid, and ϕ
Ą
i,λ is the sum of the λ terms along this diagonal.

Remark 1.12. We emphasize that the pairing takes a multiplicity Betti table β and a
r Intuitively, the entries of γ are
cohomology table γ, and produces a rank Betti table Φ.
dimensions of certain vector spaces (from sheaf cohomology), which, we will see, arise with
multiplicities given by β in a certain spectral sequence. In particular, the quantities in
(1.2) are again dimensions of vector spaces – that is, they give a rank table.
The final main result of this paper is the nonnegativity of the pairing:
r restricts to a map of cones,
Theorem 1.13 (Pairing the equivariant cones). The pairing Φ
ĄD .
BSk,n ˆ ESk,n Ñ BS
k,k

D on the source.
The same is true with BSk,n replaced by BSk,n

ĄD (which we give explicitly) pull
In particular, the defining inequalities of the cone BS
k,k
back to nonnegative bilinear pairings of Betti and cohomology tables, and the Betti graph
r
of Φpβ,
γq has a perfect matching. We think of this as a reduction to the base case of square
matrices (k “ n). A geometric consequence is that each equivariant Betti table induces
many interesting linear inequalities constraining sheaf cohomology on Grpk, Cn q.
r
Our proof proceeds by constructing a perfect matching on Φpβ,
γq, not by passing to actual modules over Rk,k . It would be interesting to see a ‘categorified’ form of the pairing, in

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

7

the style of Eisenbud-Erman [EE12]. Such a pairing would construct, from a complex F‚ of
Rk,n -modules and a sheaf E, a module (or complex) over Rk,k . Theorem 1.13 would follow
from showing that this module is supported along the determinant locus (or that the complex is exact away from the determinant locus). The authors welcome any communication
or ideas in this direction.
Example 1.14. Let us pair the following tables for k “ 2, n “ 3. Both are realizable; the
cohomology table is for the sheaf E “ Op1q ‘ Op´1q.
βp,λ

(1.3)

0 1 2
4 ´ ´
´ 1 ´
´ 9 ´
´ 3 3
´ ´ 1
´ ´ 1

γq,λ

ˆ

0 1 2
3 1 ´
´ 3 ´
1 ´ ´
´ ´ ´
´ 3 ´
´ ´ 1

We arrange the pairwise products in a first-quadrant grid. The sums along the diagonals
r
tp ´ q “ iu result in the rank Betti table Φ:
OO

´

(1.4)

q

´

4¨

3¨

12 ¨

9¨

1¨

3¨

0 1
ϕ
Ą
i,λ ´1
4 12 ´
´ 3 ´
´ ´ 9
´ ´ 3
´ 1 ´

p

´
//

r into pure tables happens to be
r P BS
ĄD . The decomposition of Φ
Finally, we check that Φ
k,k
unique (this is not true in general):
”
ı
”
ı
”
ı
”
ı
´1
´1
0
0
r “ 3 βr
Φ
` βr
` 9 βr
` 3 βr
.
ÐÝÝÝ
ÐÝÝÝ
ÐÝÝ
ÐÝÝ
r
This corresponds to an essentially-unique perfect matching on GpΦq.

1.4. Structure of the paper. Section 2 contains background on algebra and representation theory. Sections 3, 4 and 5 respectively establish the equivariant Herzog-Kühl equations, the results on square matrices, and the pairing of Betti and cohomology tables.
Finally, Section 6 has some preliminary results and examples for the case k “ 2, n “ 3.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

8

1.5. Acknowledgments. This work has benefited substantially from conversations and
collaboration with many people: Daniel Erman (who introduced the second author to
Boij-Söderberg theory), Steven Sam, David Speyer, Greg Muller and Maria Gillespie. We
are particularly grateful to David Speyer for discussions surrounding Theorem 1.5 (the
equivariant Herzog-Kühl equations), and to both Greg Muller and David Speyer for several
productive discussions around the proof of the numerical pairing, Theorem 1.13.
Finally, computations of free resolutions and Betti tables in Macaulay2 [GS], and facets
and rays of cones in Sage [Dev16] (via SageMathCloud) have been, and continue to be,
instrumental.
2. Background
2.1. Spaces of interest. Throughout, let V, W be fixed C-vector spaces of dimensions k
and n, with k ď n. We set
”
1 ď i ď kı
,
X “ HompV, W q,
Rk,n “ SympHompV, W q˚ q – C xij :
1ďjďn
so X “ SpecpRk,n q, the affine variety of k ˆ n matrices, and Rk,n is the polynomial ring
whose variables are the entries of the matrix. We also consider the subvarieties of full-rank
and rank-deficient matrices,
U “ EmbpV, W q “ tT : kerpT q “ 0u,

Xk´1 “ X ´ U,

which are open and closed, respectively. The locus
` ˘Xk´1 is integral and has codimension
n ´ k ` 1. Its prime ideal Pk is generated by the nk maximal minors of the k ˆ n matrix
pxij q. Each of the spaces X, Rk,n , U and Xk´1 has an action of GLpV q and GLpW q; we
will primarily care about the GLpV q action.
2.2. GL-Representation theory. A good introduction to these notions is [Ful96]. The
irreducible algebraic representations of GLpV q are indexed by weakly-decreasing integer
sequences λ “ pλ1 ě ¨ ¨ ¨ ě λk q, where k “ dimpV q. We write Sλ pV q for the corresponding
representation, and dλ pkq for its dimension. We call Sλ a Schur functor . If λ has
all nonnegative parts, we write λ ě 0 and say λ is a partition. In this case, Sλ pV q is
functorial for linear transformations V Ñ W . If λ has negative parts, Sλ is only functorial
„
for isomorphisms V Ý
Ñ W.
We often represent partitions by their Young diagrams:
λ “ p3, 1q ÐÑ λ “

.

We partially order partitions and integer sequences by containment:
λ Ď µ if λi ď µi for all i.
We write Y for the poset of all partitions with this ordering, called Young’s lattice. We
write Y˘ for the set of all weakly-decreasing integer sequences; we call it the extended

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

9

Young’s lattice. Schur functors include symmetric and exterior powers:
"
ľd
ðñ Sλ pV q “
pV q,
λ“d
d
hkkikkj

ðñ Sλ pV q “ Symd pV q.
Ź
We’ll write detpV q for the one-dimensional representation dimpV q pV q “ S1k pV q. We may
always twist a representation by powers of the determinant:
λ“

detpV qba b Sλ1 ,...,λk pV q “ Sλ1 `a,...,λk `a pV q
for any integer a P Z. This operation is invertible and can sometimes be used to reduce to
considering the case when λ is a partition.
2.3. Equivariant rings and modules. If R is a C-algebra with an action of GLpV q, and
S is any GLpV q-representation, then S bC R is an equivariant free R-module; it has
the universal property
HomGLpV q,R pS bC R, M q – HomGLpV q pS, M q
for all equivariant R-modules M . The basic examples will be the modules Sλ pV q b R.
Let R “ Rk,n be the polynomial ring defined above. Its structure as a GLpV q ˆ GLpW q
representation is known as the Cauchy identity :
à
Sλ pV q b Sλ pW ˚ q.
Rk,n “ Sym‚ pHompV, W q˚ q –
λě0

Note that the prime ideal Pk and the maximal ideal m “ pxij q of the zero matrix are
GLpV q- and GLpW q-equivariant.
Let M be a finitely-generated GLpV q-equivariant R-module. The module ToriR pR{m, M q
naturally has the structure of a finite-dimensional GLpV q-representation. We define the
equivariant Betti number βi,λ pM q as the multiplicity of the Schur functor Sλ pV q in this
Tor module, i.e.
à
ToriR pR{m, M q –
Sλ pV q‘βi,λ pM q
(as GLpV q-representations).
λ

By semisimplicity of GLpV q-representations, any minimal free resolution of M can be made
equivariant, so we may instead define βi,λ as the multiplicity of the equivariant free module
Sλ pV q b R in the i-th step of an equivariant minimal free resolution of M :
à
Sλ pV qβi,λ pM q b R.
M Ð F0 Ð F1 Ð ¨ ¨ ¨ Ð Fd Ð 0, where Fi “
λ

All other notation on Betti tables is as defined in Section 1.2.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

10

3. The equivariant Herzog-Kühl equations
In this section we derive the equivariant analogue of the Herzog-Kühl equations. This
will be a system of linear conditions on the entries of an equivariant Betti table. It will
detect when the resolved module M is supported only along the locus of rank-deficient
matrices.
3.1. K-theory rings. For background on equivariant K-theory, we refer to the original
paper by Thomason [Tho87]; a more recent discussion is [Mer05].
Excision in equivariant K-theory ([Tho87, Theorem 2.7]) gives the right-exact sequence
of abelian groups
j˚

i˚

K GLpV q pXk´1 q ÝÑ K GLpV q pHompV, W qq ÝÑ K GLpV q pU q Ñ 0.
The pullback j ˚ , induced by the open inclusion j : U ãÑ X, is a map of rings. The
pushforward i˚ , induced by the closed embedding i : Xk´1 ãÑ X, is only a map of abelian
groups. Its image is the ideal I generated by the classes of modules supported along the
rank-deficient locus Xk´1 .
We do not attempt to describe the first term. For the second term, we have ([Tho87,
Theorem 4.1] or [Mer05, Example 2 and Corollary 12])
˘ Sk
K GLpV q pHompV, W qq – Zrx˘
1 , . . . , xk s ,

the ring of symmetric Laurent polynomials in k variables (essentially the representation
ring of GLpV q). Here, the class of the equivariant R-module Sλ pV q bC R is identified with
the Schur polynomial sλ pt1 , . . . , tk q. If M is a finitely-generated R-module, its equivariant
minimal free resolution expresses the K-class rM s as a finite alternating sum of Schur
polynomials. In other words, the equivariant Betti table determines the K-class:
ÿ
rM s “ p´1qi βi,λ pM qsλ ptq.
i,λ

An equivalent approach is to write
à
Sλ pV qcλ pM q as a GLpV q-representation,
M–
λ

and define the equivariant Hilbert series of M ,
ÿ
HM ptq “
cλ pM qsλ ptq
λ

“ śk

f ptq

i“1 p1

´ ti qn

for some symmetric function f ptq. Then f ptq is the K-theory class of M . (If we forget the
GLpV q action and remember only the grading of M , we recover the usual Hilbert series.)
To see that these definitions agree, note that the second definition is additive in short
exact sequences, hence is well-defined on K-classes. Replacing M by its equivariant minimal
free resolution, it suffices to consider indecomposable free modules M “ Sλ pV q bC R. Then
the Cauchy identity shows HM ptq “ sλ ptq.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

11

It will be convenient in this section to restrict to modules M generated in positive degree,
i.e. βi,λ pM q ‰ 0 implies λ ě 0. In this case, the class of M is a polynomial, not a Laurent
GLpV q
pHompV, W qq for this subring.
polynomial. We write K`
Finally, we have for the third term (cf. [Tho87, Proposition 6.2])
K GLpV q pU q – KpU {GLpV qq “ KpGrpk, W qq,
because the action of GLpV q is free on U . The structure of this ring is well-known from
K-theoretic Schubert calculus (e.g. [KK90] or [Buc02]). We will only need` to
˘ know
n
the following: it is a free abelian group with an additive basis consisting of k generators, indexed by partitions µ fitting inside a k ˆ pn ´ kq rectangle. These correspond
to the classes rOµ s of structure sheaves of Schubert varieties. It is easy to check that
GLpV q
pHompV, W qq Ñ K0 pGrpk, W qq is also surjective (because, e.g., matrix Schubert
K`
varieties are generated in positive degree).
3.2. Modules on the rank-deficient locus and the equivariant Herzog-Kühl equaGLpV q
pHompV, W qq Ñ K0 pGrpk, W qq, we see that the ideal
tions. From the surjection K`
GLpV q

pHompV, W qq,
I 1 :“ I X K`
`n˘
as a linear subspace, has co-rank k . We wish to find exactly this many linear equations
cutting out the ideal, indexed appropriately by partitions. That is, given a K-class written
in the Schur basis,
ÿ
GLpV q
f“
pHompV, W qq,
aλ sλ P K`
λě0

we wish to have coefficients bλµ for each µ Ď , such that
ÿ
f P I 1 if and only if
aλ bλµ “ 0 for all µ Ď

.

λě0

We will then apply these equations in the case where f is the class of a module M , and
ÿ
aλ “ p´1qi βi,λ pM q
i

comes from the equivariant Betti table of M . Our approach is to prove the following:
(
Theorem 3.1. We have I 1 “ spanC sλ p1 ´ tq : λ Ę
.

We will prove Theorem 3.1 in the next section. Here is how it leads to the desired equations.
Let bλµ be the change-of-basis coefficients defined by sending ti ÞÑ 1 ´ ti . So, by definition,
ÿ
sλ p1 ´ tq “
bλµ sµ ptq.
µ

Note that we have, equivalently,
sλ ptq “

ÿ
µ

bλµ sµ p1 ´ tq.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

Thus
f“

ÿ

aλ sλ ptq “

λ

ÿ

12

aλ bλµ sµ p1 ´ tq.

λ,µ
GLpV q

pHompV, W qq.
The polynomials sµ p1 ´ tq for all µ ě 0 form an additive basis for the K`
Thus, f P I 1 if and only if the coefficient of sµ p1 ´ tq is 0 for all µ Ď . That is,
ÿ
0“
aλ bλµ for all µ Ď
.
λ

The following description of bλµ is due to Stanley. Recall that, if µ Ď λ are partitions, the
skew shape λ{µ is the Young diagram of λ with the squares of µ deleted. A standard
Young tableau is a filling of a (possibly skew) shape by the numbers 1, 2, . . . , t (with t
boxes in all), such that the rows increase from left to right, and the columns increase from
top to bottom. We write f σ for the number of standard Young tableaux of shape σ.
Proposition 3.2. [Sta99] If µ Ę λ then bλµ “ 0. If µ Ď λ, then
ˆ ˙
λ{µ f µ |λ| d pkq
λ
|µ| f
.
bλ{µ “ p´1q
fλ
|µ| dµ pkq
An equivalent formulation is
bλµ “ p´1q|µ|

f λ{µ
|λ{µ|!

ź

pk ` j ´ iq.

pi,jqPλ{µ

Corollary 3.3 (Equivariant Herzog-Kühl equations). Let M be an equivariant R-module
with equivariant Betti table βi,λ . Assume M is generated in positive degree.
The set-theoretic support of M is contained in the rank-deficient locus if and only if:
ˆ ˙
ÿ
f λ{µ f µ |λ|
i
(3.1)
For each µ Ď
“ 0.
:
p´1q loooomoooon
βi,λ dλ pkq
fλ
|µ|
i,λĚµ

p“βĄ
i,λ q

Note that βi,λ is the multiplicity of the λ-isotypic component of the resolution of M (in
Ą
cohomological degree i), whereas βi,λ dλ pkq “ β
i,λ is the rank of this isotypic component.

Proof. (ñ): The only thing to note is that, for simplicity, we have rescaled the µ-indexed
equation by p´1q|µ| dµ pkq.
(ð): If the equations are satisfied, then M maps to the trivial K-theory class on
Grpk, Cn q. Since the Grassmannian is projective, it follows that the sheaf associated to M
is zero. This implies the support restriction.


The coefficient in Equation (3.1) has the following interpretation. Consider a uniformlyrandom filling T of the shape λ by the numbers 1, . . . , |λ|. Say that T splits along µ \ λ{µ
if the numbers 1, . . . , |µ| lie in the subshape µ. Then:
ˆ ˙
f λ{µ f µ |λ|
ProbpT splits along µ \ λ{µ | T is standardq
.
(3.2)
“
λ
f
ProbpT splits along µ \ λ{µq
|µ|

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

13

3.3. Proof of Theorem 3.1. First, we recall the following fact about K-theory of Grassmannians:
Proposition 3.4 ([FS12], page 21). The following identity holds of formal power series
over KpGrpk, W qq:
˙
˙ ˆÿ ľ
ˆÿ ľ
“
“
‰ q
‰ p
q
p
Q u “ p1 ` uqn .
S u ¨
q

p

It is essentially a consequence of the tautological exact sequence of vector bundles
0 Ñ S Ñ W Ñ Q Ñ 0.
We rearrange this as
ˆÿ ľ
“
q

q

‰
Q uq

˙

1
˙
“
ř Źp ‰ p
S u
p
ÿ`
‰
´ 1qp rSymp pSq up .
“ p1 ` uqn ¨

“ p1 ` uqn ¨ ˆ
p

The key observation is that the left-hand side is a polynomial in u of degree n ´ k, since Q
has rank n ´ k. Thus, the coefficient fℓ of uℓ of the right-hand side vanishes for ℓ ě n ´ k.
In other words, viewing fℓ as a symmetric polynomial, we have fℓ P I 1 for ℓ ą n ´ k.
We compute the coefficient fℓ . Recall that rSymp pSqs “ hp , the p-th homogeneous
symmetric polynomial. We have
ÿ
ÿ
fℓ uℓ “ p1 ` uqn p´1qp hp up
ℓ

p

ˆ ˙
n
“
u p´1q hp
q
q“0 p“0
ˆ
˙
8
ℓ
ÿ
ÿ
n
ℓ
p
“
u
p´1q hp
,
ℓ´p
ℓ“0
p“ℓ´n
n ÿ
8
ÿ

p`q

p

so our desired coefficients are
fℓ “

ℓ
ÿ

p

p´1q hp

p“ℓ´n

ˆ

˙
n
,
ℓ´p

where in the last two lines we use the convention hp “ 0 for p ă 0. We next show:
Lemma 3.5. We have I 1 Ě phn´k`1 p1 ´ tq, . . . , hn p1 ´ tqq.
Proof. Equivalently, we change basis t ÞÑ 1 ´ t, calling the (new) ideal J, and we show
J Ě phn´k`1 , . . . , hn q.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

14

We consider the elements fn´k`i p1 ´ tq P J for i “ 1, . . . , k.
fn´k`i p1 ´ tq “

n´k`i
ÿ

ˆ
p´1q hp p1 ´ tq
p

p“´k`i

˙
n
.
n´k`i´p

Since i ď k we have
“

ˆ
p´1q hp p1 ´ tq

n´k`i
ÿ
p“0

p

˙
n
.
n´k`i´p

We apply the second formula from Proposition 3.2. Note that all terms are single-row
partitions, λ “ ppq and µ “ psq, with s ď p, so f λ{µ “ 1 and the change of basis is:
ˆ
˙
λ{µ
s f
s k`p´1
bλµ “ p´1q
¨ pk ` sq ¨ ¨ ¨ pk ` p ´ 1q “ p´1q
.
|λ{µ|!
k`s´1
Hence,
ˆ

˙ˆ
˙
n
k`p´1
p´1q
fn´k`i p1 ´ tq “
hs .
n´k`i´p k`s´1
p“0 s“0
ˆ
˙ˆ
˙
n´k`i
n´k`i
ÿ
ÿ
n
k`p´1
p
s
p´1q
p´1q hs
“
.
n´k`i´p k`s´1
p“s
s“0
p
n´k`i
ÿ ÿ

p`s

We reindex, sending p ÞÑ n ´ k ` i ´ p, and reverse the order of the inner sum:
n´k`i

“ p´1q

n´k`i
ÿ

s

p´1q hs

p“0

s“0

ˆ ˙ˆ
˙
n n`i´p´1
p´1q
.
p
k`s´1

n´k`i´s
ÿ

p

The terms hs for s ď n ´ k. First, we show that all the lower terms hs , with s ď n ´ k,
vanish. For these terms, we view the large binomial coefficient as a polynomial function of
p. It has degree k ` s ´ 1, with zeroes at p “ pn ´ k ` i ´ sq ` 1, . . . , n ` i ´ 1, so we may
freely include these terms in the inner sum. It is convenient to extend the inner sum only
as far as p “ n, obtaining
ˆ ˙ˆ
˙
n
ÿ
n´i´p´1
p n
p´1q
.
p
k`s´1
p“0
Recall from the theory of finite differences that
ˆ ˙
d
p´1q
gppq “ 0
p
p“0
d
ÿ

p

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

15

whenever g is a polynomial of degree ă d. Since the above sum has degree k ` s ´ 1 ď n ´ 1,
it vanishes. Thus, dropping the lower terms, we are left with
ˆ ˙ˆ
˙
i´s
i
ÿ
ÿ
n`i´p´1
p n
s
i
p´1q
p´1q hn´k`s
fn´k`ip1 ´ tq “ p´1q
(3.3)
.
p
n`s´1
p“0
s“1
Showing hn´k`i P J for i “ 1, . . . , k. From equation (3.3), we see directly that the
coefficient of hn´k`i in fn´k`ip1 ´ tq is 1. This is the leading coefficient, so the claim
follows by induction on i.

Corollary 3.6. We have

(
.

J “ phi : i ą n ´ kq “ spanC sλ : λ Ę
Proof. The equality of ideals
phn´k`1 , . . . , hn q “ phi : i ą n ´ kq
follows from Newton’s identities and induction. The equality
phi : i ą n ´ kq “ spanC sλ : λ Ę

(

follows from the Pieri rule (for Ď) and the Jacobi-Trudi formula (for Ě). See [Ful96] for
these identities.
This shows J contains this linear span. But then quotienting by J leaves
` n˘
at most k classes. This is already the rank of KpGrpk, W qq, so we must have equality. 
Changing bases t ÞÑ 1 ´ t a final time completes the proof of Theorem 3.1.
4. Square matrices and perfect matchings
Remark 4.1. In this section, rank Betti tables play a more significant role than multiplicity
Ąk,k and BS
ĄD .
tables. As such, we will state results in terms of the cones BS
k,k

We now describe the Boij-Söderberg cone in the base case of square matrices; thus we
set n “ k for the remainder of this section. The corresponding Grassmannian is a point,
Ąk,k due
so there is no dual geometric picture or cone. We will recall the description of BS
ĄD .
to [FLS16]; we then describe the derived cone BS
k,k
When k “ 1, the ring is just Crts, and its torsion graded modules are essentially trivial to
describe. See Section 4 of [EE12] for a short, complete description of both cones. For k ą 1,
however, the cones are algebraically and combinatorially interesting, although simpler than
the general case.
Ąk,k ([FLS16]). The rank-deficient locus tdetpT q “ 0u Ă HompV, W q
4.1. Prior work on BS
is codimension 1. Thus, modules satisfying Condition 1.2 have free resolutions of length 1,
M Ð F 0 Ð F 1 Ð 0.

There is only one equivariant Herzog-Kühl equation, labeled by the empty partition µ “ ∅:
ÿ
ÿ
0
1
(4.1)
βĄ
βĄ
0,λ “
1,λ , that is, rankpF q “ rankpF q.
λ

λ

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

16

Algebraically, this simply says that M is a torsion module.
Ąk,k are as follows.
The extremal rays and supporting hyperplanes of BS

r Ĺ µq is
Definition 4.2 (Pure tables). Fix λ, µ P Y˘ with λ Ĺ µ. The pure table βpλ
defined by setting
Ą
βĄ
0,λ “ β1,µ “ 1
and all other entries 0.
r Ĺ µq is realizable up to scalar multiple
It is nontrivial to show that each pure table βpλ
Ąk,k .
([FLS16, Theorem 4.1]). Any such table generates an extremal ray of BS
Ąk,k .
It is, by contrast, easy to establish the following inequalities on BS

Definition 4.3 (Antichain inequalities). Let S Ď Y˘ be a downwards-closed set. Let
Γ “ tλ : λ Ĺ µ for some µ P Su.
Ą
For any rank Betti table pβ
i,λ q, the antichain inequality (for S) is then:
ÿ
ÿ
(4.2)
βĄ
βĄ
0,λ ě
1,λ .
λPΓ

λPS

(The terminology of ‘antichains’ is due to [FLS16], where the inequality (4.2) is stated in
terms of the maximal elements of S, which form an antichain in Y˘ .)
These conditions follow directly from minimality of the underlying maps of modules: the
summands corresponding to S in F1 must map into those corresponding to Γ in F0 .
Finally, we recall the graph-theoretic model of βr introduced in Section 1.3.2. This
construction was implicit in [FLS16, Lemma 3.6]. It is especially simple in this case:
r is the directed bipartite graph with left vertices
Definition 4.4. The Betti graph Gpβq
L and right vertices R, defined as follows:
Ą
‚ The set L (resp. R) contains βĄ
0,λ (resp. β1,λ ) vertices labeled λ, for each λ,
‚ The edge set contains all possible edges λ Ð µ, from R to L, for λ Ĺ µ.
Ąk,k is characterized as follows.
The Boij-Söderberg cone BS

Ąk,k is defined by the rank equation
Theorem 4.5 ([FLS16, Theorem 3.8]). The cone BS
Ą
(4.1), the conditions βi,λ ě 0, and the antichain inequalities (4.2). Its extremal rays are
r Ĺ µq, for all choices of λ Ĺ µ in Y˘ .
the pure tables βpλ
r k,k has nonnegative integer entries, then βr P BS
Ąk,k if and only if the
Moreover, if βr P B
r has a perfect matching.
Betti graph Gpβq
r expresses βr as a positive integer sum of pure tables: an
A perfect matching on Gpβq
edge λ Ð µ corresponds to a summand
r Ĺ µq ` ¨ ¨ ¨ .
βr “ ¨ ¨ ¨ ` βpλ

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

17

It is easy to see that the cone spanned by the pure tables is contained in the cone defined
by the antichain inequalities. The fact that these cones agree follows from Hall’s Matching
Theorem for bipartite graphs:
Theorem 4.6 (Hall’s Matching Theorem). Let G be a bipartite graph with left vertices L
and right vertices R, with |L| “ |R|. Then G has a perfect matching if and only if the
following holds for all subsets S Ď R (equivalently, for all subsets S Ď L): let ΓpSq be the
set of vertices adjacent to S. Then |ΓpSq| ě |S|.
In the antichain inequality (4.2), S corresponds to a set of vertex labels on the rightr The set Γ consists of the labels of vertices adjacent to S.
hand-side of the Betti graph Gpβq.
The numbers of such vertices are then the right- and left-hand-sides of the inequality. (The
r implies easily that it suffices to consider inequalities from downwardsstructure of Gpβq
closed sets S.)
4.2. The derived cone. We now generalize Theorem 4.5 to describe the derived cone
ĄD . We are interested in bounded free equivariant complexes
BS
k,k

¨ ¨ ¨ Ð Fi Ð Fi`1 Ð Fi`2 Ð ¨ ¨ ¨ ,

all of whose homology modules are torsion.
ĄD are quite complicated and we do not establish
The supporting hyperplanes of BS
k,k
them directly. We instead generalize the descriptions in terms of extremal rays and perfect matchings, which remain fairly simple. We then deduce the inequalities from Hall’s
Theorem.
Ąk,k :
ĄD will be homological shifts of those of BS
The extremal rays of BS
k,k

Definition 4.7 (Homologically-shifted pure tables). ”Fix i P Zı and λ, µ P Y˘ with λ Ĺ µ.
i
We define the homologically-shifted pure table βr λ ÐÝ µ by setting
and all other entries 0.

Ą
Č
β
i,λ “ βi`1,µ “ 1

The supporting hyperplanes will be defined by the following inequalities. Recall that
a convex subset S of a poset P is the intersection of an upwards-closed set with a
downwards-closed set.
Definition 4.8 (Convexity inequalities). For each odd i, let Si Ď Y˘ be any convex set.
For each even i, define
Γi “ tλ : µ Ĺ λ for some µ P Si´1 u Y tλ : λ Ĺ µ for some µ P Si`1 u.
Ą
For any rank Betti table pβ
i,λ q, the convexity inequality (for the Si ’s) is then:
ÿ ÿ
ÿ ÿ
Ą
Ą
(4.3)
β
β
i,λ ě
i,λ .
i even λPΓi

i odd λPSi

(We may, if we wish, switch ‘even’ and ‘odd’ in this definition. We will see that either
collection of inequalities yields the same cone.)

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

18

We recall the general definition of the Betti graph:
r k,k have nonnegative integer entries.
Definition 4.9 (Betti graphs for complexes). Let βr P B
r
The Betti graph Gpβq is defined as follows:
Ą
‚ The vertex set contains β
i,λ vertices labeled pi, λq, for each pi, λq,
‚ The edge set contains, for each i, all possible edges pi, λq Ð pi ` 1, µq with λ Ĺ µ.

Note that this graph is bipartite: every edge connects an even-indexed and an odd-indexed
vertex.

r The set
Each segment Si of Definition 4.8 corresponds to a set of vertex labels in Gpβq.
Γi then contains the labels of vertices adjacent to Si´1 and Si`1 . The numbers of vertices
counted this way give the right- and left-hand-sides of the inequality (4.3). Note that if the
Si ’s were not convex, we could replace them by their convex hulls without changing the Γi ’s.
ĄD .
We now characterize the derived Boij-Söderberg cone BS
k,k

Theorem 4.10 (The derived Boij-Söderberg cone, for square matrices). Let βr be an abstract rank Betti table. Without loss of generality, assume the entries of βr are nonnegative
integers. The following are equivalent:
ĄD ;
(i) βr P BS
k,k

(ii) βr satisfies all the convexity inequalities, together with the rank condition
ÿ
Ą
p´1qi β
i,λ “ 0;
i,λ

(iii) βr is a positive integral linear combination of homologically shifted pure tables;
r has a perfect matching.
(iv) The Betti graph Gpβq

Remark 4.11. It is clear that (iv) ñ (iii): each edge of a perfect matching indicates
r We have (iii) ñ (ii) since the conditions (ii) hold for each
a pure table summand for β.
homologically-shifted pure table individually. Hall’s Matching Theorem gives the statement
(ii) ô (iv) and shows that we may exchange ‘even’ and ‘odd’ in the definition of the
convexity inequalities. Homologically-shifted pure tables are realizable, hence (iii) ñ (i).
We will complete the proof by exhibiting a perfect matching on any realizable Betti graph,
so that (i) ñ (iv). We postpone the proof until Section 5.1.1 (Corollary 5.9).
5. The pairing between Betti tables and cohomology tables
In this section, we establish the numerical pairing between Betti tables and cohomology
tables. We recall that the pairing is defined as follows (Definition 1.11):
(5.1)

r : BTk,n ˆ CTk,n Ñ BT
Ă k,k ,
Φ
pβ, γq

r
ÞÑ Φpβ,
γq,

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

19

r the (derived) rank Betti table with entries
with Φ
ÿ
(5.2)
ϕ
Ą
βp,λ ¨ γq,λ .
i,λ pβ, γq “
p´q“i

Recall also that the convention is that homological degree (p and i) decreases under the
boundary map of the complex.
The remainder of this section is devoted to the proof of the following:
r restricts to
Theorem 5.1 (Pairing the equivariant Boij-Söderberg cones). The pairing Φ
a pairing of cones,
D
ĄD .
BSk,n
ˆ ESk,n Ñ BS
k,k

ĄD , the goal will be
In light of our description (Theorem 4.10) of the derived cone BS
k,k
r
to exhibit a perfect matching on the Betti graph of Φpβ,
γq. Along the way, we will also
ĄD is characterized by the excomplete the proof of Theorem 4.10 itself, showing that BS
k,k
istence of such matchings (Corollary 5.9).
We sketch the construction of the pairing.

Sketch of Theorem 5.1. Let β “ βpF ‚ q be the Betti table of a minimal free equivariant
complex F ‚ of finitely-generated R-modules, with R “ Rk,n the coordinate ring of the
k ˆ n matrices. Assume F ‚ is exact away from the locus of rank-deficient matrices, so
descending F ‚ to Grpk, Cn q gives an exact sequence of vector bundles F ‚ :
à
à
descends to
Sλ pSqβ‚,λ ,
Sλ pV qβ‚,λ b R
ÝÝÝÝÝÝÝÑ
F‚ “
(5.3)
F‚ “
λ

λ

Grpk, Cn q.

with S the tautological subbundle on
Let γ “ γpEq be the GL-cohomology
table of a coherent sheaf E on Grpk, nq. Observe that E b F ‚ is again exact.
We study the hypercohomology spectral sequence. Explicitly, we take the Cech resolution of E b F ‚ , an exact double complex of sheaves. Let E ‚,‚ be the result of taking
global sections: a double complex of vector spaces. Note that each column is a direct sum
of complexes, according to the λ summands in (5.3).
Running the sequence with the horizontal maps first, it converges to 0 on the E2 page
(since E b F ‚ is an exact sequence of sheaves). In particular, TotpE ‚,‚ q is exact. Running
the sequence with the vertical maps first, we instead obtain, on the E1 page,
à q
H pE b Sλ pSqqβp,λ .
E1p,q “
λ

Observe that the λ summand has dimension βp,λ pF ‚ qγq,λ pEq. The pi, λq coefficient produced
‚
in the Boij-Söderberg pairing, ϕ
Ą
i,λ pF , Eq, is the sum of this quantity along the diagonal
r is akin to a Betti table for TotpE1 q:
tp ´ q “ iu. That is, Φ
ϕ
Ą
i,λ “ dimC TotpE1 qi,λ .

We emphasize, however, that there is no actual GLk -action on TotpE1 q, nor an Rk,k -module
structure.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

20

Instead, we will show by homological techniques that, for a wide class of double complexes including E ‚,‚ , there is a perfect matching on a graph associated to TotpE1 q; in our
r
setting, this will give the desired perfect matching on the Betti graph of Φ.


The key properties of the double complex E ‚,‚ constructed above are that
(1) Each term E p,q has a direct sum decomposition labeled by a poset P ;
(2) The vertical maps dv are label-preserving;
(3) The horizontal maps are strictly-label-decreasing (in our setting, this follows by
minimality of F ‚ and functoriality of the Cech complex);
By (1) and (2), the E1 page (the homology of dv ) again has a direct sum decomposition
À
labeled by P , E1p,q “ λPP E1p,q,λ . We define the following graph:
Definition 5.2. The E1 graph G “ GpE ‚,‚ q is the following directed graph:

‚ The vertex set contains dimpE1p,q,λ q vertices labeled pp, q, λq, for each p, q P Z and
each λ P P ;
‚ The edge set includes all possible edges pp, q, λq Ñ pp1 , q 1 , λ1 q whenever λ1 ă λ and
pp1 , q 1 q “ pp ´ r, q ´ r ` 1q for some r ą 0.
The edges of G are shaped like the higher-order differentials of the associated spectral
sequence, and they respect the strictly-decreasing-P -labels condition.
We show:
Theorem 5.3. Let E ‚,‚ be a double complex of vector spaces satisfying (1)-(3). If TotpE ‚,‚ q
is exact, its E1 graph has a perfect matching.
We think of this theorem as a combinatorial analog of the fact that the associated
spectral sequence (beginning with the homology of dv ) converges to zero. We explore this
idea further in Section 5.1.
r
In our setting, we identify the vertices of the E1 graph and the Betti graph of Φpβ,
γq;
for any such identification, the edges of the E1 graph become a subset of the Betti graph’s
edges. (We may recover the missing edges by allowing r ď 0 in Definition 5.2.) Hence,
the perfect matching produced by Theorem 5.3 is valid for the Betti graph, completing the
proof of Theorem 5.1.
5.1. Perfect matchings in linear and homological algebra. Our approach uses linear
maps to produce perfect matchings. The starting point is the following construction:
Definition 5.4. Let T : V Ñ W be a map of vector spaces, having specified bases V, W.
The coefficient graph G of T is the directed bipartite graph with vertex set V \ W and
edges
E “ tv Ñ w : T pvq has a nonzero w-coefficientu.
Note that the adjacency matrix of G is T with all nonzero coefficients replaced by 1’s.
Proposition 5.5. For finite-dimensional vector spaces, the coefficient graph of an isomorphism admits a perfect matching.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

21

We will say the corresponding bijection V Ø W is compatible with T , a combinatorial
analog of the fact that T is an isomorphism. The proof of existence is simple, but essentially
nonconstructive in practice. Here are two ways to do it:
(i) All at once: since detpT q ‰ 0, some monomial term of detpT q is nonzero. This
exhibits the perfect matching.
(ii) By induction, using the Laplace expansion: expand detpT q along a row or column;
some term aij ¨ (complementary minor) is nonzero, and so on.
Similarly, if T is merely assumed to be injective or surjective, we may produce a maximal
matching in this way (choose some nonvanishing maximal minor).
We generalize Proposition 5.5 to the setting of homological algebra in three ways: to
infinite-dimensional vector spaces, to long exact sequences, and to double complexes (motivated by spectral sequences).
Proposition 5.6. For vector spaces of arbitrary dimension, the coefficient graph of an
isomorphism admits a perfect matching.
We will not need Proposition 5.6 for our proof of Theorem 5.3, so we prove it in the
appendix.
5.1.1. Long exact sequences and the proof of Theorem 4.10. We generalize to the case of
long exact sequences. Let
δ
¨ ¨ ¨ Ð Vi Ð
Ý Vi`1 Ð ¨ ¨ ¨
be a long exact sequence, with Vi a fixed basis for Vi . (The vector spaces may be finite- or
infinite-dimensional.)
Definition 5.7. The Ů
coefficient graph G for pV‚ , δq (with respect to V‚ ) is the directed
graph with vertex set i Vi and an edge v Ñ v 1 whenever δpvq has a nonzero v 1 -coefficient.
Proposition 5.8. The coefficient graph of a long exact sequence has a perfect matching.

Proof. Choose subsets Fi Ă Vi descending to bases of impδq Ă Vi´1 , using Zorn’s Lemma
in the infinite case. Let Gi “ Vi ´ Fi , and let Fi “ spanpFi q and Gi “ spanpGi q. The
δ
composition δ̃ : Fi`1 ãÑ Vi`1 Ý
Ñ Vi ։ Gi is an isomorphism and has the same coefficients
as δ, restricted to Fi`1 and Gi . Thus Proposition 5.5 (or 5.6 in the infinite case) yields a
matching of Fi`1 with Gi .

At this point, we complete the proof of Theorem 4.10, characterizing the derived BoijĄD of the square matrices.
Söderberg cone BS
k,k

r has a perfect matching.
ĄD , then the Betti graph Gpβq
Corollary 5.9. If βr P BS
k,k

Proof. Let βr be the Betti table of a minimal free equivariant complex pF ‚ , δq of R-modules,
1
with R “ Rk,k the coordinate ring of the k ˆ k matrices, and F ‚ b Rr det
s exact.
i
i
Choose, for each F , a C-basis of each copy of Sλ pV q occuring in F . Label each basis
element x by the corresponding partition λ. It follows from minimality that δpxλ q is an
R-linear combination of basis elements labeled by partitions λ1 Ĺ λ.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

22

Since the homology modules are torsion, F‚ b FracpRq is an exact sequence of FracpRqvector spaces, with bases given by the xλ ’s chosen above. By the previous proposition, its
coefficient graph has a perfect matching. This graph has the same vertices as the Betti
r and its edges are a subset of Gpβq’s
r edges.
graph Gpβq,


Remark 5.10. Rather than tensoring with FracpRq, we may instead specialize to any
convenient invertible k ˆ k matrix T P HompCk , Ck q, such as the identity matrix. This
approach is useful for computations, since the resulting exact sequence consists of finitedimensional C-vector spaces.
5.1.2. Double complexes and the proof of Theorem 5.1. Finally, we generalize to the setting
of double complexes and spectral sequences. Let pE ‚,‚ , dv , dh q be a double complex of vector
spaces, with differentials pointing up and to the left:
oo
E p´1,q`1
OO
OO✤
✤

dh

E p,q`1
OO

dv

q axis

✤

✤
❴ ❴ ❴//
p axis

dv

E p´1,q oo

dh

E p,q

We assume the squares anticommute, so the total differential is
dtot “ dh ` dv ,

and

dh dv ` dv dh “ 0.

We will always assume the total complex TotpE ‚,‚ q has a finite number of columns. Note
that we do not assume a basis has been specified for each E ‚,‚ . We recall the complexes
E ‚,‚ of interest:
(1) Each term E p,q has a direct sum decomposition
à p,q,λ
E
,
E p,q “
λPP

with labels λ from a poset P .
(2) The vertical differential dv is graded with respect to this labeling, and
(3) The horizontal differential dh is downwards-filtered.
The conditions (2) and (3) mean that
à p´1,q,λ1
,
E
dv pE p,q,λ q Ď E p,q`1,λ , and dh pE p,q,λ q Ď
λ1 ăλ

so the vertical differential preserves the label and the horizontal differential strictly decreases it.
We are interested in the homology of the vertical map dv . Since dv is P -graded, so is its
homology E1p,q,λ “ Hpdv qp,q,λ . We recall that the E1 graph GpE ‚,‚ q is defined as follows:
‚ The vertex set contains dimpE1p,q,λ q vertices labeled pp, q, λq, for each p, q and each
λ P P;
‚ The edge set includes all possible edges pp, q, λq Ñ pp1 , q 1 , λ1 q whenever λ1 ă λ and
pp1 , q 1 q “ pp ´ r, q ´ r ` 1q for some r ą 0.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

23

The edges of G are shaped like higher-order differentials of the associated spectral sequence,
i.e. they point downwards-and-leftwards, and they respect the strictly-decreasing-P -labels
condition. We wish to show:
Theorem 5.11. If TotpE ‚,‚ q is exact, the E1 graph of E ‚,‚ has a perfect matching.
Remark 5.12. Consider summing the E1 page along diagonals. Call the resulting complex
TotpE1 q. If it were exact, the matching would exist by Proposition 5.8, and in fact would
only use the edges corresponding to r “ 1. Since TotpE1 q is not exact in general, the proof
works by modifying its maps to make it exact.
Explicitly, we will exhibit a quasi-isomorphism from TotpE ‚,‚ q to a complex with the
same terms as TotpE1 q, but different maps – whose nonzero coefficients are only in the
spots permitted by the E1 graph. Since TotpE ‚,‚ q is exact, so is the new complex, so we
will be done by Proposition 5.8.
Proof. First, we split all the vertical maps: for each p, q, λ, we define subspaces B, H, B ˚ Ď
E (suppressing the indices) as follows. We put B “ impdv q; we choose H to be linearly
disjoint from B and such that B ` H “ kerpdv q; then we choose B ˚ linearly disjoint from
B ` H, such that B ` H ` B ˚ “ E.
In particular, dv maps the subspace B ˚ isomorphically to the subsequent subspace B,
and the space H descends isomorphically to Hpdv q, the E1 term. The picture of a single
column of the double complex looks like the following:
.

bb❊❊ ..
❊❊
❊❊ „
❊❊
❊❊
❊

B cc● H
●

B˚

B dd❍ H
❍

B˚

H

B˚

●●
●●„
●●
●
❍❍ „
❍❍
❍❍
❍

(note that dv pBq “ dv pHq “ 0q

For the horizontal map, we have dh pBq Ă B and dh pHq Ă B ` H, and the poset labels λ
strictly decrease.
Our goal will be to choose bases carefully, so as to match the H basis elements to one
another, in successive diagonals, while decreasing the poset labels.
We first choose an arbitrary basis of each H and B ˚ space. We descend the basis of B ˚
to a basis of the subsequent B using dv . Note that every basis element has a position pp, qq
and a label λ. We will write xλ if we wish to emphasize that a given basis vector x has
label λ.
À
We now change basis on the entire diagonal E i :“ p´q“i E p,q . We leave the H and
B ˚ bases untouched, but replace all the B basis vectors, as follows. Let bλ P B p,q,λ and let

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

24

˚ p,q´1,λ be its ‘twin’. We define
b˚λ “ d´1
v pbλ q P pB q

b̃λ :“ dtot pb˚λ q “ bλ ` dh pb˚λ q.
r p,q,λ
We replace bλ by b̃λ , formally labeling the new basis vector
by pp,˘q, λq. We write B
` ˚ p,q´1,λ
p,q,λ
r
.
for the span of these b̃’s, so in particular, B
:“ dtot pB q
˚
r H, B collectively gives a new basis for the entire diagonal, unitriIt is clear that B,
angular in the old basis. Notice also that the old basis element bλ P B p,q,λ becomes, in
r H, B ˚ elements in all positions down-and-left of p, q,
general, a linear combination of B,
with leading term b̃λ :
ÿ
à p´i,q´i,λ1
.
E
bλ “ b̃λ `
xp´i,q´i , with xp´i,q´i P
λ1 Ĺλ

ią0

The lower terms have strictly smaller labels λ1 Ĺ λ. (In fact, slightly more is true: if a
label λ1 occurs in the i-th term, the poset P contains a chain of length ě i from λ1 to λ.)
We now inspect the coefficients of pTotpE ‚,‚ q, dtot q in the new basis. We have
dtot pb˚λ q “ b̃λ ,
`
˘
dtot pb̃λ q “ 0 “ d2tot pb̃˚λ q ,

r elements, with the same λ labels; the latter
so the B ˚ elements map one-by-one onto the B
elements then map to 0.
Next, for a basis element hλ P H, the coefficients change but remain ‘filtered’. If dtot phλ q
included (in the old basis) some nonzero term t ¨ bµ , then in the new basis we have
`
˘
dtot phλ q “ dh phλ q “ ¨ ¨ ¨ ` t ¨ b̃µ ´ dh pb˚µ q ` ¨ ¨ ¨ .

Since t is nonzero, we have µ Ĺ λ; and the additional terms coming from dh pb˚µ q all have
labels µ1 Ĺ µ. Thus all labels occurring in dtot phλ q in the new basis are, again, strictly
r H, B ˚ elements downsmaller than λ. We note that dtot phλ q is a linear combination of B,
and-left of hλ along the subsequent diagonal:
❥❥ ♣♣
t ❥❥♣❥♣♣♣
t❥
♣
♣♣♣
♣♣♣
♣
♣
♣♣♣
.
. . ♣♣♣♣♣
♣♣
ww ♣♣
♣

r H, B ˚
B,

r H, B ˚
B,

r H oo ❥ H
B,
❥❥♣

r ` B ˚ collectively span a subcomplex of TotpEq, so
Finally, we observe that the spaces B
we have a short exact sequence of complexes
r ` B ˚ q Ñ TotpEq Ñ TotpHq Ñ 0.
0 Ñ TotpB

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

25

r ` B ˚ q is exact, so TotpEq Ñ TotpHq is a quasi-isomorphism. Note
By construction, TotpB
that TotpHq and TotpE1 q have “the same” terms, but different maps, as desired. Since
TotpEq is exact, so is TotpHq. The desired matching therefore exists by Proposition 5.8. 
Remark 5.13. Our initial attempts to establish the Boij-Söderberg pairing (Theorems
5.1 and 5.3) used the higher differentials on the E1 , E2 , . . . pages, rather than the E0 page
as above – aiming to systematize “chasing cohomology of the underlying sheaves”. The
following example shows that such an approach fails on general double complexes.
Example 5.14 (A cautionary example). Consider the following double complex. Each
partition denotes a single basis vector with that label.
OO
oo f

‘

oo

‘

OO
oo

The vertical map dv preserves labels and the horizontal map dh decreases labels. The
unlabeled arrows correspond to coefficients of 1, and the map f is given by
¯
´
“
f
´ .
fp q “ ,
Note that the rows are exact, so the total complex is exact as well, and the spectral sequence
abuts to zero. The only nonzero higher differentials are on the E1 and E3 pages. These
pages, and (for contrast) the complex H constructed in Theorem 5.3, are as follows.
E1 :

0

E3 :

0
t

0t t 0

oo
yyt

0

t

t

0

H:
t

0

❧
❧❧❧
❧❧❧
❧
❧
uu❧
oo ❧

t

♣
♣♣♣
♣
♣
ww ♣♣
♣

0

All the arrows are coefficients of ˘1. In particular, no combination of the E1 and E3
differentials gives a valid matching (the E3 arrow violates the P -filtered condition). In
(
contrast, H finds the (unique) valid matching
Ð
,
Ð
.
6. Preliminary results on 2 ˆ 3 matrices
While a complete picture of the general case still seems quite far away, we have some
partial results and suggestive examples in the particular case of 2 ˆ 3 matrices, which
suggest some features of the general picture.
In this setting, the modules of interest (as in Condition 1.2) are Cohen-Macaulay of
codimension 2. We will assume all modules are generated in positive degree. There are

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

26

three equivariant Herzog-Kühl equations, corresponding to µ “ ∅, , and , which may
be simplified to
ÿ
µ“∅:
0 “ p´1qi βi,λ dλ p2q,
i,λ

µ“

:

ÿ
0 “ p´1qi βi,λ dλ p2q ¨ pλ1 ` λ2 q,
i,λ

µ“

:

ÿ
0 “ p´1qi βi,λ dλ p2q ¨ 21 pλ1 ` 1qλ2 .
i,λ

All Betti tables in this section will be multiplicity Betti tables. We remark that
dλ p2q “ 1 ` λ1 ´ λ2 ,
dλ p3q “ 21 p1 ` λ1 ´ λ2 qp1 ` λ2 ´ λ3 qp2 ` λ1 ´ λ3 q.
6.1. Simple and pure resolutions. The basic observation is the following. Since there
are three Herzog-Kühl equations, if we allow exactly four entries in our Betti table to be
nonzero, in general we expect the equations to pick out one dimension’s worth of valid
tables. That is, the resulting table will be unique up to scalar multiple. Any realizable
table of this form is automatically an extremal ray of BS2,3 .
In fact, this observation underpins the characterization of pure tables for graded modules,
where every choice of increasing degree sequence results in a unique table (up to scaling).
The hope might be that, by analogy with both the graded case and the square-matrix case,
these tables are all realizable, and form a complete set of extremal rays of BS2,3 . To that
end, we will call these pure tables.
For some choices of entries, the equations will be redundant, and allowing nonzero entries
in only three positions will suffice. We will call the result a simple table. In this case,
each column of the table has exactly one entry, like the extremal tables in the graded and
square-matrix cases. (Three entries are required or the resolution will be too short.)
Remark 6.1. In this section, most of the modules of interest are bi-equivariant for the
actions of both GLpV q and GLpW q on R “ SympHompV, W q˚ q. So, for brevity, we write
λ b µ :“ Sλ pV q b Sµ pW ˚ q b R.
Note that this module has rank dλ p2q ¨ dµ p3q, and therefore has multiplicity dµ p3q if we
remember only the action of GLpV q.
Example 6.2. Here are all the pure tables using partitions of size between 0 and 3.
0 1 2
0 1 2
0 1 2
∅ 3
∅ 8
∅ 1
3
6
1
3
1
1

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

0 1 2
2

∅

0 1 2

27

0 1 2

∅

∅
6

2

3
8

1

1
9
3
3

All of these tables except the last are simple, and each one is realizable. (The third is the
Betti table of M “ R{P2 , the quotient by the ideal of maximal minors, which is resolved
by the Eagon-Northcott complex.)
In the graded and square-matrix cases, it is always possible [EFW11, FLS16] to realize
any pure table by a resolution that is equivariant with respect to the actions of both GLpV q
and GLpW q. In fact, the same is true in these examples. The five simple tables above
are realized, respectively, by resolutions of the following forms (the fourth actually gives 3
times the fourth table):
∅ b

Ð

b

Ð

b

∅ b

Ð

b

Ð

b

∅ b ∅

Ð

b

Ð

b

∅ b

Ð

b

Ð

b

b

Ð

b

Ð

b

ˆ

˙

The last table is realised as follows:

b

Ð

b
À
b

‘

Ð

b

One thing that stands out in the above example is that the biequivariant resolutions for
each of the simple tables has, in each step, a single irreducible pGL2 ˆ GL3 q-representation.
This does not appear to be an accident: we can construct a large class of such tables using
a technique similar to [FLS16, Theorem 4.6]. The constructed tables are as follows. At
each step of the resolution, the partition shape changes by the addition of a “border strip,”
that is, a shape like
or

¨¨¨
¨¨¨

(i.e., a connected shape not containing

q.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

28

Moreover, the second border strip is always adjacent and to the right of the first. Examples
of such triples pλ, µ, νq are:
1 1 2 2
1 1 1 2 2

1 1 2 2
1 1 1

2 2 2
1 1 2 2

Here λ consists of the empty squares, µ contains the additional squares marked 1, and ν
contains the squares marked 1, 2.
Proposition 6.3. Let β be a simple table with entries λ Ĺ µ Ĺ ν. If µ{λ and ν{µ are
adjacent, successive border strips, then β is realizable by a biequivariant resolution with an
irreducible GL2 ˆ GL3 representation at each step.
We omit the proof. We can also rule out almost all other possible triples pλ, µ, νq:
Proposition 6.4. Let β be a simple table with entries λ Ĺ µ Ĺ ν. Then ν2 ď λ1 ` 1.
That is, the shapes µ{λ and ν{µ are contained in the border strip formed by the squares
along the outer edge of λ:
? ? ? ¨¨¨
? ? ? ?

They need not be connected or adjacent, though computations have suggested that almost
all are. We omit the proof, which follows from considering positive integer solutions to the
equivariant Herzog-Kühl equations.
For tables that are pure but not simple, the story is currently much less complete,
although we can realize many of them. Also, whether or not these tables are all realizable,
we don’t know if the cone has other extremal rays not of this form. Still, we have some
data that at least suggests some helpful patterns. First, note that in every non-simple
pure table, one column has two nonzero entries. We will say the table is diamond-shaped
when the middle column has two nonzero entries and Y-shaped otherwise. In several
cases, we can realize Y-shaped tables using extensions.
Example 6.5 (Y-shaped tables via extensions). Consider the following Y-shaped table:
0 1 2
1
3
1
1
Using the same notation as in the previous examples, we were able to realize this table
by the following resolution:
¯
´
b
b ∅ Ð
b
Ð
‘
It’s possible to build this resolution out of two simple resolutions in the following way.
Consider the following two simple resolutions, where we now explicitly name the modules

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

29

being resolved:
M

Ð

N

Ð
Ý

f

b ∅ Ð
Ý

h

g

Ð
Ý

b

b

Ð
Ý

e

b

b

Ð

b

.

Note that the second term in the resolution of M is the same as the first term in the
resolution of N , and that all the other terms appear in exactly the desired positions for
the resolution we wish to construct.
We define E :“ cokerpf gq. By minimality, E has the desired generators; it suffices to
check that E has the correct Tori for i ě 1. The key fact is that there is a short exact
sequence
0 Ñ N Ñ E Ñ M Ñ 0,
so we can extract information about the Betti table of E from the long exact sequence in
Tor. This follows essentially from computing that h ˝ e “ 0, that is, the unique generator of
the module

b

(which has rank 1) maps into the image of g. Thinking of Ext1 pM, N q

as obtained by applying Homp´, N q to the resolution of M , the map h therefore induces
an extension class, which is E above.
Abusing notation, in the equation below, λ b µ denotes the (finite-dimensional) representation Sλ pV q b Sµ pW ˚ q, not the corresponding free R-module. The long exact sequence
in Tor is:
0 Ð
Ð

b ∅ Ð E b R{m Ð
b

0

Ð
Ý

b

b

s

Ð
Ý

b

Ð Tor1 pE, R{mq Ð

Ð Tor2 pE, R{mq Ð

b

Ð 0.

Since we have already determined Tor0 , the map s above is surjective, hence an isomorphism
(since its source and target are the same irreducible representation). On the second line, the
indicated map is zero because its source and target are distinct irreducible representations.
In this particular case, one can check by hand that h ˝ e “ 0 (in fact, we just computed
the minimal free resolution of cokerpf gq using Macaulay2 and checked that it had the
desired form). It is not immediately clear why something similar should happen in general.
Still, this cancellation seems important, and indeed shows up for many other Y-shaped
pure tables.
We end by discussing two examples that demonstrate phenomena that do not appear in
the square-matrix or graded cases.
Example 6.6 (A slightly different extension). Consider the following table:
0 1 2
9
24
8
3

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

30

A slight modification to the procedure of Example 6.5 realizes this table. We start with
the following two resolutions:
M

Ð

b

Ð

b

Ð

b

N

Ð

b

Ð

b

Ð

b

.

Note that N is the same module as in Example 6.5. This time, the V sides line up (they
both have a copy of for V ), but the W sides do not. So, we tensor the resolution of M
with ∅ b and the resolution of N with ∅ b
. Then they become composable, with
the potential for cancellation. Continuing as in Example 6.5 (and assuming the requisite
terms cancel, which they do) we get a resolution of the form

E Ð

b

ˆ

b

˙

b

Ð

ˆ

b

˙

Ð

b
À

,

b

which gives exactly the table above. In this case, not all of the GLpW q-representations are
irreducible (though the ones on the final term are).
Example 6.7 (“Stably-realizable” Betti tables). Consider the following table:
∅

0 1 2
1
3
8
3

Despite satisfying the Herzog-Kühl equations, and resembling our previous unobjectionable
examples, this table is not realizable. This follows from the numerical pairing: when paired
with the trivial vector bundle, the result is the following table, which clearly has no perfect
matching of the appropriate type:
∅

-1 0
1
9
8

Consider, however, tensoring the table with S1 V . (That is, write the Betti table that
would result from tensoring such a resolution with S1 V .) The result is as follows:

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

31

0 1 2
1
3
3
8
8
3
3
This table in fact is realizable. It is a linear combination of the following four realizable
tables:
A

0 1 2
1
2
2

B

0 1 2
3
1
6
1

C

0 1 2
1
1
3
1

D

0 1 2
1
5
1

Specifically, the large table above is
1
3
2A ` 2B

` 32 C ` D.

This example suggests that it might be easier to study “stably-realizable” Betti tables,
that is, Betti tables that become realizable after tensoring with some GLpV q-representation.
This idea is still being explored.
Appendix A. The proof of Proposition 5.6
Proposition A.1. Let V, W be vector spaces of arbitrary dimension, with specified bases
V, W. Let T : V Ñ W be an isomorphism. Then the coefficient graph of T has a perfect
matching.
Proof. We first reduce to V, W countable. This step is due to David Lampert [Lam]. Let
b P V be arbitrary. Then T pbq involves only finitely-many basis elements, say B1 Ă W.
For each s P B1 , T ´1 psq only involves finitely-many basis elements; let A2 Ă V contain
these new elements, together with b. Repeat this construction, building two sequences of
coordinate subspaces
pbq Ă A2 Ă A3 Ă ¨ ¨ ¨ Ă V,

B1 Ă B2 Ă B3 Ă ¨ ¨ ¨ Ă W

such that, for each i, Bi Ď T pAi q Ď Bi`1 . Let A8 , B8 be the union; it follows that T
restricts to an isomorphism of countable-dimensional spaces T : A8 Ñ B8 , and T as a
whole splits as a direct sum of such isomorphisms.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

32

ř We now build the matching inductively. Fix a basis vector v P V and write T pvq “
ai wi , and assume every wi in the sum has ai ‰ 0. Equivalently,
ÿ
v“
ai T ´1 pwi q,

so some T ´1 pwi q contributes a nonzero v-coefficient. Fix one such w; we match v Ø w.
Note that this choice is compatible with both T and T ´1 . Let
C “ spanpVztvuq,

D “ spanpWztwuq.

It is now easy to show that C ãÑ V Ñ W ։ D is an isomorphism (with the same
coefficients as T , but with v and w removed). We now build the matching: we alternate
between V and W , always choosing the first unmatched basis vector on each side to ensure
that every basis vector gets matched (note that the construction is symmetric with respect
to T and T ´1 ).

References
[BBEG12]

Christine Berkesch, Jesse Burke, Daniel Erman, and Courtney Gibbons. The cone of Betti
diagrams over a hypersurface ring of low embedding dimension. J. Pure Appl. Algebra,
216(10):2256–2268, 2012. arXiv:1109.5198v2.
[BS08]
Mats Boij and Jonas Söderberg. Graded Betti numbers of Cohen-Macaulay modules and the
multiplicity conjecture. J. Lond. Math. Soc. (2), 78(1):85–106, 2008. arXiv:math/0611081v2.
[Buc02]
Anders Skovsted Buch. A Littlewood-Richardson rule for the K-theory of Grassmannians. Acta
Math., 189(1):37–78, 2002.
[BZEKS13] Christine Berkesch Zamaere, Daniel Erman, Manoj Kummini, and Steven V. Sam. Tensor
complexes: multilinear free resolutions constructed from higher tensors. J. Eur. Math. Soc.
(JEMS), 15(6):2257–2295, 2013. arXiv:1101.4604v5.
[Dev16]
The Sage Developers. SageMath, the Sage Mathematics Software System, 2016.
http://www.sagemath.org.
[EE12]
D. Eisenbud and D. Erman. Categorified duality in Boij-Söderberg Theory and invariants of
free complexes. ArXiv e-prints, May 2012. arXiv:1205.0449v2.
[EES13]
David Eisenbud, Daniel Erman, and Frank-Olaf Schreyer. Filtering free resolutions. Compos.
Math., 149(5):754–772, 2013. arXiv:1001.0585v3.
[EFW11]
David Eisenbud, Gunnar Fløystad, and Jerzy Weyman. The existence of equivariant pure free
resolutions. Ann. Inst. Fourier (Grenoble), 61(3):905–926, 2011. arXiv:0709.1529v5.
[ES09]
David Eisenbud and Frank-Olaf Schreyer. Betti numbers of graded modules and cohomology
of vector bundles. J. Amer. Math. Soc., 22(3):859–888, 2009. arXiv:0712.1843v3.
[Flø12]
Gunnar Fløystad. Boij–Söderberg theory: Introduction and survey. In Progress in Commutative
Algebra 1, Combinatorics and homology, Proceedings in mathematics, pages 1–54. du Gruyter,
2012. arXiv:1106.0381v2.
[FLS16]
N. Ford, J. Levinson, and S. V Sam. Towards Boij-Söderberg theory for Grassmannians: the
case of square matrices. ArXiv e-prints, August 2016. arXiv:1608.04058.
[FS12]
Alex Fink and David E. Speyer. K-classes for matroids and equivariant localization. Duke
Math. J., 161(14):2699–2723, 11 2012. arXiv:1004.2403v2.
[Ful96]
William Fulton. Young Tableaux. Cambridge University Press, 1996. Cambridge Books Online.
[GS]
Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in
algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
[GS15]
Iulia Gheorghita and Steven V Sam. The cone of Betti tables over three non-collinear points
in the plane. J. Commut. Algebra, to appear, 2015. arXiv:1501.00207v1.

FOUNDATIONS OF BOIJ-SÖDERBERG THEORY FOR GRASSMANNIANS

[KK90]
[KS15]

[Lam]

[Mer05]
[NS13]
[Sta99]

[Tho87]

33

Bertram Kostant and Shrawan Kumar. T -equivariant K-theory of generalized flag varieties. J.
Differential Geom., 32(2):549–603, 1990.
Manoj Kummini and Steven V Sam. The cone of Betti tables over a rational normal curve. In
Commutative Algebra and Noncommutative Algebraic Geometry, volume 68 of Math. Sci. Res.
Inst. Publ., pages 251–264. Cambridge Univ. Press, Cambridge, 2015. arXiv:1301.7005v2.
Lampert,
David
(http://mathoverflow.net/users/59248/david-lampert).
Bijection modeling isomorphism of infinite-dimensional vector spaces. MathOverflow.
URL:http://mathoverflow.net/q/243071 (version: 2016-06-27).
Alexander S. Merkurjev. Equivariant K-theory. In Handbook of K-theory. Vol. 1, 2, pages
925–954. Springer, Berlin, 2005.
Uwe Nagel and Stephen Sturgeon. Combinatorial interpretations of some Boij-Söderberg decompositions. J. Algebra, 381:54–72, 2013. arXiv:1203.6515.
Richard P. Stanley. Enumerative combinatorics. Volume 2. Cambridge studies in advanced
mathematics. Cambridge university press, Cambridge, New York, 1999. Errata et addenda : p.
583-585.
R. W. Thomason. Algebraic K-theory of group scheme actions. In Algebraic topology and algebraic K-theory (Princeton, N.J., 1983), volume 113 of Ann. of Math. Stud., pages 539–563.
Princeton Univ. Press, Princeton, NJ, 1987.

