🔢 mathematics

Varieties with two smooth blow up structures

The paper classifies smooth projective varieties of Picard rank 2 that can be realized as two different blow-ups of projective space along smooth subvarieties of varying dimensions, thereby providing a characterization of the quadro-cubic Cremona transformation.

Original authors: Supravat Sarkar

Published 2026-04-28

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Supravat Sarkar

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 a master architect who has discovered a very strange, magical building. This building is so unique that it can be "unfolded" or "deconstructed" in two completely different ways, and both ways lead back to a perfectly simple, empty plot of land (which mathematicians call "Projective Space").

This paper, written by Supravat Sarkar, is essentially a mathematical detective story where the author proves that there is only one specific type of "magical building" that can be deconstructed this way using two different sets of blueprints.

Here is the breakdown of the mystery:

1. The Concept: The "Two-Way Mirror" Building

In geometry, there is a process called a "Blow-up." Imagine you have a smooth, flat piece of paper. If you decide to "blow up" a single point on that paper, you aren't just making it bigger; you are actually replacing that tiny point with a whole new dimension (like turning a dot into a tiny circle). It’s like taking a single pixel on a screen and expanding it into a beautiful, detailed ring.

Most geometric shapes can only be "blown up" from a simple shape in one specific way. However, some rare, complex shapes are "double agents." They can be viewed as the result of blowing up a simple space along a line, OR they can be viewed as the result of blowing up that same space along a different, more complex shape (like a curve or a surface).

2. The Mystery: The "Quadro-Cubic" Transformation

The author is looking for varieties (shapes) that have two different "blow-up" structures of different dimensions.

Think of it like a Rubik's Cube that, if you twist it one way, looks like a sphere, but if you twist it another way, looks like a donut. The author asks: "How many shapes in the entire universe of mathematics can do this?"

The paper focuses on a specific, legendary transformation called the Quadro-Cubic Cremona transformation. This is a mathematical "magic trick" where you transform one space into another using complex equations, and it has a very specific "base locus" (the parts of the shape that get messy or "broken" during the transformation).

3. The Detective Work: The Proof

The author uses several heavy-duty mathematical tools to hunt down the answer:

The Intersection Numbers (The "Accounting" Phase): The author treats the different parts of the shape like a bank account. They calculate how different dimensions "intersect" or overlap. If the math doesn't balance (if the "money" doesn't add up), that specific shape cannot exist.
The Contradiction (The "Gotcha!" Moment): This is the heart of the paper. The author says, "Let's assume there is another shape that works." They then run all the numbers through a series of rigorous tests (Lemmas 2.1 through 2.7).
Eventually, they reach a point where the math says something impossible, like: "The number of dimensions must be greater than 10, but also less than 5." Since a number cannot be both, the original assumption—that another shape exists—must be false.

4. The Conclusion: The Lone Survivor

After eliminating all other possibilities through intense calculation, the author reaches the final verdict: Theorem A.

The theorem states that there is only one such case. The only shape that can be deconstructed in these two specific ways is the one associated with the Quadro-Cubic transformation in a 4-dimensional space.

In short: The paper proves that in the vast, infinite playground of geometry, there is only one "double-agent" shape that fits this specific, complex description. The author has successfully mapped the boundaries of a very rare mathematical phenomenon.

This paper, titled "Varieties with two smooth blow up structures" by Supravat Sarkar, provides a classification of a specific class of smooth projective varieties. Below is a detailed technical summary of the work.

1. The Problem

The central research question is to classify smooth projective varieties of Picard rank 2 that possess two distinct structures of a blow-up of a projective space $\mathbb{P}^n$ along smooth subvarieties of different dimensions.

Mathematically, the author considers a variety $X$ such that there exist two morphisms:

$p: X \to \mathbb{P}^n$ (a blow-up along a smooth subvariety $Z_1$ )
$q: X \to \mathbb{P}^n$ (a blow-up along a smooth subvariety $Z_2$ )

where $\dim Z_1 \neq \dim Z_2$ . This setup is intrinsically linked to Cremona transformations: the composition $\phi = p \circ q^{-1}$ defines a birational map $\mathbb{P}^n \dashrightarrow \mathbb{P}^n$ . The paper seeks to identify all such varieties and, by extension, characterize the specific Cremona transformations that give rise to them.

2. Methodology

The author employs several advanced techniques from algebraic geometry to constrain the possible values of the dimensions, degrees, and intersection numbers of the varieties involved:

Intersection Theory and Picard Groups: The author uses the basis of the Picard group $\text{Pic}(X)$ (consisting of the pullbacks of the hyperplane classes $H_i$ and the exceptional divisors $E_i$ ) to establish divisibility relations and equalities between intersection numbers.
Chern Classes and Vector Bundles: By treating the exceptional divisor as a projective bundle $\mathbb{P}(N^*)$ (where $N$ is the normal bundle), the author utilizes the structure of the Chow ring/Cohomology ring to relate the Chern classes of the normal bundles to the intersection numbers of the variety.
Cohomology and Betti Numbers: The author uses the Barth-Larsen Theorem and the Hard Lefschetz Theorem to place constraints on the Betti numbers ( $b_i$ ) of the subvarieties $Z_1$ and $Z_2$ , ensuring they are consistent with the cohomology of the total space $X$ .
Numerical Contradiction: The proof relies heavily on "bounding and squeezing" parameters. By deriving strict inequalities for the dimension $n$ and the degree $d_2$ , the author shows that most potential cases lead to mathematical absurdities (e.g., $n < 0$ or $d_2 < 49$ while simultaneously requiring $d_2 \geq 49$ ).

3. Key Contributions and Results

The paper's primary contribution is the proof of Theorem A, which provides a complete classification.

Theorem A (The Main Result)

The author proves that there is only one such variety (up to isomorphism). Specifically:

The dimension must be $n = 4$ .
The birational map $\phi$ is the quadro-cubic Cremona transformation.
The base locus $Z_1$ is a smooth quintic elliptic scroll ( $\dim Z_1 = 2$ ), and the base locus $Z_2$ is a smooth quintic elliptic curve ( $\dim Z_2 = 1$ ).

Supporting Technical Results

Multiplicity Proof: A significant technical achievement is proving that the multiplicity $a$ of the base locus is exactly $1$. This is done without assuming the Hartshorne conjecture on complete intersections, which was a requirement in previous literature (e.g., [5]).
Refinement of Theorem 3.2: The author narrows down the possible numerical parameters $(n, a, c, d, m_1, m_2)$ to only two candidates, then uses a rigorous calculation of the intersection ring to eliminate the second candidate ( $n=9$ ), leaving only the $n=4$ case.

4. Significance

The significance of this paper lies in both its classification power and its theoretical implications:

Characterization of Cremona Transformations: It provides a geometric characterization of the quadro-cubic Cremona transformation through the lens of birational geometry and blow-up structures.
Closing a Gap in Literature: While varieties with two projective bundle structures or two $\mathbb{P}^1$ -bundle structures have been extensively studied, the case of two smooth blow-up structures was comparatively under-explored. This paper fills that gap.
Independence from Unproven Conjectures: By proving $a=1$ through direct intersection-theoretic methods rather than relying on the Hartshorne conjecture, the author provides a more robust and self-contained result than previous works.