$IT_0$ bundles on Jacobian Variety of a Curve

This paper proves that for a smooth complex projective curve of genus $g>1$, the Fourier–Mukai transform of a semistable vector bundle with slope greater than $2g-2$, when twisted by the principal polarization of the Jacobian, satisfies the$\mathrm{IT}_0$ property.

The Gist

Imagine you are an architect trying to build a perfect, stable skyscraper (a mathematical object) on a very strange, curved piece of land called a Jacobian Variety. This land is complex, full of twists and turns, and hard to navigate.

The paper by Pabitra Barik is essentially a blueprint showing how to build a specific type of "super-stable" structure on this land, starting from a simpler, well-behaved foundation.

Here is the story of the paper, broken down into everyday concepts:

1. The Starting Point: The "Seed" (The Curve and the Bundle)

Imagine a smooth, winding river (the Curve, $C$). On this river, you have a floating garden (a Vector Bundle, $V$).

• The Condition: The paper says this garden must be "rich" enough. Specifically, it needs to have a certain amount of "fertilizer" (mathematical slope) relative to its size. If the fertilizer is too low, the garden is weak. The author insists the fertilizer level must be high ($> 2g - 2$).
• The Goal: We want to take this garden and transplant it onto the complex, curved land (the Jacobian, $A$) to see what happens.

2. The Map: The "Abel-Jacobi" Bridge

To move the garden from the river to the land, we use a special bridge called the Abel-Jacobi map.

• Think of this as a conveyor belt that takes every point on your river garden and places it onto the Jacobian land.
• When we push the garden across this bridge, it becomes a new object ($a_*V$) sitting on the Jacobian.

3. The Magic Machine: The "Fourier-Mukai" Transform

Now comes the magic. We put this new object into a machine called the Fourier-Mukai transform.

