Revisiting virtual difference ideals
In difference algebra, basic definable sets correspond to prime ideals that are invariant under a structural endomorphism. The main idea of an article with Peterzil (Proc. London Math. Soc. 85:2 (2002), 257–311) was that periodic prime ideals enjoy better geometric properties than invariant ideals...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Mathematical Sciences Publishers
2024
|
| Subjects: |
| _version_ | 1826313648627253248 |
|---|---|
| author | Chatzidakis, Z Hrushovski, E |
| author_facet | Chatzidakis, Z Hrushovski, E |
| author_sort | Chatzidakis, Z |
| collection | OXFORD |
| description | In difference algebra, basic definable sets correspond to prime ideals that are invariant under a structural endomorphism. The main idea of an article with Peterzil (Proc. London Math. Soc. 85:2 (2002), 257–311) was that periodic prime ideals enjoy better geometric properties than invariant ideals, and to understand a definable set, it is helpful to enlarge it by relaxing invariance to periodicity, obtaining better geometric properties at the limit. The limit in question was an intriguing but somewhat ephemeral setting called virtual ideals. However, a serious technical error was discovered by Tom Scanlon’s UCB seminar. In this text, we correct the problem via two different routes. We replace the faulty lemma by a weaker one that still allows recovering all results of the aforementioned paper for all virtual ideals. In addition, we introduce a family of difference equations (“cumulative” equations) that we expect to be useful more generally. Previous work implies that cumulative equations suffice to coordinatize all difference equations. For cumulative equations, we show that virtual ideals reduce to globally periodic ideals, thus providing a proof of Zilber’s trichotomy for difference equations using periodic ideals alone. |
| first_indexed | 2024-09-25T04:18:16Z |
| format | Journal article |
| id | oxford-uuid:053b3c94-289f-4eda-99c5-396c929df585 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-09-25T04:18:16Z |
| publishDate | 2024 |
| publisher | Mathematical Sciences Publishers |
| record_format | dspace |
| spelling | oxford-uuid:053b3c94-289f-4eda-99c5-396c929df5852024-07-30T12:12:38ZRevisiting virtual difference idealsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:053b3c94-289f-4eda-99c5-396c929df585difference ideal, Zilber trichotomy, virtual ideal, model theoryEnglishSymplectic ElementsMathematical Sciences Publishers2024Chatzidakis, ZHrushovski, EIn difference algebra, basic definable sets correspond to prime ideals that are invariant under a structural endomorphism. The main idea of an article with Peterzil (Proc. London Math. Soc. 85:2 (2002), 257–311) was that periodic prime ideals enjoy better geometric properties than invariant ideals, and to understand a definable set, it is helpful to enlarge it by relaxing invariance to periodicity, obtaining better geometric properties at the limit. The limit in question was an intriguing but somewhat ephemeral setting called virtual ideals. However, a serious technical error was discovered by Tom Scanlon’s UCB seminar. In this text, we correct the problem via two different routes. We replace the faulty lemma by a weaker one that still allows recovering all results of the aforementioned paper for all virtual ideals. In addition, we introduce a family of difference equations (“cumulative” equations) that we expect to be useful more generally. Previous work implies that cumulative equations suffice to coordinatize all difference equations. For cumulative equations, we show that virtual ideals reduce to globally periodic ideals, thus providing a proof of Zilber’s trichotomy for difference equations using periodic ideals alone. |
| spellingShingle | difference ideal, Zilber trichotomy, virtual ideal, model theory Chatzidakis, Z Hrushovski, E Revisiting virtual difference ideals |
| title | Revisiting virtual difference ideals |
| title_full | Revisiting virtual difference ideals |
| title_fullStr | Revisiting virtual difference ideals |
| title_full_unstemmed | Revisiting virtual difference ideals |
| title_short | Revisiting virtual difference ideals |
| title_sort | revisiting virtual difference ideals |
| topic | difference ideal, Zilber trichotomy, virtual ideal, model theory |
| work_keys_str_mv | AT chatzidakisz revisitingvirtualdifferenceideals AT hrushovskie revisitingvirtualdifferenceideals |