00:00:00 / 00:00:00
24 24

Spreading-out for families of rigid analytic spaces (joint work with Brian Conrad)

By Ofer Gabber

Let $K$ be a complete rank 1 valued field with ring of integers $\mathcal O_K$, $A$ an adic nœtherian ring and $\phi: A\rightarrow \mathcal O_K$ an adic morphism. We show that if $g: X\rightarrow Y$ is a proper flat morphism between rigid analytic spaces over $K$ then locally on $Y$ a flat formal model of $g$ is the pullback of a proper flat morphism between formal schemes topologically of finite type over $A$. For this, if $S$ is an affine nœtherian scheme, $T_0\rightarrow S$ affine of finite type and $X_0\rightarrow T_0$ proper flat, we construct a compatible system of versal n-th order deformations of $X_0\rightarrow T_0$ over $S$. As an application, one can prove that for a proper smooth $g$ and $K$ of characteristic 0, the Hodge to de Rham spectral sequence for $g$ degenerates and the $R^q g_∗\Omega^p_{X/Y}$ are locally free. This is reduced to the case where $K$ is a finite extension of $Q_p$ and $Y$ is a nilpotent thickening of $\mathrm{Sp} K$, where the result over $K$ was proved by Scholze and follows forY by imitating the proof of Deligne over C using a construction ofcrystalline cohomology in this case.

Information about the video

  • Date of recording 14/06/2018
  • Date of publication 30/06/2018
  • Institution IHES
  • Format MP4

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback