- Research
- Open Access

# S_{
n
}-equivariant sheaves and Koszul cohomology

- David H Yang
^{1}Email author

**1**:10

https://doi.org/10.1186/s40687-014-0010-9

© Yang; licensee Springer. 2014

**Received:**16 July 2014**Accepted:**14 August 2014**Published:**20 November 2014

## Abstract

### Purpose

We give a new interpretation of Koszul cohomology, which is equivalent under the Bridgeland-King-Reid equivalence to Voisin’s Hilbert scheme interpretation in dimensions 1 and 2 but is different in higher dimensions.

### Methods

We show that an explicit resolution of a certain *S*_{
n
}-equivariant sheaf is equivalent to a resolution appearing in the theory of Koszul cohomology.

### Results

Our methods easily show that the dimension *K*_{p,q}(*B*,*L*) is a polynomial in *d* for *L*=*d* *A*+*P* with *A* ample and *d* large enough.

### Conclusions

This interpretation allows us to extract various pieces of information about asymptotic properties *K* *p*,*q* for fixed *p*,*q*.

## Keywords

- Exact Sequence
- Line Bundle
- Hilbert Scheme
- Free Resolution
- Coherent Sheave

## Background

The Koszul cohomology of a line bundle *L* on an algebraic variety *X* was introduced by Green in [1]. Koszul cohomology is very closely related to the syzygies of the embedding defined by *L* (if *L* is very ample) and is thus related to a host of classical questions. We assume that the reader is already aware of these relations and the main theorems on Koszul cohomology; for a detailed discussion, the reader is referred to [1].

Recently, in [2], it was realized that a conjectural uniform asymptotic picture emerges as *L* becomes more positive. We give a new interpretation of Koszul cohomology which we believe will clarify this picture. As an application, we prove that *K*_{p,q}(*B*,*d* *A*+*P*) grows polynomially in *d*. In particular, this gives a partial answer to Problem 7.2 from [2]. More precisely, we establish.

### Theorem 1.

Let *A* and *P* be ample line bundles on a smooth projective variety *X*. Let *B* be a locally free sheaf on *X*. Then, there is a polynomial that equals dim*K*_{p,q}(*B*,*d* *A*+*P*) for *d* sufficiently large.

The inspiration for our new interpretation came from Voisin’s papers [3],[4] on generic Green’s conjecture. To prove generic Green’s conjecture, Voisin writes Koszul cohomology for *X* a surface in terms of the sheaf cohomology of various sheaves on a Hilbert scheme of points of *X*. While this allows for the use of the geometry of Hilbert schemes in analyzing Koszul cohomology, this interpretation has multiple downsides.

The main downside is that it does not generalize well to higher dimensions, as the Hilbert scheme of points of *X* is not necessarily smooth (or even irreducible) unless *X* has dimension at most 2. It is unclear to us if this difficulty can be circumvented through uniform use of the curvilinear Hilbert scheme, but even if it can, the loss of properness creates various technical difficulties.

Our construction can be thought of as replacing the Hilbert scheme with a noncommutative resolution of singularities (though the word noncommutative need not ever be mentioned). Specifically, we replace the cohomology of sheaves on Hilbert schemes with the *S*_{
n
}-invariants of the cohomology of *S*_{
n
}-equivariant sheaves on *n* th-fold products. This is motivated by the Bridgeland-King-Reid equivalence [5], which implies that for a curve or surface *X*, the derived category of coherent sheaves on the Hilbert scheme is equivalent to the derived category of *S*_{
n
}-equivariant coherent sheaves on *X*^{
n
}. We note that this had been previously used to compute the cohomology of sheaves on the Hilbert scheme, for instance in [6].

We would also like to note two other results related to ours. If one chooses to work with ordinary sheaves, as opposed to *S*_{
n
}-equivariant sheaves, one recovers in effect a theorem implicit in [7], which was first stated explicitly in [8]. We refer to the discussion after Theorem 3 for more detail. Finally, we note that Theorem C of [9] is essentially 4 for curves. The proof methods are very similar, and we are hopeful that Theorem 3 will help in extending their other results to higher dimensions.

‘Methods’ section of this paper is a short introduction to Koszul cohomology. The main goal is to describe the conjectural asymptotic story of [2]. We also describe (but do not prove) Voisin’s interpretation of Koszul cohomology in terms of Hilbert schemes.

‘Results and discussions’ section contains our new interpretation. ‘Conclusions’ section then uses it to analyze the asymptotics of *K*_{p,q}(*d* *L*+*B*). All the proofs in both sections are quite short.

## Methods

Our discussion of Koszul cohomology will be quite terse. For details and motivation, see [1],[2].

Let *X* be a smooth projective algebraic variety of dimension *n* over an algebraically closed field *k* of characteristic zero and let *L* be a line bundle on *X*. Form the graded ring *S*= Sym∙*H*^{0}(*L*). For any coherent sheaf *B* on *X*, we have a naturally graded *S*-module structure on *M*=⊕_{n≥0}*H*^{0}(*B*+*n* *L*). From this we can construct the bigraded vector space $\underset{S}{\overset{\bullet \bullet}{Tor}}(M,k).$ The (*p*,*q*)th Koszul cohomology of (*B*,*L*) is the (*p*,*p*+*q*)-bigraded part of this vector space. We will call its dimension the (*p*,*q*) Betti number and the two-dimensional table of these the Betti table.

In this paper, we will always take *B* to be locally free.

The first theorem we describe is a duality theorem for Koszul cohomology, proven in Green’s original paper [1]. (In fact, Green proves a slightly stronger result).

### Theorem 2.

Assume that *L* is base-point-free and *H*^{
i
}(*B*⊗(*q*−*i*)*L*)=*H*^{
i
}(*B*⊗(*q*−*i*−1)*L*)=0 for *i*=1,2,…,*n*−1. Then, we have a natural isomorphism between *K*_{p,q}(*B*,*L*)^{∗} and ${K}_{{h}^{0}\left(L\right)-n-p,n+1-q}({B}^{\ast}\otimes {K}_{X},L)$.

To compute the Koszul cohomology, we can use either a free resolution of *M* or a free resolution of *k*. Taking the minimal free resolution of *M* relates the Koszul cohomology to the degrees in which the syzygies of *M* lie. In particular, this description shows that *K*_{p,q} is trivial for *q*<0. Combining this with Theorem 2 and some elementary facts on Castelnuovo-Mumford regularity, it is possible to use this to show that *K*_{p, q} is trivial for *q*>*n*+1 and is nontrivial for *q*=*n*+1 only when *p* is within a constant (depending only on *B* and *X*) of *h*^{0}(*L*).

Extending this, in [2], Ein and Lazarsfeld study when the groups *K*_{p,q} vanish for *L* very positive and 1≤*q*≤*n*. More precisely, let *L* be of the form *P*+*d* *A*, where *P* and *A* are fixed divisors with *A* ample. Then as *d* changes, Ein and Lazarsfeld prove that *K*_{p,q} is nonzero if *p*>*O*(*d*^{q−1}) and *p*<*H*^{0}(*L*)−*O*(*d*^{n−1}). They conjecture that on the other hand, *K*_{p,q} is trivial for *p*<*O*(*d*^{q−1}). It is known that if *q*≥2, then *K*_{p,q} is trivial for *p*<*O*(*d*). In particular, Theorem 4 only has content when *q* is 0 or 1.

*M*are often hard to work with directly, so instead we will compute using a free resolution of

*k*. The natural free resolution is the Kozsul complex:

Tensoring by *M*, we immediately arrive at the following lemma:

### Lemma 1.

*q*≥1,

*K*

_{p,q}(

*B*,

*L*) is equal to the cohomology of the three-term complex

*q*=0,

*K*

_{p,q}(

*B*,

*L*) is equal to the kernel of the map

