[論文レビュー] Log-concavity of characteristic polynomials and the Bergman fan of matroids

June Huh, Eric Katz|arXiv (Cornell University)|Apr 13, 2011

Algebraic Geometry and Number Theory参考文献 17被引用数 5

ひとこと要約

本稿では、BergmanファンとCremona変換を介して、任意の実現可能マトロイドの縮約特徴多項式の係数をトーリック多様体上の交線数として解釈することにより、その係数の対数的凸性を確立している。ネフクラスに適用したKhovanskii–Teissierの不等式を用いて、系列μ⁰, ..., μʳが対数的凸であることを証明しており、Huhの先行研究（特徴0体上のマトロイド）を一般化し、より広範なRota–Heron–Welsh予想を支持するものである。

ABSTRACT

In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We extend the proof to all realizable matroids, making progress towards a more general conjecture of Rota-Heron-Welsh. Our proof follows from an identification of the coefficients of the reduced characteristic polynomial as answers to particular intersection problems on a toric variety. The log-concavity then follows from an inequality of Hodge type.

研究の動機と目的

• 特徴0体上のマトロイドに対してHuh（2010）が得た対数的凸性結果を、すべての実現可能マトロイドへ拡張すること。
• 縮約特徴多項式の係数を、トーリック多様体上の交線数として幾何学的に解釈すること。
• マトロイドのBergmanファンと、Cremona変換を介した交線論の間の関係を確立すること。
• すべての有限マトロイドに対して、特徴多項式係数の対数的凸性に関するRota–Heron–Welsh予想を支持すること。

提案手法

• マトロイドを射影的部分空間V ⊂ ℙⁿとして表現し、超平面配置として実現する。
• Cremona変換のグラフを用いて、トーリック多様体X(Δᵤₙ)におけるV ∖ ℒの閉包Ṽを構成する。
• Aᵣ(ℙⁿ × ℙⁿ)におけるクラス[Ṽ]を、係数μⁱを伴う射影空間の積の和∑ᵢ₌₀ʳ μⁱ [ℙʳ⁻ⁱ × ℙⁱ]として特定する。
• ΔₘのPoincaré双対性を用いて、μⁱをCremona写像によるハイパープランー類の引き戻しを含むカップ積の次数として表現する。
• ネフクラスαとCrem*αにKhovanskii–Teissierの不等式を適用し、系列μ⁰, ..., μʳの対数的凸性を導出する。
• Fulton–SturmfelsおよびMikhalkinの組合せ的交線論を活用し、係数をトーリック多様体上の交線数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 特徴0体上のマトロイドに限らない、特徴多項式係数の対数的凸性を、すべての実現可能マトロイドへ拡張できるか？
• RQ2 縮約特徴多項式の係数を幾何学的に交線数としてどのように解釈できるか？
• RQ3 Bergmanファンは、マトロイド論とトーリック多様体上の交線論を結ぶ役割を果たすか？
• RQ4 交線論的解釈におけるμⁱの文脈で、Khovanskii–Teissierの不等式は適用可能か？
• RQ5 このアプローチを一般化して、すべての有限マトロイドに対するRota–Heron–Welsh予想を証明できるか？

主な発見

• 任意の実現可能マトロイドの縮約特徴多項式の係数μ⁰, ..., μʳは、対数的凸な系列をなす。
• Aᵣ(ℙⁿ × ℙⁿ)におけるクラス[Ṽ]は[Ṽ] = ∑ᵢ₌₀ʳ μⁱ [ℙʳ⁻ⁱ × ℙⁱ]として与えられ、係数の明確な幾何的実現が得られる。
• ネフクラスαとCrem*αに適用したKhovanskii–Teissierの不等式により、μⁱの対数的凸性が導かれる。
• 証明は、係数μⁱを交線数deg(αʳ⁻ᵏ ∪ (Crem*α)ᵏ ∪ Δₘ)として特定し、組合せ論と代数的幾何学を結びつける。
• この結果により、自由双拡張に関してƒᵢ = μⁱであるため、サイズiの独立集合の数ƒᵢも、実現可能マトロイドにおいて対数的凸であることが示唆される。
• 本手法は、Rota–Heron–Welsh予想に対する新しい幾何的フレームワークを提供するが、非実現可能マトロイドへの拡張は未解決のままである。