🔢 mathematics

New irreducible components of $\mathcal{B}(0,c_2)$ and Computation of the Dimension of its tangent space

This paper presents Macaulay2 code for computing tangent space dimensions to identify singular components of $\mathcal{B}(e,c_2)$ , specifically determining the dimension of the component $M_4$ of $\mathcal{B}(-1,6)$ and proving the existence of infinite families of irreducible components within $\mathcal{B}(0,c_2)$ .

Original authors: Aislan Fontes, Maxwell Santos

Published 2026-02-16

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Aislan Fontes, Maxwell Santos

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to map out a vast, invisible city called The Moduli Space. This isn't a city of buildings, but a city of shapes (specifically, complex geometric structures called "vector bundles" that live in a 4-dimensional universe called $\mathbb{P}^3$ ).

The goal of this paper is to find new neighborhoods in this city that nobody knew existed before.

Here is the breakdown of the paper using simple analogies:

1. The City and the Map

Think of the Moduli Space ( $B(0, c_2)$ ) as a giant map of all possible stable shapes you can build.

The "Chern Class" ( $c_2$ ): This is like the size or complexity of the shape. A shape with $c_2 = 6$ is bigger and more complex than one with $c_2 = 2$ .
The "Components": The map isn't just one big blob. It's made of distinct neighborhoods (called irreducible components). Each neighborhood contains shapes that are similar to each other.
The "Tangent Space": Imagine standing at a specific point in a neighborhood. The "tangent space" is like measuring how many different directions you can wiggle or move from that spot without leaving the neighborhood. If the space is "smooth," you can move freely. If it's "singular" (bumpy), you might be stuck or on a sharp edge.

2. The Tools: "Monads" as LEGO Sets

To build these shapes, the mathematicians use a specific construction method called a Monad.

The Analogy: Think of a Monad as a LEGO instruction manual.
- You have a pile of red bricks (Bundle A).
- You have a pile of blue bricks (Bundle B).
- You have a pile of green bricks (Bundle C).
- The "instruction" (the map $\alpha$ and $\beta$ ) tells you how to snap the red bricks onto the blue ones, and how the blue ones connect to the green ones.
- The final "shape" (the vector bundle) is what's left over after you snap everything together and remove the parts that cancel out.

The authors wrote a computer program (using a tool called Macaulay2) to act as a robotic builder. This robot follows the LEGO instructions, builds the shape, and then measures the "wiggle room" (the dimension of the tangent space) to see how big the neighborhood is.

3. The Discovery: Finding New Neighborhoods

Before this paper, mathematicians knew about three main types of neighborhoods in this city:

The Instanton District: The most famous, "expected" neighborhood.
The Ein District: A neighborhood built using a specific, older style of LEGO instructions.
The Modified Instanton District: A newer, slightly tweaked version of the first one.

The Problem:
For small shapes (low complexity), we knew exactly where all the neighborhoods were. But for a shape with complexity $c_2 = 6$ (and higher), the map was incomplete. There were rumors of a fourth neighborhood, but nobody knew its exact size or if it was smooth.

The Breakthrough:
The authors used their robotic builder to:

Measure the Fourth Neighborhood: They confirmed that for $c_2 = 6$ , there is indeed a fourth neighborhood (called $M_4$ ). They calculated its exact size (dimension 45) and proved it is a "smooth" place, not a bumpy edge.
Find Infinite New Districts: They didn't just find one new spot; they found two infinite families of new neighborhoods ( $V_0$ $V_{0}$ and $V_1$ $V_{1}$ ).
- The Analogy: Imagine you thought the city only had three types of suburbs. The authors found that if you build your LEGO sets using a specific new pattern (changing the numbers in the instruction manual), you create entirely new suburbs that are bigger and different from the old three.
- They proved that for very large, complex shapes, these new neighborhoods are so big that they can't possibly fit inside the old, known neighborhoods. They are unique.

4. The "Singular" Points

Sometimes, a neighborhood has a "bump" or a "kink" (a singular point).

The authors found that some of these new neighborhoods contain shapes that are "bumpy."
Why it matters: In the city of shapes, a "smooth" point is like a flat park where you can walk in any direction. A "singular" point is like a sharp peak or a cliff edge. Finding these helps us understand the rough terrain of the mathematical universe.

5. The Big Guess (Conjecture)

Finally, the authors looked at their LEGO patterns and made a bold guess (a conjecture).

They noticed a pattern: If you change the number of LEGO bricks in a specific way, you seem to generate more new neighborhoods.
They propose that this pattern works for any number of brick layers, not just the two they tested. It's like saying, "If you stack LEGO bricks in this specific spiral pattern, you will always find a new, unique city district, no matter how high you stack them."

Summary

In plain English:
The authors built a computer program to construct complex geometric shapes. They used it to measure the "size" of the space where these shapes live. They discovered that for certain sizes, there are new, previously unknown neighborhoods that are larger and different from the ones we already knew. They also proved that some of these new areas have "bumpy" spots, and they guessed that this discovery is just the beginning of a whole new series of mathematical neighborhoods.

1. Problem Statement

The paper addresses the classification and dimensionality of the moduli space $B(e, c_2)$ of stable rank-2 vector bundles on the projective space $\mathbb{P}^3$ with Chern classes $c_1 = e$ and $c_2$ .

