相关论文: Beyond the Fontaine-Wintenberger theorem
Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…
Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…
Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of…
We extend the theory of Kisin modules and crystalline representations to allow more general coefficient fields and lifts of Frobenius. In particular, for a finite and totally ramified extension $F/\mathbb Q_p$, and an arbitrary finite…
The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…
We establish a form of the h-principle for the existence of foliations quasi-complementary to a given one; the same methods also provide a proof of the classical Mather-Thurston theorem.
Let $\mathcal{O}_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with perfect residue field. We prove the existence of the Hodge-Newton filtration for $p$-divisible groups over $\mathcal{O}_K$ with additional…
We establish that the extended Robba rings associated to a perfect nonarchimedean field of characteristic p, which arise in p-adic Hodge theory as certain completed localizations of the ring of Witt vectors, are strongly noetherian Banach…
We study the mod $p^r$ Milnor $K$-groups of $p$-adically complete and $p$-henselian rings, establishing in particular a Nesterenko-Suslin style description in terms of the Milnor range of syntomic cohomology. In the case of smooth schemes…
We say that a two dimensional p-adic Galois representation of a number field F is weight two if it is de Rham with Hodge-Tate weights 0 and -1 equally distributed at each place above p; for example, the Tate module of an elliptic curve has…
Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of…
In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…
In this paper, we show several vanishing type theorems for $p$-harmonic $\ell$-forms on Riemannian manifolds ($p\geq2$). First of all, we consider complete non-compact immersed submanifolds $M^n$ of ${N}^{n+m}$ with flat normal bundle, we…
Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary…
We introduce the notions of boundary vertex, linear equivalence and effective boundary vertex in the context of Viennot's heaps of pieces. We prove that in the heap of a fully commutative element in a star reducible Coxeter group, every…
For a prime number p>2, we give a direct proof of Breuil's classification of killed by p finite flat group schemes over the valuation ring of a p-adic field with perfect residue field. As application we prove that the Galois modules of…