Related papers: Purity of Crystalline Strata

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline \'etale…

Let $(A,(p))$ be a crystalline prism with $A_n = A/p^{n+1}A$ for all $n\geq 0$. Let $\frakX_0$ be a smooth scheme over $A_0$. Suppose that $\frakX_0$ admits a lifting $\frakX_n$ over $A_n$ and the absolute Frobenius…

An algorithm for determining crystal structures from diffraction data is described which does not rely on the usual Fourier-space formulations of atomicity. The new algorithm implements atomicity constraints in real-space, as well as…

We briefly review the diffraction of quasicrystals and then give an elementary alternative proof of the diffraction formula for regular cut-and-project sets, which is based on Bochner's theorem from Fourier analysis. This clarifies a common…

Let $X, X_1, X_2,\ldots $ be a sequence of non-lattice i.i.d. random variables with ${\bf E} X=0,$ ${\bf E} X=1,$ and let $S_n:= X_1+ \cdots+ X_n$, $n\ge 1.$ We refine Stone's integro-local theorem by deriving the first term in the…

We show that the zip stratification given by an arbitrary $\Ghat$-zip over a scheme is pure. We deduce purity of the level-$m$-stratification for truncated Barsotti-Tate groups and purity of the Ekedahl-Oort stratification for special…

Let $\Delta$ be a pure simplicial complex and $I_\Delta$ its Stanley-Reisner ideal in a polynomial ring $S$. We show that $\Delta$ is a matroid (complete intersection) if and only if $S/I_\Delta^{(m)}$ ($S/I_\Delta^m$) is clean for all…

We show that all monomial ideals in the polynomial ring in at most 3 variables are pretty clean and that an arbitrary monomial ideal $I$ is pretty clean if and only if its polarization $I^p$ is clean. This yields a new characterization of…

Let $X$ be a regular scheme over $\textrm{Spec}(\mathbb{Z}[1/p])$ where $p$ is prime. Let $i:Y\to X$ be a closed subscheme of pure codimension $r$. Let $n$ be a natural number prime to $p$. Let $\Lambda$ be a finite $\mathbb{Z}/n$-module…

Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good…

The main purpose of this article is to show that the special Newton polygon map from the stack of p-adic shtukas to the stack of G-bundles on the Fargues--Fontaine curve is representable in diamonds and sufficiently nice for cohomological…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<\epsilon\leq 1$. We show that there exists a constant $C=C(p, \epsilon)$ such that for every positive integer $k$, whenever $\phi_1, \dots, \phi_k:…

The level set of an elliptic function is a doubly periodic point set in C. To obtain a wider spectrum of point sets, we consider, more generally, a Riemann surface S immersed in C^2 and its sections (``cuts'') by C. We give S a…

We present a new refinement strategy for locally refined B-splines which ensures the local linear independence of the basis functions. The strategy also guarantees the spanning of the full spline space on the underlying locally refined…

The stratum St(J,<) (the homogeneous stratum Sth(J,<) respectively) of a monomial ideal J in a polynomial ring R is the family of all (homogeneous) ideals of R whose initial ideal with respect to the term order < is J. St(J,<) and Sth(J,<)…

We use Rokhlin's Theorem on the uniqueness of canonical systems to find a new way to establish connections between Function Theory in the unit disk and rank one perturbations of self-adjoint or unitary operators. In the n-dimensional case,…

We establish a new oscillation estimate for solutions of nonlinear partial differential equations of elliptic, degenerate type. This new tool yields a precise control on the growth rate of solutions near their set of critical points, where…

In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $C^{m-1,1}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, in particular providing a proof for a conjecture of…

Let $X$ be a compact metric space, and let $A$ be a pure $\mathrm{C}^*$-algebra. We show that $C(X,A)$ is pure whenever $A$ is simple; or every quotient of $A$ is stably finite (e.g., $A$ has stable rank one). Using permanence properties of…