A Poincar\'e lemma for real-valued differential forms on Berkovich spaces

TL;DR

This paper establishes a Poincaré lemma for real-valued differential forms on Berkovich spaces, advancing the understanding of their cohomological properties and finite dimensionality in various degrees.

Contribution

It proves a Poincaré lemma for superforms and real-valued differential forms on Berkovich spaces, and demonstrates finite dimensionality of their de Rham cohomology.

Findings

Poincaré lemma proven for superforms and real-valued forms on Berkovich spaces.

Finite dimensionality established for de Rham cohomology on polyhedral complexes.

Finite dimensionality shown for the de Rham cohomology of analytifications of algebraic varieties.

Abstract

Real-valued differential forms on Berkovich analytic spaces were introduced by Chambert-Loir and Ducros in 'Formes diff\'erentielles r\'eelles et courants sur les espaces de Berkovich' using superforms on polyhedral complexes. We prove a Poincar\'e lemma for these superforms and use it to also prove a Poincar\'e lemma for real-valued differential forms on Berkovich spaces. For superforms we further show finite dimensionality for the associated de Rham cohomology on polyhedral complexes in all (bi-)degrees. We also show finite dimensionality for the real-valued de Rham cohomology of the analytification of an algebraic variety in some bidegrees.