Related papers: On the crystalline period map
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the…
This note explores the consequences of Koenigsmann's model theoretic argument from the proof of the birational p-adic section conjecture for curves in the context of higher dimensional varieties over p-adic local fields.
Here we outline a proof for the 4-dimensional smooth Poincare Conjecture.
The FPP conjecture, proposed by J. Adams, S. Miller, and D. Vogan and proved by D. Davis and L. Mason-Brown in arXiv:2411.01372, imposes a strong upper bound on the infinitesimal character of a unitary representation of a real reductive…
This paper is the augmented notes of a course I gave jointly with Laurent Berger in Rennes in 2014. Its aim was to introduce the periods rings B crys and B dR and state several comparison theorems between{\'e}tale and crystalline or de Rham…
We prove a version of van der Corput's Lemma for polynomials over the p-adic numbers.
It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $<{\mathfrak c}^{+}$ which is increasing with respect to the Rudin-Keisler ordering is bounded above by a rapid P-point. This is an improvement…
The period map for cubic fourfolds takes values in a locally symmetric variety of orthogonal type of dimension 20. We determine the image of this period map (thus confirming a conjecture of Hassett) and give at the same time a new proof of…
In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.
Let $f$ be a continuous ring endomorphism of $\mathbf{Z}_p[[x]]/\mathbf{Z}_p$ of degree $p.$ We prove that if $f$ acts on the tangent space at $0$ by a uniformizer and commutes with an automorphism of infinite order, then it is necessarily…
Using algebraic transformations and equivalent reformulations we derive a number of new results from some earlier ones (by the author) in more accepted terms closely related to well-known conjectures of Bondy and Jung including a number of…
We prove an analogue of the Oppenheim conjecture for a system comprising an inhomogeneous quadratic form and a linear form in $3$ variables using dynamics on the space of affine lattices.
We give a proof of the Gap Labeling Conjecture formulated by J. Bellissard. This gives information about the spectrum of a Schrodinger operator associated to a quasicrystal. The proof makes use of a version of Connes' Index Theorem for…
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…
In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8].
This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.
In this paper we prove the Zariski-Lipman conjecture for log canonical spaces.
This memoire consists of two main results. In the first one we describe Ricci flow theory and we give an educative way for proving Elliptization Conjecture and then we prove Poincare conjecture which is the second proof of Perelman for…
We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this…