[論文レビュー] Matroid theory for algebraic geometers

Eric Katz|arXiv (Cornell University)|Sep 11, 2014

Advanced Combinatorial Mathematics被引用数 5

ひとこと要約

本稿は、代数幾何学への応用を念頭に置いたマトロイド理論の包括的サーベイを提示し、マトロイドの多面体とベルグマンファンによる双対的定義に焦点を当てる。パーミュトヒェドラルトーリック多様体におけるマトロイドのコhomological解釈を確立し、この枠組みを用いて、表現可能なマトロイドの特性多項式の対数的凸性を幾何学的証明により示し、ロータ–ヘロン–ウェルシュ予想の重要なケースを解決する。

ABSTRACT

This article is a survey of matroid theory aimed at algebraic geometers. Matroids are combinatorial abstractions of linear subspaces and hyperplane arrangements. Not all matroids come from linear subspaces; those that do are said to be representable. Still, one may apply linear algebraic constructions to non-representable matroids. There are a number of different definitions of matroids, a phenomenon known as cryptomorphism. In this survey, we begin by reviewing the classical definitions of matroids, develop operations in matroid theory, summarize some results in representability, and construct polynomial invariants of matroids. Afterwards, we focus on matroid polytopes, introduced by Gelfand-Goresky-MacPherson-Serganova, which give a cryptomorphic definition of matroids. We explain certain locally closed subsets of the Grassmannian, thin Schubert cells, which are labeled by matroids, and which have applications to representability, moduli problems, and invariants of matroids following Fink-Speyer. We explain how matroids can be thought of as cohomology classes in a particular toric variety, the permutohedral variety, by means of Bergman fans, and apply this description to give an exposition of the proof of log-concavity of the characteristic polynomial of representable matroids due to the author with Huh.

研究の動機と目的

• モジュライ問題と表現可能性に関連する組合せ的構造に焦点を当て、代数幾何学への応用を念頭に置いたマトロイド理論の自己完結的入門を提供すること。
• マトロイドがベルグマンファンを通じてパーミュトヒェドラルトーリック多様体のコhomology類として実現可能であることを説明し、マトロイド不変量の幾何的解釈を提供すること。
• 表現可能なマトロイドの特性多項式の対数的凸性に対して、カホフスキー–テイッサー不等式と代数的表面における交線論を用いたコhomological証明を提示すること。
• マトロイド理論、トロピカル幾何学、代数幾何学の関係を、特にスパarsなシューベルト胞と価値的不変量の観点から探求すること。
• K理論における正則性とチュッテ多項式の特殊化に関する、組合せ的Hodge指数定理の類似の未解決問題を動機づけること。

提案手法

• ゲルファンド–ゴレスキー–マクフィーソン–セルガノヴァが導入したマトロイド多面体の定義を用い、基底の指示ベクトルの凸包によってマトロイドを特徴付ける。
• トーリック多様体とミンコフスキー重みの理論を応用し、パーミュトヒェドラル多様体におけるコhomology類としてマトロイドを解釈する。
• ベルグマンファンをマトロイドのトロピカル化として用い、退化のパラメトライゼーションと交線論的解析を可能にする。
• 代数幾何学におけるカホフスキー–テイッサー不等式を、表現可能なマトロイドに付随するチャウコホロジー類 Δ_M に適用する。
• Poincaré双対性を介して、特性多項式の対数的凸性を、表面における交線数に還元する。
• フラットの格子構造とムービウス関数を用いて、コホモロジー類の次数を計算し、チャウ環における恒等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 マトロイドはどのようにトーリック多様体のコホモロジー類として解釈可能であり、これによりどのような幾何的洞察が得られるか？
• RQ2 ベルグマンファンとマトロイドの表現可能性との間にはどのような関係があるか？
• RQ3 特性多項式の対数的凸性は代数幾何学的手法で証明可能か？ そのために必要な幾何的仮定は何か？
• RQ4 パーミュトヒェドラル多様体は、ミンコフスキー重みを介してマトロイド不変量をどのように符号化するか？
• RQ5 切り詰めたベルグマンファン Δ_M[r,r+1] に対して、組合せ的Hodge指数定理を定式化することで、表現可能な場合を超えた対数的凸性の拡張は可能か？

主な発見

• 表現可能なマトロイドの特性多項式の対数的凸性は、パーミュトヒェドラル多様体のチャウ環におけるカホフスキー–テイッサー不等式を幾何学的議論に用いて証明された。
• コホモロジー類 α ∪ Δ_M[r,r] の次数は、削減された特性多項式の係数 μ^{r−1} に等しく、β ∪ Δ_M[r,r] の次数は μ^r に等しい。
• コホモロジー双対性 β ∪ Δ_M は、Δ_M[r+1,d] の台に含まれる錐でのみ非ゼロであり、その値はムービウス関数 μ(∅,F₁) に一致する。
• 証明は、M が表現可能なとき、チャウコホモロジー類 Δ_M がパーミュトヒェドラル多様体の既約部分多様体と双対であるPoincaré双対性に依存する。
• 実験的検証により、9要素以下のすべてのマトロイドについて、切り詰めたベルグマンファン Δ_M[r,r+1] における組合せ的Hodge指数性が確認された。
• パーミュトヒェドラル多様体におけるミンコフスキー重みの研究により、マイナーと切り詰めの自然な定式化が得られ、より深い組合せ的構造が示唆された。