[论文解读] 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-骨架的三价分解，几何实现格拉斯曼积分（Gu-Wen/Gaiotto-Kapustin）而无需格拉斯曼变量，并在三角剖分流形上组合地推导出 $Pin^\pm$ 结构的二次精化性质。

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格拉斯曼积分的‘二次精化’性质。
• 通过几何交集与向量场加厚，将GWGK积分的适用范围扩展至任意三角剖分。

提出的方法

• 在每个 $n$-单纯形内，利用范德蒙德矩阵构造 $n$ 个向量场（莫尔斯流）的框架。
• 利用前 $i$ 个向量场定义对偶胞腔的加厚与平移，将 $\cup_i$ 乘积建模为与平移、加厚后的对偶胞腔的交集。
• 使用对偶1-骨架的三价分解来解决交集结构中的歧义，并确保在高维复形中的一致性。
• 通过庞加莱对偶性将上链映射到对偶胞腔，在标准 $n$-单纯形上显式参数化 $\mathbb{Z}_2$ 系数。
• 应用向量场框架，通过分析沿 $w_1$-墙的卷绕矩阵及其对框架延拓的影响，定义 $Pin^\pm$ 结构。
• 通过分析跨 $w_1$-边界处卷绕矩阵的乘积，推导出二次精化性质，并证明其与 $\cup_1$ 公式一致。

实验结果

研究问题

• RQ1 高阶上积 $\cup_i$ 如何被几何化为广义交积？
• RQ2 托林格伦关于通过向量场实现 $i$-参数加厚的猜想是否可显式构造并验证？
• RQ3 如何利用向量场框架在三角剖分流形上组合地定义 $Spin$ 与 $Pin^{\pm}$ 结构？
• RQ4 Gu-Wen/Gaiotto-Kapustin 的格拉斯曼积分如何从该构造中几何地浮现？
• RQ5 GWGK 格拉斯曼积分的二次精化性质是否可从几何交集与向量场卷绕数据中推导？

主要发现

• $\cup_i$ 乘积被几何实现为一个对偶胞腔与另一个对偶胞腔的加厚、平移版本之间的交集类，其中加厚由框架中前 $i$ 个向量场控制。
• 利用范德蒙德矩阵构造向量场框架，确保交集模式与史蒂诺德的 $\cup_i$ 上链公式一致。
• 组合 $Pin^\pm$ 结构通过沿对偶1-骨架扩展框架来定义，其延拓障碍对应于 $w_2(M)$。
• GWGK 格拉斯曼积分的二次精化性质通过跨 $w_1$-墙的卷绕矩阵乘积几何推导得出，当沿相反方向穿越时，结果为 $-\mathbbm{1}$。
• 在 $w_1$-墙上延拓框架的障碍同调于 $w_2(M)$ 的庞加莱对偶，确认了 $Pin^\pm$ 结构定义的一致性。
• 该方法通过用几何交集数据与基于向量场的加厚替代格拉斯曼变量，将GWGK积分推广至任意三角剖分。