Differentially Large Fields
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2020
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910319138308096 |
|---|---|
| author | Sánchez, Omar León Tressl, Marcus |
| author_facet | Sánchez, Omar León Tressl, Marcus |
| contents | We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2005_00888 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Differentially Large Fields Sánchez, Omar León Tressl, Marcus Algebraic Geometry Analysis of PDEs Logic Number Theory Primary: 12H05, 12E99. Secondary: 03C60, 34M25 We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed. |
| title | Differentially Large Fields |
| topic | Algebraic Geometry Analysis of PDEs Logic Number Theory Primary: 12H05, 12E99. Secondary: 03C60, 34M25 |
| url | https://arxiv.org/abs/2005.00888 |