The universal zero-sum invariant and weighted zero-sum for infinite abelian groups II

技術要約：無限アーベル群における普遍的ゼロ和不変量および重み付きゼロ和 II

問題設定
本論文は、ゼロ和理論におけるアーベル群に関する著者の前著（Communications in Algebra (2025)）のフォローアップとして、主に2つの問題に取り組んでいる。

1. ダベンポート定数の極小性： すべての極小ゼロ和列の集合を $A(G)$ とするとき、$A(G)$ がダベンポート定数 $D(G)$ を表現するために必要な「極小集合」であるかどうかを調査する。具体的には、$A(G)$ から任意の単一要素を取り除くと、普遍的ゼロ和不変量 $d_{\Omega}(G)$ が増加し、$D(G)$ の表現に失敗することになるような、すべての有限アーベル群 $G$ を分類することを目的とする。
2. 無限群における重み付きダベンポート定数： 重み集合 $\Psi \subseteq \text{Hom}(F, G)$ が無限である場合における、重み付きダベンポート定数 $D_{\Psi}(G)$ の研究を拡張する。有限な $\Psi$ に対する $D_{\Psi}(G)$ の有限性は、ネーマンの被覆定理（核の余剰被覆によるもの）を通じて既知であったが、無限な $\Psi$ の場合の挙動、特に、関連する核被覆に対して有限の部分被覆が存在するかどうかについては、依然として理解が進んでいない。

手法
本論文では、組合せ数論、構造的群論、および圏論的な議論を組み合わせた手法を用いている：

• 普遍的ゼロ和不変量： 著者らは、長さ $\ell$ のすべての列が $\Omega$ 内の部分列を含む最小の長さ $\ell$ として定義される、普遍的ゼロ和不変量 $d_{\Omega}(G)$ の枠組みを利用する。ダベンポート定数は、$D(G) = d_{A(G)}(G)$ という特定のケースと見なされる。
• 誘導ホモモルフィズムと核被覆： 重み付きの場合、誘導された普遍的ホモモルフィズムの核を通じて、重み付きゼロ和関係を再解釈する。タプル \eta = (\psi_1, \dots, \psi_n) \in (\Psi \cup \{0\\})^n が与えられたとき、誘導ホモモルフィズム $\text{ind}[\eta]: F^n \to G$ が定義される。重み付きゼロ和関係の存在は、その列が当該写像の核に含まれることと同値である。
• 核被覆コンパクト性： 「核被覆コンパクト性」という新しい性質を導入する。これは、重み付きゼロ和問題の代数幾何学に適応させた、誘導ホモモルフィズムの核の族に関する有限性条件である。
• 構成的反例と補題： 非極小性を実証するために $\mathbb{Z}_3^5$ などの群における特定の列を構成し（例 4.3）、有限の核被覆が必ずしも存在しないことを示すために多項式を用いた議論を用いる。

主な貢献および結果

1. $D(G)$ に対する極小集合の分類：
   本論文は、$A(G)$ が $D(G)$ に関して極小集合となる有限アーベル群 $G$ の完全な分類を提供する。

• 定理 3.6： $A(G)$ が極小であるための必要十分条件は、$G$ が以下のいずれかと同型であることである：
  • $r \ge 1$ に対して $\mathbb{Z}_2^r$
  • $1 \le r \le 4$ に対して $\mathbb{Z}_3^r$
  • $\mathbb{Z}_4$ または $\mathbb{Z}_5$
• 著者らは、群の指数が 3 である場合にこれまで未解決であったケースを解決し、$G \cong \mathbb{Z}_3^r$ かつ $r \ge 5$ のとき、$A(G)$ は極小ではないことを証明した。これは、$A(G)$ から特定の極小ゼロ和列 $V$ を取り除いても不変量が変化しないことを示すことにより実証されている。

2. 重み付きダベンポート定数の幾何学的定式化：

• 定理 4.1： 本論文は、境界 $D_{\Psi}(G) \le n$ と、直積 $F^n$ が $(\Psi \cup \{0\})^n$ から生じるすべての非ゼロ誘導ホモモルフィズムの核によって被覆されるという幾何学的条件との間の同値性を確立している。これにより、この定数を「核被覆閾値」として再定式化している。

3. 核被覆コンパクト性と有限減少：

• 命題 4.4： $F^n$ の標準的な核被覆に対する有限の部分被覆の存在は、 $D_{\Psi_0}(G) \le n$ となるような有限部分集合 $\Psi_0 \subseteq \Psi$ の存在と同値であることを証明する。
• 反例（例 4.3）： 無限な $\Psi$（具体的には $\Psi = \text{End}(\mathbb{Z}) \setminus \{0\}$）の場合、$D_{\Psi}(\mathbb{Z})$ は有限（2 に等しい）であり得るが、$F^n$ の核被覆は有限の部分被覆を持たないことを示している。これは、有限な重み集合と無限な重み集合の間の根本的な相違を浮き彫りにしている。
• 命題 4.8： 「一様核被覆コンパクト性」のための十分条件が提供される。もし商群 $F/N_{\Psi}$ が有限であるならば（ここで $N_{\Psi} = \bigcap_{\psi \in \Psi} \ker \psi$）、$D_{\Psi}(G)$ は有限であり、核被覆特性は一様に成立する。

意義
本論文は、以下の点において、先行研究の重要なフォローアップであると主張している：

• 分類の完了： 指数 3 の群に関するこれまでの結果によって残されていた空白を埋め、すべての有限アーベル群における $A(G)$ の極小性に関する構造的問題を解決した。
• 統一的枠組み： 重み付きゼロ和定数の研究を、核による群被覆の理論と統合し、$D_{\Psi}(G)$ に対する幾何学的な解釈を提供することで、これを自然に無限群へと拡張した。
• 有限性条件の精緻化： 重み付きダベンポート定数の有限性と、有限な核被覆の存在との関係を明確にした。「核被覆コンパクト性」を導入することで、単なる定数の有限性と、重み集合の有限減少というより強い性質との区別を示した。この区別は、無限アーベル群において極めて重要である。

本研究は、新たな実験的応用を提案するものではなく、むしろゼロ和問題の理論的理解を深めるものであり、特に有限の重み集合から無限の重み集合への移行、および極小ゼロ和列の構造的性質に対処している。