Related papers: Bertini's theorem for $F$-rational $F$-pure singul…

Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H)…

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…

Let $\Bbbk$ be a field of characteristic zero and $G$ be a finite group of automorphisms of projective plane over $\Bbbk$. Castelnuovo's criterion implies that the quotient of projective plane by $G$ is rational if the field $\Bbbk$ is…

Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…

Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to…

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…

A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $\mu(x \in X) \le 2$ (see…

Let $G$ be a semisimple algebraic group defined over an algebraically closed field of characteristic 0 and $P$ be a parabolic subgroup of $G$. Let $M$ be a $P$-module and $V$ be a $P$-stable closed subvariety of $M$. We show in this paper…

A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is…

We show that a plt surface singularity $(P\in X,B)$ is $F$-liftable if and only if it is $F$-pure and is not a rational double point of type $E_8^1$ in characteristic $p=5$. As a consequence, we prove the logarithmic extension theorem for…

For the moduli stack $\mathcal{M}_{g,n/\mathbb{F}_p}$ of smooth curves over $\text{Spec}~\mathbb{F}_p$ with the function field $K$, we show that if $g\geq3$, then the only $K$-rational points of the generic curve over $K$ are its $n$…

Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure…

The product of two Schubert classes in the quantum K-theory ring of a homogeneous space X = G/P is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on X. We show that if X is cominuscule, then…

Let $k$ be a field, $K/k$ finitely generated and $L/K$ a finite, separable extension. We show that the existence of a $k$-valuation on $L$ which ramifies in $L/K$ implies the existence of a normal model $X$ of $K$ and a prime divisor $D$ on…

In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also…

We show that quasi-$F$-pure but not $F$-pure isolated quasi-homogeneous hypersurface singularities necessarily have $F$-pure threshold $1 - \frac{1}{p}$. This extends work of Bhatt and Singh beyond the Calabi-Yau case. We also classify the…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

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.…

We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for…

We prove the non-rationality of a double cover of $\mathbb{P}^{n}$ branched over a hypersurface $F\subset\mathbb{P}^{n}$ of degree $2n$ having isolated singularities such that $n\ge 4$ and every singular points of the hypersurface $F$ is…