Related papers: Purity of Crystalline Strata

We apply crystal theory to affine Schubert calculus, Gromov-Witten invariants for the complete flag manifold, and the positroid stratification of the positive Grassmannian. We introduce operators on decompositions of elements in the…

In this paper, we consider the N-pure notion. An ideal $I$ of a ring $R$ is said to be N-pure, if for every $a\in I$ there exists $b\in I$ such that $a(1-b)\in N(R)$, where N(R) is nil radical of $R$. We provide new characterizations for…

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strenghtening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under ${\mathfrak c} = {\mathfrak d}$. This…

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…

In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a simple normal crossings divisor and fix positive integers $r$ and $f$. We show that the set of…

Let $X$ be a smooth projective hypersurface over a finite field $k$ of characteristic $p$. We address the problem of practically computing the zeta function $Z(X,T)$ of $X$ (equivalently, the point counts $\#X(\mathbb{F}_q)$, where $q =…

Let $R$ be the ring of integers in a finite extension $K$ of $\mathbb{Q}_p$, let $k$ be its residue field and let $\chi:\pi_1(X)\to R^{\times}=GL_{1}(R)$ be a "geometric" rank one representation of the arithmetic fundamental group of a…

We study several rigidity properties of $p$-adic local systems on a smooth rigid analytic space $X$ over a $p$-adic field. We prove that the monodromy of the log isocrystal attached to a $p$-adic local system is ''rigid'' along irreducible…

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his…

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…

Let $X$ be a scheme of finite type over $\mathbf{Z}$. For $p \in \mathcal{P}$ the set of prime numbers, let $N_{X}(p)$ be the number of $\mathbf{F}_{p}$-points of $X/\mathbf{F}_{p}$. For fixed $n\geq 1$ and $a_{1}, \ldots, a_{n} \in…

Continuing to our previous work [IY21](arXiv:2101.00643) on the $\mathfrak{sl}_3$-case, we introduce a skein algebra $\mathscr{S}_{\mathfrak{sp}_4,\Sigma}^{q}$ consisting of $\mathfrak{sp}_4$-webs on a marked surface $\Sigma$ with certain…

We prove that the closure of every Jordan class J in a semisimple simply connected complex group G at a point x with Jordan decomposition x = rv is smoothly equivalent to the union of closures of those Jordan classes in the centraliser of r…

Let $\mathbb{S}^{d-1}$ denote the unit sphere in Euclidean space $\mathbb{R}^d$, $d\geq 2$, equipped with surface measure $\sigma_{d-1}$. An instance of our main result concerns the regularity of solutions of the convolution equation \[…

Studying the problem of quasicommuting quantum minors, Leclerc and Zelevinsky introduced in 1998 the notion of weakly separated sets in $[n]:=\{1,\ldots, n\}$. Moreover, they raised several conjectures on the purity for this symmetric…

The crystalline Chern classes of the value of a locally free crystal vanish on a smooth variety defined over a perfect field. Out of this we conclude new cases of de Jong's conjecture relating the geometric \'etale fundamental group of a…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

Let $C$ be a smooth complex projective curve with canonical divisor $K_C$ very ample. We explore the relation between the cup-product $$ H^1 (\Theta_C ) \longrightarrow (H^0({\cal O}_C (K_C))^{\ast} \otimes H^1 ({\cal O}_C) $$ where…

We consider a category of finite crystals of a quantum affine algebra whose objects are not necessarily perfect, and set of paths, semi-infinite tensor product of an object of this category with a certain boundary condition. It is shown…