Related papers: A prismatic approach to crystalline local systems

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

The traditional systems researched in condensed matter physics always have spatial translation symmetry. However for space-time crystal systems, the spatial translation symmetry is no longer preserved and the lattice potential have…

We compare flat cohomology with crystalline syntomic complexes in two cases: 1) $p$-divisible groups over a separated $\mathbb F_p$-scheme with local finite $p$-bases, 2) semi-abelian schemes over a separated irreducible smooth curve.

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on…

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…

Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally…

We derive a relative version of the local monodromy theorem for ordinary differential equations on an annulus over a mixed-characteristic nonarchimedean field, and give several applications in $p$-adic cohomology and $p$-adic Hodge theory.…

K. Kato has recently constructed certain syntomic complexes associated with a uniform $F$-crystal over a smooth project variety $X$ and related their cohomology groups to special values of the $L$-function attached to $F$. In this paper, we…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

We prove the existence of local constancy phenomena for reductions in a general prime power setting of two-dimensional irreducible crystalline representations. Up to twist, these representations depend on two parameters: a trace $a_p$ and a…

In this paper, we prove the generic overconvergence of relative rigid cohomology with coefficient, by using the semistable reduction conjecture for overconvergent $F$-isocrystals (which is recently shown by Kedlaya).

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…

We investigate quasicrystal-forming soft matter using a two-scale phase field crystal model. At state points near thermodynamic coexistence between bulk quasicrystals and the liquid phase, we find multiple metastable spatially localized…

Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on "Frobenius-smooth" schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over…

For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge…

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…

For a locally nilpotent integrable connection on a proper (strict) semistable family over a small polydisc with a relative horizontal simple normal crossing divisor, we construct a canonical section in derived categories inducing an…

This paper develops a new continuous approach to a similarity between periodic lattices of ideal crystals. Quantifying a similarity between crystal structures is needed to substantially speed up the Crystal Structure Prediction, because the…

We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…

Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases…