The F-signature Function on the Big Cone
Abstract
We define and study the F-signature of big divisors on projective varieties in positive characteristics. For a normal projective variety X, we show that the F-signature function defines a continuous function on the big cone of X, extending our previous results on the ample cone. By studying the the Frobenius-alpha invariant on the big cone, we prove that the positivity of the F-signature of any big ℝ-divisor on X is equivalent to the global F-regularity of X. As applications, we prove a birational transformation rule for the F-signature in terms of the F-signature of certain graded ideal sequences. We also prove that in a reduction modulo p situation, a characteristic independent lower bound for the F-signature of X with respect to any ample divisor L spreads out to a similar bound for arbitrary big divisors on X.
Related
- The square function estimate for the cone in four dimensions
- Generalised Cone Conjecture, III: Non-generic Sakai surfaces
- Symplectic singularity as hyperKähler cone
- A Formal Proof of Riemann Hypothesis from Existence Alone, the Sign Excepted by Theorem: The Constructed Witness, the Identity Cone over the Fixed Locus, the Grounded Counter-Model, and the Cure Theorem Proved in Lean 4 and Re-executed in Fortran
- An Exact Dual for Second-Order Cone Programming Using Only Lorentz-Cone Constraints
BibTeX
@misc{lee2026fsignature,
title = {{The $F$-signature Function on the Big Cone}},
author = {Seungsu Lee and Suchitra Pande},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.36321},
eprint = {2609.36321},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.36321},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The F-signature Function on the Big Cone
AU - Seungsu Lee
AU - Suchitra Pande
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.36321
UR - https://arxiv.org/abs/2609.36321
AB - We define and study the F-signature of big divisors on projective varieties in positive characteristics. For a normal projective variety X, we show that the F-signature function defines a continuous function on the big cone of X, extending our previous results on the ample cone. By studying the the Frobenius-alpha invariant on the big cone, we prove that the positivity of the F-signature of any big ℝ-divisor on X is equivalent to the global F-regularity of X. As applications, we prove a birational transformation rule for the F-signature in terms of the F-signature of certain graded ideal sequences. We also prove that in a reduction modulo p situation, a characteristic independent lower bound for the F-signature of X with respect to any ample divisor L spreads out to a similar bound for arbitrary big divisors on X.
ER -