Related papers: Purity for overconvergence

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…

Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…

We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…

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…

For a quasi-split tamely connected reductive group G over a p-adic field, we prove that its (monodromic) affine Hecke category is canonically equivalent to its equal characteristic counterpart as monoidal categories.

For an arbitrary separated scheme $X$ of finite type over a finite field $\mathbb F_q$ and an integer $j=-1,-2,$ we prove under the assumption of resolution of singularities, that the two groups $H_{-1}(X,\mathbb Z(j))$ and…

We study the truncation functors and show the existence of projective cover of each irreducible module in parabolic BGG category $\mathcal O$ over infinite rank Lie algebra of types $\mathfrak{a,b,c,d}$. Moreover, $\mathcal O$ is a Koszul…

We study percolation properties of the upper invariant measure of the contact process on $\mathbb{Z}^d$. Our main result is a sharp percolation phase transition with exponentially small clusters throughout the subcritical regime and a…

We will prove that given a genus-2 fibration $f: X \rightarrow C$ on a smooth projective surface $X$ such that $b_1(X)=b_1(C)+2$, the fundamental group of $X$ is almost isomorphic to $\pi_1(C) \times \pi_1(E)$, where $E$ is an elliptic…

We show that if $R$ is a two dimensional standard graded ring (with the graded maximal ideal ${\bf m}$) of characteristic $p>0$ and $I\subset R$ is a graded ideal with $\ell(R/I) <\infty$ then the $F$-threshold $c^I({\bf m})$ can be…

Let $X \subset \mathbb{P}^{n+c}$ be a nondegenerate smooth projective variety of dimension $n$ defined by quadratic equations. For such varieties, P. Ionescu and F. Russo proved the Hartshorne conjecture on complete intersections, which…

Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…

Let (X,D) be a dlt pair, where X is a normal projective variety. Let S denote the support of the rounddown of D, and K the canonical divisor of X. We show that any smooth family of canonically polarized varieties over X\S is isotrivial if…

A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $\mu(x \in X) \le 2$ (see…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…

Let $\mathbb{F}$ be an algebraically closed field of characteristic zero. Recently, we proved that isotypic blocks are functorially equivalent over $\mathbb{F}$. In this article we provide an example of functorially equivalent blocks which…

For a category C we investigate the problem of when the coproduct $\bigoplus$ and the product functor $\prod$ from C^I to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for…

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…

We prove an analogue for $p$-adic coefficients of the Deligne--Laumon theorem on local acyclicity for curves. That is, for an overconvergent $F$-isocrystal $E$ on a relative curve $f:U\rightarrow S$ admitting a good compactification, we…