Related papers: Purity of level m stratifications

Given a prime number $p$ and a positive integer $m$, we provide a family of diagonal hypersurfaces $\{ f_n \}_{n = 1}^{\infty}$ in $m$ variables, for which the denominator of $\text{ fpt } (f_{n})$ (in lowest terms) is always $p$ and whose…

We define a partition of ${\overline{M}_g^n}$ and show that the cohomology of ${\overline{M}_g^n}$ in a given degree admits a filtration whose respective quotients are isomorphic to the shifted cohomology groups of the parts if $g$ is…

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…

Inspired by Schoutens' results, we introduce a variant of sharp $F$-purity and sharp $F$-injectivity in equal characteristic zero via ultraproducts. As an application, we show that if $R\to S$ is pure and $S$ is of dense $F$-pure type, then…

In this paper we obtain a classification of rigid isotopy classes of totally reducible trigonal curves lying on a Hirzebruch surface $\Sigma_n$, and having a maximal number of non-degenerated double points. Such curves correspond to…

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…

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…

In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant…

We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine…

Consider a Shimura variety of Hodge type admitting a smooth integral model S at an odd prime p>3. Consider its perfectoid cover S(p^\infty) and the Hodge-Tate period map introduced by A. Caraiani and P. Scholze. We compare the pull-back to…

We study several properties of the symmetric power $S^mX$ of a smooth variety $X$. We describe the Picard and divisor class groups of $S^mX$ when $X$ is projective. We give a complete description of the stratification of $S^mX$ by iterated…

We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $\Gamma_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of…

Kisin and Pappas constructed integral models of Hodge-type Shimura varieties with parahoric level structure at $p>2$, such that the formal neighbourhood of a mod~$p$ point can be interpreted as a deformation space of $p$-divisible group…

We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and…

Conjugation spaces relate the cohomology of a space and its fixed points via a degree-halving isomorphism and admit a characterization in terms of homological purity. We extend this framework to the Klein four group, where the corresponding…

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…

Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We…

For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…

Let $k$ be a field of characteristic $p > 0$ such that $[k:k^p] < \infty$ and let $f \in R = k[x_0, ..., x_n]$ be homogeneous of degree $d$. We obtain a sharp bound on the degrees in which the Frobenius action on $H^n_\mathfrak{m}(R/fR)$…

When $p$ is inert in the quadratic imaginary field $E$ and $m<n$, unitary Shimura varieties of signature $(n,m)$ and a hyperspecial level subgroup at $p$, carry a natural foliation of height 1 and rank $m^2$ in the tangent bundle of their…