つづき en.wikipedia.org/wiki/Pseudoconvexity In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the n-dimensional complex space Cn. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy. 略す www.ms.u-tokyo.ac.jp/~noguchi/2013Haru-Kikaku-beamer.pdf 値分布と有理点分布II 日本数学会春季年会2013函数論分科会企画特別講演 野口潤次郎(東大数理)平成25年(2013) 3月23日 値分布論(Nevanlinna理論)は小林双曲性への有力なアプローチ。 値分布論(Nevanlinna理論)には“数論”的な面はないが“算術的(arithmetic)” な側面がありその観点からの論述である www.ms.u-tokyo.ac.jp/~noguchi/talks/(2013)MSUT-H25march-beamer.pdf 値分布と多変数関数論 野口潤次郎 東京大学数理講演会2013(H25) 年3月18日 www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1731-07.pdf 数理解析研究所講究録第1731巻 2011年 88-95 値分布理論の諸問題 野口潤次郎 東京大学大学院数理科学研究科 1.小林双曲的多様体と関連する問題 1.1小林双曲的多様体 略す (引用終り) 以上
>擬凸集合(英: pseudoconvex set)は n 次元複素空間 Cn 内のある特殊なタイプの開集合をモデルとして導入された、凸性に似た幾何学的条件で定義される複素多様体上の領域である。 なるほど こういうときは、en.wikipediaを見るのが定石でして なるほど、”Every (geometrically) convex set is pseudoconvex.” C2 (twice continuously differentiable) boundary Now, G is pseudoconvex iff for every p∈∂G and w in the complex tangent space at p, that is, ∇ρ(p)w= Σi=1〜n ∂ρ(p)/∂zi wi = 0, we have 琶,j=1〜n ∂2 ρ(p)/∂zj∂¯zj wiw¯j ≧ 0 . The definition above is analogous to definitions of convexity in Real Analysis. か・・・ (参考) en.wikipedia.org/wiki/Pseudoconvexity Pseudoconvexity In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the n-dimensional complex space Cn. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy. Let G⊂Cn be a domain, that is, an open connected subset. One says that G is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function φ on G such that the set {z∈G∣φ(z)<x}is a relatively compact subset of G for all real numbers x. In other words, a domain is pseudoconvex if G has a continuous plurisubharmonic exhaustion function. Every (geometrically) convex set is pseudoconvex. However, there are pseudoconvex domains which are not geometrically convex. When G has a C2 (twice continuously differentiable) boundary, this notion is the same as Levi pseudoconvexity, which is easier to work with. More specifically, with a C2 boundary, it can be shown that G has a defining function, i.e., that there exists ρ:Cn→R which is C2 so that G={ρ<0}, and ∂G={ρ=0}. Now, G is pseudoconvex iff for every p∈∂G and w in the complex tangent space at p, that is, ∇ρ(p)w= Σi=1〜n ∂ρ(p)/∂zi wi = 0, we have 琶,j=1〜n ∂2 ρ(p)/∂zj∂¯zj wiw¯j ≧ 0 . The definition above is analogous to definitions of convexity in Real Analysis. If G does not have a C2 boundary, the following approximation result can be useful. Proposition 1 略す
つづき 4)検索:Diederich-Fornaess 2件のみ見繕い貼り付け ADACHI Masanori (足立真訓) — Articles Graduate School of Mathematics, Nagoya University www.math.nagoya-u.ac.jp › articles Levi平坦面の囲む領域におけるDiederich–Fornaess指数の局所的な表示公式 [PDF, ja] ... A summary of [1] with some comments about the Diederich–Fornaess exponent. Diederich-Fornaess and Steinness indices for abstract CR ... arXiv arxiv.org › math M Adachi 著 · 2020 · 被引用数: 7 — We propose the concept of Diederich--Fornæss and Steinness indices on compact pseudoconvex CR manifolds of hypersurface type in terms of the D'Angelo 1-form. 5) (参考) ja.wikipedia.org/wiki/%E3%82%AB%E3%83%A9%E3%83%86%E3%82%AA%E3%83%89%E3%83%AA%E3%81%AE%E5%AE%9A%E7%90%86_(%E7%AD%89%E8%A7%92%E5%86%99%E5%83%8F) 複素解析学において、1913 年にコンスタンティン・カラテオドリ[1]によって証明されたカラテオドリの定理 (Carathéodory's theorem) は、U が複素平面 C の単連結な開部分集合であってその境界がジョルダン曲線であれば(そのような領域をジョルダン領域という)、U から単位(開)円板 D へのリーマン写像(すなわち双正則写像) f: U → D は境界に連続に拡張し、Γ から単位円 S1 への同相写像 F: Γ → S1 が与えられるという定理である。 言い換えると、この定理が述べているのは、ジョルダン領域 U に対し、U の閉包から単位閉円板 cl(D) への同相写像 F: cl(U) → cl(D) であってその内部への制限がリーマン写像であるようなものが存在するということである。 カラテオドリの定理の別の標準的な定式化は、ジョルダン曲線 Γ1 と Γ2 に囲まれた単連結開集合 U と V の任意の対に対して、等角写像 f: U → V は同相写像 F: cl(U) → cl(V) に拡張し、その Γ1 への制限は Γ2 への同相写像になる。 この主張は最初の主張から一方のリーマン写像の逆をもう一方のリーマン写像と合成することによって得られる。 より一般的に述べると以下のようになる。 g: D → U をリーマン写像の逆写像とする、ただし D ⊂ C は単位円板で、U ⊂ C は単連結領域。すると g が連続に G: cl(D) → cl(U) に拡張することと、U の境界が局所連結であることが同値である。この結果は最初 Marie Torhorst によって 1918 年の学位論文[2] において、ハンス・ハーンの指導の下、カラテオドリの prime ends(英語版) の理論を用いて、述べられ証明された。 つづく
つづき 文脈 直感的には、カラテオドリの定理は、複素平面 C において一般の単連結開集合と比べてジョルダン曲線に囲まれたものはとりわけ well-behaved(英語版) であると言っている。 カラテオドリの定理は複素解析の古典的な部分である等角写像の境界の振る舞いの研究の基本的な結果である。一般には、開集合 U から単位円板 D へのリーマン写像が境界に連続に拡張するかどうかを決定すること、そして、ある点でそれができない様子や理由を決定することは、非常に難しい。 そのような拡張が存在するためにジョルダン曲線の境界を持つことは十分であるが、決して必要ではない。例えば、上半平面 H から、C から非負の実数を除いた開集合 G への写像 f(z) = z2 は正則かつ等角(双正則)であり、実数直線 R から非負の実軸 R+ への連続写像に拡張する。しかしながら、集合 G の境界はジョルダン曲線ではない。 en.wikipedia.org/wiki/Carath%C3%A9odory%27s_theorem_(conformal_mapping) Carathéodory's theorem (conformal mapping) Proofs of Carathéodory's theorem 略す Continuous extension and the Carathéodory-Torhorst theorem 略す (引用終り) 以上
>>59 訂正 漸近的双曲空間における幾何解析∗ (注:こいつは、理論物理系ですね) ↓ 漸近的双曲空間における幾何解析∗ (注:こいつは、物理数学系ですね) あと、”補題 1.19 (Carathéodory の定理)”は、全く別物(名前のみ Carathéodory ) また、Fefferman で 目次 ”第5 章AH-Einstein 方程式の漸近的近似解(Fefferman–Graham 展開)P103”は、未執筆 いまは、P71までしかない (^^ 参考文献では、下記ですが [16] C. Fefferman and C. R. Graham, Conformal invariants, Astérisque Numero Hors Serie (1985), 95116, The mathematical heritage of Élie Cartan (Lyon, 1984). [17] , The ambient metric, Annals of Mathematics Studies vol. 178, Princeton University Press, Princeton, NJ, 2012. [18] C. L. Fefferman, Monge-Ampère equations, the Bergman kernel, and geometry of pseudoconvex domains, Ann. of Math. (2) 103 (1976), no. 2, 395416. >>62