[論文レビュー] Ideals in some Rings of Nevanlinna-Smirnov Type

Romeo Meštrović|arXiv (Cornell University)|Apr 9, 2018

Holomorphic and Operator Theory参考文献 7被引用数 5

ひとこと要約

本稿では、単位円板上の正則関数の $N^p$ 系列（$1 < p < \infty$）が、ネバリンナ–スミルノフ型の環をなしており、モルティーニの理論を適用してそのイデアル構造を解析できることを確立する。主な貢献は、[7] の定理6の $N^p$ 形式の類似を示したことである。具体的には、補間型ブラシチェー積の零点における $ (1 - |z_k|^2) |\log(\sum |\varphi_i(z_k)|)|^p $ の和が有限であれば、内挙動関数によって有限生成されるイデアルが、全体の代数 $N^p$ に等しくなることを証明しており、これによりイデアルが全環に等しいことが確認される。

ABSTRACT

Let $N^p$ $(1

研究の動機と目的

• 正則関数の $N^p$ 系列のイデアル構造を調査すること。
• ネバリンナ–スミルノフ型の環におけるモルティーニの結果を $N^p$ の文脈に拡張すること。
• 内挙動関数によって有限生成される $N^p$ 内のイデアルが、全代数 $N^p$ に等しくなるための基準を確立すること。
• $N^p$ がコーナー性質を満たすことを証明すること。
• [7] の定理6を $N^p$ の文脈に一般化し、イデアルが全環に等しくなるための十分条件を提供すること。

提案手法

• 関数の $N^p$ 内の標準的因子分解（ブラシチェー積、特異的内挙動関数、外挙動関数に）を用いる。
• ネバリンナ–スミルノフ型の環におけるモルティーニの枠組みを応用し、$H^\infty$ 内のイデアルが $N^p$ 内のイデアルのトレースであるための条件を導出する。
• ブラシチェー積の補間性質と $H^p$-補間定理を用いて、補間列における関数値を分析する。
• 収束基準における対数項を抑えるために、不等式 $ (a + b)^p \leq 2^{p-1}(a^p + b^p) $ を用いる。
• シャピロとシャイルドの定理を適用し、補間点において $ \log c_k $ を指定された値とする関数 $ g \in H^p $ を構成する。
• 逆元を持つ関数 $ F = \exp g $ を $ N^p $ 内に構成し、これによりイデアルが単元を含み、したがって $ N^p $ に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 内挙動関数によって生成される $N^p$ 内の有限生成イデアルが、全代数 $N^p$ に等しくなるのはどのような条件下か？
• RQ2 $N^p$ 代数におけるコーナー性質をどのように確立できるか？
• RQ3 モルティーニの定理6（$H^1$ および $N^+$ に対して）の $N^p$ 形式の類似は何か？
• RQ4 補間型ブラシチェー積は、$N^p$ 内のイデアルを特徴付ける上で果たす役割は何か？
• RQ5 $N^p$ 内のイデアルのトレースは、$H^\infty$ との交わりに関する条件によって完全に特徴付けられるか？

主な発見

• $1 < p < \infty$ に対して、代数 $N^p$ は、$g, h \in H^\infty$ かつ $h$ が $N^p$ 内で可逆であるような $f = g/h$ の形の因子分解を許容するため、ネバリンナ–スミルノフ型の環である。
• $N^p$ のイデアル構造は、トレース条件によって完全に特徴付けられる：$I \subset H^\infty$ が $N^p$ 内のイデアルのトレースであるための必要十分条件は、$f \in I$、$F$ が外挙動関数で $ \log|F^*| \in L^p(T) $ を満たし、$ fF \in H^\infty $ ならば $ fF \in I $ である。
• [7] の定理6の $N^p$ 形式の類似が証明された：$N^p$ 内の有限生成イデアル $I = (\varphi_1, \dots, \varphi_n)$ が補間型ブラシチェー積 $B$（零点 $\{z_k\}$ を持つ）を含み、かつ $ \sum_k (1 - |z_k|^2) |\log(\sum |\varphi_i(z_k)|)|^p < \infty $ であれば、$I = N^p$ である。
• 代数 $N^p$ はコーナー性質を満たしており、これは、任意の有限生成イデアルが $ \|f_i\|_\infty \leq 1 $ かつ点毎に $ \sum |f_i|^2 \geq \delta > 0 $ を満たすならば、全環に等しいことを意味する。
• $g \in H^p$ かつ $g(z_k) = \log c_k$ を満たす関数 $g$ を用いて $F = \exp g$ と定義する逆元を持つ関数 $F \in N^p$ を構成し、これによりイデアルが単元を含み、したがって $N^p$ に等しいことを示した。
• 証明は、補間点において $ \overline{\varphi_i(z_k)} $ を一致させる $H^\infty$ 内の補間関数の存在に依拠しており、これによりイデアル内に単元を構成できる。