[論文レビュー] Characteristic varieties of nilpotent groups and applications

Anca Măcinic, Ştefan Papadima|ArXiv.org|Oct 29, 2007

Geometric and Algebraic Topology参考文献 17被引用数 14

ひとこと要約

この論文は、有限生成ニロポテンツ群の特徴的多様体とアレクサンダー多項式を計算し、その第一特徴的多様体が自明（唯一の自明な特徴指標）であることを証明している。これは、ねじれのないメタアーベル群において、ニロポテンツ性を特徴付ける。さらに、正の欠損数を持つねじれのない有限生成ニロポテンツ群は、ℤ および ℤ² のみであることが示され、リンク群に関する古典的結果が拡張されている。

ABSTRACT

We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the only torsion-free, finitely generated nilpotent groups with positive deficiency are $\Z$ and $\Z^2$, extending a classical result on nilpotent link groups.

研究の動機と目的

• 有限生成ニロポテンツ群の特徴的多様体とアレクサンダー多項式を計算すること。
• 特にねじれのないメタアーベル群に対して、第一特徴的多様体を用いたニロポテンツ性の特徴付けをすること。
• 正の欠損数を持つねじれのない有限生成ニロポテンツ群を分類すること。リンク群に関する古典的結果を拡張する。
• マリチェフ・リー代数の構造と群に付随する次数付きリー代数の有限性との関係を確立すること。
• ニロポテンツ群のアレクサンダー多項式が単位を除いて非ゼロ定数であることを証明すること。これは欠損数分類の鍵となる。

提案手法

• ホシュイルド–セールのスペクトル系列を用いて、ρ ≠ 1 の場合に twisted コホロロジー群 H^i(G, Χ_ρ) の消滅を帰納的に証明し、特徴的多様体の構造を確立する。
• 双対性とキュンネスの定理を適用し、問題をアーベル群に還元した後、ニロポテンツクラスの帰納法を用いる。
• フィルター付きリー代数の同型と最小表示を用いたマリチェフ・リー代数の技法を用い、ニロポテンツ群の構造を分析する。
• ピオンカーレ・バーキホフ＝ワイトの定理とヒルベルト級数を用いて、欠損数分類問題を有限次元の次数付きリー代数の分析に還元する。
• リー元の不変性と普遍包あくり代数の構造を用い、有限次元の次数付き成分を持つ一関係式のマリチェフ・リー代数が、関係式を第2次に持つ必要があることを示す。
• 群の表示におけるアレクサンダー多項式の振る舞いを適用し、ニロポテンツ群ではアレクサンダー多項式が定数であることを利用し、可能な欠損数を制約する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群において、第一特徴的多様体 $ \mathcal{V}_1^1(G) $ はニロポテンツ性を検出できるか？
• RQ2 有限生成ニロポテンツ群のアレクサンダー多項式の構造は何か？
• RQ3 正の欠損数を持つねじれのない有限生成ニロポテンツ群はどれか？
• RQ4 マリチェフ・リー代数の構造は、ニロポテンツ群の次数付きリー代数にどのような制約を与えるか？
• RQ5 次数付きリー代数の普遍包あくり代数が有限次元であるための条件は何か？

主な発見

• 任意の有限生成ニロポテンツ群 $ G $ に対して、特徴的多様体 $ \mathcal{V}_k^i(G) $ は、$ b_i(G) \geq k $ ならば $ \{1\} $、それ以外は空集合である。
• すべての有限生成ニロポテンツ群に対して、第一特徴的多様体 $ \mathcal{V}_1^1(G) $ は自明（すなわち $ \{1\} $）である。
• 有限生成ニロポテンツ群のアレクサンダー多項式 $ \Delta^G $ は、ローレンス多項式環において単位を除いて非ゼロ定数である。
• 正の欠損数を持つねじれのない有限生成ニロポテンツ群で唯一のものは $ \mathbb{Z} $ および $ \mathbb{Z}^2 $ である。
• 有限次元の次数付き成分を持つ一関係式のマリチェフ・リー代数 $ \widehat{\mathbb{L}}(x_1,x_2)/\langle\langle r \rangle\rangle $ では、$ r \in F_2 $、つまり $ d=2 $ でなければならない。そうでなければヒルベルト級数が一致しない。
• 群とそのマリチェフ・リー代数を結ぶ写像 $ \mu_G $ は、$ \dim \operatorname{gr}^* E_G < \infty $ ならば同型である。これは、有限ランクのニロポテンツ群で成り立つ。