Related papers: Prismatic Crystals for schemes in characteristic $…
We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.
In the preceding paper, we formulated a conjecture on the relations between certain classes of irreducible representations of affine Hecke algebras of type B and symmetric crystals for $\gl_\infty$. In the present paper, we prove the…
The Dieudonn\'e crystal of a p-divisible group over a semiperfect ring R can be endowed with a window structure. If R satisfies a boundedness condition, this construction gives an equivalence of categories. As an application one obtains a…
Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…
The phenomenological theory of the flexomagnetoelectric coupling in crystals of the cubic, tetragonal and orthorhombic crystal systems has been suggested. Secondary role of the crystal structure chirality was shown. Oppositely, significant…
Crystallographic tilings of the Euclidean space $\mathbb{E}^n$ are defined as simple tilings whose group of isometric automorphisms is crystallographic. To classify crystallographic tilings by their automorphism groups it is necessary to…
We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify…
For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…
The goal of this paper is to study the Chern classes of coherent sheaves (and more generally perfect complexes) that admit crystal structures in the setting of crystalline cohomology and more generally relative prismatic cohomology. In the…
We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally…
For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of…
We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…
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…
In this article, we suggest a categorification procedure in order to capture an analogy between Crystalline Grothendieck-Lefschetz trace formula and the cyclotomic trace map $K\rightarrow TC$ from the algebraic $K$-theory to the topological…
This paper was motivated by the articles "Same or different - that is the question" in CrystEngComm (July 2020) and "Change to the definition of a crystal" in the IUCr newsletter (June 2021). Experimental approaches to crystal comparisons…
Madsen et al. [arXiv:1307.2577] claim that one-dimensional insulating crystals and one-dimensional insulating quasicrystals are topologically equivalent and, thus, trivial. In this comment, we clarify that in topological classification of…
We disprove a conjecture stating that the integral cohomology of any crystallographic group Z^n \rtimes Z_m is given by the cohomology of Z_m with coefficients in the cohomology of the group Z^n, by providing a complete list of…
We derive some local properties of abstract crystals with logarithmic poles over a smooth base in positive characteristic and obtain the existence of the canonical coordinates of certain ordinary crystals. We then apply the results to…
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…
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…