Related papers: A homotopy exact sequence for overconvergent isocr…

In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between \'etale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an…

We study the group of homotopy classes of self maps of compact Lie groups which induce the trivial homomorphism on homotopy groups. We completely determine the groups for SU(3) and Sp(2). We investigate these groups for simple Lie groups in…

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…

We survey some recent advances in the homotopy theory of classifying spaces, and homotopical group theory. We focus on the classification of p-compact groups in terms of root data over the p-adic integers, and discuss some of its…

We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient…

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

We investigate $p$-adic automorphic forms on unitary groups through the geometry of infinite-level unitary Shimura varieties and the Hodge-Tate period map. We first develop a perfectoid construction of overconvergent automorphic forms.…

We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational…

In this article I define and study the overconvergent rigid fundamental group of a variety over an equicharacteristic local field. This is a non-abelian $(\varphi,\nabla)$-module over the bounded Robba ring $\mathcal{E}_K^\dagger$, whose…

We introduce a new obstruction to lifting smooth proper varieties in characteristic $p>0$ to characteristic $0$. It is based on Grothendieck's specialization homomorphism and the resulting discrete finiteness properties of \'etale…

We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…

We study properties of compactly supported $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties. In particular, we prove a comparison theorem, in a stable range, with compactly supported syntomic cohomology,…

We investigate diagonal forms of degree $d$ over the function field $F$ of a smooth projective $p$-adic curve: if a form is isotropic over the completion of $F$ with respect to each discrete valuation of $F$, then it is isotropic over…

We establish analytic linearization of s-proper analytic groupoids around invariant submanifolds. We apply this result to show that any such groupoid admits a holomorphic extension.

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…

We prove that the geometric etale fundamental group of a (geometrically connected) rigid smooth $p$-adic affinoid curve is a semi-direct factor of a certain profinite free group. We also prove that the maximal pro-$p$ (resp. maximal…

The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…

In this paper we compute the homotopy groups of the symplectomorphism groups of the 3-, 4- and 5-point blow-ups of the projective plane (considered as monotone symplectic Del Pezzo surfaces). Along the way, we need to compute the homotopy…

We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of…

We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed…