Related papers: A stacky approach to prismatic crystals via $q$-pr…
Let $\phi:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $\phi$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois…
The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In…
We study point processes on the real line whose configurations $X$ are locally finite, have a maximum and evolve through increments which are functions of correlated Gaussian variables. The correlations are intrinsic to the points and…
In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a…
We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker…
A tautological system, introduced in \cite{LSY}\cite{LY}, arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with…
A random overlap structure (ROSt) is a measure on pairs (X,Q) where X is a locally finite sequence in the real line with a maximum and Q a positive semidefinite matrix of overlaps intrinsic to the particles X. Such a measure is said to be…
This introductory survey deals with mathematical and physical properties of discrete structures such as point sets and tilings. The emphasis is on proper generalizations of concepts and ideas from classical crystallography. In particular,…
It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of…
The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor…
Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…
We study fppf descent for enhanced derived categories. We revisit the work of [HS] and [TV08] in a lax context. More precisely, we construct a Cartesian and coCartesian fibration ${}^{\mathrm{op}}\mathscr D^+_S\rightarrow…
We construct a natural filtration on $T(1)$-local $\mathrm{TC}$ for any animated commutative rings using prismatic cohomology and descent theory. In the course of the construction, we also study some general properties of prismatic…
A routine crystallography technique, crystal structure analysis, is rarely performed in computational condensed matter research. The lack of methods to identify and characterize crystal structures reliably in particle simulation data…
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…
Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…
Let $p$ be a prime, $K$ a finite extension of $\mathbb Q_p$, and let $G_K$ be the absolute Galois group of $K$. The category of \'etale $(\varphi, \tau)$-modules is equivalent to the category of $p$-adic Galois representations of $G_K$. In…
Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…
The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…
For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and…