2025-11-11T18:34:09.671476

Presentation and uniqueness of Kac-Moody groups over local rings

Marquis, MÃ¼hlherr

To any generalised Cartan matrix (GCM) $A$ and any ring $R$, Tits associated a Kac-Moody group $\mathfrak{G}_A(R)$ defined by a presentation Ã la Steinberg. For a domain $R$ with field of fractions $\mathbb{K}$, we explore the question of whether the canonical map $Ï_R\colon\thinspace \mathfrak{G}_A(R)\to \mathfrak{G}_A(\mathbb{K})$ is injective. This question for Cartan matrices has a long history, and for GCMs was already present in Tits' foundational papers on Kac-Moody groups. We prove that for any $2$-spherical GCM $A$, the map $Ï_R$ is injective for all valuation rings $R$ (under an additional minor condition (co)). To the best of our knowledge, this is the first such injectivity result beyond the classical setting.

academic

局所環上のKac-Moody群の表示と一意性

基本情報

論文ID: 2510.11272
タイトル: Presentation and uniqueness of Kac-Moody groups over local rings
著者: Timothée Marquis, Bernhard Mühlherr
分類: math.GR (群論)
発表日: 2025年10月13日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2510.11272

要約

任意の一般化Cartan行列(GCM) $A$ と任意の環 $R$ に対して、Titsは Steinberg型表示により定義されるKac-Moody群 $G_A(R)$ を構成した。分式体 $K$ を持つ整域 $R$ に対して、本論文は標準写像 $\phi_R: G_A(R) \to G_A(K)$ が単射であるかという問題を探究する。この問題はCartan行列に対して長い歴史を持ち、Kac-Moody群に関するTitsの基礎的論文にまで遡る。著者らは、任意の2-球面GCM $A$ に対して、写像 $\phi_R$ が軽微な追加条件(co)の下で全ての付値環 $R$ に対して単射であることを証明した。著者らの知る限り、これは古典的設定を超えた初めてのそのような単射性結果である。

研究背景と動機

問題の背景

Chevalley群の普遍性問題：約化根系 $\Phi$ に対して、Chevalley-Demazure群スキーム $CD_\Phi$ が存在し、 $CD_\Phi(\mathbb{C})$ は対応する複素半単純代数群となる。Steinbergは $R$ が体である場合、表示により定義される群 $G_\Phi(R)$ が $CD_\Phi(R)$ と同型であることを証明した。
単射性問題の重要性：どの環 $R$ に対して写像 $\phi_R: G_\Phi(R) \to CD_\Phi(R)$ が単射であるかを決定することは、代数K理論における活発な研究課題である。写像の核 $K_2(\Phi, R)$ はSteinberg記号の生成と関連している。
既知結果の限界：
- 整数環 $\mathbb{Z}$ は普遍的である
- 最大で1つの剰余体 $\mathbb{F}_2$ を持つ局所環または半局所環は普遍的である
- 多項式環 $K[t]$ とLaurent多項式環 $K[t, t^{-1}]$ は普遍的である
- しかし、素数 $p \geq 5$ に対する $\mathbb{Z}[1/p]$ のようなユークリッド整環でさえ普遍的ではない
Kac-Moody群への一般化：Titsは構成を一般化Cartan行列に拡張したが、単射性問題は非古典的な場合ではほぼ研究されていない。

研究の動機

本論文は古典的Chevalley群の普遍性理論をKac-Moody群の設定に推広することを目指し、特に2-球面の場合に付値環上のKac-Moody群が良好な単射性を持つことを証明する。

核心的貢献

主定理：任意の2-球面GCM $A$ と条件(co)を満たす付値環 $R$ に対して、標準写像 $G_A(R) \to G_A(K)$ が単射であることを証明した。ここで $K$ は $R$ の分式体である。
Curtis-Tits合併積表示： $G^{\min}_A(R)$ がCurtis-Tits合併積として表示できることを証明した。すなわち、階数が2以下の部分群系統の帰納的極限である。
幾何学的方法の発展：(単連結)双対室系統の概念を導入し、関連する単連結性定理を証明した。これは主要結果に幾何学的基礎を提供する。
新しい普遍性結果：応用として、Laurent多項式環 $R[t, t^{-1}]$ のある根系上での普遍性を得た。これはMoritaの古典的結果を一般化する。

方法の詳細

問題設定

一般化Cartan行列 $A = (a_{ij})_{i,j \in I}$ に対応するKac-Moody群 $G_A(R)$ を研究する。ここで $R$ は環である。主な目標は標準写像 $\phi_R: G_A(R) \to G^{\min}_A(R) \subseteq G_A(K)$ の単射性を決定することである。ここで $K$ は $R$ の分式体である。

主要概念と条件

2-球面条件

GCM $A$ が2-球面的であるとは、全ての $i \neq j$ に対して $a_{ij}a_{ji} \leq 3$ が成立することをいう。これは対応するWeyl群 $(W, S)$ における全ての生成元の位数が有限であることと同値である。

条件(co)

環 $R$ が条件(co)を満たすとは：

$a_{ij}a_{ji} = 2$ となる $i, j \in I$ が存在する場合、 $R$ は $\mathbb{F}_2$ を商として持たない
$a_{ij}a_{ji} = 3$ となる $i, j \in I$ が存在する場合、 $R$ は $\mathbb{F}_2$ または $\mathbb{F}_3$ を商として持たない

付値環

付値環は局所環かつBézout整環である環である。これは任意の非零 $x \in K$ に対して、 $x$ または $x^{-1}$ の少なくとも一方が $R$ に属することと同値である。

技術的方法

1. Bruhat型分解

Bézout整環 $R$ に対して、著者らは $G^{\min}_R$ のBruhat型分解を確立した： $G^{\min}_R = \coprod_{w \in W} C^{\min}_R(w)$ ここで $C^{\min}_R(w) = Y_{i_1} \cdots Y_{i_d}(G^{\min}_R \cap B^+_K)$ であり、 $w = s_{i_1} \cdots s_{i_d}$ は約化分解である。

2. 局所環上の性質

局所環 $R$ に対して、以下の主要結果が確立された：

核の特性化： $\ker \pi_R \subseteq U^-_L B^+_R$ 。ここで $\pi_R: G_R \to G_k$ は剰余体への標準写像
放物部分群の交差： $P^+_{iR} \cap P^-_{iR} = T_R G_{iR}$
単群の等式： $U^+_R = G^{\min}_R \cap U^+_K$