Ulrich bundles on smooth toric threefolds with Picard number $2$

This paper investigates Ulrich bundles on smooth toric threefolds with Picard number 2 by constructing resolutions and monads for bundles of arbitrary rank, classifying those pulled back from $\mathbb{P}^2$, and proving that these varieties are Ulrich wild.

The Gist

Imagine you are an architect trying to understand the hidden blueprints of a very specific, complex building. This building isn't made of bricks and mortar, but of pure mathematics. It's a "smooth toric threefold with Picard number 2." That's a mouthful, so let's translate it:

Think of this building as a tower built on top of a flat, triangular foundation (which mathematicians call $\mathbb{P}^2$, or the projective plane). The tower isn't just a straight column; it's a bundle of lines that twist and stretch as they go up. The "Picard number 2" just means there are two main ways to measure the size and shape of this tower.

The paper by Debojyoti Bhattacharya and Francesco Malaspina is about finding special "skeletons" or "scaffolding" inside this building. These skeletons are called Ulrich bundles.

What is an Ulrich Bundle? (The Perfect Scaffolding)

In the world of math, there are many ways to build things, but some ways are messy and inefficient. An Ulrich bundle is like the perfect, most efficient scaffolding you can possibly build on a structure.

• The Analogy: Imagine you need to paint a giant, complex sculpture. You could drape random sheets of cloth over it (messy, hard to calculate), or you could build a frame that fits the sculpture exactly so that every single piece of cloth is used perfectly with no waste.
• The Math: An Ulrich bundle is a vector bundle (a mathematical object that attaches a "space" to every point of the building) that has the maximum possible number of "generators." In plain English, it's the most "generous" and "complete" structure you can have. It's so well-organized that it reveals the true complexity of the building it sits on.

The Big Goal: Mapping the Unknown

For a long time, mathematicians knew these perfect scaffolds existed on simple buildings (like flat planes or cubes). But they didn't know how to build them on this specific type of twisted tower ($X$).

The authors' mission was to answer two questions:

1. How do we build them? (Can we write down the exact blueprints?)
2. Are there so many of them that we can't count them? (Is the variety "wild"?)

The Tools: The "Beilinson Spectral Sequence" (The Magic X-Ray)

To solve this, the authors used a powerful mathematical tool called the Beilinson spectral sequence.

• The Analogy: Imagine you have a locked safe (the Ulrich bundle) and you don't know what's inside. You have a special X-ray machine (the spectral sequence) that can look at the safe from different angles.
• How it works: The machine takes the safe, breaks it down into its simplest components (like line bundles, which are just simple strings), and then shows you how to reassemble them.
• The Result: The authors used this "X-ray" to prove that every Ulrich bundle on this tower can be built by stitching together specific, simple pieces of string (mathematical line bundles) in a very specific pattern. They wrote down the exact recipe (a "resolution") for how to do this for any size of bundle.

The "Pullback" Trick: Copying from the Ground Floor

One of the most interesting parts of the paper is about pullbacks.

• The Analogy: Imagine the foundation of your tower is a flat, perfect garden ($\mathbb{P}^2$). You have some beautiful, pre-made flower arrangements (Ulrich bundles) in that garden. The authors asked: "If we lift these flower arrangements up into the tower, do they still look perfect?"
• The Discovery: They found a complete list of exactly which flower arrangements work when lifted up.
  • If the tower is twisted in a specific way, only certain arrangements survive the trip up.
  • They classified these "lifted" bundles perfectly. It's like saying, "If you want a perfect scaffold in the tower, you can only get it by lifting up a perfect scaffold from the garden, unless you twist the garden in a very specific way."

The Shocking Conclusion: "Ulrich Wild"

The most exciting discovery is at the end. The authors proved that these towers are "Ulrich Wild."

• What does "Wild" mean? In math, "Wild" is a scary word. It means the system is so complex that you can't possibly list or classify all the possible variations. It's like trying to count every possible shape a cloud can take.
• The Analogy: If a building is "tame," you can say, "There are exactly 5 types of windows." If it's "wild," you have to say, "There are infinite types of windows, and they can be shaped in ways you can't even describe with a simple list."
• The Result: The authors showed that for almost every version of this tower, the number of different ways to build these perfect scaffolds is infinite and chaotic. This is a huge deal because it tells us these mathematical objects are incredibly rich and complex.

