[論文レビュー] Abstract Swiss Cheese Space and the Classicalisation of Swiss Cheeses

J. F. Feinstein, Sam Morley+1 more|arXiv (Cornell University)|Mar 12, 2015

Advanced Topics in Algebra参考文献 15被引用数 6

ひとこと要約

本稿は、フェインスタイン＝イーブズ古典化定理の新たな位相的証明を提供するため、『抽象的スイスチーズ』の抽象的位相空間を導入する。これにより、特定の性質（正則性や無限次の非退化有界点導分）を備えた古典的スイスチーズ集合の構成が可能となり、指定された領域における既存の構造を保ちながらも実現される。主な貢献は、非古典的スイスチーズ集合を古典化する体系的な手法の確立であり、円形構成の類似物およびオファレルの反例の改良例を含む。

ABSTRACT

Swiss cheese sets are compact subsets of the complex plane obtained by deleting a sequence of open disks from a closed disk. Such sets have provided numerous counterexamples in the theory of uniform algebras. In this paper, we introduce a topological space whose elements are what we call "abstract Swiss cheeses". Working within this topological space, we show how to prove the existence of "classical" Swiss cheese sets (as discussed in a paper of Feinstein and Heath from 2010) with various desired properties. We first give a new proof of the Feinstein-Heath classicalisation theorem. We then consider when it is possible to "classicalise" a Swiss cheese while leaving disks which lie outside a given region unchanged. We also consider sets obtained by deleting a sequence of open disks from a closed annulus, and we obtain an analogue of the Feinstein-Heath theorem for these sets. We then discuss regularity for certain uniform algebras. We conclude with an application of these techniques to obtain a classical Swiss cheese set which has the same properties as a non-classical example of O'Farrell (1979).

研究の動機と目的

• 特定の関数解析的性質を備えた古典的スイスチーズ集合を構成するための位相的枠組みの開発。
• 抽象的スイスチーズ空間を用いたフェインスタイン＝イーブズ古典化定理の新たな証明の提供。
• 古典化技法を閉領域から成るスイスチーズ集合および与えられた領域の外部領域へと拡張すること。
• 正則性 $ R(X) $ および 0 における無限次の非退化有界点導分を備えた古典的スイスチーズ集合を構成し、オファレルの例を改善すること。
• コンパクト平面集合における位相的構造、一様代数の正則性、および有界点導分の相互作用の解明。

提案手法

• 複素中心の列と非負の半径を備えた抽象的スイスチーズの空間を導入し、収束性およびコンパクトネスの議論を可能にする自然な位相を備える。
• 抽象的空間内での超限帰納法およびツォルンの補題の技法を用いて、古典的配置の存在を保証する。
• ネストされた環状領域 $ K_n $ と近傍 $ U_n $ を備えた制御集合 $ \mathcal{C} = ((K_n, U_n))_{n \in \mathbb{N}} $ を定義し、古典化を局所化する。
• 定理 5.7 を適用して、$ X_B \subseteq X_A $、$ X_B \setminus V(\mathcal{C}) = X_A \setminus V(\mathcal{C}) $、および $ \rho(B) < \varepsilon $ を満たす古典的抽象スイスチーズ $ B \in \mathcal{L}_A^*(\mathcal{C}) $ を構成する。
• Hallströmの定理を用いて、$ \sum m^m \rho_{E_m}(B) < \infty $ のsummabilityに基づき、0 における非退化有界点導分が無限次の存在を示唆する。
• コンパクト平面集合の合併に関する正則性結果（補題 7.6）を活用し、制御された摂動のもとで $ R(X_B) $ の正則性を保持する。

実験結果

リサーチクエスチョン

• RQ1 フェインスタイン＝イーブズ古典化定理は、抽象的スイスチーズの位相的枠組みを用いて再証明可能か？
• RQ2 与えられた領域の外部におけるディスクの構造を保ったまま、スイスチーズ集合を古典化できる条件は何か？
• RQ3 閉領域ではなく閉環状領域から成るスイスチーズ集合に対して、古典化定理の類似物は存在するか？
• RQ4 正則性 $ R(X) $ および 0 における無限次の非退化有界点導分を備えた古典的スイスチーズ集合を構成可能か？
• RQ5 正則性 $ R(X) $ が、非ゼロの有界点導分の存在を排除するのに十分か？

主な発見

• 抽象的スイスチーズ空間を用いたフェインスタイン＝イーブズ古典化定理の新たな位相的証明が確立された。
• 指定された領域の外部のすべてのディスクをその位置と半径のままに保ちつつ、スイスチーズ集合を古典化することが可能である。
• 環状スイスチーズ集合に対して、古典化定理の類似物が証明され、より一般のコンパクト平面集合へと手法が拡張された。
• 正則性 $ R(X_B) $ を備え、0 において非退化有界点導分が無限次の存在を示す古典的スイスチーズ集合 $ X_B $ が構成された。
• 構成法により $ \sum_{m=1}^\infty m^m \rho_{E_m}(B) < \varepsilon < \infty $ が保証され、Hallströmの定理により所望の有界点導分の存在が示された。
• この方法により $ X_B \subseteq X_A $、$ X_B \setminus V(\mathcal{C}) = X_A \setminus V(\mathcal{C}) $、および $ \rho(B) < \varepsilon $ が保証され、削除されたディスクの総測度に対する制御がなされた。