多変数解析函数論6

多変数関数論（多変数複素解析）について語り合いましょう！


■前スレ
多変数複素解析5
https://rio2016.5ch.io/test/read.cgi/math/1752363558/

Siuがここ数年同じサーベイを講演し続けている

今回のICMでは複素解析の話は一つだけ

なるほどSiu教授の業績を調べてみれば
分岐リーマン領域に関してかなりの進展だ
しかしこの大きな進捗が話題にならない
のはなぜなのか、みんな興味ないのか

メモ:関数論の妙所 大沢健夫 現代数学 2026を読んで
rio2016.5ch.io/test/read.cgi/math/1787280575/

雑談相手がほしいそうだ

多変数の複素力学系は話題になっているのか

>>168
終わった分野なのかも？

岡の次の世代の数学者たちは
「多変数関数論は岡が重要な問題を全部解いてしまって
終わった分野なのでやめておけ」と言われて
数論、代数幾何、トポロジーなどに進んだ

Hermut Kneserの息子の
Martin Kneserがその一例

訂正
Hermut-->Hellmuth

終わった分野の追悼研究集会をしよう

実はまだ全然終わっていないのだ
Siu教授の結果は始まりに過ぎない

やったことがないとそうは思えない

Siuといえば、K3はケーラー

言いぱなしが歓迎されるスレ

そういえば修論のネタを貰った人はどうなったのだろう、もう一年以上経つが
境界がヘルダー連続の場合に拡張するだったか

regularityを上げるにも
取り掛かるには
モチベーションが必要

普通修論のネタは頑張って計算すればできる問題をだすんじゃないの

境界がヘルダー連続の場合に拡張するの場合難しすぎて何も成果が出ないと思うけど
自分の弟子ではないのでそこまで気を使う必要はないけど

解析だからLipschitzを少しはみ出すくらいでも可

俺は複素解析と実解析は別世界という感覚なのだが

複素解析には解析の部分と幾何の部分と
代数の部分がある。
実解析とは地続き。
作用素の交換子積のコンパクト性に関する結果は
複素解析でも高く評価されうる。

ガストンジュリア　岡潔の師匠
https://youtu.be/iF5vvOAqUFQ?si=J9BmJLk-Kb6dLJ2H

http://www.kucoin.com/ja/news/flash/ai-breaks-78-year-old-math-conjecture-on-s-complex-structure

これってどうなの？

78年間解決されなかった世界的な難題が、たった3日で解かれてしまった！

1948年から今日に至るまで、六次元球面上に複素構造が存在するかどうかという問題について、今や答えは「存在する」である。

この回答を提出したのは、ハーバード大学の数学者レヴェント・アルポゲとクロードである。

>>183
リプシッツ連続な場合ならどうかな？

解決済みだと思う

>>190
問題を出した「名誉教授」に聞いて

だから、解決済みだと思う

参考文献を教えてください

288 名前：１３２人目の素数さん[] 投稿日：2024/11/14(木) 15:41:39.53 ID:VR2QoXGB [1/2]
P²内にリプシッツ連続な境界を持つ擬凸領域Dがあるとき
P²を超平面として含むP³内のリプシッツ連続な境界を持つ擬凸領域Ωで
Ω⋂P²＝Dを満たすものがあるか。（修論程度）

289 名前：１３２人目の素数さん[] 投稿日：2024/11/14(木) 15:53:16.75 ID:VR2QoXGB [2/2]
Dは上と同様とするとき
P³の擬凸な真部分開集合で
Dの閉包を含むものがあるか。(修論よりちょっと上)

結論から言うと、\(\mathbb{P}^{2}\)（\(\mathbb{C}^{2}\)）内のリプシッツ連続な境界を持つ任意の擬凸領域 \(D\) に対し、それを超平面として含む \(\mathbb{P}^{3}\)（\(\mathbb{C}^{3}\)）内のリプシッツ連続な境界を持つ擬凸領域 \(\Omega \) で \(\Omega \cap \mathbb{P}^2 = D\) を満たすものは常に存在します。
☆構成の概要
・リプシッツ境界の定義関数の拡張:\(D \subset \mathbb{C}^2\) の境界 \(\partial D\) がリプシッツ連続であるとは、局所的にリプシッツ連続な関数によって定義されることです。この \(D\) の定義関数（signed distance function など）を \(\rho_D(z_1, z_2)\) とすると、\(\rho _{D}\) はリプシッツ連続です。
・\(\mathbb{C}^{3}\) への持ち上げ:第三の複素変数 \(z_3 \in \mathbb{C}\) を導入し、\(\Omega = \{(z_1, z_2, z_3) \in \mathbb{C}^3 \mid \rho_D(z_1, z_2) - \vert{}z_3\vert{}^2 < 0\}\)（あるいは単に \(z_{3}\) の実部・虚部に関する適当なリプシッツ関数を組み合わせたもの）として \(\Omega \) を定義します。
・擬凸性と境界の正則性:このように定義された \(\Omega \) は、プルリサブハーモニック（plurisubharmonic）な関数や凸性・擬凸性の性質を保ちつつ \(D\) を断面として持ちます。また、境界 \(\partial \Omega\) のリプシッツ性は元の \(\rho _{D}\) のリプシッツ性と \(\vert{}z_3\vert{}\) の滑らかさから従います。

