[論文レビュー] On odd unitary Steinberg group

Andrei Lavrenov|arXiv (Cornell University)|Mar 25, 2013

Finite Group Theory Research参考文献 8被引用数 5

ひとこと要約

本稿は、$n \geq 5$ または $n = \infty$ のとき、奇ユニタリSteinberg群 $\mathrm{StU}(2n, R, \mathfrak{L})$ が中心的に閉じている（つまり、Schur乗数が自明である）ことを証明する。これは、線形群や他の古典的群に関する古典的結果を一般化するものである。証明は、普遍的中心拡大の議論と、ある性質を満たす中心拡大が分裂することを示す鍵となる技術的補題に依拠しており、その結果、基本的奇ユニタリ群 $\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数が、その第二ホモロジー群 $\mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ と一致することが導かれる。この結果は、ユニタリ群における非安定$K$-理論的現象を統一的かつ拡張的に扱うものである。

ABSTRACT

Let $R$ be a ring with pseudo-involution, $\mathfrak L$ be an odd form parameter, $\mathrm U(2n,\,R,\,\mathfrak L)$ be an odd hyperbolic unitary group, $\mathrm{EU}(2n,\,R,\,\mathfrak L)$ be it elementary subgroup and $\mathrm{StU}(2n,\,R,\,\mathfrak L)$ be an odd unitary Steinberg group. We compute the Schur multipliers of $\mathrm{StU}(2n,\,R,\,\mathfrak L)$ and $\mathrm{EU}(R,\,\mathfrak L)$.

研究の動機と目的

• 奇ユニタリSteinberg群 $\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ 及びその基本的部分群 $\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数を計算すること。
• 線形群、二次群、ヘルミート群におけるSteinberg群のSchur乗数に関する古典的結果を、奇ユニタリ設定に一般化すること。
• $n \geq 5$ のとき、$\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ が中心的に閉じていることを確立することにより、この群のクラスに超完備性の性質を拡張すること。
• $\mathop{\mathrm{H_2}}\nolimits(\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L}), \mathbb{Z})$ が $\mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ と一致することを、適切な条件下で示すこと。

提案手法

• 中心拡大の概念とSteinbergの中心的トリックを用いて、普遍的中心拡大における交換子を分析する。
• ある性質（記号で表される†）を満たす中心拡大が分裂することを示す鍵となる技術的補題を適用し、これはSchur乗数の自明性を証明するために不可欠である。
• 普遍的中心拡大 $\pi: U \twoheadrightarrow \mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ を用い、$n \geq 5$ のときそれが同型であることを証明することで、Schur乗数が自明であることを示す。
• $\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ が完備であることと、その普遍的中心拡大が分裂することを用いて、それが超完備であることを結論づける。
• 完備群に対して、Schur乗数と第二ホモロジー群 $\mathop{\mathrm{H_2}}\nolimits(G, \mathbb{Z})$ の関係を活用する。
• 直和の普遍的性質を用いて、$n = \infty$ の場合への結果の拡張を実行する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 5$ のとき、奇ユニタリSteinberg群 $\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ は中心的に閉じているか？
• RQ2 古典的線形群および二次群と同様の条件下で、$\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数は消えるか？
• RQ3 基本的奇ユニタリ群 $\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数は $\mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ とどのように関係するか？
• RQ4 Steinberg中心的トリックの一般化を用いて、奇ユニタリSteinberg群の中心拡大の分裂を確立できるか？
• RQ5 $\mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ が $\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ の中心に属するための条件は何か？

主な発見

• $n \geq 5$ または $n = \infty$ のとき、奇ユニタリSteinberg群 $\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数は自明であり、群が中心的に閉じていることを意味する。
• $n \geq 5$ のとき、$\mathop{\mathrm{StU}}\nolimits(2n, R, \mathfrak{L})$ の普遍的中心拡大は分裂し、その結果Schur乗数が自明であることが導かれる。
• $n = 8$ のとき、Schur乗数は、$\mathop{\mathrm{Card}}\nolimits\{\pm i, \pm j, \pm k, \pm h\} = 8$ を満たす $[\pi^{-1}X_{ij}(a), \pi^{-1}X_{kh}(b)]$ の形の交換子によって生成される部分群と同型である。これは、明確な構造的記述を示している。
• $\mathop{\mathrm{K_{2}U}}\nolimits(2n-2, R, \mathfrak{L}) \to \mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ が全射であるか、$n = \infty$ のとき、$\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L})$ のSchur乗数は $\mathop{\mathrm{K_{2}U}}\nolimits(2n, R, \mathfrak{L})$ に一致し、これは $\mathop{\mathrm{H_2}}\nolimits(\mathop{\mathrm{EU}}\nolimits(2n, R, \mathfrak{L}), \mathbb{Z})$ と同型である。
• 主な技術的補題は、ある交換子性質（記号で表される†）を満たす任意の中心拡大が分裂することを示しており、これはSchur乗数の自明性を証明する根幹の部分である。
• この結果は、線形、二次、およびヘルミートの場合におけるSteinberg群の古典的超完備性を奇ユニタリ設定に一般化し、非安定$K$-理論における統一的枠組みを提供する。