Finally, we say a few words on Voisin’s Hilbert scheme approach to Koszul cohomology (see [3],[4]). Let *X* be a smooth curve or surface. Then, denote by Hilb*n*(*X*) the *n* th Hilbert scheme of points of *X*. We have a natural incidence subscheme *I*_{
n
} in *X*× Hilb*n*(*X*). Let *p*:*I*_{
n
}→*X* and *q*:*I*_{
n
}→ Hilb*n*(*X*).

### Theorem 2.

*L*

^{[n]}be ∧

^{ n }pr

_{2∗}

*p*

^{∗}

*L*. Then for

*q*≥1, we have

In fact, we have *H*^{0}(*L*^{[n]})=∧^{
n
}*H*^{0}(*L*) and ${H}^{0}\left(\left(B+(q-1)L\right)\u22a0{L}^{\left[n\right]}{|}_{{I}_{n}}\right)=ker\left({H}^{0}(B+\mathit{\text{qL}})\otimes {H}^{0}\left({L}^{[n-1]}\right)\to {H}^{0}(B+(q+1\left)L\right)\otimes {H}^{0}\left({L}^{[n-2]}\right)\right).$ We thus see that Theorem 2 is a ‘geometrized’ version of Theorem 1.

We would like to comment that one of our original motivations was to rewrite this in terms of the *q* th or (*q*−1)th sheaf cohomology of some sheaf. This is accomplished by the formalism of the next section combined with the results of [6].

## Results and discussions

In this section, we prove an analogue of Theorem 2, but with the category of coherent sheaves on the Hilbert scheme replaced by the category of *S*_{
n
}-equivariant sheaves on *X*^{
n
}. Here we take *X* to be smooth projective, *X*^{
n
} to be its *n* th Cartesian power, and *B* to be a locally free sheaf on *X*.

An *S*_{
n
}-equivariant sheaf on *X*^{
n
} is a sheaf on *X*^{
n
} together with *S*_{
n
}-linearization in the sense of [10], Chapter 5. Note that for any map *X*^{
n
}→*Y* that is fixed under the *S*_{
n
} action on *X*^{
n
}, we have an ‘ *S*_{
n
}-invariant pushforward’ functor from the category of *S*_{
n
}-equivariant quasicoherent sheaves on *X*^{
n
} to the category of quasicoherent sheaves on *Y*. The usual pushforward is equipped with a natural *S*_{
n
} action, and the *S*_{
n
}-invariant pushforward is defined just to be the invariants under this action. The *S*_{
n
}-invariant cohomology ${H}_{{S}_{n}}^{i}$ is defined to be the derived functor of *S*_{
n
}-invariant pushforward to Spec*k*.

We start by defining *L*^{[n]} to be the sheaf $L\u22a0\cdots \u22a0L$ on *X*^{
n
} with *S*_{
n
} acting via the alternating action. By definition, we have ${H}_{{S}_{n}}^{\bullet}\left({L}^{\left[n\right]}\right)={\wedge}^{n}{H}^{\bullet}\left(L\right).$ In the next section, we will also use the sheaf *D*_{
L
}, defined to be the sheaf $L\u22a0\cdots \u22a0L$ with *S*_{
n
} acting via the trivial action. From the definitions, it is clear that ${L}^{\left[n\right]}={\mathcal{O}}^{\left[n\right]}\otimes {D}_{L}.$

*Δ*

_{ i }be the subvariety of

*X*×

*X*

^{ n }defined as the set of points (

*x*,

*x*

_{1},…,

*x*

_{ n }) with

*x*=

*x*

_{ i }. Let

*Z*be the scheme theoretic union of the

*Δ*

_{ i }. Then

*Z*is equipped with two projections

*p*:

*Z*→

*X*and

*q*:

*Z*→

*X*

^{ n }. We will make crucial use of a long exact sequence

We will prove the following theorem.

### Theorem 3.

*H*

^{ i }(

*L*)=

*H*

^{ i }(

*B*+

*m*

*L*)=0 for all

*i*,

*m*>0. Then for

*q*>1, ${K}_{p,q}(B,L)\cong {H}_{{S}_{p+q}}^{q-1}\left({p}^{\ast}B\otimes {q}^{\ast}{L}^{[p+q]}\right).$ We also have an exact sequence

