[論文レビュー] Combinatorial Differential Forms

Lawrence Breen, William Messing|ArXiv.org|May 9, 2000

Advanced Topics in Algebra参考文献 1被引用数 4

ひとこと要約

本稿は、スキーム上の群または群値関手に値をとる微分形式の組合せ的枠組みを、(n+1)重の点の無限小近傍を用いて導入する。強形式と弱形式を、精妙化されたスキーム ∆ⁿ_X/S を用いて定義し、曲率とバイアンキ恒等式を有する微分複体を構築する。また、組合せ的微分 δⁿχ(Ω) が、古典的なド・ラーム微分 dΩ にリー括弧 [χ, Ω] を加えたものに一致することを示し、スキーム的設定においてムーラー＝カルタンおよびバイアンキ恒等式を一般化する。

ABSTRACT

We extend to a scheme-theoretic context the notion of a combinatorial differential form, due to A.Kock in the framework of synthetic differential geometry. We show that group-valued combinatorial forms on a scheme may be identified, under very general hypotheses, with traditional Lie algebra-valued differential forms, and that their Lie algebra structure can be recovered from first principles. Some basic results from differential geometry (Maurer-Cartan equation, Bianchi identity), as well as a higher analogue, are obtained by exploiting this identification.

研究の動機と目的

• 群または群値関手に値をとる微分形式の組合せ的でスキーム論的な定式化を構築し、合成微分幾何学を代数幾何に拡張すること。
• 精妙化された無限小近傍 ∆ⁿ_X/S および ∆(n)_X/S を用いて、強形式と弱形式の微分形式を定義し、正の特性における区別を明確にすること。
• 古典的なド・ラーム複体および曲率恒等式（ムーラー＝カルタン、バイアンキ）を、スキームの文脈における非アーベルリー値形式に一般化すること。
• Aut(G) や G に値をとる形式に対して、組合せ的微分 δⁿχ(Ω) と古典的微分 dΩ にリー括弧 [χ, Ω] を加えたものの間の正確な対応関係を確立すること。

提案手法

• 2次の無限小近傍として、(n+1)重の点のペアごとに1次まで無限小に近い関係にある点の組のスキーム ∆(n)_X/S を用い、n-形式を、部分対角線上で消える群スキーム G への S-準同型として定義する。
• 「強」形式を定義するため、通常の ∆(n)_X/S の制限を是正するための精妙化された無限小近傍 ∆ⁿ_X/S を導入する。
• 1-形式 χ が n-形式 Ω に反復作用する方法を用いて、組合せ的微分 δⁿχ(Ω) を定義し、群スキーム G 内の共役作用と乗法を用いる。
• 増幅度イデアル J = ker(B⊗B → B) の環論的技法を用いて、∆ⁿ_X/S 上の関数のレベルで形式を記述する。
• 環レベルでの余乗法と反復乗法写像を用いて全微分を計算し、増幅度イデアル内でのテイラー展開に類似した展開により、古典的 dΩ に帰着する。
• 直接的な環レベルでの計算により、重要な恒等式 δ³χ(Ω) = dΩ + [χ, Ω] を確立し、高次項が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 非アーベル群スキームに値をとる微分形式を、点の無限小的配置を用いて代数幾何学的に内因的に定義する方法は何か？
• RQ2 組合せ的 n-形式が真の外微分形式に対応するように保証するため、通常の無限小近傍 ∆(n)_X/S の適切な精妙化とは何か？
• RQ3 非アーベル設定における組合せ的微分の定義から、古典的な曲率恒等式およびバイアンキ恒等式はどのように導かれるか？
• RQ4 組合せ的微分 δⁿχ(Ω) が、スキーム的文脈において、古典的ド・ラーム微分 dΩ にリー括弧 [χ, Ω] を加えたものに一致することを示せるか？
• RQ5 G が代表可能でない場合、Aut(G) の群値関手が接続と曲率を定義する際に果たす役割は何か？

主な発見

• 組合せ的微分 δ³χ(Ω) が dΩ + [χ, Ω] に等しいことが示され、古典的な曲率公式がスキーム的設定に一般化される。
• 精妙化されたスキーム ∆ⁿ_X/S は、強い n-形式を定義する正しい無限小近傍を提供し、2 が可逆である場合に限り、外冪 Ωⁿ_X/S と一致する。
• δ³χ(Ω) = dΩ + [χ, Ω] の証明は、増幅度イデアル内での環レベルの計算に依拠しており、高次項は平方零イデアルを含むモジュロで消える。
• 恒等式 δ³χ(Ω) = dΩ + [χ, Ω] は、n=2 で χ が1-形式のときムーラー＝カルタン方程式に、n=3 のときはバイアンキ恒等式に帰着する。
• G がアーベル的であるか、η が中心的である場合、δ¹χ = 0 の条件は、古典的ド・ラーム理論に一致するゼロ曲率条件に帰着する。
• この枠組みにより、Aut(G) のような非代表的関手に値をとるリー値形式を扱えるようになり、代数幾何における微分幾何の範囲が拡張される。