存在的閉包性予想

複素平面における関数の領域色分けプロット。黒い点は関数の零点を表す。${\displaystyle \exp(z)-z}$

数学、特にモデル理論と複素幾何学の分野において、存在閉包予想（じょうかくほう）とは、加法、乗法、および特定の超越関数を含む方程式系が複素数において解を持つ場合を予測する命題である。これは、複素数における多項式方程式（の系）の可解性に関する代数学 の基本定理とヒルベルトの零点定理の、予想的な一般化と見ることができる。

この予想は、ボリス・ジルバーが複素指数のモデル理論に関する研究において初めて提唱した。^{[1] [2]ジルバーの予想は}指数閉性または指数代数閉性として知られ、超越関数が複素指数関数である場合の存在閉性の場合をカバーしている。後に、この予想は半アーベル多様体の指数関数に一般化され^{[3] 、モジュラー関数[4]や志村多様体[5]}についても同様の予想が提唱された。

声明

非公式には、複素超越関数 が与えられた場合、 の存在閉包予想は、体の操作とを含む方程式系は、の（仮説的な）代数的および超越的性質に明らかに矛盾しない限り、常に に解が存在することを述べています。以下では、2つの正確なケースを検討します。 ${\displaystyle f}$ ${\displaystyle f}$ ${\displaystyle f}$ ${\displaystyle \mathbb {C} }$ ${\displaystyle f}$

指数的閉包性

指数関数 の場合、上述の代数的性質は恒等式 によって与えられる。その超越的性質はシャヌエル予想によって捉えられると仮定されている。シャヌエル予想は超越数論における長年の未解決問題であり、特にと が有理数体上で代数的に独立であることを意味する。 ${\displaystyle \exp :\mathbb {C} \to \mathbb {C} ^{\times }:z\mapsto e^{z}}$ ${\displaystyle \exp(z_{1}+z_{2})=\exp(z_{1})\cdot \exp(z_{2})}$ ${\displaystyle e}$ ${\displaystyle \pi }$

いくつかの方程式系は、これらの性質のために解を持つことができません。例えば、系 には解が存在せず、同様に、 と が代数的に独立である と仮定すると、有理係数を持つ任意の非ゼロ多項式に対して、系 には解が存在しません。 ^[6]後者は、変数よりも方程式の数が多い過剰決定系の例です。指数閉性は、過剰決定ではなく、 の上記の代数的性質を使用して過剰決定系に簡約できない方程式系は、常に複素数に解が存在することを示します。正式には、指数方程式の自由で円形の系​​はすべて解を持ちます。自由性と円形性は、非過剰決定系の概念を捉える技術的な条件です。 ${\displaystyle z_{2}=2z_{1}+1,\exp(z_{2})=(\exp(z_{1}))^{2}}$ ${\displaystyle p(X,Y)}$ ${\displaystyle \exp(z)=-1,p(z,\exp(1))=0}$ ${\displaystyle e}$ ${\displaystyle \pi }$ ${\displaystyle \exp }$

モジュラー存在の閉鎖性

モジュラー設定において、ここで論じる超越関数は -関数 である。その代数的性質は、上半平面における - 正の行列式を持つ有理行列群 - の作用による変換規則によって支配される。の超越関数的性質は、モジュラー・シ​​ャヌエル予想によって捉えられる。^[4]${\displaystyle j}$ ${\displaystyle \mathrm {GL} _{2}^{+}(\mathbb {Q} )}$ ${\displaystyle 2\times 2}$ ${\displaystyle j}$

モジュラー存在閉性は、体の演算と - 関数を含むすべての自由かつ広い方程式系が複素解を持つことを述べています。ここで、自由性と広さは、前述の自由性と円形性の役割を果たします。 ${\displaystyle j}$

関係シャヌエルの予想

存在の閉性は、シャヌエル予想、もしくは適切な設定におけるその類似物の双対的な命題として捉えることができる。シャヌエルは、上記の指数方程式の例が示すように、ある種の方程式系は解（もしくは線型独立など、ある意味で独立した解）を持てないと示唆している。すると、存在の閉性は、解の存在がシャヌエル予想に矛盾しない限り、解が存在すると大まかに解釈できる。これはジルバーが用いたアプローチである。^{[2]ジルバーによる}擬似指数法の公理化では、シャヌエルと、シャヌエルと双対である存在の閉性の強いバージョンが顕著に取り上げられている。この強いバージョンは、一般的な解の存在を予測し、存在の閉性、シャヌエル予想、ジルバー＝ピンク予想の組み合わせから導かれる。^[7]しかし、存在の閉性はそれ自体が自然な命題であり、シャヌエル予想（あるいは他のいかなる命題）を必ずしも前提とせずとも意味を成す。実際、シャヌエルの予想は手の届かないものと考えられていますが^[8]、存在の閉包性は最近の進展によって証明されるようにはるかに扱いやすいようです。そのいくつかについては以下で説明します。