Summary for the Everyday Reader

1. The Problem: Mathematicians wanted to understand the "perfect structures" (Ulrich bundles) inside a specific type of 3D mathematical tower.
2. The Method: They used a high-tech "X-ray" (Beilinson spectral sequence) to break these structures down into simple building blocks and write down the exact recipe to build them.
3. The Connection: They figured out exactly how to take perfect structures from the flat ground and lift them up into the tower.
4. The Big Reveal: They discovered that these towers are "Wild." This means there are so many different ways to build these perfect structures that they are impossible to fully list or categorize. The universe of these mathematical objects is vast, chaotic, and beautiful.

In short, the paper provides the instruction manual for building these perfect structures and then reveals that the factory producing them is infinitely complex.

Technical Summary

Here is a detailed technical summary of the paper "Ulrich bundles on smooth toric threefolds with Picard number 2" by Debojyoti Bhattacharya and Francesco Malaspina.

1. Problem Statement and Context

The paper addresses the existence, classification, and structural properties of Ulrich bundles on a specific class of algebraic varieties: smooth toric threefolds with Picard number 2.

• Geometric Setting: The varieties under study are projective bundles over the projective plane $\mathbb{P}^2$, defined as $X = \mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(a_0) \oplus \mathcal{O}_{\mathbb{P}^2}(a_1))$ with $0 < a_0 \leq a_1$. These are the only smooth toric threefolds with Picard number 2.
• Ulrich Bundles: An Ulrich bundle $E$ on a projective variety $X$ of dimension $n$ is an arithmetically Cohen-Macaulay (aCM) vector bundle such that its minimal graded free resolution over the homogeneous coordinate ring is linear. Equivalently, $H^i(X, E(-t)) = 0$ for all $i \geq 0$ and $1 \leq t \leq n$.
• The Challenge: While Ulrich bundles are conjectured to exist on all projective varieties, their explicit construction and classification on higher-dimensional toric varieties (specifically threefolds) remain difficult. The authors aim to provide a complete structural description (resolutions and monads) and a classification of pullback bundles for this specific family of threefolds.

2. Methodology

The authors employ a combination of cohomological vanishing techniques, derived category theory, and spectral sequences.

• Cohomological Vanishing (Section 2):

  • The authors first establish a comprehensive list of cohomological vanishing results for Ulrich bundles $E$ and their twists by the pullback of the cotangent bundle of the base, $\Omega_\pi = \pi^*\Omega^1_{\mathbb{P}^2}$.
  • They utilize short exact sequences (S.E.S.) derived from the relative Euler sequence and the pullback of the Euler sequence on $\mathbb{P}^2$.
  • They prove that Ulrich bundles on $X$ are Castelnuovo-Mumford regular in a specific sense adapted to scrolls, which is crucial for bounding the degrees in resolutions.
  • They refine these bounds using a generalized Hoppe's criterion for polycyclic varieties.

• Beilinson Spectral Sequences (Section 3):

  • To construct resolutions, the authors utilize the Beilinson spectral sequence.
  • They identify a full strong exceptional collection $\langle E_0, \dots, E_5 \rangle$ in the bounded derived category $D^b(X)$ and its corresponding right dual collection $\langle F_0, \dots, F_5 \rangle$.
  • By computing the cohomology groups $H^k(E \otimes E_j)$ using the vanishing results from Section 2, they construct a Beilinson table. This table collapses to yield an explicit finite free resolution of the Ulrich bundle $E$ in terms of line bundles on $X$.

• Classification of Pullbacks (Section 4):

  • The authors analyze bundles of the form $G_\pi[a \atop b] = \pi^*(G)(ah + bf)$, where $G$ is a bundle on $\mathbb{P}^2$.
  • They leverage known results on Veronese surfaces (specifically Ulrich bundles on $(\mathbb{P}^2, dH)$) to characterize exactly when such pullbacks are Ulrich on $X$.

3. Key Contributions and Results

A. Resolution of Arbitrary Rank Ulrich Bundles

The paper provides a general resolution for any Ulrich bundle $E$ on $X$. Let $h$ and $f$ be the generators of $\text{Pic}(X)$ (where $h = \mathcal{O}_X(1)$ and $f = \pi^*\mathcal{O}_{\mathbb{P}^2}(1)$). The authors define notation $F[a \atop b] = F(ah + bf)$.

