[論文レビュー] Lifting smooth curves over invariants for representations of compact Lie groups. II

Andreas Kriegl, Mark Losik+2 more|ArXiv.org|Feb 13, 2004

Advanced Algebra and Geometry被引用数 9

ひとこと要約

本稿では、コンパクトなリー群表現の軌道空間内の十分に繰り返し微分可能な曲線が、表現空間内の一度微分可能な曲線に引き上げられることを確立している。スライス理論と局所的引き上げ技法を用いて、特異性の条件を必要とせず、解析的および滑らかな引き上げに関する先行研究を、より弱い微分可能性の仮定へと一般化している。

ABSTRACT

Any sufficiently often differentiable curve in the orbit space of a compact Lie group representation can be lifted to a once differentiable curve into the representation space.

研究の動機と目的

• 曲線 c: R → V/G が実解析的または滑らかでない場合、コンパクトなリー群表現の軌道空間 V/G から表現空間 V への曲線の引き上げ問題を扱う。
• 従来の研究で必要とされていた、滑らかな引き上げの存在を制限する特異性の条件を排除すること。
• ボルンシュタインと若林の多項式の根の引き上げに関する結果を、より広いコンパクトなリー群表現の設定へ一般化すること。
• 曲線の微分可能性を最小限に抑えた仮定のもとで、C^1 の引き上げの存在を確立すること。
• 引き上げを大域的に構成し、軌道に直交させることができ、表現が極的な場合、群作用を除いて一意になることを示すこと。

提案手法

• スライス定理を用いて、大域的な引き上げ問題を、特に軌道の法空間の原点付近での局所的問題に還元する。
• 不変多項式 σ_i 及びその同次次数 d_i の構造を用いて、軌道空間 V/G 内の曲線の局所的引き上げを構成する。
• スケーリングの議論を適用する：σ₁ の零点付近の曲線 c に対して、c_{(1,t₀)}(t) = ((t−t₀)^{-d₁}c₁(t), ..., (t−t₀)^{-d_n}c_n(t)) を定義し、差分商の振る舞いを分析する。
• 提案された結果（命題 3.1）から、スケーリングされた曲線に対して連続的な引き上げが存在することを用い、c の差分商が孤立した零点で極限を持つことを示す。
• G ×_{G_v} S_v のファイバー束構造を用いて、スケーリングされた曲線を群 G に引き上げ、引き上げを共役変換により変形し、端点での微分可能性を保証する。
• 区間の閉包にまで引き上げを拡張するため、端点での導関数を差分商の極限として定義し、C¹ の正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリー群表現の軌道空間 V/G 内の C^k 曲線 c: R → V/G は、k が十分に大きいとき、V 内の C¹ 曲線に引き上げられるか？
• RQ2 曲線や表現に特異性の条件を課さずに、C¹ の引き上げの存在が保証されるか？
• RQ3 特に曲線が原点（不変代数の零元）を通る場合、および零点が集積点を持つ場合に、引き上げ結果を拡張できるか？
• RQ4 微分可能性の条件は最適か？たとえば C^{k-1} のようなより弱い微分可能性でも C¹ の引き上げが可能か？
• RQ5 特異な軌道（正則でない点）付近での引き上げ行動と、正則な軌道付近での行動はどのように異なるか？同じ方法を一様に適用可能か？

主な発見

• k ≥ 2n（対称群の場合）の任意の C^k 曲線 c: R → V/G は、V に C¹ の引き上げをもつ。これは、多項式の根の引き上げに関する先行結果を一般化する。
• k ≥ 2n の任意の C^k 曲線 c: R → V/G に対して、特異性の仮定なしに大域的な C¹ の引き上げが存在する。これは、区間ごとに引き上げを構成し、境界で導関数を一致させることで達成される。
• c(t₀) = 0 となる点 t₀ では、任意の引き上げの導関数は 0 でなければならない。これは、零点の列に沿った差分商の極限を取ることで示される。
• 引き上げを軌道に直交させることができ、表現が極的な場合、群作用を除いて一意になる。
• 対称群の場合、微分可能性の条件 k ≥ 2n は最適であり、弱い仮定（例：C^{2n-1}）では C¹ の引き上げが保証されない可能性がある。
• 証明は、スケーリングされた曲線に対する連続的引き上げの存在と、群作用を用いた端点での導関数の安定化に依存しており、C¹ の正則性を保証する。