[논문 리뷰] Geometrically Interpreting Higher Cup Products, and Application to Combinatorial Pin Structures

Sri Tata|arXiv (Cornell University)|2020. 08. 24.

Topological and Geometric Data Analysis참고 문헌 16인용 수 9

한 줄 요약

이 논문은 단체 내의 모어스 흐름으로 구성된 벡터장 프레임을 사용하여 스틴로드의 고차 촌 곱 $\cup_i$를 이중 세포와 그 두꺼운, 이동된 대응체 간의 일반화된 교차 곱으로 기하학적으로 해석한다. 이 구성은 바르데모네 행렬과 이중 1-스켈레톤의 삼진 해석을 기반으로 하며, 그래스만 변수 없이 구-웬/가이오토-카푸스타인의 그래스만 적분을 기하학적으로 실현하고, 삼등분된 다각형 다각형에서 $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 적분을 임의의 삼등분 다각형으로 일반화하기 위해.

제안 방법

• 각 $n$-단체 내부에 바르데모네 행렬을 사용하여 $n$개의 벡터장(모어스 흐름)의 프레임을 구성하기 위해.
• 첫 $i$개의 벡터장을 사용하여 이중 세포의 두껍게 하기 및 이동을 정의하고, $\cup_i$ 곱을 이동된 두꺼운 이중 세포와의 교차로 모델링하기 위해.
• 이중 1-스켈레톤의 삼진 해석을 사용하여 교차 구조의 모호성을 해결하고 고차원 복합체에서의 일관성을 확보하기 위해.
• 포incare 대칭을 통해 코체인을 이중 세포로 매핑하고, $\mathbb{Z}_2$ 계수를 사용하여 표준 $n$-단체 위에서 명시적으로 매개변수화하기 위해.
• 벡터장 프레임을 적용하여 $w_1$-벽을 따라의 둘레 행렬 분석을 통해 $Pin^\pm$ 구조를 정의하기 위해.
• $w_1$-경계를 가로질러 둘레 행렬의 곱을 분석하여 이차 보정 성질을 도출하고, 이가 $\cup_1$ 공식과 일치함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 고차 촌 곱 $\cup_i$ 는 일반화된 교차 곱으로 기하학적으로 어떻게 해석될 수 있는가?
• RQ2 벡터장에 의한 $i$-매개변수 두껍게 하기의 토링렌의 추측은 명시적으로 구성되고 검증될 수 있는가?
• RQ3 벡터장 프레임을 사용하여 삼등분 다각형에서 $Spin$ 및 $Pin^{\pm}$ 구조를 어떻게 조합론적으로 정의할 수 있는가?
• RQ4 구-웬/가이오토-카푸스타인의 그래스만 적분은 이 구성으로부터 어떻게 기하학적으로 유도되는가?
• 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 적분을 임의의 삼등분 다각형으로 일반화한다.