Related papers: An Improvement of de Jong-Oort's Purity Theorem

For an $F^n$-crystal $\mathfrak C$ over a reduced locally Noetherian $\mathbb F_p$-scheme $S$, Vasiu first obtained the purity of the Newton polygon strata of $S$ defined by $\mathfrak C$. Deligne later obtained the purity of the $p$-rank…

Let $p$ be a prime. Let $n\in\mathbb N-\{0\}$. Let $\mathcal C$ be an $F^n$-crystal over a locally noetherian $\mathbb F_p$-scheme $S$. Let $(a,b)\in\mathbb N^2$. We show that the reduced locally closed subscheme of $S$ whose points are…

We generalize purity of the Newton stratification to purity for a single break point of the Newton point in the context of local G-shtukas respectively of elements of the loop group of a reductive group. As an application we prove that…

Let $n$ be a positive integer. A collection $\cal S$ of subsets of $[n]=\{1,\ldots,n\}$ is called {\it symmetric} if $X\in {\cal S}$ implies $X^\ast\in {\cal S}$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$. We show that in each of the…

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…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…

A purity conjecture due to Grothendieck and Auslander--Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension $\ge 2$. The combination of several works of Gabber settles…

Von Neumann's original proof of the ergodic theorem is revisited. A uniform convergence rate is established under the assumption that one can control the density of the spectrum of the underlying self-adjoint operator when restricted to…

Let $X$ be a general complex projective hypersurface in $\mathbb{P}^{n+1}$ of degree $d>1$. A point $P$ not in $X$ is called uniform if the monodromy group of the projection of $X$ from $P$ is isomorphic to the symmetric group. We prove…

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…

We prove that the relative p-adic monodromy theorem holds over a dense open subset. Moreover, we establish the equivalence of the following two statements: the local constancy of the Newton polygon function associated with a de Rham local…

The $p$-adic Newton polygon is a visual tool that encodes information about the roots and factorization of a polynomial relative to a prime $p$. In this article, we investigate how the Newton polygon changes under polynomial composition. If…

There are open questions about which Newton polygons and Ekedahl-Oort types occur for Jacobians of smooth curves of genus $g$ in positive characteristic $p$. In this chapter, I survey the current state of knowledge about these questions. I…

We prove that a point $x$ is normal with respect to an ergodic, number-theoretic transformation $T$ if and only if $x$ is normal with respect to $T^n$ for any $n\ge 1$. This corrects an erroneous proof of Schweiger. Then, using some…

Kunen proved that a quasigroup satisfying a Moufang-type identity ($N1$) must be a loop. We reformulate the argument in the category $\mathbf{Set}$ as a fixed-point extraction principle. From $N1$ one canonically obtains an idempotent…

By using the decomposition of the decoherence-free subalgebra N(T) in direct integrals of factors, we obtain a structure theorem for every uniformly continuous QMSs. Moreover we prove that, when there exists a faithful normal invariant…

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…

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 S be a closed surface with nonzero Euler characteristic. We prove the existence of an open neighborhood V of the identity map of S in the C^1-topology with the following property: if G is an abelian subgroup of Diff^1(S) generated by…