Note that when *B* has no higher cohomology, we can write this more aesthetically as ${K}_{p,q}(B,L)={H}_{{S}_{p+q}}^{q}\left(\left(B\u22a0{L}^{[p+q]}\right)\otimes {\mathcal{I}}_{Z}\right),$ where ${\mathcal{I}}_{Z}$ is the ideal sheaf of *Z*.

*X*×

*X*

^{ n }such that (

*x*,

*x*

_{1},…,

*x*

_{ n }) is a point of ${\Delta}_{{i}_{1},{i}_{2},\dots ,{i}_{m}}$ if and only if $x={x}_{{i}_{1}}=\cdots ={x}_{{i}_{m}}.$ Now note that we have a long exact sequence of

*S*

_{ n }-equivariant sheaves on

*X*×

*X*

^{ n }

We define the map from ${\mathcal{O}}_{{\Delta}_{{i}_{1},{i}_{2},\cdots \phantom{\rule{0.3em}{0ex}},{i}_{m}}}$ to ${\mathcal{O}}_{{\Delta}_{{j}_{1},{j}_{2},\dots {j}_{m+1}}}$ to be nonzero if and only if ${\Delta}_{{j}_{1},\dots ,{j}_{m+1}}$ is a subvariety of ${\Delta}_{{i}_{1},{i}_{2},\dots ,{i}_{m}}$, in which case we define it to be the natural map induced by the inclusion, up to sign. If the difference between {*i*_{1},…*i*_{
m
}} and {*j*_{1},…*j*_{m+1}} is *j*_{
k
}, then we modify this map by a factor of (−1)^{k−1}.

We need to be careful to define our *S*_{
n
}-equivariant structure on our complex in a way compatible with this modification. For any element *σ*∈*S*_{
n
}, we have ${\sigma}_{\ast}{\mathcal{O}}_{{\Delta}_{{i}_{1},{i}_{2},\dots ,{i}_{m}}}\cong {\mathcal{O}}_{{\Delta}_{{h}_{1},{h}_{2},\dots ,{h}_{m}}},$ where *h*_{1}<*h*_{2}<⋯<*h*_{
m
} and {*h*_{1},…,*h*_{
m
}}={*σ* *i*_{1},…,*σ* *i*_{
m
}}. This gives each term of our complex a natural *S*_{
n
}-action. To make our maps *S*_{
n
}-equivariant, we modify the action by the sign of the permutation sending *h*_{1},*h*_{2},…*h*_{
m
} to *σ* *i*_{1},…*σ* *i*_{
m
}.

After these definitions, it is quite easy to check that we have indeed defined an *S*_{
n
}-equivariant complex. Exactness is harder; a proof can be found in Appendix A of [6].

We now prove Theorem 3.

*Proof*.

Tensor our exact sequence by $B\u22a0{L}^{\left[n\right]}$. Each term of the complex is of the form ${\oplus}_{{i}_{1}<{i}_{2}<\cdots <{i}_{m}}B\u22a0{L}^{\left[n\right]}{|}_{{\Delta}_{{i}_{1},{i}_{2},\dots ,{i}_{m}}}.$ We compute the *S*_{
n
}-invariant cohomology of this sheaf. This is the same as the *S*_{
m
}×*S*_{n−m} invariant cohomology of $B\u22a0{L}^{\left[n\right]}{|}_{{\Delta}_{1,2,\dots ,m}}.$ Now note that there is a natural *S*_{n−m}-equivariant isomorphism between *Δ*_{1,2,…,m} and *X*×*X*^{n−m}. This sends $B\u22a0{L}^{\left[n\right]}{|}_{{\Delta}_{1,2,\dots ,m}}$ to $(B+\mathit{\text{mL}})\u22a0{L}^{[n-m]}.$ The action of *S*_{
m
} on *H*^{0}(*B*+*m* *L*) is trivial, as the alternating actions coming from our modified *S*_{
n
}-equivariance and *L*^{[n]} cancel, and thus we can simply consider the *S*_{n−m}-invariant cohomology. By our assumptions and the fact that ${H}_{{S}_{n}}^{\bullet}\left({L}^{\left[n\right]}\right)={\wedge}^{n}{H}^{\bullet}\left(L\right),$ we see that the higher *S*_{n−m}-invariant cohomology of $B\u22a0{L}^{\left[n\right]}{|}_{{\Delta}_{1,2,\dots ,m}}$ vanishes and that ${H}_{{S}_{n-m}}^{0}\left(B\u22a0{L}^{\left[n\right]}{|}_{{\Delta}_{1,2,\dots ,m}}\right)\cong {H}^{0}(B+\mathit{\text{mL}})\otimes {\wedge}^{n-m}{H}^{0}\left(L\right).$

