Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2009.14128 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $Ω_{\mathcal{X}}^+$ of the sheaf of differentials $Ω_{\mathcal{X}}$. It is defined in a similar way as the subsheaf $\mathcal{O}^+_{\mathcal{X}}$ of $\mathcal{O}_{\mathcal{X}}$ using Kähler seminorms on $Ω_{\mathcal{X}}$. We give a description of $Ω^+_{\mathcal{X}}$ in terms of logarithmic differentials. If $\mathcal{X}$ is of the form $\mathrm{Spa}(X,\bar{X})$ for a scheme $\bar{X}$ and an open subscheme $X$ such that the corresponding log structure on $\bar{X}$ is smooth, we show that $Ω^+_{\mathcal{X}}(\mathcal{X})$ is isomorphic to the logarithmic differentials of $(X,\bar{X})$.