🔢 mathematics

Cylinders in weighted Fano varieties

This paper surveys recent known and new results regarding the anti-canonically polar cylindricity of quasi-smooth, well-formed weighted Fano complete intersections in weighted projective spaces, a topic of growing interest in birational and unipotent geometry.

Original authors: Adrien Dubouloz, In-Kyun Kim, Takashi Kishimoto, Joonyeong Won

Published 2026-03-13

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Adrien Dubouloz, In-Kyun Kim, Takashi Kishimoto, Joonyeong Won

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 understand the shape of a mysterious, multi-dimensional building. This building isn't made of bricks, but of complex mathematical rules. The paper you're asking about is a survey of a specific type of building called a "Weighted Fano Variety."

To make this understandable, let's break it down using a few creative analogies.

1. The "Cylinder" Analogy: The Infinite Hallway

In this paper, the most important concept is the "Cylinder."

The Math Definition: A cylinder in a shape is a hole you can dig out of it that looks exactly like a flat floor (a surface) stretched out infinitely in one direction (like a tube).
The Everyday Analogy: Imagine a solid block of cheese. If you can cut out a piece that looks like a long, infinite hallway (a floor plan extended forever), that block of cheese is "cylindrical."
Why it matters: In the world of math, having this "infinite hallway" inside a shape tells us something huge about how the shape can be twisted, stretched, or transformed. It's like finding a secret tunnel in a fortress that lets you escape or move around freely.

2. The "Weighted" Building: The Uneven Playground

The buildings in this paper are called "Weighted Projective Spaces."

The Math Definition: In a normal room, every direction is equal. In a "weighted" room, some directions are "heavier" or "stretched" more than others.
The Everyday Analogy: Imagine a trampoline. In a normal trampoline, if you bounce, you go up and down equally. But imagine a trampoline where the left side is made of heavy rubber and the right side is made of light rubber. If you bounce on the left, you sink deep; on the right, you fly high. The "weights" are the rules that tell you how much each direction stretches.
The "Complete Intersection": These buildings are formed by the intersection of several curved walls (like slicing a cake with multiple knives). The paper studies what happens when you slice these "heavy" trampoline rooms.

3. The Main Quest: Finding the "Infinite Hallway"

The authors are asking a simple question: "In these heavy, sliced, multi-dimensional buildings, can we find an infinite hallway?"

They found two main answers:

Answer A: The "Easy" Cases (The Smooth Slices)

Sometimes, the building is cut in a very specific way.

The Analogy: Imagine slicing a loaf of bread where the knife cuts perfectly through the center, parallel to the grain.
The Result: If the cut is "smooth" and follows a specific pattern (mathematically, if the degree of the cut equals the sum of two specific weights), you will find an infinite hallway. The building is "cylindrical."
The Catch: This only works if the "ground" (the field of numbers) is friendly enough. If the ground is "real numbers" (like our physical world) and the building is twisted just right, the hallway might disappear, even if it looks like it should be there.

Answer B: The "Hard" Cases (The Tricky Slices)

Most of the time, the answer is NO.

The Analogy: Imagine trying to find a straight hallway in a twisted, knotted ball of yarn. No matter how you look, the path is blocked by knots.
The Result: The authors show that for many of these shapes (especially 2D surfaces and 3D solids), the "infinite hallway" simply doesn't exist.
How do they know? They use "Security Cameras" (mathematical tools called obstructions).
- The Alpha-Invariant: Think of this as a "stability meter." If the building is too stable (too rigid), it cannot have a hole that stretches to infinity. The paper calculates this meter for many shapes and finds that for most, the meter is too high, meaning no hallway exists.
- The "K-Stability" Connection: There is a famous conjecture (a guess) that says: "If a building has no infinite hallway, it is perfectly stable." The authors found examples that break this rule, showing that a building can be stable and have no hallway, or unstable and have no hallway. It's a bit of a surprise!

4. The Dimensions Matter

The paper explores different sizes of these buildings:

2D (Surfaces): Like a crumpled piece of paper. They found that almost all of these "heavy" surfaces do not have infinite hallways, unless they are cut in that one specific "easy" way mentioned earlier.
3D (Solids): Like a heavy, twisted sculpture. Most of these are also "hallway-free," but there are a few special families where hallways do exist.
4D and Higher: Here, things get wild. In very tall, high-dimensional buildings, it becomes much easier to find these "infinite hallways." The authors even provided a recipe to build a 4D+ building that definitely has a hallway.

Summary: What is the Big Picture?

This paper is a map and a guidebook for mathematicians.