*S*

_{ n }-invariant cohomology of $B\u22a0{L}^{\left[n\right]}{|}_{Z}$ is given by the cohomology of the complex

and, setting *n*=*p*+*q*, our result immediately follows from Lemma 1.

We note that in particular, if *H*^{q−1}(*p*^{∗}*B*⊗*q*^{∗}*L*^{[p+q]})=0 (note that this is noninvariant cohomology!), then *K*_{p,q}(*B*,*L*) vanishes. A very similar statement was first claimed in the proof of Theorem 3.2 of [7], with a minor mistake corrected by Inamdar in [8]. Since then, this statement has been used in various places (e.g., [11],[12]).

Note that for any map *X*^{
n
}→*Y* that is fixed under the *S*_{
n
} action on *X*^{
n
}, we have a *S*_{
n
}-invariant pushforward functor from the category of *S*_{
n
}-equivariant quasicoherent sheaves on *X*^{
n
} to the category of quasicoherent sheaves on *Y*. The usual pushforward is equipped with a natural *S*_{
n
} action, and the *S*_{
n
}-invariant pushforward is defined just to be the invariants under this action. The *S*_{
n
}-invariant cohomology is defined to be the *S*_{
n
}-invariant pushforward to Spec*k*.

## Conclusions

In this section, we will let *L*_{
d
}=*d* *A*+*P*, where *A* and *P* are line bundles with *A* ample. We allow *B* to be any locally free sheaf on *X*. Our main theorem is the following.

### Theorem 4.

For *d* sufficiently large, dim*K*_{p,q}(*B*,*L*_{
d
}) is a polynomial in *d*.

*Proof*.

*K*

_{p,q}(

*B*,

*L*

_{ d }) is trivial for

*q*≥2 and

*d*large enough. This has been known at least since [13], but we will reprove it here for the sake of self-containedness. Let be the sheaf ${pr}_{2\ast}{\mathcal{O}}_{Z}\otimes {P}^{[p+q]}.$ As

*q*is finite, pushforward along it is exact. Therefore, by Theorem 3, we know that

(see the beginning of the previous section for the definition of *D*_{
A
}). But *D*_{
A
} is ample, so this is zero for large enough *d*.

By Theorem 3, it suffices to show that the dimensions of ${K}_{p+1,0}(B,{L}_{d}),{H}^{0}\left(B\right)\otimes {H}_{{S}_{p+1}}^{0}\left({L}_{d}^{[p+1]}\right),$ and ${H}_{{S}_{p+1}}^{0}\left({p}^{\ast}B\otimes {q}^{\ast}{L}_{d}^{[p+1]}\right)$ all grow polynomially in *d*. Using ${H}_{{S}_{n}}^{\bullet}\left({L}_{d}^{\left[n\right]}\right)\cong {\wedge}^{n}{H}^{\bullet}\left({L}_{d}\right),$ we immediately see that $dim{H}^{0}\left(B\right)\otimes {H}_{{S}_{p+1}}^{0}\left({L}_{d}^{[p+1]}\right)$ grows polynomially in *d*.