部分的な結果と特殊なケース

存在閉性予想は指数関数的設定とモジュラー設定の両方において完全に一般性を持つが、多くの特殊なケースや弱いバージョンが証明されている。例えば、予想（両方の設定において）は支配的な射影を仮定することで証明されている。すなわち、変数と（または）の任意の多項式方程式系（ただし、 と の間に代数的関係が存在しない）は複素解を持つ。^{[9] [6] [10]もう1つの重要な特殊なケースは、}べき乗型の系の可解性である。^[11]存在閉性予想の微分的/関数的類似物も証明されている。^[12]${\displaystyle z_{1},...,z_{n}}$ ${\displaystyle \exp(z_{1}),...,\exp(z_{n})}$ ${\displaystyle j(z_{1}),...,j(z_{n})}$ ${\displaystyle z_{1},...,z_{n}}$

参照

• シャヌエルの予想
• ジルバー・ピンク予想
• ボリス・ジルバー

参考文献

1. Zilber, Boris (2002)、「指数和方程式とシャヌエル予想」、J. London Math. Soc.、65 (2): 27– 44、doi :10.1112/S0024610701002861。
2. Zilber, Boris (2005), 「特性零の代数的閉体における擬似指数演算」 , Ann. Pure Appl. Logic. , 132 (1): 67– 95, doi : 10.1016/j.apal.2004.07.001。
3. ベイズ、マーティン; カービー、ジョナサン (2018)、「擬似指数写像、変種、および準最小性」、代数と数論、12 (3): 493– 549、ar​​Xiv : 1512.04262、doi : 10.2140/ant.2018.12.493。
4. Aslanyan, Vahagn; Kirby, Jonathan (2022)、「-関数のぼやけ」、Quarterly Journal of Mathematics、72 (2): 461– 475、arXiv : 2005.10167、doi :10.1093/qmath/haab037${\displaystyle j}$ 。
5. エテロヴィッチ、セバスチャン、チャオ、ロイ（2025）、「代数多様体と保型関数」、国際数学研究通知（4）、arXiv：2107.10392、doi：10.1093/imrn/rnaf029
6. Aslanyan, Vahagn; Kirby, Jonathan; Mantova, Vincenzo (2023)、「指数方程式系への幾何学的アプローチ」、International Mathematics Research Notices、2023 (5): 4046– 4081、arXiv : 2105.12679、doi : 10.1093/imrn/rnab340。
7. カービー、ジョナサン; ジルバー、ボリス (2014)、「指数閉体とトーラスとの交差に関する予想」、純粋応用論理年報、165 (11): 1680– 1706、arXiv : 1108.1075、doi : 10.1016/j.apal.2014.06.002。
8. Aslanyan, Vahagn (2024)、「存在の閉包性とジルバー・ピンク予想」、モデル理論、3 (2): 599– 624、arXiv : 2403.09304、doi : 10.2140/mt.2024.3.599。
9. Brownawell, Dale; Masser, David (2017)、「移動目標によるゼロ推定」(PDF)、J. Lond. Math. Soc.、95 (2): 441– 454、doi :10.1112/jlms.12014。
10. エテロヴィッチ、セバスチャン; ヘレロ、セバスティアン (2021)、「モジュラー関数を含む方程式の解」、Trans. Amer. Math. Soc.、374 (6): 3971– 3998、arXiv : 1907.09858、doi :10.1090/tran/8244${\displaystyle j}$ 。
11. Gallinaro, Francesco (2023)、「指数和方程式と熱帯幾何学」、Selecta Mathematica、29 (49)、arXiv : 2203.13767、doi : 10.1007/s00029-023-00853-y。
12. Aslanyan, Vahagn; Eterović, Sebastian; Kirby, Jonathan (2021)、「-関数の微分存在閉包性」、Proc. Amer. Math. Soc.、149 : 1417–1429、arXiv : 2003.10996、doi :10.1090/proc/15333${\displaystyle j}$ 。