Related papers: Purity of level m stratifications

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By…

In chapter 1 we define period mappings of Hodge-de Rahm type for certain submersive, yet not necessarily locally topologically trivial, morphisms of complex manifolds. Generalizing Griffiths's theory, we interpret the differential of such…

A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed…

In this paper we provide several results regarding the structure of derived categories of (nested) Hilbert schemes of points. We show that the criteria of Krug-Sosna and Addington for the universal ideal sheaf functor to be fully faithful…

Sen's theorem on the ramification of a $p$-adic analytic Galois extension of $p$-adic local fields shows that its perfectoidness is equivalent to the non-vanishing of its arithmetic Sen operator. By developing $p$-adic Hodge theory for…

The Schmidt Subspace Theorem affirms that the solutions of some particular system of diophantine approximations in projective spaces accumulates on a finite number of proper linear subspaces. Given a subvariety $X$ of a projective space…

In this article, we establish the arithmetic purity of strong approximation for smooth loci of weighted projective spaces. By using this result and the descent method, we also prove that the arithmetic purity of strong approximation with…

We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all…

We posit a geometrical description of the entanglement of purification for subregions in a holographic CFT. The bulk description naturally generalizes the two-party case and leads to interesting inequalities among multi-party entanglements…

A homology stratification is a filtered space with local homology groups constant on strata. Despite being used by Goresky and MacPherson [Intersection homology theory: II, Inventiones Mathematicae, 71 (1983) 77-129] in their proof of…

We show that (i) the standard fine structural properties for premice follow from normal iterability (whereas the classical proof relies on iterability for stacks of normal trees), and (ii) every mouse which is finitely generated above its…

Let Z be an affine algebraic variety and ED(Z)= max(2 dim Z+1, dim TZ). Let X be a smooth algebraic variety isomorphic to a semi-simple linear algebraic group whose Lie algebra is a sum of special linear Lie algebras. We show that if dim X…

In this paper, we consider decompositions of basic degree 2 cohomology for a compact K-contact 5-manifold $(M,\xi,\eta,\Phi,g)$, and conclude the pureness and fullness of $\Phi$-invariant and $\Phi$-anti-invariant cohomology groups.…

To a dominant morphism $X/S \to Y/S$ of N\oe therian integral $S$-schemes one has the inclusion $C_{X/Y}\subset B_{X/Y}$ of the critical locus in the branch locus of $X/Y$. Starting from the notion of locally complete intersection…

Let $T_{m,n}$ be toroidal square grid of size $m\times n$ and let both $m$ and $n$ be even. Let $P$ be a perfect matching of $T_{m,n}$ and let $D(P)$ be the cycle-rooted spanning forest of $P$ obtained by the generalized Temperley's…

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

In this note, we give a so-called representative classification for the strata by automorphism group of smooth $\bar{k}$-plane curves of genus $6$, where $\bar{k}$ is a fixed separable closure of a field $k$ of characteristic $p = 0$ or $p…

Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we…

Let $S$ be a nonorientable surface of genus $g\ge 5$ with $n\ge 0$ punctures, and $\Mcg(S)$ its mapping class group. We define the complexity of $S$ to be the maximum rank of a free abelian subgroup of $\Mcg(S)$. Suppose that $S_1$ and…

Let S be a closed connected real surface and f a smooth embedding or immersion of S into a complex surface X. Assuming that the number of complex points of the immersion (counted with algebraic multiplicities) is non-positive we prove that…