Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2604.14020 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915938900639744 |
|---|---|
| author | Wang, Haoming |
| author_facet | Wang, Haoming |
| contents | This paper models the theory of abstract harmonic spaces in the syntax of the continuous first-order logic of Banach lattices. It addresses a topological question asking when a one-to-one harmonic map onto smooth manifolds $M^n$ is a diffeomorphism. We give $M^n$ ($n\le 2$) a characterization by $U$-rank and elementary saturation for large cardinals. Polar sets are characterized by several equivalent conditions from the omitting type theorem. Consequently, harmonic measures on the ideal boundary in Martin representation are bijectively mapped to Keisler measures supported on non-principal types. Further problems concerning o-minimality and non-local potentials are finally discussed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_14020 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Saturation and isomorphism of abstract harmonic spaces Wang, Haoming Logic Complex Variables General Topology Primary 03C66, Secondary 06B05, 30C85 This paper models the theory of abstract harmonic spaces in the syntax of the continuous first-order logic of Banach lattices. It addresses a topological question asking when a one-to-one harmonic map onto smooth manifolds $M^n$ is a diffeomorphism. We give $M^n$ ($n\le 2$) a characterization by $U$-rank and elementary saturation for large cardinals. Polar sets are characterized by several equivalent conditions from the omitting type theorem. Consequently, harmonic measures on the ideal boundary in Martin representation are bijectively mapped to Keisler measures supported on non-principal types. Further problems concerning o-minimality and non-local potentials are finally discussed. |
| title | Saturation and isomorphism of abstract harmonic spaces |
| topic | Logic Complex Variables General Topology Primary 03C66, Secondary 06B05, 30C85 |
| url | https://arxiv.org/abs/2604.14020 |