2025-11-17T21:10:12.371561

A sharper Swiss cheese

Izzo

It is shown that there exists a compact planar set K such that the uniform algebra R(K) is nontrivial and strongly regular. This settles an issue raised by Donald Wilken 55 years ago. It is shown that the set K can be chosen such that, in addition, R(K) is not weakly amenable. It is also shown that there exists a uniform algebra that has bounded relative units but is not weakly amenable. These results answer questions raised by Joel Feinstein and Matthew Heath 17 years ago. A key ingredient in our proofs is a bound we establish on the functions introduced by Thomas Koerner to simplify Robert McKissick's construction of a nontrivial normal uniform algebra.

academic

より鋭いスイスチーズ

基本情報

論文ID: 2211.14684
タイトル: A Sharper Swiss Cheese
著者: Alexander J. Izzo
分類: math.CV（複素解析）、math.FA（関数解析）
発表日時: 2025年1月1日（arXiv v3版）
論文リンク: https://arxiv.org/abs/2211.14684

要旨

本論文は、一致代数R(K)が非自明かつ強正則である紧密平面集合Kが存在することを証明した。これはDonald Wilkenが55年前に提起した問題を解決するものである。論文はさらに、集合KをR(K)が弱可約でないように選択できることを証明した。加えて、有界相対単位を持つが弱可約でない一致代数が存在することも証明した。これらの結果はJoel FeinsteinとMatthew Heathが17年前に提起した問題に答えるものである。証明の重要な要素は、Thomas Körnerが導入した関数に対する界限の確立であり、これはRobert McKissickの非自明正規一致代数構成法を簡潔にしたものである。

研究背景と動機

核心問題

本論文は一致代数理論における以下の複数の長期未解決問題を解決する：

強正則性問題：Donald Wilkenが1969年に提起した、非自明かつ強正則なR(K)型一致代数が存在するかどうか
弱可約性問題：FeinsteinとHeathが2007年に提起した、強正則だが弱可約でない一致代数が存在するかどうか
有界相対単位問題：有界相対単位を持つが弱可約でない一致代数が存在するかどうか

問題の重要性

理論的意義：これらの問題は一致代数の基本的性質、すなわち強正則性、弱可約性などの核心概念に関わるものである
歴史的価値：領域内の55年および17年の未解決問題を解決するものである
方法的革新：古典的なスイスチーズ構成法を改善することで、関連研究に新たな道具を提供する

既存方法の限界

McKissickの古典的構成は正規だが強正則でない一致代数のみを得られる
以前の強正則一致代数の例は可度量空間上で最多でも有限個の非ピーク点を持つ
複数の性質（例えば強正則だが弱可約でない）を同時に満たす構成法が欠如していた

核心的貢献

初めての非自明強正則R(K)型一致代数を構成し、Wilkenの55年前の問題を解決した
強正則だが弱可約でない一致代数が存在することを証明し、Feinstein-Heath問題に答えた
有界相対単位を持つが弱可約でない一致代数を構成した
Körner関数の一致界限を確立し、これは技術的な重要な革新である
可度量空間上で不可算個の非ピーク点を持つ初めての強正則一致代数を提供した

方法の詳細

タスク定義

紧密平面集合K = D \ ⋃∞_ D_k（スイスチーズ）を構成し、一致代数R(K)が特定の性質を満たすようにする：

入力：開円盤列{D_k}、∑r(D_k) < ∞を満たす
出力：紧密集合K、R(K)が所望の性質を持つ
制約：R(K)が非自明かつ強正則性などの条件を満たすことを保証する

核心的技術フレームワーク

1. Körner関数の改善された界限（第3節）

重要補題3.1：有理関数列{f_n}と定数C_1が存在し、各0 < ε < 1に対して、開円盤列{Δ_k}が存在して以下を満たす：

∑r(Δ_k) ≤ ε
f_nの極点は⋃Δ_k内に位置する
{f_n}はC \ ⋃Δ_k上で関数f_εに一致収束する
重要な界限：||f_ε||_∞ ≤ C_1ε^{-1}

2. 強正則性判別基準（補題4.1）

紧密集合K ⊂ Cとs ∈ Z^+に対して、各σ > 0とη > 0に対して、xを含み半径≤σの開円盤Δが存在し、関数g ∈ R(K)が存在して以下を満たす場合：

gはΔ ∩ K上で恒にゼロ
||(z-a)^s - g||_K < η

ならばR(K)内でJ_x ⊃ M^s_xが成立する。

3. 主要構成定理（定理4.5）

各r > 0に対して、開円盤列{D_k}が存在して∑r(D_k) < rを満たし、K = D \ ⋃D_kが以下を満たす： R(K)内で、各x ∈ Kに対してJ_x ⊃ M^2_xが成立する

技術的革新点

関数界限の精密制御：Körner関数の一致界限を確立することで、逼近精度の精密制御を実現した
階層的構成戦略：
- まずJ_x ⊃ M^2_xを満たすスイスチーズを構成
- その後Wermerの結果（M^2_x = M_x）と結合
- 最終的に強正則性（J_x = M_x）を得る
幾何学的被覆技術：観察4.4の被覆結果を使用し、構成過程の可制御性を確保する