[論文レビュー] Arithmetic partial differential equations, II: modular curves

Alexandru Buium, Santiago R. Simanca|ArXiv.org|Apr 30, 2008

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

本稿では、モジュラー曲線上に算術的部分微分方程式を構築し、古典的対流方程式の類似として「算術的対流方程式」を導入する。Eisenstein級数の重さ4および6のフーリエ展開とSerre-Tate展開を用いて解を分類し、これらの方程式が二種類の展開形を統一し、パラメータλに依存する量子化に類似した現象を示すことを証明する。一方、モジュラー曲線上には算術的波動方程式が存在しないことを示す。

ABSTRACT

We classify ``arithmetic convection equations'' on modular curves, and describe their space of solutions. Certain of these solutions involve the Fourier expansions of the Eisenstein modular forms of weight 4 and 6, while others involve the Serre-Tate expansions of the same modular forms; in this sense, our arithmetic convection equations can be seen as "unifying" the two types of expansions. The theory can be generalized to one of ``arithmetic heat equations'' on modular curves, but we prove that modular curves do not carry ``arithmetic wave equations.'' Finally, we prove an instability result for families of arithmetic heat equations converging to an arithmetic convection equation.

研究の動機と目的

• 重さ−2の同種写像共変形式を用いて、モジュラー曲線上の算術的対流方程式を分類すること。
• これらの方程式の解空間を記述し、特に無限遠点における良い還元と悪い還元を有する解との区別をすること。
• パラメータλが解の構造に与える役割、特に量子化に類似した現象を調査すること。
• 算術的熱方程式への一般化を検討し、モジュラー曲線上に算術的波動方程式が存在しないことを証明すること。
• 係数写像の連続性にもかかわらず、p進位相的空間における解族の不連続性を分析すること。

提案手法

• 著者らは、モジュラー曲線上のGm- torsorの全空間上に、重さ−2の同種写像共変部分微分形式を定義し、演算子δqおよびδpを用いる。
• 1次同種写像共変形式f¹qおよびf¹p,−2の基底を構成し、これらを算術的対流方程式として用いる。
• Eisensteinモジュラー形式の重さ4および6のフーリエ展開と、Serre-Tate展開を用いて解を分析する。
• 解空間UをUbad（悪い還元）およびUgood（良い還元）に分解し、その構造はλに依存する。
• 係数写像のp進解析により、個々の係数射影の連続性にもかかわらず、解族の不連続性が示される。
• モジュラー曲線上に適切な線形作用素が存在しないことから、算術的波動方程式の非存在性が証明される。

実験結果

リサーチクエスチョン

• RQ1 特異点がE_{p-1}=0に沿って存在するモジュラー曲線上で、重さ−2かつ1次である同種写像共変形式の完全分類は何か？
• RQ2 算術的対流方程式f¹q + λf¹p,−2の解空間はパラメータλにどのように依存するか。特に、解の構造と量子化に類似した現象について。
• RQ3 重さ4および6のEisenstein級数のフーリエ展開とSerre-Tate展開は、1つの算術的微分方程式によって統一可能か？
• RQ4 モジュラー曲線は波動方程式の算術的類似を有するか。もし持たないならば、その理由は何か？
• RQ5 解族の位相的挙動はp進位相的空間でどのように現れるか。また、係数の連続性とはどのように関係するか？

主な発見

• 形式f¹qおよびf¹p,−2は、E_{p-1}=0に沿って特異点を持つ重さ−2かつ1次の同種写像共変形式の空間の基底をなす。
• λが可逆である場合、悪い還元を有する解の集合Ubadは、重さ4および6のEisenstein級数のフーリエ展開およびその根の単位円のシフトを用いて表される1つの解のGm軌道の和集合である。
• λの例外的値に対しては、Ubadの構造がより複雑になり、閉形式の式で完全に記述される。
• 解空間Ugoodも同様にλに依存し、特定の臨界値で構造が変化する。
• αで添え字付けられた解族は、係数写像c_nが連続であるにもかかわらず、p進位相的空間で不連続である。
• モジュラー曲線上には算術的波動方程式が存在せず、この設定では適切な線形作用素が存在しないことから、その非存在性が示される。