プルリサブハーモニック性の確認
複素射影空間 \(\mathbb{P}^{n}\) 内の擬凸領域の議論は、通常、アフィン空間 \(\mathbb{C}^{n}\) 上での局所的な議論（局所擬凸性）に帰着されます。ここでは、\(\mathbb{C}_{z_{1},z_{2}}^{2}\) 内の領域 D の定義関数から、\(\mathbb{C}_{z_{1},z_{2},z_{3}}^{3}\) 内の領域 Ω の定義関数を構成し、そのプルリサブハーモニック（plurisubharmonic, 以下 psh）性を確認する詳細な手順を解説します。
1. 定義関数の構成\(D \subset \mathbb{C}^2\) は擬凸領域（強擬凸とは限らない）であるため、その境界 ∂ D がリプシッツ連続であれば、D 上で次の条件を満たすリプシッツ連続な連続不連続の境界を持つ psh 連続定義関数 \(\rho _{D}\) が存在します。\(D = \{ z \in \mathbb{C}^2 \mid \rho_D(z) < 0 \}\)\(\partial D = \{ z \in \mathbb{C}^2 \mid \rho_D(z) = 0 \}\)\(\rho _{D}\) は D の近傍で psh（擬凸性の定義より、連続な psh 枯渇関数を境界付近で調整可能）
この \(\rho_D(z_1, z_2)\) を用いて、\(\mathbb{C}^{3}\) 内の領域 Ω の定義関数 \(\rho_\Omega(z_1, z_2, z_3)\) を以下のように定めます。\(\rho _{\Omega }(z_{1},z_{2},z_{3}):=\rho _{D}(z_{1},z_{2})+|{}z_{3}|{}^{2}\)このとき、\(\Omega = \{ (z_1, z_2, z_3) \in \mathbb{C}^3 \mid \rho_\Omega(z_1, z_2, z_3) < 0 \}\) とします。z₃ = 0（すなわち \(\mathbb{P}^{2}\) に相当する超平面）上では \(\rho_\Omega(z_1, z_2, 0) = \rho_D(z_1, z_2)\) となり、\(\Omega \cap \{z_3=0\} = D\) を満たします。また、|z₃|² は滑らかなリプシッツ関数（有界領域内）であるため、\(\rho _{\Omega }\) もリプシッツ連続性を保ちます。

2. プルリサブハーモニック（psh）性の確認
\(\rho _{\Omega }\) が Ω の近傍で psh であることを確認します。関数が psh であるかは、任意の複素直線に制限したときに複素1変数で劣調和（subharmonic）になるかで判定します。
�@ リプシッツ連続（一般化されたラプラシアン）でのアプローチ\(\rho _{D}\) はリプシッツ連続（C² 級とは限らない）であるため、通常のレヴィ形式（Hessian）の行列が計算できません。しかし、psh 性は分布（distribution）の意味、あるいは粘性解（viscosity solution）の意味で複素ヘッセ行列が半正定値であることと同値です。任意のテスト関数（あるいは複素ベクトル \(v = (v_1, v_2, v_3) \in \mathbb{C}^3\)）に対して、分布の意味でのレヴィ形式を考えると、\(i\partial \={\partial }\rho _{\Omega }=i\partial \={\partial }\rho _{D}(z_{1},z_{2})+i\partial \={\partial }|{}z_{3}|{}^{2}\)となります。
第1項 \(i \partial \bar{\partial} \rho_D\):\(\rho _{D}\) は (z₁, z₂) に関して psh であるため、分布の意味で \(i \partial \bar{\partial} \rho_D \ge 0\) （半正定値の測度）です。これを \(\mathbb{C}^{3}\) に引き戻した（pull-back）行列は、z₃ 方向の成分がすべて 0 の半正定値行列になります。
第2項 i ∂ ∂̄ |z₃|²:|z₃|² は (z₁, z₂) に依存せず、z₃ に関して厳密に psh です（レヴィ形式は \(i dz_3 \wedge d\bar{z}_3 > 0\)）。
これらを足し合わせた全体のレヴィ形式は、半正定値行列の和となるため、分布の意味で半正定値（≥ 0）になります。

