Indexed metadata

Birational Automorphism Bounds for General-Type Foliations on Surfaces via Pluricanonical Indices

Shi Xu

Source record

Source: arXiv

Published: Aug 30, 2026

arXiv: 2608.29900

Open original source ↗

Source abstract

Let F\mathcal{F} be a canonical foliation of general type on a smooth projective surface XX, and write vol(F):=vol(KF)\mathrm{vol}(\mathcal{F}):=\mathrm{vol}(K_{\mathcal{F}}). Let GBir(X,F)G\subseteq\operatorname{Bir}(X,\mathcal{F}) be a finite subgroup, and let G:=F/G\mathcal{G}:=\mathcal{F}/G be the quotient foliation in the birational sense. For a canonical foliation H\mathcal{H}, define its rr-th pluricanonical index by δr(H):=min{mZ>0h0(mKH)r}, δ_r(\mathcal{H}) := \min \bigl\{ m\in\mathbb{Z}_{>0} \mid h^0(mK_{\mathcal{H}})\geq r \bigr\}, where min:=\min\varnothing:=\infty. For an arbitrary foliation, these indices are computed on any canonical birational model. If κ(G)0κ(\mathcal{G})\geq0, we prove G{4δ1(G)vol(F),κ(G)=0,43δ2(G)vol(F),κ(G)=1,δ2(G)2(1+δ2(G))vol(F),κ(G)=2. |G| \leq \begin{cases} 4δ_1(\mathcal{G})\,\mathrm{vol}(\mathcal{F}), &κ(\mathcal{G})=0,\\[1mm] \displaystyle \frac{4}{3}δ_2(\mathcal{G})\,\mathrm{vol}(\mathcal{F}), &κ(\mathcal{G})=1,\\[3mm] δ_2(\mathcal{G})^2 \bigl(1+δ_2(\mathcal{G})\bigr)\, \mathrm{vol}(\mathcal{F}), &κ(\mathcal{G})=2. \end{cases} Since Bir(X,F)\operatorname{Bir}(X,\mathcal{F}) is finite, one may in particular take G=Bir(X,F)G=\operatorname{Bir}(X,\mathcal{F}). When κ(G)=0κ(\mathcal{G})=0 or 11, the effective bounds δ1(G)12δ_1(\mathcal{G})\leq12 and δ2(G)42δ_2(\mathcal{G})\leq42 give G48vol(F)andG56vol(F), |G|\leq48\,\mathrm{vol}(\mathcal{F}) \qquad\text{and}\qquad |G|\leq56\,\mathrm{vol}(\mathcal{F}), respectively. The main new ingredient is a cluster formula for adjoint volumes, which yields index-dependent lower bounds for tangency-free foliated surface pairs whose underlying foliation has Kodaira dimension zero or one.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.