Related papers: Purity of level m stratifications
We prove that every complete, minimally immersed submanifold $f\: M^n \to \mathbb{S}^{n+p}$ whose second fundamental form satisfies $|A|^2 \le np/(2p-1)$, is either totally geodesic, or (a covering of) a Clifford torus or a Veronese surface…
Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this…
We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we provide a smooth solution (answer) to a conjecture (question) of…
We prove that asymptotically in the degree, the main term of the Boij--S\"oderberg decomposition of a high degree curve is a single pure diagram that only depends on the genus of the curve. This answers a question of Ein and Lazarsfeld in…
It is a classical result of Powell that pure mapping class groups of connected, orientable surfaces of finite type and genus at least three are perfect. In stark contrast, we construct nontrivial homomorphisms from infinite-genus mapping…
The isomorphism number of an $F$-crystal $(M, \phi)$ over an algebraically closed field of positive characteristic is the smallest non-negative integer $n_M$ such that the $n_M$-th level truncation of $(M, \phi)$ determines the isomorphism…
The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider…
A stratified pseudomanifold is normal if its links are connected. A normalization of a stratified pseudomanifold $X$ is a normal stratified pseudomanifold $Y$ together with a finite-to-one projection $n:Y\to X$ satisfying a local condition…
I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…
This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of…
We consider a new stratification of the space of configurations of $n$ marked points on the complex plane. Recall that this space can be differently interpreted as the space $^{\rm D}{\rm Pol}_{n}$ of degree $n>1$ complex, monic polynomials…
The F-pure threshold is a positive characteristic numerical invariant, analogous to the log canonical threshold in characteristic zero. We compute the F-pure threshold of the affine cone over a Calabi-Yau hypersurface, and relate it to the…
This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.
Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then…
It has been known for a long time that Ext's between IC-sheaves may often be expressed in terms of Hom's between cohomology groups. We prove a more general result under weaker assumptions. The result is used to describe the action of the…
We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.
Let $\mathcal{M}_{g}$ be the moduli space of compact connected hyperbolic surfaces of genus $g\geq2$, and ${\mathcal B}_g \subset {\mathcal M}_{g} $ its branch locus. Let $\widehat{{\mathcal{M}}_{g}}$ be the Deligne-Mumford compactification…
In this paper we provide a characterization of smooth algebraic varieties endowed with a faithful algebraic torus action in terms of a combinatorial description given by Altmann and Hausen. Our main result is that such a variety X is smooth…
In this short note, we prove a purity result for crystalline local systems on a smooth $p$-adic affine formal scheme. Our method is based on the prismatic description of crystalline local systems.
We consider a proper morphism $X \to S$ and a locally closed immersion $S' \to S$ of discretely ringed adic spaces and prove proper base change for the tame topology in this setting. More precisely, we show that for an abelian $p$-torsion…