相关论文: Fedder type criteria for quasi-$F$-splitting I

In this paper, we apply Fedder-type criteria for quasi-$F$-splitting to provide explicit computations of quasi-$F$-split heights for Calabi-Yau hypersurfaces, bielliptic surfaces, Fano varieties, and rational double points. We also find…

We study quasi-$F^e$-split and quasi-$F$-regular singularities, which generalize Yobuko's quasi-$F$-splitting. We establish Fedder type criteria that characterize these properties for hypersurfaces. These criteria offer explicit tools for…

We develop a fast algorithm to calculate the Artin-Mazur height (equivalently, the quasi-$F$-split height) of a Calabi-Yau hypersurface, building on the work in arXiv:2204.10076. We provide a implementation of our approach, and use it to…

Extending the notion of Frobenius-splitting, we prove that every finite height Calabi-Yau variety defined over an algebraically closed field of positive characteristic can be lifted to the ring of Witt vectors of length two.

We develop the theory of quasi-$F$-splittings in the context of birational geometry. Amongst other things, we obtain results on liftability of sections and establish a criterion for whether a scheme is quasi-$F$-split employing the higher…

We introduce the notion of quasi-$F$-splitting in mixed characteristic and study Kodaira-type vanishing on quasi-$F$-splitting varieties. As an application, we prove a Kodaira-type vanishing on lifts of rational double point (RDP) del Pezzo…

In this article we prove a fundamental inequality between Artin-Mazur heights and Yobuko heights of certain proper log smooth schemes of Cartier type over a fine log scheme whose underlying scheme is the spectrum of a perfect field $\kappa$…

The goal of this article is to provide an explicit algorithmic construction of formal $F$-manifold structures, formal Frobenius manifold structures, and higher residue pairings on the primitive middle-dimensional cohomology $\mathbb{H}$ of…

Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal.

Let M be the Shimura variety associated with the group of spinor similitudes of a rational quadratic space over of signature (n,2). We prove a conjecture of Bruinier-Kudla-Yang, relating the arithmetic intersection multiplicities of special…

We characterize the Artin invariant of a smooth K3 hypersurface in terms of quasi-$F$-splitting. As an application, we obtain an explicit formula for this invariant.

We prove that normal projective surfaces of dense globally $F$-split type (resp. globally $F$-regular type) are of Calabi-Yau type (resp. Fano type).

Inspired by the work of Bhatt and Singh (see: arXiv:1307.1171) we compute the $F$-pure threshold of quasi-homogeneous polynomials. We first consider the case of a curve given by a quasi-homogeneous polynomial $f$ in three variables $x,y,z$…

We discuss a method for classifying the singularity types of 1/2 Calabi-Yau 3-folds, a family of rational elliptic 3-folds introduced in a previous study in relation to various U(1) factors in 6D F-theory models. A projective dual pair of…

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces…

In this note, a procedure is developed to explicitly construct non-trivial F-theory lifts of perturbative IIB orientifold models on Calabi-Yau complete intersections in toric varieties. This procedure works on Calabi-Yau orientifolds where…

We extend previous computations of Calabi-Yau metrics on projective hypersurfaces to free quotients, complete intersections, and free quotients of complete intersections. In particular, we construct these metrics on generic quintics,…

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…

On an affine flat manifold with coordinates x^j and convex local potential function f, we call the affine Kahler metric f_{ij} dx^i dx^j semi-flat Calabi-Yau if it satisfies det f_{ij} = 1. Recently Gross-Wilson have constructed many such…

We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field $\mathbb K$ of characteristic $\neq 2$ from scratch. We show that the formal model…