Related papers: Higher F-rational singularities
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a…
Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…
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…
In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook…
We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable…
In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…
We prove the existence of certain rationally rigid triples E8 in good characteristic and thereby show that these groups over the prime field occur as Galois groups over the field of rational numbers. We show that these triples give rise to…
We establish several sum-product estimates over finite fields that involve polynomials and rational functions. First, |f(A)+f(A)|+|AA| is substantially larger than |A| for an arbitrary polynomial f over F_p. Second, a characterization is…
We introduce the concept of the modularity of an abelian variety defined over the rational number field extending the modularity of an elliptic curve. We discuss the modularity of an abelian variety over the rational number field. We…
We describe those unipotent representations of a finite group of Lie type which are defined over the rational numbers.
Let (R,m) -> (S,n) be a flat local homomorphism of excellent local rings. We investigate the conditions under which the weak or strong F-regularity of R passes to S. We show that is suffices that the closed fiber S/mS be Gorenstein and…
For a rational prime $p \geq 3$ we consider $p$-ordinary, Hilbert modular newforms $f$ of weight $k\geq 2$ with associated $p$-adic Galois representations $\rho_f$ and $\mod{p^n}$ reductions $\rho_{f,n}$. Under suitable hypotheses on the…
We prove that a prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian variety Gr(2, 6). As applications, it is shown that a prime Fano threefold…
Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…
We prove that hypersurfaces defined by irreducible square-free polynomials have rational singularities. As an easy consequence, we deduce that certain (possibly non-square-free) polynomials associated to pairs of square-free polynomials…
We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…
In this paper, the technique of foliations in characteristic $p$ is used to investigate the difference between rational connectedness and separable rational connectedness in positive characteristic. The notion of being freely rationally…
Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…
Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm…
We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an…