[論文レビュー] Explicit reduction theory for SU(2,1;Z[i])

Dan Yasaki|ArXiv.org|Jan 4, 2006

Advanced Algebra and Geometry参考文献 14被引用数 4

ひとこと要約

本稿では、算術群 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ に対して、3次元の $\Gamma$-同変な変形リトラクト（スパine）を明示的に構成し、さまざまな局所系に関するそのコホモロジーを計算可能にする。等長線の配置に基づくセル複体構造とwell-rounded retract法を用いて、関連する局所対称空間のコホモロジーを計算し、次数 0 から 3 における $H^k(\Gamma\backslash D; \mathbb{E})$ の正確なランクを明らかにした。特に $H^3$ の torsion 項も特定された。

ABSTRACT

Let Gamma\D be an arithmetic quotient of a symmetric space of non-compact type. A spine D_0 is a Gamma-equivariant deformation retraction of D with dimension equal to the virtual cohomological dimension of Gamma. We explicitly construct a spine for the case of Gamma=SU(2,1;Z[i]). The spine is then used to compute the cohomology of Gamma\D with various local coefficients.

研究の動機と目的

• 算術群 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ が対称空間 $D$ に作用する場合に、次元が仮想コホモロジー次元（3）に等しい $\Gamma$-同変な変形リトラクト（3次元スパイン）を明示的に構成すること。
• 複素3次元空間 $\mathbb{C}^3$ 内の等長線の配置に基づくセル複体構造を定義し、$\Gamma$-作用がセル的になるようにし、コホモロジー計算を可能にする。
• $\Gamma\backslash D$ の局所対称空間における、自明、標準的、対称冪表現を含むさまざまな局所系に関するコホモロジーを計算すること。
• 非線形算術群におけるコホモロジー計算の枠組みを確立し、well-rounded retract 法を線形対称空間を超えて拡張すること。

提案手法

• 非線形対称空間に対して [21] の手法を用い、排出関数を用いて、次元3の $\Gamma$-同変な変形リトラクト $D_0 \subset D$ を構成する。
• $\mathbb{C}^3$ 内の等長線の配置を分類し、スパイン内のセルを定義する。各セルタイプに対して明示的な $\Gamma$-代表元と安定化部分群を計算する。
• セル複体を再分割して正則構造を獲得し、$\Gamma$ がセル的につく作用できるようにする。これにより、セルコチェーン複体を用いたコホモロジー計算が可能になる。
• well-rounded retract フレームワークを適用し、群作用の関係から得られる微分写像 $d_0, d_1, d_2, d_3$ を持つチェイン複体を定義する。
• 得られたチェイン複体を用いて、$\Gamma$-加群 $E$ に対して $H^k(\Gamma\backslash D; \mathbb{E})$ を計算する。$E = \mathbb{Z}$, $\mathbb{Z}[i]^3$, および $\mathrm{Sym}^n(V)$ を含む。
• スペクトル系列と表現論的条件（例：$\rho(w)$ の $(-1)$-固有空間）を活用し、コホモロジー群の次元を評価・計算する。

実験結果

リサーチクエスチョン

• RQ1 非線形算術群 $\mathrm{SU}(2,1;\mathbb{Z}[i])$ が対称空間 $D$ に作用する場合に、明示的なスパインを構成できるか？
• RQ2 スパインのセル複体構造は何か？また、それは $\mathbb{C}^3$ 内の等長線の幾何にどのように反映されるか？
• RQ3 自明でない局所系 $\mathbb{E}$ を含む、さまざまな $\Gamma$-加群 $\mathbb{E}$ に対して $H^k(\Gamma\backslash D; \mathbb{E})$ のコホモロジー群は何か？特に torsion 項と対称冪表現のケースを含む。
• RQ4 well-rounded retract 法は非線形対称空間へどのように拡張可能か？また、$\mathrm{SU}(2,1;\mathbb{Z}[i])$ に対してはどのような修正が必要か？
• RQ5 非自明な局所系に対して、$H^3(\Gamma\backslash D; \mathbb{E})$ の正確なランクと torsion 構造は何か？

主な発見

• 算術群 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ のスパインは、$D$ に対する $\Gamma$-同変な3次元変形リトラクトとして明示的に構成され、正則セル複体構造を持つ。
• 自明な局所系 $\mathbb{Z}$ の場合、$\Gamma\backslash D$ のコホモロジーは $H^0 = \mathbb{Z}$, $H^2 = \mathbb{Z}$ であり、$k=1$ または $k \geq 3$ の場合、$H^k = 0$ である。
• 加群 $E = \mathbb{Z}[i]^3$ に対応する局所系 $\mathbb{E}$ の場合、コホモロジーは $H^2 = \mathbb{Z}^2$, $H^3 = \mathbb{Z}/2\mathbb{Z}$ であり、次数 0 と 1 では自明である。
• $V$ を標準的表現とする $E = \mathrm{Sym}^n(V)$ の場合、$n \leq 20$ に対してコホモロジー次元 $h^k = \dim H^k(\Gamma\backslash D; \mathbb{E})$ を明示的に計算し、さまざまな次数で非自明な $h^2$ と $h^3$ が得られた。
• $H^3(\Gamma\backslash D; \mathbb{E})$ の次元は、$\dim(E_+ \cap E_-)$ で上界が与えられる。ここで $E_+$ は $\rho(\epsilon)$ の $+1$-固有空間、$E_-$ は $\rho(w)$ の $-1$-固有空間である。
• $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ は、$\epsilon, w, \tau, \sigma$ の元によって生成され、部分群の非自明性がコホモロジー的検出によって示された。