Blowups of smooth hypersurfaces, their birational geometry and divisorial stability
Pith reviewed 2026-05-24 05:20 UTC · model grok-4.3
The pith
The blowup of a Fano hypersurface along a complete intersection is a Mori dream space with an explicit chamber decomposition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For smooth Fano hypersurface X and smooth positive-dimensional complete intersection Γ, the blowup Y has a Mori chamber decomposition that can be described explicitly, making Y a Mori dream space. When X is a hyperplane, the elementary Sarkisov links initiated by the blowup are classified. The decomposition is used to prove that certain such Y do not admit a Kähler-Einstein metric.
What carries the argument
The Mori chamber decomposition of the blowup Y along Γ, which organizes the birational models of Y.
If this is right
- Y is a Mori dream space.
- Y is Fano for specific choices of X and Γ.
- Elementary Sarkisov links from the blowup are classified when X is a hyperplane.
- Certain Fano manifolds obtained as such Y do not admit Kähler-Einstein metrics.
Where Pith is reading between the lines
- The explicit chambers could be used to study the automorphism groups or other invariants of these Y.
- This approach might generalize to blowups of other Fano varieties beyond hypersurfaces.
- The non-existence results for Kähler-Einstein metrics may inform conjectures on stability conditions for these manifolds.
Load-bearing premise
The minimal model program can be run on Y to produce the chamber decomposition without additional walls or complications from the geometry of Γ.
What would settle it
Finding an explicit example of X and Γ where Y has a different number of Mori chambers than described or where one of the claimed non-Kähler-Einstein manifolds actually admits such a metric would falsify the claims.
read the original abstract
Let $X$ be a smooth $n$-dimensional Fano hypersurface in $\mathbb P^{n+1}$ where $n \geq 3$. Let $\Gamma$ be a smooth positive-dimensional complete intersection of $X$, a hypersurface and one of more hyperplanes in $\mathbb P^{n+1}$. Let $Y \to X$ be the blowup of $X$ along $\Gamma$. Let $\varphi \colon Y \rightarrow X$ be the blowup of $X$ along $\Gamma$. We describe the Mori chamber decomposition of $Y$ and its associated birational models. In particular, we show that $Y$ is a Mori dream space. We classify for which $X$ and $\Gamma$ the variety $Y$ is a Fano manifold and, if $X$ is a hyperplane, we classify the elementary Sarkisov links initiated by $\varphi$. Finally, we use this Mori chamber decomposition above to prove that certain Fano manifolds as above do not admit a K\"ahler-Einstein metric.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the blowup Y → X of a smooth n-dimensional Fano hypersurface X ⊂ ℙ^{n+1} (n ≥ 3) along a smooth positive-dimensional complete intersection Γ ⊂ X. It computes the Mori chamber decomposition of the movable cone of Y (with Pic(Y) of rank 2 generated by the pullback of the hyperplane class and the exceptional divisor E), proves that Y is a Mori dream space, classifies the pairs (X, Γ) for which Y is Fano, classifies the elementary Sarkisov links starting from the blowup when X is a hyperplane, and uses the chamber data to construct test configurations showing that certain such Fano threefolds and higher do not admit Kähler-Einstein metrics.
Significance. If the explicit chamber computations and wall-crossing data are correct, the work supplies concrete, low-rank examples of Mori dream spaces arising as blowups, together with a classification of their Fano cases and an application to non-existence of KE metrics via Donaldson-Futaki invariants read off from the nef thresholds. The rank-2 setting makes exhaustive enumeration of chambers feasible, which is a methodological strength.
minor comments (3)
- [Abstract] Abstract: the map is denoted both by φ and by the blowup symbol; a single consistent notation (e.g., φ throughout) would improve readability.
- [Abstract] The title refers to 'divisorial stability,' yet the abstract and the listed results focus on the Mori chamber decomposition and its consequences for Fano classification and KE non-existence; a brief sentence relating the chamber data to divisorial stability would clarify the connection.
- [§3 (chamber computation)] The description of the curves generating the walls (lines in X disjoint from Γ, curves in the exceptional ℙ^{c-1}-bundle, proper transforms of lines meeting Γ) is clear in outline but would benefit from an explicit table listing the classes and their nef thresholds for the main cases (e.g., when c=2 or c=3).
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the recognition of its significance in providing concrete low-rank examples of Mori dream spaces and applications to Kähler-Einstein metrics. The report recommends minor revision but lists no specific major comments under the MAJOR COMMENTS section. Accordingly, we have no individual points to address point-by-point. We will be happy to make any minor adjustments if further details are provided by the editor or referee.
Circularity Check
No significant circularity identified
full rationale
The derivation proceeds by explicit computation of the Mori chamber decomposition on the rank-2 Picard lattice of Y, generated by the pullback of the hyperplane class and the exceptional divisor E. Nef thresholds for the relevant curve classes (lines in X disjoint from Γ, curves in the exceptional bundle, and proper transforms meeting Γ) are obtained directly from intersection numbers in this 2-dimensional vector space, partitioning the movable cone into chambers corresponding to birational models. The Fano condition follows from the standard ampleness criterion for -K_Y = φ^*(-K_X) - (c-1)E, and the non-existence of Kähler-Einstein metrics is read off from wall-crossing data yielding test configurations with negative Donaldson-Futaki invariant. All steps apply the minimal model program to a smooth terminal variety in the usual way, with exhaustive enumeration feasible due to low dimension; no step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain. The work is self-contained against external benchmarks of birational geometry.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard results from birational geometry and the minimal model program apply to the blowup Y of a smooth Fano hypersurface.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.