On the Zariski topology on endomorphism monoids of omega-categorical structures
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911482725269504 |
|---|---|
| author | Pinsker, Michael Schindler, Clemens |
| author_facet | Pinsker, Michael Schindler, Clemens |
| contents | The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $ω$-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids. We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $ω$-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse and Pinsker. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_09466 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On the Zariski topology on endomorphism monoids of omega-categorical structures Pinsker, Michael Schindler, Clemens Logic General Topology Rings and Algebras 20M20, 54H15, 22A15 The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $ω$-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids. We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $ω$-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse and Pinsker. |
| title | On the Zariski topology on endomorphism monoids of omega-categorical structures |
| topic | Logic General Topology Rings and Algebras 20M20, 54H15, 22A15 |
| url | https://arxiv.org/abs/2308.09466 |