A note on Hodge–Tate spectral sequences

ZHIYOU WU

DOI: https://doi.org/10.1017/s0305004124000069

2024-03-24

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:We prove that the Hodge–Tate spectral sequence of a proper smooth rigid analytic variety can be reconstructed from its infinitesimal -cohomology through the Bialynicki–Birula map. We also give a new proof of the torsion-freeness of the infinitesimal -cohomology independent of Conrad–Gabber spreading theorem, and a conceptual explanation that the degeneration of Hodge–Tate spectral sequences is equivalent to that of Hodge–de Rham spectral sequences.

mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in algebraic geometry, how to reconstruct the Hodge - Tate spectral sequence of a proper smooth rigid analytic variety through infinitesimal \( B^+_{\text{dR}} \)-cohomology. Specifically, the author proves that the Hodge - Tate spectral sequence can be reconstructed from infinitesimal \( B^+_{\text{dR}} \)-cohomology through the Bialynicki - Birula map, and gives a new proof independent of the Conrad - Gabber expansion theorem, showing that infinitesimal \( B^+_{\text{dR}} \)-cohomology is torsion - free. In addition, the author also provides a conceptual explanation, that is, the degeneration of the Hodge - Tate spectral sequence is equivalent to the degeneration of the Hodge - de Rham spectral sequence.

### Main contributions
1. **Reconstructing the Hodge - Tate spectral sequence**:
- The author proves that the Hodge - Tate spectral sequence can be reconstructed from infinitesimal \( B^+_{\text{dR}} \)-cohomology through the Bialynicki - Birula map.
- Specifically, the filtration \( \text{Fil}^m(-m) \) of the Hodge - Tate spectral sequence is consistent with the filtration of infinitesimal \( B^+_{\text{dR}} \)-cohomology.

2. **New proof of torsion - freeness**:
- The author provides a new proof independent of the Conrad - Gabber expansion theorem, showing that infinitesimal \( B^+_{\text{dR}} \)-cohomology is torsion - free.

3. **Conceptual explanation**:
- The author provides a conceptual explanation that the degeneration of the Hodge - Tate spectral sequence is equivalent to the degeneration of the Hodge - de Rham spectral sequence.

### Mathematical background
- **Hodge - Tate spectral sequence**: It is a spectral sequence that converges from Hodge cohomology groups to \( p \)-adic topological cohomology.
- **Infinitesimal \( B^+_{\text{dR}} \)-cohomology**: It is a cohomology theory related to the \( B^+_{\text{dR}} \) period ring.
- **Bialynicki - Birula map**: It is used to connect the Hodge - Tate spectral sequence and infinitesimal \( B^+_{\text{dR}} \)-cohomology.

### Key results
- **Main theorem**:
\[
\text{Fil}^m(-m)=\text{im}\left( H^i(X, \tau_{\leq m} R\nu_* \hat{\mathcal{O}}_X)\to H^i(X, R\nu_* \hat{\mathcal{O}}_X)\cong H^i_{\text{ét}}(X, \mathbb{Q}_p)\otimes_{\mathbb{Q}_p}C \right)
\]
where \( \tau_{\leq m} \) is the standard truncation operator and \( \hat{\mathcal{O}}_X \) is the \( p \)-adic completion of \( \mathcal{O}_X \).

- **Torsion - freeness**:
- Infinitesimal \( B^+_{\text{dR}} \)-cohomology \( H^i_{\text{crys}}(X/B^+_{\text{dR}}) \) is torsion - free.

- **Degeneration equivalence**:
- The degeneration of the Hodge - Tate spectral sequence is equivalent to the degeneration of the Hodge - de Rham spectral sequence.

### Conclusion
This paper successfully reconstructs the Hodge - Tate spectral sequence and provides a new proof of torsion - freeness by introducing and studying a refined version of the \( L\eta \) function.