• Analogy: Imagine you have a blurry photo of a landscape. You run it through a special filter (the transform) that rearranges the pixels based on how they vibrate or resonate with the background.
• In math, this machine takes a messy collection of data on the Jacobian and reorganizes it into a new, cleaner structure (let's call it $E$).
• The paper proves that if your original garden was rich enough, this machine produces a perfectly smooth, solid building (a locally free sheaf) rather than a pile of rubble.

4. The Big Challenge: The "IT0" Property

The ultimate goal of the paper is to prove that this new building ($E$) has a special superpower called the IT0 property.

What is IT0?
In the world of these mathematical buildings, "IT0" means the building is incredibly stable and flexible.

• The Metaphor: Imagine you are testing a building by shaking it with different types of wind (represented by $\alpha$, which are just different "twists" or perspectives).
• A normal building might wobble, crack, or collapse when hit by a specific wind.
• An IT0 building is so perfectly engineered that no matter what wind you blow at it, it never wobbles. It has zero "instability" in any direction.
• In math terms, this means certain "holes" or "gaps" (cohomology groups) in the building are completely empty. There is no structural weakness.

5. The Twist: Adding "Fertilizer" ($\Theta$)

Here is the clever trick the author uses.

• The raw output of the machine ($E$) is good, but not quite perfect yet.
• The author says: "Let's give this building a little extra boost." They wrap the building in a special layer called $\Theta$ (the principal polarization).
• Think of $\Theta$ as a reinforced exoskeleton or a super-fertilizer.
• Once you add this layer, the building becomes $E(\Theta)$.

6. The Grand Conclusion

The paper proves a beautiful chain reaction:

1. Start with a rich, stable garden on the river.
2. Move it to the complex land.
3. Run it through the magic filter.
4. Wrap the result in the special exoskeleton ($\Theta$).
5. Result: You get a structure that is IT0.

Why does this matter?
In the real world of mathematics, structures with the IT0 property are gold. They are the "Ulrich bundles"—the most efficient, perfectly packed structures possible. They are used to solve deep problems about how shapes fit together in higher dimensions.

Summary in one sentence:
The paper shows that if you take a sufficiently rich mathematical object from a curve, run it through a specific transformation machine, and give it a little extra "boost," you end up with a perfectly stable, unshakeable structure on a complex geometric landscape.

Technical Summary

Based on the provided text, here is a detailed technical summary of the paper "IT0 bundles on Jacobian Variety of a Curve" by Pabitra Barik.

1. Problem Statement

The paper addresses the construction and characterization of vector bundles on the Jacobian variety $A = J(C)$ of a smooth complex projective curve $C$ of genus $g > 1$. Specifically, the author seeks to establish conditions under which a vector bundle on $A$, derived from a vector bundle on $C$, satisfies the IT0 property (Index Theorem with index 0).

The IT0 property is a strong regularity condition in the sense of Pareschi–Popa, implying that a bundle is continuously globally generated. The central challenge is to determine how the stability and positivity of a vector bundle $V$ on the curve $C$ translate into cohomological vanishing properties for its Fourier–Mukai transform on the Jacobian.

2. Methodology

The paper employs Fourier–Mukai transform techniques combined with the geometry of the Abel–Jacobi embedding. The methodology proceeds through the following logical steps:

• Geometric Setup:

  • Fix a base point $x_0 \in C$ to define the Abel–Jacobi morphism $a: C \to A$, where $a(x) = \mathcal{O}_C(x - x_0)$.
  • Identify the Jacobian $A$ with its dual $\hat{A}$ via the principal polarization $\Theta$.
  • Utilize the normalized Poincaré bundle $\mathcal{P}$ on $A \times \hat{A}$ to define the Fourier–Mukai functor $\Phi_{\mathcal{P}}$.

• Input Data:

  • Start with a semistable vector bundle $V$ on $C$ satisfying a strict slope positivity condition: $\mu(V) > 2g - 2$.
  • Consider the pushforward $a_*V$ on $A$.

• Transform and Twist:

  • Compute the Fourier–Mukai transform $E = \Phi_{\mathcal{P}}(a_*V)$.
  • Apply a twist by the principal polarization $\Theta$ to form the bundle $E(\Theta) = E \otimes \mathcal{O}_A(\Theta)$.

• Cohomological Analysis:

  • Use derived base change to relate the fibers of the transform on $A$ to the cohomology of the original bundle on $C$.
  • Specifically, utilize the identity: $E \otimes^L k(\alpha) \simeq R\Gamma(C, V \otimes a^*\mathcal{P}_\alpha)$.
  • Leverage Serre duality and the definition of semistability to prove vanishing theorems for $H^1$ on the curve.

3. Key Contributions and Results

A. WIT0 Property and Local Freeness

The paper first establishes that under the condition $\mu(V) > 2g - 2$, the pushforward $a_*V$ satisfies the WIT0 (Weak Index Theorem of index 0) property.

• Result: The higher derived functors vanish ($R^i\Phi_{\mathcal{P}}(a_*V) = 0$ for $i > 0$).
• Consequence: The transform $E = \Phi_{\mathcal{P}}(a_*V)$ is a locally free sheaf (a vector bundle) on $A$.
• Rank Formula: The rank of $E$ is explicitly computed as:
  $$\text{rk}(E) = \deg(V) + \text{rk}(V)(1 - g)$$
  This is derived from the Riemann–Roch theorem on $C$, noting that $H^1(C, V) = 0$ due to the slope condition.

B. The IT0 Property for the Twisted Bundle

The primary result of the paper is the proof that the twisted bundle $E(\Theta)$ satisfies the IT0 property.

• Definition: A bundle $F$ is IT0 if $H^i(A, F \otimes \alpha) = 0$ for all $i > 0$ and all $\alpha \in \text{Pic}^0(A)$.
• Mechanism:
  1. The cohomology $H^i(A, E(\Theta) \otimes \alpha)$ is reduced to $H^i(C, V \otimes a^*\mathcal{O}_A(\Theta) \otimes a^*\mathcal{P}_\alpha)$.
  2. The degree of the pullback $a^*\mathcal{O}_A(\Theta)$ is $g$.
  3. The slope of the new bundle on the curve becomes $\mu(V) + g$.
  4. Given $\mu(V) > 2g - 2$, the new slope satisfies $\mu(V) + g > 3g - 2 > 2g - 2$.
  5. By the uniform $H^1$-vanishing lemma (Lemma 2.1), $H^1$ vanishes for any twist by a degree 0 line bundle.
  6. Since $C$ is a curve, $H^i = 0$ for $i \geq 2$ automatically.
• Conclusion: $H^i(A, E(\Theta) \otimes \alpha) = 0$ for all $i > 0$.

4. Significance

• Construction of Regular Bundles: The paper provides a concrete method to generate vector bundles on abelian varieties (specifically Jacobians) that satisfy strong regularity conditions (IT0).
• Ulrich Bundles: The introduction mentions that these results are a step toward constructing Ulrich bundles, which are vector bundles with maximal cohomological vanishing and play a crucial role in commutative algebra and the study of syzygies.
• Bridge between Curve and Jacobian: The work demonstrates how positivity conditions on a curve (slope stability) translate directly into structural properties (local freeness, global generation) on the Jacobian via Fourier–Mukai transforms.
• Explicit Computability: Unlike existence proofs, this approach yields explicit formulas for the rank and fibers of the resulting bundles, making them amenable to further geometric study.

In summary, Barik proves that for any semistable vector bundle $V$ on a curve $C$ with sufficiently high slope ($\mu > 2g-2$), the Fourier–Mukai transform of its Abel–Jacobi pushforward, when twisted by the principal polarization, yields a vector bundle on the Jacobian that is IT0, and thus continuously globally generated.