Related papers: Purity Results on $F$-crystals

Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe…

Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the…

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}$…

The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation…

Let $P: {\mathbb C} \to {\mathbb C}$ be a polynomial map with disconnected filled Julia set $K_P$ and let $z_0$ be a repelling or parabolic periodic point of $P$. We show that if the connected component of $K_P$ containing $z_0$ is…

In this article, we consider the conjectured relationship between F-purity and log canonicity for polynomials over the complex numbers. We associate to a collection M of n monomials a rational polytope P contained in [0,1]^n. Using P and…

Let $(\mathcal F_n)_{n\ge 1}$ be a filtration and let $f\ge0$ belong to $L^1(\mathcal F_\infty)$. For the martingale $f_n=\mathbb E[f\mid \mathcal F_n]$ and each $\lambda>0$ we prove a Gundy--Stein decomposition \[ f=g+h+k \] with explicit…

We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2…

In 1883, as an early result, Sophus Lie established an explicit necessary and sufficient condition for an analytic second order ordinary differential equation y_xx = F(x,y,y_x) to be equivalent, through a point transformation (x,y) -->…

Vasiu proved that the level torsion $\ell_{\mathcal{M}}$ of an $F$-crystal $\mathcal{M}$ over an algebraically closed field of characteristic $p>0$ is a non-negative integer that is an effectively computable upper bound of the isomorphism…

Let S be a smooth real surface in C^2 and let p\in S be a point at which the tangent plane is a complex line. How does one determine whether or not S is locally polynomially convex at such a p --- i.e. at a CR singularity ? Even when the…

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…

Let a planar algebraic curve $C$ be defined over a valuation field by an equation $F(x,y)=0$. Valuations of the coefficients of $F$ define a subdivision of the Newton polygon $\Delta$ of the curve $C$. If a given point $p$ is of…

We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an \'etale covering, such a local G-shtuka is isogenous to a…

Let $X \hookrightarrow \overline{X}$ be an open immersion of smooth varieties over a field of characteristic $p>0$ such that the complement is a simple normal crossing divisor and let $\overline{Z} \subseteq Z \subseteq \overline{X}$ be…

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster…

We establish the flat cohomology version of the Gabber-Thomason purity for \'{e}tale cohomology: for a complete intersection Noetherian local ring $(R, \mathfrak{m})$ and a commutative, finite, flat $R$-group $G$, the flat cohomology…

We show that much of local class theory can be deduced from the Dieudonn\'e-Manin structure theory for $F$-isocrystals on an algebraically closed field of characteristic $p>0$. As a consequence we get a new proof of a formula of Dwork for…

A plane curve $C$ in $\mathbb{P}^2$ defined over $\mathbb{F}_q$ is called plane-filling if $C$ contains every $\mathbb{F}_q$-point of $\mathbb{P}^2$. Homma and Kim, building on the work of Tallini, proved that the minimum degree of a smooth…

Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is…