An Application of Descriptive Set Theory to Complex Analysis

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Caruvana, Christopher, Kallman, Robert R.
Natura: Preprint
Pubblicazione: 2021
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866910311606386688
author Caruvana, Christopher
Kallman, Robert R.
author_facet Caruvana, Christopher
Kallman, Robert R.
contents The purpose of this paper is to prove a new general result about rings of complex analytic functions. Let $Ω$ be an arbitrary nonempty open subset of the complex plane $\mathbb C$, $\mathcal{A}(Ω)$ be the set of holomorphic functions on $Ω$ viewed as a Polish ring (not a Polish algebra over $\mathbb C$) in the usual compact open topology, let $R$ be a Polish ring and let $φ: R \to \mathcal{A}(Ω)$ be an abstract algebraic isomorphism. The main goal of this paper is to prove Theorem 36 that $φ$ is a topological isomorphism. A special result of Bers is an easy corollary. Two additional items supplement these results, viz., that $B(\mathbb{D})$, the abstract ring of bounded analytic functions on the unit disk, cannot be made into a Polish ring and that $\mathcal{M}(Ω)$, the abstract field of meromorphic functions on $Ω$, cannot be made into a Polish field.
format Preprint
id arxiv_https___arxiv_org_abs_2101_07386
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle An Application of Descriptive Set Theory to Complex Analysis
Caruvana, Christopher
Kallman, Robert R.
Complex Variables
General Topology
30H50, 54H05, 54H13
The purpose of this paper is to prove a new general result about rings of complex analytic functions. Let $Ω$ be an arbitrary nonempty open subset of the complex plane $\mathbb C$, $\mathcal{A}(Ω)$ be the set of holomorphic functions on $Ω$ viewed as a Polish ring (not a Polish algebra over $\mathbb C$) in the usual compact open topology, let $R$ be a Polish ring and let $φ: R \to \mathcal{A}(Ω)$ be an abstract algebraic isomorphism. The main goal of this paper is to prove Theorem 36 that $φ$ is a topological isomorphism. A special result of Bers is an easy corollary. Two additional items supplement these results, viz., that $B(\mathbb{D})$, the abstract ring of bounded analytic functions on the unit disk, cannot be made into a Polish ring and that $\mathcal{M}(Ω)$, the abstract field of meromorphic functions on $Ω$, cannot be made into a Polish field.
title An Application of Descriptive Set Theory to Complex Analysis
topic Complex Variables
General Topology
30H50, 54H05, 54H13
url https://arxiv.org/abs/2101.07386