Reconstruction of Torsion-Free Abelian Groups from Rational Group Fields

技術的要約：有理群体場からの捩れのないアーベル群の再構成

問題提起
本論文は、リック（Rickard）によって提起された、捩れののないアーベル群に付随する有理群体の同型に関する問題に取り組んでいる。具体的には、有理群代数の分数体 $K_{\mathbb{Q}}(G) \cong K_{\mathbb{Q}}(H)$ の同型が、基礎となる群の同型 $G \cong H$ を意味するかどうかを調査している。この問題は、標準的な不変量が構造を区別できない可能性がある無限ランクの群の文脈において、特に重要である。BastosとViswanathanによる先行研究では、$K_{\mathbb{Q}}(G)$ が $\mathbb{Q}$ 上で純粋超越的であるための必要十分条件は $G$ が自由アーベル群であることであることを確立したが、任意の群体が群の同型を反映するかどうかまでは解決していなかった。

手法
証明戦略は、分数体の乗法群の構造解析、特に「単項欠陥群（monomial defect group）」に焦点を当てたものに基づいている。手法は以下の論理的段階を経て進行する：

1. 欠陥群の定義: 著者らは、単項欠陥群を $\Delta_k(G) = K_k(G)^\times / (k^\times X^G)$ （ここで $X^G$ は形式的な単項式の部分群を表す）として定義する。この群は、場の乗法構造が群代数の単項式構造から逸脱している度合いを測定する。
2. 欠陥群の自由性: 中心的な構造的入力は、標数ゼロの任意の体 $k$ と任意の捩れののないアーベル群 $G$ に対して、欠陥群 $\Delta_k(G)$ が自由アーベル群であるという証明である。
   • 一変数ケース: 著者らは、ピューゾー体（Puiseux field）$F(t^{\mathbb{Q}})$ から解析を開始する。$F(t^{1/n!})$ から $F(t^{1/(n+1)!})$ への遷移を分析することにより、既約多項式の代入が、代入された既約多項式が標数ゼロにおいて平方フリー（square-free）であるために、分裂包含（split inclusions）をもたらすことを示し、これにより、一変数ピューゾー商の欠陥群が自由アーベル群であることが確立される。
   • 一般ケース: 可除包（divisible hull）$V = \mathbb{Q} \otimes_{\mathbb{Z}} G$ の超限分解を用いて、著者らは任意の捩れののないアーベル群への自由性の結果を拡張する。彼らは、自由アーベル群の部分群は自由アーベル群であること、および欠陥群の性質（部分群の欠陥群は包含群の欠陥群へ単射的に埋め込まれること）を利用する。
3. 交差による再構成: 体同型 $\phi: K_{\mathbb{Q}}(G) \to K_{\mathbb{Q}}(H)$ が与えられたとき、著者らは、$\phi$ の下で単項式を保存する単項式部分群 $M \le G$ および $N \le H$ の像を比較する。
   • 誘導された欠陥写像の核は $M$ および $N$ として特定される。
   • 商 $G/M$ および $H/N$ は、自由な欠陥群 $\Delta_{\mathbb{Q}}(H)$ および $\Delta_{\mathbb{Q}}(G)$ にそれぞれ埋め込まれる。したがって、これらの商は自由アーベル群である。
   • 制限 $\phi$ は、部分体 $K_{\mathbb{Q}}(M)$ と $K_{\mathbb{Q}}(N)$ を同一視する。
   • 拡大 $K_{\mathbb{Q}}(G)/K_{\mathbb{Q}}(M)$ と $K_{\mathbb{Q}}(H)/K_{\mathbb{Q}}(N)$ の相対的な超越次数を比較することにより、著者らは自由な商 $G/M$ と $H/N$ が同じランクを持つことを証明する。
   • 拡大は（自由アーベル群の射影性により）分裂するため、$G \cong M \oplus (G/M)$ および $H \cong N \oplus (H/N)$ となる。成分 $M \cong N$ の同型と、自由な部分のランクの一致により、$G \cong H$ が導かれる。

主要な貢献と結果

• 再構成定理 (Theorem 1.1): 主要な結果は、すべての捩れののないアーベル群 $G$ と $H$ に対して、$K_{\mathbb{Q}}(G) \cong K_{\mathbb{Q}}(H)$ であるための必要十分条件は $G \cong H$ であることを確立している。これは、リックの問いに対して、有理群体が捩れののないアーベル群の完全な不変量であることを確認するという否定的な回答を与える。
• 構造的洞察: 本論文は、標数ゼロにおける単項欠陥群 $\Delta_k(G)$ が自由アーベル群であるという自己完結的な証明を提供している。この結果は、標数ゼロの特定の役割（具体的にはピューゾー構成における微分係数の平方フリー性）を孤立させ、正の標数におけるケース（欠陥群が $\mathbb{Z}[1/p]$ に同型な部分群を含むなど、自由性を失うケース）と対比させている。
• 安定化プロファイル: 著者らは「正確な安定化（exact stabilization）」に関する系を導出している。彼らは、群体の有理関数的安定化（$K_{\mathbb{Q}}(G)(t_i) \cong K_{\mathbb{Q}}(H)(u_j)$）が、群自体の自由安定化（$G \oplus \mathbb{Z}^{|I|} \cong H \oplus \mathbb{Z}^{|J|}$）を正確に記録することを証明している。
• リックの例: リックの有界列群 $A$（ここで $A \cong A \oplus \mathbb{Z}^2$ だが $A \not\cong A \oplus \mathbb{Z}$ である）に本定理を適用することで、著者らは $F = K_{\mathbb{Q}}(A)$ という体で、$F \cong F(x, y)$ であるが $F \not\cong F(x)$ であるような体 $F$ を構成している。これは、変数を一つ追加した場合には同型にならないが、二つ追加した場合には同型になるという、フィールド同型が必ずしも単一の変数追加後の同型を保証しないことを示している。

意義と範囲
本論文は、ランク、可算性、一意分解、あるいは簡約化に関する仮定を置くことなく、捩れののないアーベル群をその有理群体から決定的に再構成できることを提供しており、その意義を主張している。証明は「自己完結的」であり、標数ゼロの仮定がどこで使用されているかを明示している。

著者らは、結果の範囲を以下のように明確に限定している：

• 再構成は、厳密に捩れののないアーベル群に適用される。捩れを持つ群は、一般に零因子を持つ群代数を与えるため、標準的な分数体を定義できない。
• この結果は標数ゼロに依存している。論文では、中心的な自由性の定理が正の標数において失敗することを指摘しており、有限体における再構成問題は未解決のままである。
• 証明は、抽象的な群の間の同型の存在を確立するものであり、標準的な単項式部分群がパラメータなしで体の中で定義可能であることや、$K_{\mathbb{Q}}(G)$ 内の $G$ の標準的なコピーを構成することを主張するものではない。再構成は、既存の体同型が与えられた条件下で、二つの単項式フレームを比較することに依存している。

本研究は、Mayによる乗法群の自由性に関する初期の研究や、リックによる問題の定式化という歴史的背景を認めているが、証明の発見と構造的組織化にはAIツールの支援を受けたことを記しており、すべての数学的議論は著者らによって独立して検証されている。