[論文レビュー] Matroid Theory and Hrushovski's Predimension Construction

David M. Evans|arXiv (Cornell University)|May 19, 2011

Advanced Topics in Algebra参考文献 10被引用数 4

ひとこと要約

この論文は、Hrushovskiの予次元構成から生じる有限の前幾何学的構造が、J. H. Masonが定義した「厳密なガモイド」—matroidのクラス—であることを確立している。Hrushovskiの平坦性条件を満たす任意のmatroidが予次元から生じることを証明し、モデル理論における自己充足性の概念を組み込むことでMasonの定理を拡張し、モデル理論とmatroid理論を体系的に結びつける。

ABSTRACT

We give an exposition of some results from matroid theory which characterise the finite pregeometries arising from Hrushovski's predimension construction. As a corollary, we observe that a finite pregeometry which satisfies Hrushovski's flatness condition arises from a predimension.

研究の動機と目的

• モデル理論におけるHrushovskiの予次元構成とmatroid理論との間の関係を明確化すること。
• 予次元構成から生じる有限の前幾何学的構造を厳密なガモイドとして特徴づけること。
• Hrushovskiの平坦性条件を満たす任意のmatroidが予次元から導出可能であることを示すこと。
• Masonの厳密なガモイドに関する定理に、モデル理論的自己充足性の概念を組み込み、拡張すること。
• モデル理論者とmatroid理論者に対して体系的な解説を提供し、厳密なガモイドに関する新たな知見を強調すること。

提案手法

• 集合系 (A; R) に対して、δ(X) = |X| − |R[X]| と定義する。ここで R は A の有限部分集合族である。
• すべての有限 X ⊆ A に対して δ(X) ≥ 0 が成り立つ集合系 (A; R) のクラスを 𝒞 と特徴づける。
• 閉包作用素 cl(X) = {y ∈ A : d(X ∪ {y}) = d(X)} を用いて、A 上に前幾何学 PG(A; R) を定義する。
• 𝒜 ∈ 𝒞 に対して得られる前幾何学 PG(𝒜) が、ちょうどトランスバーサルmatroidの双対であることを示し、したがって厳密なガモイドであることを証明する。
• 自己充足な部分集合 (X ≤ A) が制限下でも前幾何学的構造を保存することを示す。
• Masonの定理を自己充足性を含む形に拡張し、平坦性が予次元起源を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 Hrushovskiの予次元構成から生じる有限の前幾何学的構造はどれか？
• RQ2 Hrushovskiの平坦性条件を満たすmatroidは、すべて予次元構成から得られるか？
• RQ3 モデル理論的自己充足性の概念は、厳密なガモイドの構造とどのように作用するか？
• RQ4 任意の arity 範囲 k ≥ 3 に対して、厳密なガモイドの部分matroidのクラスは独立か？
• RQ5 閉集合上での弱い標準基底を持つガモイドが、必ずしも厳密なガモイドであるとは限らない条件は何か？

主な発見

• Hrushovskiの予次元構成から生じる有限の前幾何学的構造は、まさに厳密なガモイドである。
• matroidがHrushovskiの平坦性条件を満たすことは、それが予次元構成から生じることと同値である。
• PG(𝒞ₖ) に属するmatroidの部分matroidのクラスは、k ≥ 3 に対して k に依存しない。
• アーマレーションクラス (ℋ, ⪯ₖ) に関連する一般構造は、同型を除いて一意に定まり、均質的である。
• 自己充足性は共通部分集合および制限下でも保存され、一般構造の構成において中心的な役割を果たす。
• トランスバーサルmatroidの双対は厳密なガモイドであり、すべてのこのようなmatroidは予次元構成から生じる。