Related papers: Log prismatic $F$-crystals and purity

For an analytic differential system in $\mathbb R^n$ with a periodic orbit, we will prove that if the system is analytically integrable around the periodic orbit, i.e. it has $n-1$ functionally independent analytic first integrals defined…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that…

We provide a detailed analysis of our previously proposed scheme [Phys. Rev. Lett. 88, 180401, (2002)] to engineer the profile of the hopping amplitudes for atomic gases in a 1D optical lattice so that the particle number becomes…

Similarly to the theory of crystalline cohomology, we give a local description of a prismatic crystal and its cohomology in terms of a $q$-Higgs module and the associated $q$-Higgs complex on the bounded prismatic envelope of an embedding…

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…

In this note, we consider a corollary of the ACC conjecture for F-pure thresholds. Specifically, we show that the F-pure threshold (and more generally, the test ideals) associated to a polynomial with an isolated singularity are locally…

Let A_K be an abelian variety over a discrete valuation field K. Let A be the Neron model of A_K over the ring of integers O_K of K and A_k its special fibre. We study the set of rational points of the group of components \phi_A of A_k. In…

We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes…

Let $A$ be an affinoid integral domain over a non-Archimedean field $K$, and let $L$ be its field of fractions. We prove that the normalization of $A$ can be reconstructed from $L$ by taking the intersection of all maximal discrete…

For V a 2-dimensional p-adic representation of G_Qp, we denote by B(V) the admissible unitary representation of GL_2(Qp) attached to V under the p-adic local Langlands correspondence of GL_2(Qp) initiated by Breuil. In this article,…

We utilize the localization analysis method to precisely determine the light beam positions with the spatial separation beyond the optical diffraction limit. By such a direct spatial measurement, the associated optical setup is built to…

In this paper we give a self-contained treatment of finite group quotients of admissible (formal) schemes and adic spaces that are locally topologically finite type over a locally strongly noetherian adic space.

For a prime $p>2$ and a smooth proper $p$-adic formal scheme $X$ over $\mathcal{O}_K$ where $K$ is a $p$-adic field, we study a series of conditions ($\mathrm{Cr}_s$), $s\geq 0$ that partially control the $G_K$-action on the image of the…

Given a Galois cover $Y \to X$ of smooth projective geometrically connected curves over a complete discrete valuation field $K$ with algebraically closed residue field, we define a semistable model of $Y$ over the ring of integers of a…

Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some regular literal is true in all…

This small text was written for the AMS Notices. It is a survey of integrality properties of complex local systems, where I tried to single out one example which is not entirely explicit in the literature. The focus is on the obstruction it…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

For a separated scheme $X$ of finite type over a perfect field $k$ of characteristic $p>0$ which admits an immersion into a proper smooth scheme over the truncated Witt ring $W_{n}$, we define the bounded derived category of locally…