�A 複素直線への制限による確認（定義通りの確認）任意の点 P(z₁, z₂, z₃) ∈ Ω と、任意の方向ベクトル \(v = (v_1, v_2, v_3) \in \mathbb{C}^3 \setminus \{0\}\) を取ります。複素1変数 \(\zeta \in \mathbb{C}\) （|ζ| < ε）に対する関数\(h(\zeta ):=\rho _{\Omega }(P+\zeta v)\)が、ζ に関して通常の劣調和関数であることを示します。\(h(\zeta )=\rho _{D}(z_{1}+\zeta v_{1},z_{2}+\zeta v_{2})+|{}z_{3}+\zeta v_{3}|{}^{2}\)
右辺第1項: \(\rho _{D}\) は psh なので、複素直線上への制限 \(\zeta \mapsto \rho_D(z_1 + \zeta v_1, z_2 + \zeta v_2)\) は連続な劣調和関数です。
右辺第2項: \(\zeta \mapsto \vert{}z_3 + \zeta v_3\vert{}^2 = \vert{}z_3\vert{}^2 + 2\text{Re}(\bar{z}_3 \zeta v_3) + \vert{}\zeta\vert{}^2 \vert{}v_3\vert{}^2\) は、ζ について \(C^{\infty }\) 級の滑らかな関数であり、そのラプラシアンは \(\Delta_\zeta \vert{}z_3 + \zeta v_3\vert{}^2 = 4\vert{}v_3\vert{}^2 \ge 0\) です。したがって、これも劣調和関数です。
劣調和関数の和は劣調和関数であるため、h(ζ) は劣調和関数となります。これが任意の P, v で成り立つため、\(\rho _{\Omega }\) は Ω の近傍で psh です。

よろしくお願いします。

Acknowledgement
問題を提示していただいだ2chの「名誉教授」と日頃指導していただいている指導教官に感謝いたします

>>196
それはAIの回答？

読みにくいからやめて

Otto Hölder

中谷治宇二郎

今日はヘルダーの命日

壊れたのかと思った

ハーディ空間の未解決問題は何だったっけ、複素解析スレでいってたやつ

アホはコピペで板汚す（笑）

実一変数解析が分からんサルに
多変数複素解析が分かるわけなかろうが（嘲）

複素一変数が分からずに
多変数の論文だけ書いている数学者もいる

ハーディ空間（Hardy space）の主要な未解決問題
・コロナ問題 (Corona Problem)
・Dyakonovの未解決問題
・多変数ハーディ空間上の作用素とBerger-Coburn-Lebowの問題

違うような

コロナ問題はリーマン面上では反例があるが
平面領域に対しては未解決

∂-equations with L2 estimates
Zhang Yongquan
https://people.math.harvard.edu/~yqzhang/expositions/Solving_d_bar_equations.pdf

単位円板におけるコロナ問題の証明
狸　雲翔
www.math.nagoya-u.ac.jp/~m04026b/math/syuron.pdf

多分コロナ問題だったと思う

複素解析スレを復活させました

複素解析6
https://rio2016.5ch.io/test/read.cgi/math/1788075594/

歴代の過去スレもまとめてあります

須川さんが解析学賞受賞

複素関数論では久々？

一度お会いしたことがある。

>>218
1変数の人は時々受賞されてる印象

>>218

昨日の多変数関数論の研究集会では
2020年度の受賞者が講演をし
2022年度の受賞者のM埼と
2026年度のこの人が出席していた

訂正
M埼ーー＞M崎

はぁ

Paul Lévy

ふぅ

ascent principle

幾何学賞より
解析学賞がほしかった

と言ったら
幾何学賞はよい賞ですよと
たしなめられた

Transcendental Morse inequality on Kähler manifolds
Valentino Tosatti

ICM招待講演者

On a construction of hermitian metrics on holomorphic vector bundles
Laszlo Lempert

Deformations of Compact Calabi--Yau and Fano Varieties with Isolated Singularities
Yohsuke Imagi

どんな賞でも
おめでとうと言ってもらえると
うれしい

カリスマがいなくて寂しい多変数

1ミリ未満の無知の集まり

ミジンコも包含する。

