Cohomology rings and $p$-local behavior of even Artin groups

技術要約：偶数型アルティン群のコホモロジー環とp局所的挙動

問題設定
右向きアーティン群（RAAGs）は、そのコホモロジー環の明示的な記述、捩れのない降中心列リー環、およびプロ$p$完備化に関する好ましい挙動を含む、十分に理解されたコホモロジー的性質を有している。アルティン群の理論における中心的な課題は、これらの性質のうち、どのものが（右向きではない）より広範なクラスのアルティン群に拡張されるかを決定することである。一般のアルティン群については$K(\pi, 1)$予想が未解決のままであるが、偶数型アルティン群（定義グラフの辺のラベルがすべて偶数であるもの）に注目することで、扱いやすい部分類を得ることができる。本論文は、特にFC型（すべての完全部分グラフが球面的アルティン群を定義する設定）において、コホモロジー環の計算、プロ$p$完備化の構造、およびそれに関連する$p$-ザッセンハウス制限リー代数の計算に取り組んでいる。

手法
著者らは、組合せ群論、ホモロジー代数、および制限リー代数の理論を組み合わせた手法を用いている。

1. コホモロジー計算： 著者らは、アルティン群が$K(\pi, 1)$予想を満たす場合に用いられるサヴェッリ複体（Salvetti complex）の鎖複体を利用している。偶数型アルティン群は、この予想を満たすことが知られているため、著者らはこの複体における微分を分析している。彼らは、偶数型アルティン群においてはこれらの微分が消滅することを証明し、これによりコホモロジー計算を大幅に簡略化している。
2. レトラクト（退縮）特性： 構造的な重要なツールとして、偶数型アルティン群においては、部分グラフによって生成される部分群が全群のレトラクトになるという観察がある。この性質により、著者らはより小さな部分グラフ（具体的には、巡回群と二面体群の直積へと分解される球面的部分グラフ）から結果を帰納的に構築することができる。
3. プロ$p$完備化とリー代数： プロ$p$完備化の研究には、$p$-ザッセンハウス中心列 $\gamma^{[p]}_i(G)$ の分析が含まれる。著者らは、クィレン・ジェニングス・ラザードの定理を用いて、群環のフィルタレーションをこの中心列に関連付けている。彼らは、随伴する$p$-制限リー代数 $\text{gr}^{[p]}_\bullet(G)$ を構成し、それを普遍包絡代数と比較している。
4. マグヌス写像とスペクトル系列： $p$-マグヌス群の概念が導入されている。ここでは、群環の完備化が、$p$-ザッセンハウス・リー代数の完備された普遍包絡代数と同型となる。著者らは、メイ型のスペクトル系列を用いて、プロ$p$完備化の連続コホモロジーとリー代数のExt代数を関連付けている。

主要な貢献と結果

• 定理 A（コホモロジー環の構造）： 本論文は、可換環 $R$ 上の偶数型アルティン群 $A_\Gamma$ のコホモロジー環 $H^\bullet(A_\Gamma, R)$ の明示的なプレゼンテーションを提供する。この環は、次数1の元 $\sigma_v$（頂点）と次数2の元 $\sigma_e$（ラベルが2より大きい辺）によって生成される。関係式は以下の通りである：

  • 辺 $e=\{u,v\}$ のラベルが $2m$ であるとき（ただし $u<v$）、$\sigma_u \sigma_v = m \sigma_e$。
  • $X_1 \cap X_2 \neq \emptyset$ または $X_1 \cup X_2$ が球面的でない場合、$\sigma_{X_1} \sigma_{X_2} = 0$。
    RAAGsとは異なり、この環は必ずしも次数1の元のみによって生成されるわけではなく、その構造は係数環に依存する。

• 定理 B（プロ$p$完備化）： アルティン群 $A_\Gamma$ のプロ$p$完備化は、グラフ $\Gamma$ の偶数$p$部分によって定義されるアルティン群 $A_{\Gamma_p}$ に同型であることが示される。グラフ $\Gamma_p$ は、奇数ラベルの辺の両端点を同一視し、偶数ラベル $2k p^t$ （ただし $p \nmid k$）を $2p^t$ に簡約化することによって得られる。これは、プロ$p$完備化が常に偶数型アルティン群であることを意味している。

• 定理 C（制限$p$-リー代数）： プロ$p$ FC型アルティン群に対して、$p$-ザッセンハウス制限リー代数が明示的に提示される。生成元は頂点に対応し、関係式は以下の通りである：

  • $\{a,b\}$ が奇数ラベルを持つ場合、$a = b$。
  • $\{a,b\}$ が偶数ラベル $2k p^t$ （ただし $p \nmid k$）を持つ場合、$[(a+b)^{[p]t}, b] = 0$。
    この結果は、RAAGsがそのコホモロジー環とリー代数の間に双対性を示す一方で、偶数型アルティン群においては、標数 $p$ においてこの双対性が一般に成立しないことを強調している。

• 定理 D（マグヌスおよび完備性に関する性質）： プロ$p$ FC型アルティン群について、著者らは、その群が残留$p$的（residually-$p$）であり、$p$-マグヌスであり、かつコホモロジー的に$p$-完備であることを証明している。これはRAAGsにおける既知の結果を一般化したものである。証明は、レトラクトを伴う自由合流積における$p$-マグヌス特性の保存（定理5.6）に基づいている。

• 定理 E（剛性）： 剛性の結果が確立されている。もし2つのプロ$p$ FC型アルティン群 $A_\Gamma$ と $A_\Delta$ が同型であれば、それらの定義グラフの$p$部分が同型である（$\Gamma_p \cong \Delta_p$）ことが成り立つ。

意義と限界
本論文は、偶数型アルティン群がRAAGsとレトラクト特性を共有している一方で、特に正の標数において、それらとは異なるコホモロジー的およびリー理論的な挙動を示すことを明らかにしている。

• 同型問題： 著者らは、コホモロジー環（整数係数であっても）が偶数型アルティン群を完全に分類するものではないことを示している。彼らは、同型なコホモロジー環を持つ非同型な2つの偶数型アルティン群の反例（命題2.6）を構成している。これらを区別するために、$\Sigma$-不変量（具体的には $\Sigma_1$）を利用しており、定義グラフにおけるラベル2の辺の数は、群の同型類の不変量であることを証明している（命題2.9）。
• リー代数と群の構造： 著者らは、異なる群が同一の$p$-ザッセンハウス制限リー代数を共有し得る例（定理7.2）を構成している。具体的には、任意のプロ$p$ FC型アルティン群に対して、同一の$p$-ザッセンハウス・リー代数を持つ残留捩れ自由べき零群が存在することを示しており、これはリー代数が群の完全な残留的性質を捉えていないことを示唆している。

結論
本研究は、RAAGsからのいくつかの古典的な結果を、FC型の偶数型アルティン群へと見事に一般化し、それらのコホモロジー環および$p$局所構造の明示的な代数的記述を提供した。しかし同時に、RAAGsの「好ましい」挙動（例えば、捩れのないべき零リー環や、環の構造によるコホモロジー的剛性など）が、偶数型の設定では完全には持続しないことも明確にしている。これらの結果は、偶数ラベルの特定の組合せ的性質とFC条件に強く依存しており、任意のアルティン群の挙動については依然として未解決の領域として残されている。