[論文レビュー] Field extensions, Derivations, and Matroids over Skew Hyperfields

RA Rudi Pendavingh|arXiv (Cornell University)|Feb 7, 2018

Advanced Differential Equations and Dynamical Systems参考文献 11被引用数 10

ひとこと要約

本稿は、正標数 $ p $ における体拡大 $ K \subseteq L $ から導かれる、Frobenius写像 $ \sigma: x \mapsto x^p $ によって定まるハイパーフィールド構造を持つ歪ハイパーフィールド $ L^\sigma $ 上の新しいマトロイド構成を紹介する。得られる $ L^\sigma $-マトロイド $ M^\sigma $ は代数的依存関係と $ K $-微分作用素の空間を符号化し、準正則座標と双対性定理を用いて、ベイカーとバウラーのハイパーフィールドマトロイド理論を非可換設定へと拡張する。

ABSTRACT

We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the $x_e\in L$ , and $M^σ$ itself comprises, for each $m\in \mathbb{Z}^E$, the space of $K$-derivations of $K\left(x_e^{p^{m_e}}: e\in E ight)$. The theory of matroid representation over hyperfields was developed by Baker and Bowler for commutative hyperfields. We partially extend their theory to skew hyperfields. To prove the duality theorems we need, we use a new axiom scheme in terms of quasi-Plücker coordinates.

研究の動機と目的

• ハイパーフィールド上のマトロイド理論を、これまで可換ハイパーフィールドに限られていたのを、歪ハイパーフィールドへと拡張し、正標数におけるより豊かな代数的不変量を可能にする。
• 体拡大 $ K \subseteq L $ から得られる歪ハイパーフィールド $ L^\sigma $ 上のマトロイド $ M^\sigma $ を構成し、代数的依存関係と $ K $-微分作用素の空間を両方符号化する。
• 準正則座標に基づく新しい公理化を用いて、歪ハイパーフィールド上のマトロイドに対する双対性定理を確立する。
• 代数的マトロイドを越えた、微分的およびFrobenius不変構造を符号化する、より洗練された体拡大の幾何的不変量を提供する。

提案手法

• 歪ハイパーフィールド $ L^\sigma $ を $ L \rtimes_\sigma \mathbb{Z}_{\min} $ として定義する。ここで $ \sigma $ はFrobenius写像 $ x \mapsto x^p $ であり、$ \mathbb{Z}_{\min} $ はmin-加法半体である。
• 体拡大 $ K \subseteq L $ と要素 $ x_e \in L $ から $ L^\sigma $-マトロイド $ M^\sigma $ を構成し、係数が $ K $ 上の微分作用素データを符号化する。
• 準正則座標を新しい公理スキームとして用い、$ L^\sigma $-マトロイドの双対性定理を証明し、可換な場合の一般化を達成する。
• ハイパーフィールド準同型 $ \zeta: L^\sigma \to \mathbb{Z}_{\min} $ を通じて、$ M^\sigma $ から境界マトロイド $ M_0 $ を構成し、元の代数的マトロイドを回復する。
• $ M^\sigma $ にスケーリング操作を適用し、$ m \in \mathbb{Z}^E $ に対する $ M^\sigma(K, \sigma^m(x)) $ 間の関係を確立する。これにより代数的独立性は保たれるが、微分的構造は変化する。
• Frobenius変換 $ X_e \mapsto X_e^{p^{m_e}} $ を無視するように変更したBuchbergerアルゴリズムの変種を提案し、$ p $-不変単項式順序を用いることで、代数的マトロイドの独立性判定における計算効率を向上させる。

実験結果

リサーチクエスチョン

• RQ1 ハイパーフィールド上のマトロイド理論は、正標数における体拡大の文脈で、非可換（歪）ハイパーフィールドへと拡張可能だろうか？
• RQ2 体拡大 $ K(x_e : e \in E) $ の $ K $-微分作用素の空間は、歪ハイパーフィールドを係数とするマトロイドとしてどのように符号化できるか？
• RQ3 Frobenius写像 $ \sigma: x \mapsto x^p $ は、代数的依存関係と微分的構造を統合する幾何的対象を定義する役割を果たすか？
• RQ4 準正則座標に基づく新しいフレームワークを用いて、歪ハイパーフィールド上のマトロイドに対する双対性定理を確立できるか？
• RQ5 Frobenius不変性を尊重する、正標数におけるより強固なGroebner基底アルゴリズムは存在するか？

主な発見

• 正標数 $ p $ における体拡大 $ K \subseteq L $ は、$ L^\sigma = L \rtimes_\sigma \mathbb{Z}_{\min} $ と定義される左 $ L^\sigma $-マトロイド $ M^\sigma $ を生じさせ、代数的依存関係と微分的データの両方を符号化する。
• $ M^\sigma $ の基盤となるマトロイドは代数的マトロイド $ M(K,x) $ であるが、$ M^\sigma $ 自体は $ K(x_e : e \in E) $ の $ K $-ベクトル空間の微分作用素を符号化する。
• $ M^\sigma $ を $ \sigma^m $ でスケーリングしても代数的独立性は保たれるが、微分的構造は変化するため、一般には $ M^\sigma(K, \sigma^m(x)) $ と $ M^\sigma(K,x) $ は同型でない。
• $ M^\sigma $ の境界マトロイド $ M_0 $ は、準同型 $ \zeta: L^\sigma \to \mathbb{Z}_{\min} $ を通じて定義され、元の代数的マトロイド $ M(K,x) $ を回復する。また、$ L $ 上の準正則座標によって特徴づけられる。
• 準正則座標に基づく新しい公理化により、$ L^\sigma $-マトロイドに対する双対性定理が確立され、ベイカーとバウラーの結果が歪な場合へと一般化される。
• Frobenius変換 $ X_e \mapsto X_e^{p^{m_e}} $ に感度を示さない $ p $-不変単項式順序を用いる、Buchbergerアルゴリズムの変種が提案され、代数的マトロイドの独立性判定における計算効率の向上が期待される。