It surveys the landscape: It lists which of these weird, heavy, multi-dimensional shapes have "infinite hallways" (cylinders) and which don't.
It provides tools: It explains how to check for these hallways using "stability meters" and "security cameras."
It solves mysteries: It confirms that for most small shapes (2D and 3D), the hallways are missing, but for huge shapes (4D+), they are easy to find.
It challenges old guesses: It shows that the relationship between "having a hallway" and "being stable" is more complicated than we thought.

In a nutshell: The authors are exploring a universe of strange, heavy geometric shapes to see if they contain secret, infinite tunnels. They found that for small shapes, the tunnels are usually locked, but for giant, high-dimensional shapes, the doors are wide open.

1. Problem Statement and Context

The paper investigates the existence of cylinders in Fano varieties, specifically focusing on quasi-smooth, well-formed weighted Fano complete intersections in weighted projective spaces.

Definition of a Cylinder: A cylinder in a normal projective variety $X$ is a non-empty Zariski open subset $U \subset X$ isomorphic to $Z \times_k \mathbb{A}^1_k$ for some affine variety $Z$ .
Anti-Canonical Polar Cylindricity: A cylinder $U = X \setminus \text{Supp}(D)$ is called anti-canonically polar if the complement $D$ is an effective $\mathbb{Q}$ -divisor $\mathbb{Q}$ -linearly equivalent to $-K_X$ .
Motivation:
- Unipotent Actions: Cylinders are closely linked to unipotent group actions on generalized affine cones. While smooth rational surfaces are always cylindrical, this property is not a birational invariant for singular varieties.
- K-Stability Connection: There is a conjectural relationship between the non-existence of anti-canonical polar cylinders and K-polystability. Specifically, Conjecture 1.14 suggests that if a Fano variety lacks such cylinders, it should be K-polystable. However, recent counterexamples show this is not always true.
- Gap in Knowledge: While cylindrical properties of smooth Fano varieties are well-studied, the situation for singular Fano varieties (specifically weighted complete intersections) is less understood. The authors aim to survey techniques and provide new results regarding the cylindricity of these singular objects.

2. Methodology and Tools

The authors employ a combination of birational geometry, singularity theory, and invariant theory. Key methodological tools include:

Log-Resolution and Pseudo-effectiveness:
- The authors utilize Proposition 1.5, which states that if a normal projective variety $X$ contains a cylinder $X \setminus \text{Supp}(D)$ and $K_X + D$ is pseudo-effective, then the log pair $(X, D)$ is not log-canonical.
- This leads to Corollary 1.6: A normal Fano variety with log-canonical singularities and pseudo-effective canonical divisor cannot contain a cylinder.
$\alpha$ -invariant (Log Canonical Threshold):
- The $\alpha$ -invariant $\alpha(X)$ is defined as the supremum of $\lambda$ such that $(X, \lambda D)$ is log-canonical for all effective $D \sim_{\mathbb{Q}} -K_X$ .
- Theorem 1.10: If $\alpha(X) \geq 1$ , then $X$ does not contain any anti-canonical polar cylinder. This provides a powerful obstruction.
Weighted Projective Geometry:
- The paper relies heavily on the theory of weighted projective spaces $\mathbb{P}(a_0, \dots, a_n)$ and their subvarieties.
- Well-formedness: Ensures the singularities of the subvariety arise only from the ambient space (codimension $\geq 2$ intersection with singular locus).
- Quasi-smoothness: Ensures the affine cone over the variety is smooth outside the origin, implying the variety has at worst cyclic quotient singularities.
- Adjunction Formula: Theorem 2.17 provides the canonical divisor formula for quasi-smooth, well-formed weighted complete intersections, essential for determining Fano index.

3. Key Contributions and Results

A. General Obstructions and Basic Examples

Unipotent Actions: The authors confirm that varieties with non-trivial unipotent group actions are cylindrical (Proposition 1.2). However, they note that many cylindrical Fano varieties (e.g., smooth del Pezzo surfaces of degree $\leq 6$ ) do not admit such actions.
Weighted Projective Spaces: They establish that every weighted projective space contains an anti-canonically polar $\mathbb{A}^1$ -cylinder (Corollary 2.6). If a weight is 1, it contains an $\mathbb{A}^n$ -cylinder.

B. Cylindricity of Weighted Hypersurfaces

