English

Logarithmic differentials on discretely ringed adic spaces

Algebraic Geometry 2024-09-12 v2

Abstract

On a smooth discretely ringed adic space X\mathcal{X} over a field kk we define a subsheaf ΩX+\Omega_{\mathcal{X}}^+ of the sheaf of differentials ΩX\Omega_{\mathcal{X}}. It is defined in a similar way as the subsheaf OX+\mathcal{O}^+_{\mathcal{X}} of OX\mathcal{O}_{\mathcal{X}} using K\"ahler seminorms on ΩX\Omega_{\mathcal{X}}. We give a description of ΩX+\Omega^+_{\mathcal{X}} in terms of logarithmic differentials. If X\mathcal{X} is of the form Spa(X,Xˉ)\mathrm{Spa}(X,\bar{X}) for a scheme Xˉ\bar{X} and an open subscheme XX such that the corresponding log structure on Xˉ\bar{X} is smooth, we show that ΩX+(X)\Omega^+_{\mathcal{X}}(\mathcal{X}) is isomorphic to the logarithmic differentials of (X,Xˉ)(X,\bar{X}).

Keywords

Cite

@article{arxiv.2009.14128,
  title  = {Logarithmic differentials on discretely ringed adic spaces},
  author = {Katharina Hübner},
  journal= {arXiv preprint arXiv:2009.14128},
  year   = {2024}
}
R2 v1 2026-06-23T18:53:05.208Z