[論文レビュー] SL_2-orbits and degenerations of mixed Hodge structure

Gregory Pearlstein|ArXiv.org|Sep 26, 2003

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

本稿は、混合Hodge構造の重層的極化付き変動の文脈で、SchmidのSL₂軌道定理の類似を確立し、対数的変形と1モチーフの2つの主要な幾何的状況において、モノポール型微分方程式系を解くことにより、漸近的SL₂軌道の存在を証明する。主な結果は、アーチメデス的高さの漸近的挙動を表す簡単な公式であり、重みフィルトレーションと局所モノドロミーにのみ依存する。

ABSTRACT

We prove an analog of Schmid's $ ext{ m SL}_2$-orbit theorem for a class of variations of mixed Hodge structure which includes logarithmic deformations, degenerations of 1-motives and archimedean heights. In particular, as consequence this theorem, we obtain a simple formula for the asymptotic behavior of the archimedean height of a flat family of algebraic cycles which depends only on the weight filtration and local monodromy.

研究の動機と目的

• 純粋Hodge構造のSchmidのSL₂軌道定理を、非特異的または非滑らかである可能性のある状況を含む、重層的極化付き混合Hodge構造の変動へと拡張すること。
• 適切な変動の文脈において、混合Hodge構造の退化の完全な漸近的理論を確立すること。
• 重みフィルトレーションとモノドロミーを用いて、代数的サイクルの平坦族のアーチメデス的高さの漸近的挙動を表す普遍的公式を導出すること。
• ノルム作用素の軌道を、スピンしたSL₂軌道へと漸近的に近似するための、ノルム作用素の軌道に付随するモノポール型微分方程式系を解くこと。
• 実数上に分解可能な極限混合Hodge構造を持つ混合Hodge構造に対して、ノルム作用素定理を一般化し、2つの幾何的に自然な状況（logarithmic deformations, 1-motives）で成立させる。

提案手法

• 混合Hodge構造の分類空間上に、等長作用をもつ部分群Hによる補助的主H bundleを構成する。
• 接続∇を用いて、$ e^{iyN} \to \theta(y) $ であるノルム作用素の軌道を、H値関数$ h(y) $ に引き上げる。この関数は微分方程式$ h^{-1} \frac{dh}{dy} = -\text{Ad}(h^{-1}(y))N $ を満たす。
• 関数$ \text{Ad}(h^{-1}(y))N $ のHodge成分を解析し、Nahmの方程式に類似した微分方程式系が得られる。
• 2つの状況でこの方程式系を解く：(I) 分類空間が特定のHodge理論的構造を持つ場合、(II) 極限混合Hodge構造が実数上で分解可能である場合。
• 漸近展開技術と係数$ B_m $ における非可換多項式表現を用いて、漸近関数$ g(y) $ を構成し、それが分解可能な軌道に収束することを保証する。
• 形式的代数的技法（例：Baker–Campbell–Hausdorff型展開）を用いて、漸近的データから元のHodge構造を再構成する。

実験結果

リサーチクエスチョン

• RQ1 適切な変動の下で、重層的極化付き混合Hodge構造の変動に対して、純粋Hodge構造のSchmidの定理に類似したSL₂軌道定理を確立できるか？
• RQ2 内在的なHodge理論的データ（重みフィルトレーションとモノドロミー）を用いて、平坦族の代数的サイクルのアーチメデス的高さの漸近的挙動はどのように記述できるか？
• RQ3 非自明なモノドロミーが存在する状況で、混合Hodge構造のノルム作用素の軌道が、どのようにして分解可能なSL₂軌道に漸近的に近似できるか？
• RQ4 混合Hodgeの文脈において、ノルム作用素の軌道がH値関数へとどのように漸近的に引き上げられるかを支配する微分方程式は何か？
• RQ5 対数的変形や1モチーフなどの幾何的条件下で、混合Hodge構造に対してSL₂軌道定理が成立する条件は何か？

主な発見

• 本稿は、微分方程式系から導かれる$ g(y)^{-1} \frac{dg}{dy} = \nabla $ を満たす実解析的関数$ g(y) $ の存在を証明する。
• タイプ(I)および(II)の軌道において、Hodge構造の漸近的挙動は、純粋な場合にNahmの方程式に帰着する微分方程式系によって支配される。
• アーチメデス的高さ$ h(s) = \big\bra Z_s, W_s \big\brac_\text{infty} $ の漸近的公式は、特定のサイクルデータとは無関係に、重みフィルトレーションと局所モノドロミーにのみ依存する。
• 解$ g(y) $ は、$ g(y) = g(\frown)(1 + g_1 y^{-1} + g_2 y^{-2} + \tcdots) $ の漸近展開をもち、係数は$ B_m $ における普遍的な非可換多項式として表現可能である。
• 関数$ h(y) = g(y) e^{iyN_{-2}} y^{-H/2} $ は、必要な漸近的条件$ h(y).F_o = e^{iyN}.F $ を満たし、SL₂軌道の存在を証明する。
• 極限混合Hodge構造の分解が適切な$ \theta $, $ \tilde{F} $, および$ g(\frown) $ の選択によって実現可能であることを示すことにより、漸近的SL₂軌道の存在と一意性が確立される。