Theorem 3.1: Any Ulrich bundle $E$ on $X$ fits into an exact sequence:
0 \to \mathcal{O}_X[-1 \atop -1]^{\oplus a_{0}^{-1,c-2}} \to \mathcal{O}_X[-1 \atop 0]^{\oplus b_{0}^{-1,c}} \oplus \mathcal{O}_X[0 \atop -2]^{\oplus a_{0}^{0,-1}} \to \mathcal{O}_X[-1 \atop 1]^{\oplus a_{0}^{-1,c-1}} \oplus \mathcal{O}_X[0 \atop -1]^{\oplus b_{0}^{0,1}} \to \mathcal{O}_X^{\oplus a_{0}^{0,0}} \to E \to 0
Here, the exponents $a_{i}^{j,k}$ and $b_{i}^{j,k}$ are dimensions of specific cohomology groups of $E$ and $E \otimes \Omega_\pi$.

B. Special Cases and Monadic Descriptions

• Low $c$ values: For $c = a_0 + a_1 \leq 3$, the resolution simplifies significantly (Proposition 3.2).
• Monad Descriptions: Under specific conditions (e.g., $a_0 = a_1$ or $c=3$) and vanishing of certain cohomology groups, the authors show that $E$ (or a twist of it) arises as the homology of a monad (a complex of the form $0 \to A \to B \to C \to 0$). This provides a more compact structural description than the full resolution.

C. Classification of Pullback Bundles

The paper completely classifies Ulrich bundles on $X$ that are pullbacks from $\mathbb{P}^2$.
Proposition 4.1: A twisted pullback $G_\pi[a \atop b]$ is Ulrich on $X$ if and only if one of the following holds:

1. $a=0, a_0=a_1, b=c-a_0$, and $G$ is Ulrich on $(\mathbb{P}^2, a_0H)$.
2. $a=1, b=-c$, and $G$ is Ulrich on $(\mathbb{P}^2, cH)$.
3. $a=2, a_0=a_1, b=-2a_0$, and $G$ is Ulrich on $(\mathbb{P}^2, a_0H)$.

D. Specific Classifications

Using the above proposition, the authors derive:

• Ulrich Line Bundles (Corollary 4.3): $\mathcal{O}_X[a \atop b]$ is Ulrich iff $(a_0, a_1, a, b) = (1, 1, 0, 1)$ or $(1, 1, 2, -2)$.
• Twisted Cotangent Bundles (Corollary 4.5): Complete classification of when $\Omega_\pi[a \atop b]$ is Ulrich.

E. Ulrich Wildness

Corollary 4.6: The variety $X$ is Ulrich wild.

• Reasoning: The classification of Ulrich bundles on $X$ reduces to the classification of Ulrich bundles on Veronese surfaces $(\mathbb{P}^2, dH)$. Since $(\mathbb{P}^2, dH)$ is of wild representation type for $d > 2$, and $X$ admits pullbacks from these surfaces, $X$ inherits this wildness. Even for the case $(a_0, a_1) = (1, 1)$, wildness is established via previous literature.

4. Significance

1. Structural Insight: The paper moves beyond mere existence proofs to provide explicit resolutions and monadic descriptions for Ulrich bundles of arbitrary rank on a non-trivial class of threefolds. This is a significant step in understanding the complexity of vector bundles on toric varieties.
2. Wildness Confirmation: By proving these varieties are "Ulrich wild," the authors demonstrate that the moduli spaces of stable Ulrich bundles on these threefolds are not of finite type (they contain families of arbitrary dimension), highlighting the rich and complex geometry of these varieties.
3. Methodological Framework: The combination of Beilinson spectral sequences with specific cohomological vanishing theorems tailored to projective bundles over $\mathbb{P}^2$ provides a robust template that could be applied to other toric varieties or scrolls.
4. Open Problems: The paper concludes by identifying gaps in current knowledge, specifically regarding the characterization of rank-2 Ulrich bundles that are not pullbacks and the existence of odd-rank non-pullback Ulrich bundles, setting the stage for future research.

In summary, this work provides a comprehensive algebraic and geometric analysis of Ulrich bundles on a specific family of toric threefolds, offering explicit constructions, a complete classification of pullbacks, and a proof of their wild representation type.