Bosonic SPT and invertible phases and its relation to Steenrod's problem

기술 요약: 보존적 SPT 및 가역적 상(Invertible Phases)과 스틴로드 문제(Steenrod's Problem)의 관계

문제 정의
$d+1$ 차원에서의 대칭 보호 위상(SPT) 및 가역적 상은 전통적으로 보존계(bosonic systems)의 경우 군 코호몰로지 $H^{d+1}(G; U(1))$에 의해 분류되며, 이는 Chen, Gu, Liu, Wen(CGLW)과 Dijkgraaf-Witten에 의해 확립된 프레임워크이다. 그러나 이 "코호몰로지적" 분류는 고차원에서 불완전하며, "코호몰로지를 넘어서는(beyond-cohomology)" 상들이 나타난다는 것이 알려져 있다. 페르미온 상은 군 슈퍼코호몰로지(Gu-Wen)를 통해 체계적으로 연구된 반면, 보존적 beyond-cohomology 상들에 대한 이와 유사한 체계적인 이해는 부족한 상태였다. 또한, 대수적 위상수학의 고전적 문제인 스틴로드 문제(homology cycle이 매니폴드에 의해 실현될 수 없는 존재 여부에 관한 문제)의 물리적 발현이 이러한 위상 분류와 어떻게 연결되는지는 명시적으로 밝혀진 바 없다.

방법론
저자들은 아티아-히레브루흐 스펙트럴 시퀀스(Atiyah-Hirzebruch spectral sequence, AHSS)를 사용하여 보존적 가역적 상의 분류를 분석한다. 이 분류는 방향성 보더리즘 그룹(oriented bordism group)의 폰트랴긴 쌍대(Pontryagin dual)인 $\text{Hom}(\Omega^{SO}_d(X), U(1))$와 앤더슨 쌍대(Anderson dual) $(I\mathbb{Z}\Omega^{SO})^{d+1}(X)$의 관점에서 프레임화된다.

• 스펙트럴 시퀀스 분석: AHSS는 분류 공간 $X$의 스켈레톤(skeleton)에 따라 일반화된 코호몰로지/호몰로지 이론을 필터링한다. 최하단 행은 보통 코호몰로지(Dijkgraaf-Witten 상)에 해당하며, 상위 행들은 beyond-cohomology 상들에 해당한다.
• 미분(Differentials): 저자들은 AHSS의 처음 두 개의 비자명한 행에 집중한다. 이 행들을 연결하는 결정적인 미분은 mod-3 연산, 즉 보크슈타인 호모모피즘 $\beta$와 첫 번째 스틴로드 파워 $P_1$의 합성(Anderson dual의 경우 $\beta P_1$, Pontryagin dual의 경우 $P_1 \beta$로 표기)임을 식별한다.
• 대수적 위상수학 도구: 저자들은 폐쇄된 방향성 매니폴드에 대한 Wu 공식, 일반화된 시그니처 정리(twisted signature operators), 그리고 지표 이론(index theory)을 사용하여 스펙트럴 시퀀스의 확장 문제(extension problems)를 해결한다.
• 명시적 계산: 논문은 Adams 스펙트럴 시퀀스, 구형 공간 형식(spherical space forms, lens spaces)에서의 eta invariant, 그리고 Brown-Peterson 스펙트럼($BP$)을 사용하는 다양한 방법을 통해 특정 보더리즘 그룹(예:$\Omega^{SO}_5(B\mathbb{Z}_3)$및$\Omega^{SO}_8(K(\mathbb{Z}, 4))$)을 계산한다.

주요 기여 및 결과

1. Mod-3 현상 vs. Mod-2:
   저자들은 보존적 beyond-cohomology 상의 첫 번째 주요 비자명성이 페르미온 상의 두 번째 스티펠-휘트니 클래스 $w_2$와 관련된 mod-2 현상과는 구별되는 mod-3 현상임을 입증한다. 이 mod-3 성질은 방향성 매니폴드 상에서 첫 번째 폰트랴गिन 클래스 $p_1$을 3으로 나눈 값의 정수성(via the Hirzebruch signature theorem)으로부터 기인한다.

2. 4+1 차원에서의 체계적 분류:
   $U(1)$ 대칭 및 유한군 대칭을 갖는 4+1 차원의 상에 대해, 저자들은 보통 코호몰로지로 설명할 수 없는 beyond-cohomology 상들을 식별한다.

• $U(1)$ 대칭의 경우, 하나의 beyond-cohomology 상은 $\int (p_1 c_1 - c_1^3)/3$ 작용으로 주어진다 (여기서 $c_1$은 첫 번째 Chern class이다).
• 유한군 $G=\mathbb{Z}_3$의 경우, 가역적 상들은 $\mathbb{Z}_9$ 군을 형성한다. 이는 $\mathbb{Z}_3$ Dijkgraaf-Witten 섹터와 beyond-cohomology 섹터로 구성된다. 이 확장은 non-split이며, 이는 beyond-cohomology 상의 차수가 3이 아니라 9임을 의미한다.

3. 스틴로드 문제와 "매니폴드-자명한(Manifold-Trivial)" 상:
   본 논문은 스틴로드 문제의 물리적 쌍대 발현을 제공한다. 저자들은 일반적인 심플리셜 복합체(homology cycles) 상에서는 비자명하지만, 매니온드 상에서 평가될 때는 자명해지는 Dijkgraaf-Witten 상의 존재를 보여준다.

• 예시: $G = \mathbb{Z}_3 \times \mathbb{Z}_3$ 대칭을 갖는 6+1 차원에서, 코호몰로지 클래스 $P_1\beta(x\tilde{x}) = (\beta x)^3\tilde{x} - x(\beta \tilde{x})^3$로 정의된 특정 상은 $H^7(BG; U(1))$에서 0이 아니다. 그러나 Wu 공식 관계 $\int P_1 \beta u = 0$에 의해, 이 상은 시공간이 매니폴드일 때 소멸한다.
• 이는 이 코호몰로지 클래스에 쌍대되는 homology class가 매니폴드에 의해 실현될 수 없다는 사실에 대응하며, 이는 원래 Thom에 의해 증명된 결과이다.

4. 보편적 6+1 차원 상:
   저자들은 $Spin(k)$대칭($k \ge 9$)과 관련된 "보편적" 6+1 차원 상을 식별한다. 이 상은 모든 2단계 방향성 가역적 상(two-stage oriented invertible phases)의 pullback 소스가 된다. 이 상의 생성자들은 $p_1, q_1, q_2$ 등의 특성 클래스를 포함하는 일반화된 시그니처 정리로부터 유도된다.

5. Lie 군 비교 ($G_2$ vs. $F_4$):
   논문은 $G_2$와 $F_4$ (또는 $E_{6,7,8}$) 대칭을 갖는 상 사이의 미묘한 차이를 강조한다. $BF_4$는 $K(\mathbb{Z}, 4)$와 8-동치(8-equivalent)이지만, $BG_2$는 그렇지 않다. 결과적으로, AHSS에서의 미분은 $F_4$의 생성자에 대해서는 비자명하게 작용하여(잠재적인 $\mathbb{Z}_3$ 인자를 제거함) potential한 beyond-cohomology 상을 없애지만, $G_2$에 대해서는 자명하게 작용한다. 이는 허용된 beyond-cohomology 상의 정규화(normalization)에서 두 그룹 간의 3배 차이를 초래한다.

의의 및 주장
본 논문은 페르미온을 위한 Gu-Wen 슈퍼코호몰로지 프레임워크와 유사하게, 보존적 beyond-cohomology 상에 대한 체계적인 연구를 개시한다고 주장한다.

• 보존적 경우 코호몰로지 분류의 장애물은 mod-2 연산이 아니라 mod-3 스틴로드 파워 $P_1$과 첫 번째 폰트랴गिन 클래스 $p_1$에 의해 지배됨을 명확히 한다.
• 코호몰로지 분류를 스틴로드 문제와 명시적으로 연결하여, "매니폴드-자명한" 상이 비실현 가능한 homology cycle의 물리적 대응물임을 보여준다.
• 저자들은 추상적인 스펙트럴 시퀀스 논의를 넘어, 일반화된 시그니처 정리와 eta invariant를 통한 구체적인 cochain 수준의 묘사를 제공한다.
• 논문은 한계를 인정한다: AHSS의 처음 두 개의 비자명한 행에 집중하며, 배경 장(background fields)이 있는 일반 매니폴드 상에서 이 상들을 평가하기 위한 완전한 cochain 수준의 공식(Gu-Wen 구성과 유사한)을 아직 제공하지 못했으며, 해밀토니안 격자 정식화(Hamiltonian lattice formulation)도 다루지 않는다. 저자들은 $\xi_M$ (Wu 공식과 관련된) 보정 항을 구축하는 것을 필수적인 향후 과제로 보고 있다.