Related papers: Cartier transform and prismatic crystals

For any prism $(A, d)$, we construct an analogue of Fontaine's map $W_r(A/d) \to A/d\phi(d)\cdots\phi^{r-1}(d)$. Subsequently, we define a canonical map from de Rham-Witt forms to prismatic cohomology in the perfect case and prove that it…

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…

We prove that the $\infty$-category of surjections of animated rings is projectively generated, introduce and study the notion of animated PD-pairs - surjections of animated rings with a "derived" PD-structure. This allows us to generalize…

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

The exploration of solid-solid phase transition suffers from the uncertainty of how atoms in two crystal structures match. We devised a theoretical framework to describe and classify crystal-structure matches (CSM). Such description fully…

We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative…

We give local axioms that uniquely characterize the crystal-like structure on shifted tableaux developed in a previous paper by Gillespie, Levinson, and Purbhoo. These axioms closely resemble those developed by Stembridge for type A tableau…

In complete analogy with the classical situation (which is briefly reviewed) it is possible to define bi-Hamiltonian descriptions for Quantum systems. We also analyze compatible Hermitian structures in full analogy with compatible Poisson…

We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…

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}$.…

For a smooth $p$-adic formal scheme over the ring of integers of a perfectoid field of mixed characteristic $(0,p)$ containing all $p$-power roots of unity, we prove that the prismatic cohomology of a locally finite free prismatic crystal…

Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field, and let $E$ be a finite extension of $\mathbf{Q}_p$ contained in $K$. We show that the category of prismatic $F$-crystals on…

We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…

We consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline…

Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field. We prove that the category of prismatic $F$-crystals on $\mathcal O_K$ is equivalent to the category of lattices in crystalline…

Let $\mathcal{O}_K$ be a mixed characteristic complete discrete valuation ring with perfect residue field. We study $\mathbb{B}_\mathrm{dR}^+$-crystals on the (log-) prismatic site of $\mathcal{O}_K$, which are crystals defined over the de…

We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. Consequently, we generalize quantum supermaps to arbitrary monoidal categories and operational…

In this note we prove an equivariant version of a result of Cartan for equivariant simplicial cohomology with local coefficients.

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…

A simple mapping procedure is presented by which classical orbits and path integrals for the motion of a point particle in flat space can be transformed directly into those in curved space with torsion. Our procedure evolved from…