MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to understand Horrocks's construction of vector bundles. However I have been stuck on the proof the first theorem in the paper.

In the paper, a trivial bundle is a direct sum of Hopf bundles $\mathcal{O}(p)$.

Theorem: Let $E$ be a vector bundle without a trivial direct summand. Then there exist a trivial bundle $T$ such that $E\oplus T$ has a filtration $$E\oplus T=F^0 \supseteq F^1\supseteq F^2\supseteq\cdots\supseteq F^N=0$$ with $F^i/F^{i+1}$ a twisted exterior power of the tangent bundle $T_{\mathbb{P}^n}$.

Here is his proof:

Take a resolution $L$ of the dual of $E$ by trivial sheaves which is exact as a resolution of graded modules. The dual $L^*$ can be dismantled into Koszul complexes.

Here are my questions. How to break up $L^*$ into Koszul complexes? What are the Koszul complexes? Where does the $T$ come from?

Thanks in advance!

share|cite|improve this question
Hi Fei, what is the name of the paper? – Hailong Dao Apr 7 '10 at 5:28
I can't find the title you refer to on MathScinet – Hailong Dao Apr 7 '10 at 5:50
Hi, Hailong, here is the bibliographical information of this paper. Geoffrey Horrocks: Construction of bundles on Pn. In: Les équations de Yang-Mills, A. Douady, J.-L. Verdier, séminaire E.N.S. 1977-1978. Astérisque 71-72 (1980) 197-203. – Fei YE Apr 7 '10 at 6:36
I don't have access to it, but my guess is that each Koszul complex corresponds to a section of E. – Hailong Dao Apr 7 '10 at 8:03
up vote 2 down vote accepted

That is a pretty terse proof! Let me give an outline of a proof that I know. First, one could deduce the statement from a more general:

Theorem 1: Let $R$ be a regular local ring, $E$ be a reflexive $R$-module locally free on $U_R$, the punctured spectrum such that $E$ has no free direct summand. Then one can find a free module $T$ and a filtration:

$$E\oplus T = F_0 \supseteq F_1 \supseteq \cdots F_N =0$$

with $F_i/F_{i+1}$ a syzygy of $k=R/m$.

Why is this local statement implies what you want?

Let $A=k[x_0,\cdots, x_n],m=(x_0,\cdots,x_n), X=Proj(A)=\mathbb P^n, R=A_m$. There is natural functor from the category of vector bundles on $X$ to that of vector bundles on $U_R$, which is the same as the category of reflexive $R$-modules which are locally free on $U_R$. This is used by Horrocks all the time and is explained in Section 9 of his paper: "Vector bundles on punctured spectrum of a regular local ring".

A proof of Theorem 1 can be found in Chapter 5 (theorem 5.2) of the book "Syzygy" by Evans-Griffith. A brief outline in case you can't find the book:

As suggested in the paper you quoted, one starts with a minimal resolution of $E^*$. Then dualizing gives a complex (remember that $E^{**} \cong E$ as $E$ is reflexive):

$0 \to E \to L_0 \to L_1 \cdots $

whose cohomologies are $Ext^i(E^*,R)$. Let $i>0$ be the smallest number such that $X=Ext^i(E^*,R) \neq 0$ Break the l.e.s in to the exact sequences:

$0\to E \to L_0 \to L_1 \cdots \to L_i \to N \to 0 (*)$

and $0 \to X \to N \to N/X \to 0$. Now build free resolutions for $X$ and $N/X$ and map them onto $(*)$ as in Horseshoe Lemma, stopping at the spot $E$, one gets a s.e.s:

$0 \to B \to E\oplus T \to C \to 0$ here $T$ is free and $C$ is a syzygy of $X = Ext^i(E^*,R)$. Repeat if necessary and you have a filtration whose quotient are syzygies of various $ Ext^i(E^*,R)$. But each of this $Ext$ modules has finite length (as $E$ is locally free on $U_R$), so they can be filtered by copies of $k$. Now use the same trick to build a finer filtration whose quotients are syzygies of $k$. Since $R$ is regular, the resolution of $k$ is the Koszul complex, answering your second question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.