[論文レビュー] A remark on the topology of (n,n) Springer varieties

Stephan M. Wehrli|ArXiv.org|Aug 15, 2009

Advanced Algebra and Geometry参考文献 6被引用数 13

ひとこと要約

この論文は、2n次元複素空間ℂ²ⁿ内の完全フラッグの(n,n)スプリンガー多様体が、2n個の非交差マッチングで添え字づけられた部分多様体Sₐの和集合として構成される特定の位相的空間𝔖̃ ⊂ (ℙ¹)²ⁿに微分同相であることを証明する。証明は、Cautis-Khovanovの微分同相写像と(ℙ¹)²ⁿ上の対合を合成することで得られる明示的な微分同相写像を用い、Khovanovによるこれらの多様体の位相的構造に関する予想を裏付ける。

ABSTRACT

We prove a conjecture of Khovanov which identifies the topological space underlying the Springer variety of complete flags in C^2n stabilized by a fixed nilpotent operator with two Jordan blocks of size n.

研究の動機と目的

• Khovanovが提起した予想、すなわち(n,n)スプリンガー多様体の位相的空間が(ℙ¹)²ⁿ内の特定の部分多様体の和集合と同相であることを証明すること。
• スプリンガー多様体𝔅ₙ,ₙと、非交差マッチングで添え字づけられた空間𝔖̃ ⊂ (ℙ¹)²ⁿとの間の微分同相写像を確立すること。
• 幾何学的および微分同相的技法を用いて、Khovanovが予想したように、𝔅ₙ,ₙのコホロジー環の位相的実現を提供すること。
• コホロジー的不変量を超えて、スプリンガー多様体の位相的構造を明示的に同定することにより、それらの位相的性質の理解を拡張すること。

提案手法

• Y₂ₙを(ℙ¹)²ⁿに微分同相である滑らかな複素射影多様体とするCautis-Kamnitzerの微分同相写像φ₂ₙ: Y₂ₙ → (ℙ¹)²ⁿを用いる。
• 偶数番目の添え字jに対してlⱼをその直交補空間lⱼ⊥に写す(ℙ¹)²ⁿ上の対合的微分同相写像I₂ₙを導入する。
• 微分同相写像I₂ₙ ∘ φ₂ₙを用いて、スプリンガー多様体の既約成分Kₐを(ℙ¹)²ⁿ内の部分多様体Sₐに写像する。
• 非交差マッチングの構造と隣接するペア(i,i+1)の削除を用いて、2n点から2n−2点への帰納的構成を用いる。
• 商写像gにおけるTₐ′の逆像がTₐに一致することを示す重要な補題に依存する。
• 非交差マッチングa ∈ Bⁿによる既約成分Kₐのパrametrizationを用い、j ∈ Oₐに対してLₛₐ(ⱼ) = z⁻ᵈₐ(ⱼ)Lⱼ₋₁が成り立つ条件を満たす。

実験結果

リサーチクエスチョン

• RQ1 スプリンガー多様体𝔅ₙ,ₙは、非交差マッチングa ∈ Bⁿで添え字づけられた部分多様体Sₐの和集合として定義される空間𝔖̃ ⊂ (ℙ¹)²ⁿに微分同相であるか？
• RQ2 Khovanov（2004年）のコホロジー的同型は、スプリンガー多様体と空間𝔖̃との間の位相的同値性へ拡張可能か？
• RQ3 スプリンガー多様体𝔅ₙ,ₙの既約成分Kₐを、(ℙ¹)²ⁿ内の部分多様体Sₐに明示的な微分同相写像で写像できるか？
• RQ4 (ℙ¹)²ⁿ上の直交対合I₂ₙは、スプリンガー多様体と空間𝔖̃との関係をどのように規定するか？
• RQ5 非交差マッチングの再帰的構造は、微分同相写像の帰納的証明をどのように支援するか？

主な発見

• (n,n)スプリンガー多様体𝔅ₙ,ₙは、空間𝔖̃ ⊂ (ℙ¹)²ⁿに微分同相であり、Khovanovの予想が裏付けられる。
• スプリンガー多様体𝔅ₙ,ₙの既約成分Kₐは、合成写像I₂ₙ ∘ φ₂ₙの下で部分多様体Sₐ ⊂ (ℙ¹)²ⁿに微分同相的に写像される。
• 証明はnに関する帰納法に基づき、n=1の場合は自明であり、帰納ステップでは非交差マッチングにおける隣接ペアの削除に依存する。
• 主要な幾何的洞察は、対合I₂ₙが部分多様体SₐとTₐを入れ替えるのに対し、微分同相写像φ₂ₙがKₐをTₐに写像することであり、これにより微分同相写像が保証される。
• この結果により、スプリンガー多様体が繰り返しℙ¹-バンドルの和集合として位相的に実現され、その位相的性質が非交差マッチングの組合せ論的構造によって完全に記述されることを示す。
• Khovanov（2004年）のコホロジー的結果が、位相的同値性に強化され、𝔅ₙ,ₙのコホロジー環が、位相空間として𝔖̃のコホロジー環と同型であることが示された。