To proceed, we take the *S*_{p+1}-invariant pushforward of this to Sym*p*+1(*X*). Let the *S*_{p+1}-invariant pushforward of be . Note that *D*_{
A
} is the pullback (with the natural *S*_{p+1}-action) of an ample line bundle *A*^{′} on Sym*p*+1(*X*). We thus see that ${K}_{p+1,0}(B,{L}_{d})={H}^{0}(\mathcal{\mathscr{H}}\otimes d{A}^{\prime}),$ and by the existence of the Hilbert polynomial, its dimension is a polynomial for large enough *d*. An identical argument shows that $dim\underset{{S}_{p+1}}{\overset{0}{H}}\left({p}^{\ast}B\otimes {q}^{\ast}{L}_{d}^{[p+1]}\right)$ is a polynomial for large enough *d*.

Note that this theorem answers the first part of Problem 7.2 in [2] in the affirmative. Their specific question asks if the triviality of a specific Koszul cohomology group is independent of *d* if *d* is large. As any nonzero polynomial has only finitely many roots, Theorem 4 implies that the answer is yes.

## Declarations

### Acknowledgements

This research was supported by an NSF-funded REU at Emory University under the mentorship of David Zureick-Brown. We would also like to thank Ken Ono and Evan O’Dorney for advice and helpful conversations. Finally, we would like to thank Robert Lazarsfeld for his encouragement and correspondence. Both he and the referees gave many useful suggestions.

## Authors’ Affiliations

## References

- Green ML:
**Koszul cohomology and the geometry of projective varieties.***J. Differential Geom*1984,**19**(1):125–171.MATHMathSciNetGoogle Scholar - Ein L, Lazarsfeld R:
**Asymptotic syzygies of algebraic varieties.***Invent. Math*2012,**190**(3):603–646. 10.1007/s00222-012-0384-5MATHMathSciNetView ArticleGoogle Scholar - Voisin C:
**Green’s generic syzygy conjecture for curves of even genus lying on a**K**3 surface.***J. Eur. Math. Soc. (JEMS)*2002,**4**(4):363–404. 10.1007/s100970200042MATHMathSciNetView ArticleGoogle Scholar - Voisin C:
**Green’s canonical syzygy conjecture for generic curves of odd genus.***Compos. Math*2005,**141**(5):1163–1190. 10.1112/S0010437X05001387MATHMathSciNetView ArticleGoogle Scholar - Bridgeland T, King A, Reid M:
**The McKay correspondence as an equivalence of derived categories.***J. Amer. Math. Soc*2001,**14**(3):535–554. (electronic) 10.1090/S0894-0347-01-00368-XMATHMathSciNetView ArticleGoogle Scholar - Scala L:
**Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles.***Duke Math. J*2009,**150**(2):211–267. 10.1215/00127094-2009-050MATHMathSciNetView ArticleGoogle Scholar - Green ML:
**Koszul cohomology and the geometry of projective varieties. II.***J. Differential Geom*1984,**20**(1):279–289.MATHMathSciNetGoogle Scholar - Inamdar SP:
**On syzygies of projective varieties.***Pac. J. Math*1997,**177**(1):71–76. 10.2140/pjm.1997.177.71MATHMathSciNetView ArticleGoogle Scholar - Ein, L, Lazarsfeld, R: The gonality conjecture on syzygies of algebraic curves of large degree. . Accessed 13 Sept 2014, [http://arxiv.org/abs/1407.4445]
- Chriss N, Ginzburg V:
*Representation theory and complex geometry. Modern Birkhäuser Classics*. Birkhäuser Boston, Inc., Boston, MA,; 2010.View ArticleGoogle Scholar - Hwang J-M, To W-K:
**Syzygies of compact complex hyperbolic manifolds.***J. Algebraic Geom*2013,**22**(1):175–200. 10.1090/S1056-3911-2012-00578-5MATHMathSciNetView ArticleGoogle Scholar - Lazarsfeld R, Pareschi G, Popa M:
**Local positivity, multiplier ideals, and syzygies of abelian varieties.***Algebra Number Theory*2011,**5**(2):185–196. 10.2140/ant.2011.5.185MATHMathSciNetView ArticleGoogle Scholar - Ein L, Lazarsfeld R:
**Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension.***Invent. Math*1993,**111**(1):51–67. 10.1007/BF01231279MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.