Cylindrical Families:
- Linear Cones: Hypersurfaces of degree $d = a_i$ are isomorphic to lower-dimensional weighted projective spaces and are cylindrical.
- Sum of Weights: Theorem 3.1 proves that a well-formed quasi-smooth hypersurface of degree $d = a_i + a_j$ (over a quadratically closed field) contains an anti-canonically polar $\mathbb{A}^1$ -cylinder.
Non-Cylindrical Families (Del Pezzo Surfaces):
- The authors review the classification of quasi-smooth del Pezzo hypersurfaces in $\mathbb{P}(a_0, a_1, a_2, a_3)$ .
- Theorem 3.4: For the 35 infinite families of such surfaces, none contain an anti-canonical polar cylinder (for $n > 2$ ). This is proven using $\alpha$ -invariants and specific geometric analysis (e.g., for Family No. 4).
- Conjecture 3.8: The authors propose that a quasi-smooth del Pezzo hypersurface admits an anti-canonical polar cylinder if and only if its degree is the sum of two weights ( $d = a_i + a_j$ ).
- Counterexamples to Conjecture 1.14: They highlight that many of these non-cylindrical surfaces are K-unstable, providing counterexamples to the conjecture that "no cylinder $\implies$ K-polystable."

C. Higher Dimensional Hypersurfaces (Fano Threefolds)

Terminal Singularities: Theorem 3.14 states that quasi-smooth, well-formed weighted Fano threefolds with terminal singularities and Fano index one do not contain any cylinder. This is because they are birationally rigid (hence not rational), and cylindrical varieties of Picard rank 1 and dimension $\leq 4$ must be rational (Corollary 3.12).
Rational but Non-Terminal: There exist rational quasi-smooth Fano threefolds with non-terminal singularities.
- Theorem 3.16: Identifies 20 specific families (out of 130) of rational Fano threefolds that are cylindrical.
  - 8 families contain $\mathbb{A}^3$ .
  - 12 families contain $(\mathbb{A}^1 \setminus \{0\}) \times \mathbb{A}^2$ .
- Open Problems: The status of 15 remaining families is partially resolved (some are non-rational, hence non-cylindrical), but the non-cylindricity of 5 specific families (No. 99, 108, 109, 117, 122) remains an open question.

D. Weighted Complete Intersections (Higher Codimension)

Surfaces (Codimension $\geq 2$ ):
- Theorem 4.1: For log del Pezzo surfaces of index one and codimension $\geq 2$ $\geq 2$ , the $\alpha$ $α$ -invariant is $\geq 1$ $\geq 1$ (implying non-cylindricity) except for two special cases:
  1. Multidegree $(2n, 2n)$ in $\mathbb{P}(1, 1, n, n, 2n-1)$ .
  2. Specific cases in $\mathbb{P}(1, 2, 3, 4, 5)$ with multidegree $(6, 8)$ lacking a specific monomial.
- This contrasts sharply with the hypersurface case, where cylindrical examples are more common.
Higher Dimensions ( $n \geq 6$ ):
- Theorem 4.3: The authors construct explicit examples of cylindrical weighted complete intersections in high dimensions ( $n \geq 6$ ). If the multidegree $(d_1, d_2)$ satisfies specific additive relations with the weights (e.g., $d_1 = a_i + a_{i1} = a_j + a_{j1}$ ), the variety contains an $\mathbb{A}^{n-5}$ -cylinder.
- Theorem 4.6: Generalizes this to codimension $c$ , showing that under specific arithmetic conditions on weights and degrees, the variety contains an $\mathbb{A}^{n+1-c(c+1)}$ -cylinder.

4. Significance and Impact

Classification of Cylindricity: The paper provides a near-complete classification of cylindricity for quasi-smooth weighted Fano hypersurfaces and complete intersections, distinguishing clearly between cylindrical and non-cylindrical families based on arithmetic conditions of weights and degrees.
Refining K-Stability Conjectures: By identifying numerous examples of K-unstable Fano varieties that lack anti-canonical polar cylinders, the paper provides strong evidence that the relationship between cylindricity and K-stability is more complex than previously conjectured (refuting the simple converse of Conjecture 1.14).
New Construction Techniques: The construction of high-dimensional cylindrical complete intersections (Theorems 4.3 and 4.6) offers new methods for generating examples of varieties with unipotent group actions, which are crucial for the study of affine geometry and generalized affine cones.
Open Problems: The paper clearly delineates the boundary of current knowledge, posing specific questions (e.g., Question 3.15 and 3.18) regarding the existence of cylinders in specific families of Fano threefolds, guiding future research in birational geometry.

In summary, this article serves as a comprehensive survey and a source of new theorems, bridging the gap between the birational geometry of singular Fano varieties and the theory of unipotent group actions, while critically testing the limits of K-stability conjectures.