Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2310.17862 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916395129765888 |
|---|---|
| author | Fu, Yayi |
| author_facet | Fu, Yayi |
| contents | Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site $\underline{\mathbb{C}^n}$, where the coverings are finite coverings by definable open sets. In general, let $\mathcal{K}$ be an algebraically closed field of characteristic zero. We give another proof of the coherence of $\mathcal{O}_{\mathcal{K}^n}$ as a sheaf of $\mathcal{O}_{\mathcal{K}^n}$-modules on the site $\underline{\mathcal{K}^n}$ using spectral topology on the type space $S_n(\mathcal{K})$. (Here $S_n(\mathcal{K})$ means $S_{2n}(\mathcal{R})$ for some real closed field $\mathcal{R}$.) It also gives an example of how the intuition that sheaves on the type space are the same as sheaves on the site with finite coverings (see \cite[Proposition~3.2]{edmundo2006sheaf}) can be applied. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_17862 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A model theoretic proof for o-minimal coherence theorem Fu, Yayi Logic Complex Variables Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site $\underline{\mathbb{C}^n}$, where the coverings are finite coverings by definable open sets. In general, let $\mathcal{K}$ be an algebraically closed field of characteristic zero. We give another proof of the coherence of $\mathcal{O}_{\mathcal{K}^n}$ as a sheaf of $\mathcal{O}_{\mathcal{K}^n}$-modules on the site $\underline{\mathcal{K}^n}$ using spectral topology on the type space $S_n(\mathcal{K})$. (Here $S_n(\mathcal{K})$ means $S_{2n}(\mathcal{R})$ for some real closed field $\mathcal{R}$.) It also gives an example of how the intuition that sheaves on the type space are the same as sheaves on the site with finite coverings (see \cite[Proposition~3.2]{edmundo2006sheaf}) can be applied. |
| title | A model theoretic proof for o-minimal coherence theorem |
| topic | Logic Complex Variables |
| url | https://arxiv.org/abs/2310.17862 |