[論文レビュー] Classification of doubly distributive skew hyperfields and stringent hypergroups

Nathan Bowler, Ting Su|arXiv (Cornell University)|Mar 8, 2020

Rings, Modules, and Algebras参考文献 9被引用数 4

ひとこと要約

本稿は、まず加法が逆元でない限り単集合を与える「きつい超群（stringent hypergroups）」を分類することで、二重分配的歪超体を分類する。その結果、すべてのこうした超体が歪体の商であることを示す。分類により、すべての二重分配的歪超体がクラサナー超体、符号超体、または歪体上のワゲ和構成によって得られることを明らかにし、関連する半体はそれぞれスーパー代数的、対称化(max,+)、線形化(max,+)構造に対応する。

ABSTRACT

A hypergroup is stringent if $a \boxplus b$ is a singleton whenever $a eq -b$. A hyperfield is stringent if the underlying additive hypergroup is. Every doubly distributive skew hyperfield is stringent, but not vice versa. We present a classification of stringent hypergroups, from which a classification of doubly distributive skew hyperfields follows. It follows from our classification that every such hyperfield is a quotient of a skew field.

研究の動機と目的

• 二重分配的歪超体の基礎となる超群構造を分析することで、それらを分類すること。
• a≠−b のとき a⊕b が単集合である「きつい超群」が、こうした超体の基礎的クラスを形成することを示すこと。
• すべての二重分配的歪超体が歪体の商であることを示し、トロピカル幾何学およびマトロイド理論における既知の結果を拡張すること。
• これらの超体に付随する半体を導出し、それらがスーパー代数的、対称化(max,+)、または線形化(max,+)半体として同定されることを示すこと。
• マトロイドの超体上の構造的枠組みを提供し、二重分配的歪超体の代数的性質を特徴づけること。

提案手法

• 全順序群 G と G の各元 g に対応する超群 F_g を用いたワゲ和構成により、きつい超群を分類する。ここで、F_g^× から G への射影 ψ を導入する。
• 超群 F_g の加法的演算と G の順序に基づいて、F = ⋁_{g∈G} F_g を定義する。加法は G の順序と各 F_g 内の超群演算によって決定される。
• 二重分配的性質を用いて、a≠−b のとき a⊕b が単集合であることを示し、すべての二重分配的歪超体がきつい性質を満たすことを証明する。
• H の冪集合から構成される半体 ⟨H⟩ を構成し、加法 ⊕ と乗法 ⊙ を超体の加法および乗法から拡張する。
• 基本超体の種別（クラサナー、符号超体、歪体）に基づく3通りのケースを分析する。それぞれがスーパー代数的、対称化(max,+)、線形化(max,+)半体を生成する。
• 付値理論を用いて、ν⁻¹(1_G) がクラサナー超体、符号超体、または歪体のいずれかであることを示し、非自明な順序群が無限大であるため、有限の二重分配的超体はこれらに限られることを示す。

実験結果

リサーチクエスチョン

• RQ1 二重分配的歪超体の構造的性質は何か？ そしてきつい超群とどのように関係しているか？
• RQ2 すべての二重分配的歪超体が歪体の商として実現可能か？
• RQ3 二重分配的超体に付随する半体は何か？ トロピカル幾何学における既知の代数的構造とどのように関係しているか？
• RQ4 クラサナー、符号超体、歪体という3つの代表的ケースが、得られる超体およびその半体の形をどのように決定するか？
• RQ5 きつさ（stringency）は分類において果たす役割は何か？ なぜそれがすべての二重分配的超体を特徴づけるには不十分なのか？

主な発見

• すべての二重分配的歪超体は歪体の商である。これはマトロイド理論およびトロピカル幾何学に応用可能な重要な構造的結果である。
• 有限の二重分配的超体は、非自明な順序群が無限大であるため、クラサナー超体、符号超体、有限体に限られる。
• すべての二重分配的歪超体は、各 F_g がクラサナー超体、符号超体、または歪体であり、G が全順序群であるようなワゲ和構成 F = ⋁_{g∈G} F_g から得られる。
• 任意の二重分配的超体 H に付随する半体 ⟨H⟩ は、3種類のいずれかの型と同型である：スーパー代数的、対称化(max,+)、または線形化(max,+)。これは基本超体に依存する。
• クラサナー超体を基本とする場合、⟨H⟩ はスーパー代数的半体に同型である。符号超体を基本とする場合、対称化(max,+)半体に同型である。歪体を基本とする場合、線形化(max,+)半体に同型である。
• 任意の二重分配的歪超体における付値 ν に対して、ν⁻¹(1_G) は {クラサナー超体, 符号超体, 歪体} のいずれかに属する。これは、こうした構造に深い代数的制約が存在することを確認する。