I’m supposed to give a talk on this subject for one of my courses, so I consider this post as a “pre-exposition.” I learned from and heavily used the great exposition “*Vector bundles on curves*” by *Montserrat Teixidor I Bigas* in this post. I wrote up the pre-requisites here.

In 1957, *Atiyah* in this famous paper “**Vector bundles over an elliptic curve**” classified indecomposable vector bundles of arbitrary rank and degree. Briefly, every vector bundle (locally free sheaf) is decomposed uniquely (up to the order) to the direct sum of indecomposable vector bundles and *the set of isomorphism classes of indecomposable vector bundles of a fixed rank and degree is isomorphic to the Jacobian of the curve which the latter is isomorphic to the curve itself.* The isomorphisms are *canonical* for vector bundles of degree zero and for higher degree, they *depend on the choice* of a *line bundle of degree one* (a base point on the curve) [“*Vector bundles on curves” by Montserrat Teixidor I Bigas, section 4.*]

An elliptic curve is a smooth projective curve of genus one over an algebraically closed field One may assume that Throughout, the words vector bundle and locally free sheaf are used interchangeably.

Denote by the set of isomorphism classes of indecomposable vector bundles of rank and degree where the degree of a vector bundle of rank is defined as the degree of the associated locally free sheaf which is

One can also show that is equal to the degree of its *determinant*.

**Case 1**: Vector bundles of degree zero

For every positive integer there exists a unique (self-dual) indecomposable vector bundle of rank and degree zero with only one section. It turns out that any indecomposable vector bundle of rank and degree zero is isomorphic to for a unique line bundle of degree zero. Therefore, the set (moduli space) of indecomposable vector bundles of degree zero on i.e. is (canonically) isomorphic to the moduli space of degree zero line bundles on which in turn by definition is the Jacobian of

**Case 2**: Vector bundles of non-negative degree (general case)

In general, let be a fixed line bundle of *degree one*, (which corresponds to fixing a base point) on then there is an isomorphism sending Note that

If there is an isomorphism sending to where is given by the following extension with

By these two operations, we can assume that and Moreover, if we will have and if then Note that non of these operations changes Thus, we can construct a sequence of isomorphisms with s.t. and This is the sequence of positive numbers, so it will terminate when and Hence, we have established the isomorphism

and by *case 1*, is isomorphic to the *Jacobian* of (and is isomorphic to the curve itself.)

That being said, the above isomorphism is *completely determined* up to the choice of a line bundle of *degree one*.

So far, we have achieved what we wanted. Let’s now, try to dig more. Denote by the element in corresponding to in

Proposition 1: a) Every vector bundle of rank and degree can be written as for some line bundle of degree zero.b) If then where run over the set of line bundles of order (in the Picard group)

c) If then

d) If then

e) If then

Here is some results involving stability and semi-stability of vector bundles on

Proposition 2: a) An indecomposable vector bundle of degree zero is semi-stable not stable.b) Indecomposable vector bundles are semi-stable and they are stable if and only if

For detailed and complete description of vector bundles on an elliptic curve, especially when the ground field is of look at Atiyah’s original paper.

## Leave a Reply