Table of Contents
Fetching ...

Continuous K-Theory and Cohomology of Rigid Spaces

Christian Dahlhausen

Abstract

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly non-vanishing continuous K-group and the highest possibly non-vanishing cohomology group with integral coefficients. A key role in the proof is played by a comparison between cohomology groups of an admissible Zariski-Riemann space with respect to different topologies; namely, the rh-topology which is related to K-theory as well as the Zariski topology whereon the cohomology groups in question rely.

Continuous K-Theory and Cohomology of Rigid Spaces

Abstract

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the dimension. Likewise, the cohomology groups vanish in degrees above the dimension. The main result provides the existence of an isomorphism between the lowest possibly non-vanishing continuous K-group and the highest possibly non-vanishing cohomology group with integral coefficients. A key role in the proof is played by a comparison between cohomology groups of an admissible Zariski-Riemann space with respect to different topologies; namely, the rh-topology which is related to K-theory as well as the Zariski topology whereon the cohomology groups in question rely.

Paper Structure

This paper contains 9 sections, 51 theorems, 75 equations.

Key Result

Theorem 1

Let $X$ be a quasi-compact and quasi-separated rigid $k$-space of dimension $d$ over a discretely valued field $k$. Then:

Theorems & Definitions (128)

  • Theorem 1: Theorem \ref{['global-main-thm']}, Theorem \ref{['Kcont-vanishing--thm']}
  • Corollary 2: Corollary \ref{['global-main-thm-cor']}
  • Theorem 3: Theorem \ref{['Hzar=Hrh--thm']}
  • Theorem 4: Theorem \ref{['Lrh_K=KH--thm']}
  • Definition 2.1
  • Remark 2.2
  • Definition 2.5
  • Definition 2.6
  • Example 2.7
  • Definition 2.8
  • ...and 118 more