[논문 리뷰] Quadratic Functions of Cocycles and Pin Structures

G. W. Brumfiel, John Morgan|arXiv (Cornell University)|2018. 08. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 5

한 줄 요약

이 논문은 스틸러드 $ abla_i$ 곱과 $Sq^2$ 연산자를 포함한 특정 조건을 만족하는 상대 $(n-1)$-코호몰로지에 값이 ${\mathbb{Z}}/4$인 이차 함수를 사용하여, 컴acts한 삼등분된 다중체 위의 핀 및 스피н 구조를 조합론적으로 특성화한다. 주요 결과는 등가류의 핀 구조와 이러한 이차 함수 사이에 자연스러운 전단사 대응이 존재한다는 것을 보여주며, 방향성이 있는 경우 이는 ${\mathbb{Z}}/2$ 값을 갖는 스피н 구조로 확장된다. 이 틀은 호모토피와 단순형 분할에 대해 불변이며, 경계 이론과 확장된 TQFT와 연결된다.

ABSTRACT

We construct a natural bijective correspondence between equivalence classes of Pin$^-$ structures on a compact simplicial $n$-manifold $M^n$, possibly with boundary, and $\mathbb{Z}/4$-valued 'quadratic functions' $Q$ defined on degree $n-1$ relative $\mathbb{Z}/2$ cocycles, $Q \colon Z^{n-1}(M^n, \partial M^n ; \mathbb{Z} /2) o \mathbb{Z}/4$. The 'quadratic' property of $Q(p+q)$ and the values $Q(dc)$ on coboundaries are expressed in terms of higher $\cup_i$ products of Steenrod. For $n = 2$ the results extend old results relating Pin$^-$ structures on closed surfaces to quadratic refinements of the cup product pairing on $H^1(M^n ; \mathbb{Z} /2)$. In the oriented case, that is, for Spin manifolds, the results extend results of Kapustin, see arXiv:1505.05856v2, and results in our previous paper on the Pontrjagin dual 4-dimensional Spin bordism, see arXiv:1803.08147. The extension of those results to Pin$^-$ manifolds in this paper required a different approach, involving some stable homotopy theory of Postnikov towers.

연구 동기 및 목표

• 삼등분된 다중체 위의 핀 및 스피인 구조를 코호몰로지 이론과 이차 함수를 사용하여 순수히 조합론적으로 특성화하는 것.
• 등가류의 핀 구조와 스틸러드 곱 조건을 만족하는 특정 ${\mathbb{Z}}/4$-값 이차 함수 사이에 자연스러운 전단사 대응을 수립하는 것.
• 이러한 이차 함수의 존재가 $v_2(M)$가 0이 되는 것과 동치이며, 이는 핀 구조의 존재에 필수적이고 충분한 조건임을 보여주는 것.
• 코이체인 스펙트럼과 부르지엔 서브디비전을 통해 호모토피 불변성과 단순형 구조의 선택에 대한 독립성을 입증하는 것.
• 상대 경계 이론과 함의성의 원리에 기반하여 이 구성이 경계 이론과 확장된 위상적 양자장 이론(TQFT)과 연결되는 방식을 밝혀내는 것.

제안 방법

• 상대 $(n-1)$-코호몰로지 $Z^{n-1}(M,\partial M; \mathbb{Z}/2)$ 위에 정의된 이차 함수 $Q: Z^{n-1}(M,\partial M; \mathbb{Z}/2) \to \mathbb{Z}/4$를 정의하고, $Q(p+q) = Q(p) + Q(q) + 2\int_{[M,\partial M]} p \cup_{n-2} q$ 를 만족시키도록 한다.
• 이차 함수가 스틸러드 연산자와 일관성을 유지하기 위해 조건 $Q(dc) = 2\int_{[M,\partial M]} Sq^2 c = 2\int (c \cup_{n-4} c + c \cup_{n-3} dc)$ 를 추가로 요구한다.
• 코이체인 스펙트럼 $s_0$ 및 $s_1$ 을 사용하여 이차 함수를 $M$ 에서 $I \times M$ 으로 확장함으로써, $M$ 과 실린더 위의 이차 함수 사이의 등가성을 확립한다.
• 학습된 2단계 포스트니코프 스펙트럼 $E^{\text{pin}}$ 과 $E^{\text{spin}}$ 을 구성하여, $G_n^{\text{pin}}(X)$ 와 $G_n^{\text{spin}}(X)$ 의 분류 공간을 모델링한다.
• 반복적인 부르지엔 서브디비전과 당김을 통해, 이차 함수의 할당이 호모토피와 단순형 분할에 대해 불변임을 증명한다.
• 이론적 대응을 통해 다중체 위의 이차 함수와 그 상대 경계 이론 사이의 함의적 관계를 수립하고, 조합론적 경계 이론 호모로지 이론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 삼등분된 다중체 위의 핀 구조는 코호몰로지 연산자와 코호몰로지 함수를 통해 어떻게 조합론적으로 특성화될 수 있는가?
• RQ2 ${\mathbb{Z}}/4$-값 이차 함수가 핀 구조에 대응하기 위해 상대 $(n-1)$-코호몰로지 위에서 만족해야 할 조건은 무엇인가?
• RQ3 이러한 이차 함수의 존재성은 $v_2(M)$ 가 0이 되는 것과 어떻게 관련되어 있는가?
• RQ4 코이체인의 선택에 의존하지 않는 이차 함수의 개념을 어떻게 정의할 수 있으며, 만약 가능하면 그 방법은 무엇인가?
• RQ5 이러한 이차 함수는 경계 이론과 확장된 TQFT와 어떻게 관련되어 있는가?

주요 결과

• 콤팩트한 삼등분된 $n$-다중체 $M$ 위의 핀 구조의 등가류는 $Q(p+q) = Q(p) + Q(q) + 2\int p \cup_{n-2} q$ 와 $Q(dc) = 2\int Sq^2 c$ 를 만족하는 ${\mathbb{Z}}/4$-값 이차 함수 $Q$ 와 자연스럽게 전단사 대응된다.
• 이러한 이차 함수의 존재는 $v_2(M) = 0$ 과 동치이며, 이는 핀 구조의 존재에 필수적이고 충분한 조건이다.
• 방향성이 있는 다중체의 경우, 이차 함수는 $2(\mathbb{Z}/2) \subset \mathbb{Z}/4$ 에 값을 갖으며, 이는 유사한 조건을 만족하는 ${\mathbb{Z}}/2$-값 함수로 줄어들며, 이는 스피인 구조에 대응한다.
• 이 구성은 순서가 매겨진 단순형 구조의 선택에 영향을 받지 않는다: 등가인 이차 함수는 $a \in H^1(M; \mathbb{Z}/2)$ 에 대해 $Q'(p) = Q(p) + 2\langle p \cdot a, [M,\partial M] \rangle$ 의 형태로 선형 함수로 연결된다.
• 다중체 $M$ 위의 이차 함수는 코이체인 스펙트럼을 통해 $I \times M$ 으로 유일하게 확장되며, 끝면에 제한하면 원래 함수가 복원되어 호모토피 불변 대응이 성립한다.
• 이 이론은 조합론적 경계 이론 호모로지 이론을 지원하며, $G_n^{\text{pin}}(X)$ 와 $G_n^{\text{spin}}(X)$ 는 단순형 포스트니코프 스펙트럼으로 모델링되며, $M$ 이 매끄럽다면 결과로 얻어진 경계 이론은 고전적 핀 및 스피인 경계 이론과 일치한다.