「名誉教授」は回遊中

「名誉教授」
御大
カリスマ

2026年度秋季総合分科会
会場： 神戸大学 六甲台地区 鶴甲第1キャンパス
日時： 2026年9月1日（火）より9月4日（金）

複素解析6
17 ：１３２人目の素数さん[]：2026/09/04(金) 03:06:43.42 ID:cEozJuFu
Quasiconformal folding - a review of `Models for the Eremenko-Lyubich class'

スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)
145 ：１３２人目の素数さん[]：2026/09/04(金) 03:09:09.85 ID:cEozJuFu
Prescribed Lelong Numbers for One-Pole Green Functions on Complex Projective Space
Xiangsen Qin

ICM2030はグラスゴーで決定
116 ：１３２人目の素数さん[]：2026/09/04(金) 03:29:03.85 ID:cEozJuFu
Xuejin Huo

Lipshitz spaces via commutators of Riesz transforms on stratified Lie groups

スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)
149 ：１３２人目の素数さん[]：2026/09/04(金) 03:34:23.32 ID:cEozJuFu
Beauville--Bogomolov--Fujiki positivity and Moishezonness of complex symplectic manifolds in Fujiki class C
Jian Chen

スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)
154 ：１３２人目の素数さん[]：2026/09/04(金) 04:38:44.60 ID:cEozJuFu
Abundance of affine algebraic structures on stabilized cotangent bundles of surfaces
Yin Li

スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)
158 ：１３２人目の素数さん[]：2026/09/04(金) 05:40:40.74 ID:cEozJuFu
Mathematical Koans and Cartan Convexity: Γ-Convex Hulls and Butterfly Realizations
J. E. Pascoe

ICM2030はグラスゴーで決定
117 ：１３２人目の素数さん[]：2026/09/04(金) 05:43:25.44 ID:cEozJuFu
Uchitama, A., On the compactness of operators of Hankel type,
Tohoku Math. J. 30 (1978), 163-17

234 名前：１３２人目の素数さん[] 投稿日：2026/09/04(金) 19:18:09.16 ID:rLtQDPDq
Reconstruction of a slice regular function from some of its real components
Cinzia Bisi, Antonio Carbone, Riccardo Ghiloni

>>166
そのサーベイのリンク先とかあれば教えてください
https://arxiv.org/

講演だけ

250 名前：１３２人目の素数さん[] 投稿日：2026/09/04(金) 20:53:39.72 ID:M3/iARjq
Projective embedding of degenerating family of Kähler-Einstein manifolds with normal crossing limit
Jingzhou Sun

数学の研究は急速にAIが人間の代わりにやるようなものになりつつあるな。

258 名前：１３２人目の素数さん[] 投稿日：2026/09/04(金) 23:00:51.75 ID:M3/iARjq [2/2]
Rhaly and generalized Hilbert operators between spaces of analytic functions
Petros Galanopoulos, Daniel Girela

>>248
そうでしたか〜
残念です

>>251
読みにくいからやめて

>>253
文句は「名誉教授」言え、アホ

12年前は画面が□だったんだね


Siu 08/31/13
https://www.youtube.com/watch?v=lNzuF2WEZ28

「名誉教授」はスレタイは気にしないｗ

岡潔は上空移行の例として3次方程式を上げたが
SiuはBochner Laplacianを平方完成に例えた

3次方程式と平方完成ですか！？
面白いですね！
147,456分の1の確率です

xy平面のx軸上に3点を与える
x軸上に重心を持ち、頂点からの垂線の足が与えられた3点になるような正三角形を求めよ

>147,456分の1の確率です
大雑把で良いのでその算出方法を
教えてほしい

駅の書店に並んでいる新潮文庫の一冊に
「人間の建設」がある。
腹帯に「この二人を見よ」とあった。

「名誉教授」は興奮してるらしい。あちこちに論文名を書いてる

誰か落ち着くように言って

新説

スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)
433 名前：１３２人目の素数さん[] 投稿日：2026/09/07(月) 11:48:52.46 ID:t628YsHH
arXiv:2609.05348 [pdf, html, other]
Sharp exponential integrability of conjugate functions
David Norrbo, Jani Virtanen

雑談はここに書け！【68】
420 名前：１３２人目の素数さん[] 投稿日：2026/09/07(月) 10:29:19.14 ID:NeXK5gho
arXiv:2609.02882 (math)
[Submitted on 2 Sep 2026]
A new proof that more than 2/3 of the zeros of the Riemann zeta function are simple and on the critical line
Youness Lamzouri