[論文レビュー] Geometrically Interpreting Higher Cup Products, and Application to Combinatorial Pin Structures

Sri Tata|arXiv (Cornell University)|Aug 24, 2020

Topological and Geometric Data Analysis参考文献 16被引用数 9

ひとこと要約

本稿は、単体内のモース流れから構成されるベクトル場フレームを用いて、シュテンロードの高次カップ積 $\cup_i$ を、双対セルとその厚めでずらされた対応セル間の一般化された交差積として幾何学的に解釈する。この構成はバーデルモンデ行列と双対1次スケルトンの3価分解に基づき、グー＝ウェン／ガイオットォ＝カプスチンのグラスマン積分をグラスマン変数なしに幾何学的に実現し、三角形分割された多様体上で $Pin^\pm$ 構造の2次的精緻化性質を組み合わせ論的に導出する。

ABSTRACT

We provide a geometric interpretation of the formulas for Steenrod's $\cup_i$ products, giving an explicit construction for a conjecture of Thorngren. We construct from a simplex and a branching structure a special frame of vector fields inside each simplex that allow us to interpret cochain-level formulas for the $\cup_i$ as a generalized intersection product on the dual cellular decomposition. It can be thought of as measuring the intersection between a collection of dual cells and thickened, shifted version of another collection, where the vector field frame determines the thickening and shifting. Defining this vector field frame in a neighborhood of the dual 1-skeleton of a simplicial complex allows us to combinatorially define $Spin$ and $Pin^\pm$ structures on triangulated manifolds. We use them to geometrically interpret the `Grassmann Integral' of Gu-Wen/Gaiotto-Kapustin, without using Grassmann variables. In particular, we find that the `quadratic refinement' property of Gaiotto-Kapustin can be derived geometrically using our vector fields and interpretation of $\cup_i$, together with a certain trivalent resolution of the dual 1-skeleton. This lets us extend the scope of their function to arbitrary triangulations and explicitly see its connection to spin structures. Vandermonde matrices play a key role in all constructions.

研究の動機と目的

• シュテンロードの $\cup_i$ 積のコチェーン式を超えて、幾何的解釈を提供すること。
• トーリングレンの予想である、$\cup_i$ が単体内での $i$ 個のベクトル場（モース流れ）による $i$ パラメータの厚さ付けから生じることを明示的に構成し、検証すること。
• ベクトル場フレームと双対1次スケルトンを用いて、三角形分割多様体上に組み合わせ的 $Spin$ および $Pin^{\pm}$ 構造を構成すること。
• グラスマン変数なしに、GWGKのグラスマン積分の『2次的精緻化』性質を幾何学的に導出すること。
• 幾何的交差とベクトル場による厚さ付けを用いて、GWGK積分を任意の三角形分割へ拡張すること。

提案手法

• 各 $n$-単体内に、バーデルモンデ行列を用いて $n$ 個のベクトル場（モース流れ）のフレームを構成する。
• 最初の $i$ 個のベクトル場を用いて双対セルの厚さ付けとずらしを定義し、$\cup_i$ 積を、ずらされ厚くされた双対セルとの交差としてモデル化する。
• 双対1次スケルトンの3価分解を用いて、交差構造における曖昧さを解消し、高次元複体における一貫性を保証する。
• ポincare双対性を用いてコチェーンを双対セルに写像し、$\mathbb{Z}_2$ 系数で標準 $n$-単体上で明示的にパrameter化する。
• ベクトル場フレームを用いて、$w_1$-壁に沿ったねじれ行列を解析し、フレーム拡張への影響を評価することで $Pin^\pm$ 構造を定義する。
• $w_1$-境界を渡る際のねじれ行列の積を解析し、$\cup_1$ 公式と一致することを示すことで、2次的精緻化性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 高次カップ積 $\cup_i$ は、一般化された交差積としてどのように幾何学的に解釈できるか？
• RQ2 $i$ パラメータの厚さ付けをベクトル場で行うというトーリングレンの予想は、明示的に構成可能で、検証可能か？
• RQ3 ベクトル場フレームを用いて、三角形分割多様体上に $Spin$ および $Pin^{\pm}$ 構造をどのように組み合わせ論的に定義できるか？
• RQ4 グー＝ウェン／ガイオットォ＝カプスチンのグラスマン積分は、この構成からどのように幾何学的に生じるか？
• RQ5 GWGK積分の2次的精緻化性質は、幾何的交差とベクトル場のねじれデータから導出可能か？

主な発見

• $\cup_i$ 積は、フレーム内の最初の $i$ 個のベクトル場によって制御される厚めでずらされた双対セルとの交差類として、幾何学的に実現される。
• バーデルモンデ行列を用いたベクトル場フレームの構成により、交差パターンがシュテンロードのコチェーン式 $\cup_i$ と一致することが保証される。
• 組み合わせ的 $Pin^\pm$ 構造は、双対1次スケルトンに沿ったフレームの拡張によって定義され、その拡張の障害は $w_2(M)$ に一致する。
• GWGKのグラスマン積分の2次的精緻化性質は、$w_1$-壁を渡るねじれ行列の積から幾何学的に導出され、反対方向を渡る際に $-\mathbbm{1}$ を得る。
• $w_1$-壁を越えてフレームを拡張する障害は、$w_2(M)$ のポincare双対にホモロジーライクに一致し、$Pin^\pm$ 構造の定義の一貫性が確認される。
• この方法により、グラスマン変数を幾何的交差データとベクトル場による厚さ付けに置き換えることで、GWGK積分を任意の三角形分割へ一般化できる。