Context: While the moduli space is known to be a quasiprojective scheme, the complete classification of its irreducible components is only established for small values of $c_2$ (specifically $c_2 \leq 5$ ).
Gap: For $c_2 \geq 6$ , the existence of "new" irreducible components (distinct from the known Instanton, Ein, and Modified Instanton components) was an open question. Furthermore, the exact dimension of certain components, such as the mysterious component $M_4$ in $B(-1, 6)$ , had not been rigorously computed.
Objective: The authors aim to:
1. Compute the dimension of the tangent space for specific stable bundles to determine the dimension of their irreducible components.
2. Prove the existence of infinite families of new irreducible components in $B(0, c_2)$ .
3. Determine the exact dimension of the component $M_4$ in $B(-1, 6)$ .

2. Methodology

The authors employ a combination of algebraic geometry theory and computational algebra:

Monads and Horrocks' Theorem: The study relies on representing stable rank-2 bundles as the cohomology of minimal monads (complexes of vector bundles $0 \to C \to B \to A \to 0$ ). The authors utilize the specific structure of these monads for $c_1=0$ and $c_1=-1$ .
Tangent Space Computation: The dimension of the moduli space at a point $[E]$ is bounded by $\dim \text{Ext}^1(E, E)$ . The authors use the relation:
$\dim T_{[E]} B(e, c_2) = \dim \text{Ext}^1(E, E)$
If $\dim \text{Ext}^1(E, E)$ exceeds the expected dimension of known components, it suggests the existence of a new component.
Macaulay2 Implementation: A significant portion of the methodology involves writing and executing Macaulay2 code to explicitly compute $\text{Ext}^1(E, E)$ for bundles defined by specific polynomial matrices ( $\alpha$ and $\beta$ ) in the monad. This allows for the precise calculation of tangent space dimensions in cases where theoretical bounds are insufficient.
Semi-continuity Arguments: The authors use the lower semi-continuity of cohomology dimensions to argue that if a family of bundles has a dimension larger than any known component, it must constitute a new irreducible component.
Serre Correspondence: Used to relate bundles to curves in $\mathbb{P}^3$ to analyze stability and cohomological properties.

3. Key Contributions and Results

A. Computation of Tangent Spaces and $M_4$ in $B(-1, 6)$

The authors provided a Macaulay2 code to compute $\dim \text{Ext}^1(E, E)$ for bundles arising from minimal monads.
Result: They proved that the irreducible component $M_4$ of $B(-1, 6)$ , whose existence was previously established in [FJ23], has an exact dimension of 45.
This was achieved by constructing a specific bundle $E$ as the cohomology of a minimal monad and showing $\dim \text{Ext}^1(E, E) = 45$ , matching the lower bound and proving $E$ is a smooth point of $M_4$ .

B. Discovery of Two New Infinite Families ( $V_0$ and $V_1$ )

The paper proves the existence of two new infinite families of irreducible components in $B(0, c_2)$ for $c_2 \geq 9$ .

Family $V_0$ (Theorem 4.4):
- Construction: Bundles arising from minimal monads with type $a = ((a-1)^2, 0^2)$ and $b = (a^2)$ for integers $a \geq 3$ .
- Chern Class: $c_2 = 4a - 2$ .
- Dimension: $\dim V_0 = 6a^2 + 6a + 8$ .
- Significance: The authors proved that $\dim V_0$ is strictly greater than the dimensions of the Instanton component ( $8c_2 - 3$ ), Ein components, and Modified Instanton components. Thus, $V_0$ constitutes a new irreducible component.
Family $V_1$ (Corollary 4.6 & Theorem 4.7):
- Construction: Bundles arising from minimal monads with type $a = ((a-1)^2, 1)$ and $b = (a^2)$ for integers $a \geq 3$ .
- Chern Class: $c_2 = 4a - 3$ .
- Dimension: $\dim V_1 = 6a^2 + 6a + 2$ .
- Significance: Similar to $V_0$ , the dimension exceeds all known components.
- Singularities: Theorem 4.7 further proves that the new component containing $V_1$ contains singular points. This is demonstrated by comparing two different bundles in the family with distinct tangent space dimensions ( $e$ vs. $\tilde{e}$ ), showing the component is not smooth everywhere.

C. Generalizations and Conjectures

The authors generalize these findings to monads of rank $k$ (denoted $M(a, b, k)$ ).
Conjecture 4.8: They propose that for any $k \geq 1$ and specific parameters, there exist stable bundles forming new irreducible components with dimensions exceeding the expected dimension.
Verification: They explicitly verify this conjecture for $k=3$ and $k=4$ , providing explicit matrix constructions and dimension formulas that confirm the existence of new components for these cases.

4. Significance

Expansion of Classification: The paper significantly advances the classification of moduli spaces of rank-2 bundles on $\mathbb{P}^3$ , moving beyond the previously known "small $c_2$ " cases.
Counter-Intuitive Dimensions: It demonstrates that for $c_2 \geq 9$ , the moduli space contains components with dimensions strictly larger than the "expected" dimension ( $8c_2 - 3$ ), challenging previous assumptions about the geometry of these spaces.
Computational Algebra in AG: The work serves as a robust example of how computational tools (Macaulay2) can be used to solve deep structural problems in algebraic geometry, specifically in computing cohomology groups that are intractable by hand.
Singularities: The discovery that these new components contain singular points adds a layer of complexity to the study of the global geometry of $B(0, c_2)$ .

In summary, Fontes and Santos utilize a blend of monad theory and computational verification to uncover infinite families of previously unknown irreducible components in the moduli space of rank-2 bundles, fundamentally altering the understanding of the space's structure for higher Chern classes.