English
Related papers

Related papers: F-purity of hypersurfaces

200 papers

In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…

Algebraic Geometry · Mathematics 2025-08-26 Shou Yoshikawa

We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a…

Algebraic Geometry · Mathematics 2007-05-23 Tommaso de Fernex , Lawrence Ein , Mircea Mustata

The a-invariant, the F-pure threshold, and the diagonal F-threshold are three important invariants of a graded K-algebra. Hirose, Watanabe, and Yoshida have conjectured relations among these invariants for strongly F-regular rings. In this…

Commutative Algebra · Mathematics 2015-07-21 Alessandro De Stefani , Luis Núñez-Betancourt

We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one…

Commutative Algebra · Mathematics 2012-12-07 Manuel Blickle , Karl Schwede , Kevin Tucker

We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$…

Commutative Algebra · Mathematics 2022-05-16 Zhibek Kadyrsizova , Jennifer Kenkel , Janet Page , Jyoti Singh , Karen E. Smith , Adela Vraciu , Emily E. Witt

We survey a number of results on the counting of points on hypersurfaces defined over finite fields. We also investigate when one can be guaranteed a non-singular point on a projective hypersurface and give a condition on the cardinality of…

Number Theory · Mathematics 2010-04-26 Jahan Zahid

The $F$-thresholds are important numerical invariants in prime characteristic, whose existence had been established only under certain assumptions. We show the existence of $F$-thresholds in full generality. We study properties of standard…

Commutative Algebra · Mathematics 2017-01-13 Alessandro De Stefani , Luis Núñez-Betancourt , Felipe Pérez

We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wi\'sniewski. Moreover, we establish a generalization for quasi-log…

Algebraic Geometry · Mathematics 2020-12-01 Osamu Fujino

Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functions that facilitates the efficient search for new materials and material properties. We prove invariance under isometries, continuity, and…

Computational Geometry · Computer Science 2021-06-28 Herbert Edelsbrunner , Teresa Heiss , Vitaliy Kurlin , Philip Smith , Mathijs Wintraecken

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

Algebraic Geometry · Mathematics 2016-02-17 Teruhisa Koshikawa

Let $k$ be a perfect field of characteristic $p>0$, and $S$ an scheme over $k$. An $F$-zip is basically a locally free $O_S$-module of finite rank endowed with two filtration and an Frobenius-linear isomorphism between their graded pieces.…

Algebraic Geometry · Mathematics 2014-05-15 Yaroslav Yatsyshyn

This paper studies properties of certain hypersurfaces in prime characteristic: we give a sufficient and necessary conditions for some classes of such hypersurfaces to have Finite $F$-representation Type (FFRT) and we compute the…

Commutative Algebra · Mathematics 2018-11-13 Khaled Alhazmy , Mordechai Katzman

A suitable measure for the similarity of shapes represented by parameterized curves or surfaces is the Fr\'echet distance. Whereas efficient algorithms are known for computing the Fr\'echet distance of polygonal curves, the same problem for…

Computational Geometry · Computer Science 2007-05-23 Helmut Alt , Maike Buchin

In this paper, we show that for an $F$-pure local ring $(R,\m)$, all local cohomology modules $H_{\m}^i(R)$ have finitely many Frobenius compatible submodules. This answers positively an open question raised by F.Enescu and M.Hochster. We…

Commutative Algebra · Mathematics 2013-08-02 Linquan Ma

Hrushovski's generalization and application of [Jouanolou, "Hypersurfaces solutions d'une \'equation de Pfaff analytique", Mathematische Annalen, 232 (3):239--245, 1978] is here refined and extended to the partial differential setting with…

Logic · Mathematics 2016-06-29 James Freitag , Rahim Moosa

We show that a compact complex surface which fibers smoothly over a curve of genus >1 with fibers of genus >1 fibers holomorphically. We deduce an improvement of a result in [D Kotschick, Math. Research Letters, 5 (1998) 227-234], and a…

Differential Geometry · Mathematics 2007-05-23 D. Kotschick

We get sharp degree bound for generic smoothness and connectedness of the space of conics in low degree complete intersections which generalizes the old work about Fano scheme of lines on Hypersurfaces.

Algebraic Geometry · Mathematics 2013-07-25 Hong R. Zong

Hirose, Watanabe and Yoshida conjectured a criterion for a standard graded strongly $F$-regular ring to be Gorenstein in terms of the $F$-pure threshold. We complete the proof of this conjecture. We also prove natural extensions of the…

Commutative Algebra · Mathematics 2025-08-08 Suchitra Pande

A conjecture of Hirose, Watanabe, and Yoshida offers a characterization of when a standard graded strongly $F$-regular ring is Gorenstein, in terms of an $F$-pure threshold. We prove this conjecture under the additional hypothesis that the…

Commutative Algebra · Mathematics 2024-05-21 Anurag K. Singh , Shunsuke Takagi , Matteo Varbaro

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…

Algebraic Geometry · Mathematics 2026-04-24 Shou Yoshikawa