Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.27676

Nef complexity of klt Fano varieties: the full spectrum and classification below two

Kiwamu Watanabe
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $X$ be a complex klt Fano variety. We study the rational total index $τ_X$ and the nef complexity $c_X=\dim X+ρ(X)-τ_X$. Previous joint work of the author with Enwright, Filipazzi, Gongyo, Moraga, Svaldi, and Wang established the corresponding nonnegativity and zero-case characterization in the broader framework of a special class of generalized log Calabi--Yau pairs. Here we give a direct proof in the Fano setting, prove that there is no value strictly between zero and one, and classify all klt Fano varieties with $c_X<2$, without assuming $\mathbb Q$-factoriality. At complexity one, after splitting off projective-space factors, the remaining factor is a normal quadric of Picard number one, a linear blow-up of projective space, or an integral $(1,1)$ hypersurface in a product of projective spaces. If $1<c_X<2$, only two weighted-projective families occur; in particular, no smooth Fano variety has nef complexity strictly between one and two. We also determine the spectrum when the dimension is allowed to vary: \[ \{0\}\cup\left\{2-\frac2q \ \middle| \ q\in\mathbb Z_{\geq2}\right\} \cup(\mathbb Q\cap[2,\infty)). \] Most proofs in this paper were developed from arguments generated by OpenAI's ChatGPT through discussions initiated and guided by the author; see the statement on the use of generative AI.

Explore related subjects

math.AGmath.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kiwamu Watanabe. 2026-10-20. Nef complexity of klt Fano varieties: the full spectrum and classification below two. https://arxiv.org/abs/2610.27676

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Automorphisms of Plane Curves defined from Chebychev polynomials

For any $d\geq 4$ we determine the automorphism groups of the algebraic curves \[ \mathcal{C}_d : y^d = φ_d(x), \] where $φ_d(x)$ denotes the Chebyshev polynomial of degree $d$, defined over a field $k$ with $p:=\operatorname{char}(k) \nmid 2d$. For $d>4$, it is $\mathbb{Z}/d\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$, except when $2d=p^r+1$ or $4d=p^r+1$ for some $r\geq 1$. In these cases it is, respectively, $(\mathbb{Z}/d\mathbb{Z}\times\mathbb{Z}/d\mathbb{Z})\rtimes S_3$ and $\mathbb{Z}/d\mathbb{Z}\times S_3$. Two ingredients used here are a description of all total inflection points on $\cC_d$, and knowledge of the group of fractional linear transformations that preserve the set of zeros of $φ_d$.

math.AG↗
arXiv2026

On the complement of nef divisors on projective manifolds

Let $X'$ be a complex projective manifold, $\dim X'>1$, $Z$ a connected analytic subset of codimension one which is the support of a nef effective Cartier divisor $D$ on $X'$, $X:=X'\setminus Z$. Let $κ(D)$ be the Iitaka dimension of $D$. We prove that $X$ is not Hartogs if and only if $D$ is abundant and $κ(D)=1$. In particular, $X$ is not Hartogs if and only if $X$ is a proper fibration over an affine curve.

math.AG↗
arXiv2026

Tiny and Unique: The Lubin-Tate Action at Height $p-1$ from the Minimal Curve with Its Symmetries

Let $p$ be odd and $G' = \mathbb{Z}/p \rtimes \mathbb{Z}/(p-1)^2$ the maximal finite subgroup of the Morava stabilizer group at height $p-1$. Inverse Galois theory produces from $G'$ alone a curve $X$, the unique curve of minimal genus with $\operatorname{Aut}(X) \simeq G'$; its ramification, its field of definition and its equation are consequences of the group, not choices. We prove a $G'$-equivariant equivalence between the deformations of $X$ and Lubin--Tate space, so that the Lubin--Tate action of $G'$ is the action of $\operatorname{Aut}(X)$ on deformations of the curve. The proof is a coordinate-free Kodaira--Spencer argument reducing to a single character count. The action becomes explicit: $G'$ acts through $\mathbb{F}_p \rtimes \mathbb{F}_p^\times$ shifting and scaling $p+1$ points on $\mathbb{P}^1$. From this we compute $H^*(G', π_* E_{p-1})$ and its Tate cohomology. One identity, $π^{p-1} = -p$, runs through every section.

math.AG↗