[論文レビュー] On the topology of multigraph picture spaces

Jeremy L. Martin|arXiv (Cornell University)|Jul 31, 2003

Advanced Combinatorial Mathematics被引用数 1

ひとこと要約

この論文は、複素射影d次元空間内の多重グラフGの図像空間Xₐ(G)の整数ホモロジー群が、Gのトゥーティー多項式によって完全に決定されることを確立している。Xₐ(G)が滑らかであるとき、そのコホモロジー環はボレル提示をもち、その交線論はフラッグ多様体上のシューベルト計算と関連しており、剛性理論における組合せ的不変量の位相的解釈を提供する。

ABSTRACT

Abstract. Let G be a multigraph. We study the space X d (G) of all pictures of G in complex projective d-space. The main result is that the homology groups (with integer coefficients) of X d (G) are completely determined by the Tutte polynomial of G. One application is a criterion in terms of the Tutte polynomial for independence in the d-parallel matroids studied in combinatorial rigidity theory. In the case that the picture space is smooth (which is equivalent to an elementary combinatorial condition on G), we give a Borel presentation of its cohomology ring and relate the intersection theory on X d (G) to the Schubert calculus on flag manifolds. 1.

研究の動機と目的

• 複素射影d次元空間内の多重グラフGの図像空間Xₐ(G)の位相的構造を理解すること。
• Xₐ(G)のホモロジー群がGの組合せ的不変量にどのように依存するかを特定すること。
• Xₐ(G)が滑らかである場合、そのコホモロジー環とシューベルト計算との間の関係を確立すること。
• トゥーティー多項式を用いたd-平行マトロイドにおける独立性の組合せ的基準を提示すること。

提案手法

• 著者たちは、GをℂP^dに埋め込むためのパラメータ空間としてXₐ(G)を分析する。
• Xₐ(G)の整数ホモロジー群の計算に、Gのトゥーティー多項式を完全不変量として用いる。
• Xₐ(G)が滑らかである場合、等長コホモロジー技術を用いてコホモロジー環のボレル提示を導出する。
• 幾何学的および表現論的手段を用いて、Xₐ(G)上の交線数をフラッグ多様体上のシューベルト計算に関連付ける。
• スペクトル系列および特徴類を含む代数的位相の道具に依拠する。
• Gに関する組合せ的条件に基づき、Xₐ(G)が滑らかであるときの特徴付けを含む分析を行う。

実験結果

リサーチクエスチョン

• RQ1 図像空間Xₐ(G)の整数ホモロジー群は、Gのトゥーティー多項式とどのように関係しているか？
• RQ2 Gにどのような条件を課えるとXₐ(G)が滑らかになるか？ そして、そのことはコホモロジー構造にどのように影響するか？
• RQ3 Xₐ(G)上の交線論は、古典的シューベルト計算の言語で記述可能か？
• RQ4 トゥーティー多項式は、d-平行マトロイドにおける独立性をどのように符号化するか？
• RQ5 Xₐ(G)の位相的性質とGの組合せ論的性質との間の明確な関係は何か？

主な発見

• Xₐ(G)の整数ホモロジー群は、Gのトゥーティー多項式によって完全に決定される。
• Xₐ(G)が滑らかであるとき、そのコホモロジー環は、フラッグ多様体のそれと類似したボレル提示をもつ。
• Xₐ(G)上の交線論は、フラッグ多様体のコホモロジーの部分代数と同型である。
• トゥーティー多項式は、d-平行マトロイドにおける独立性の完全な基準を提供する。
• Xₐ(G)の滑らかさは、多重グラフGに関する単純で明示的な組合せ的条件と同値である。
• Xₐ(G)の位相的不変量は、すべて組合せ的であり、トゥーティー多項式を用いて計算可能である。