Weak topological phases in the presence of interactions

문제 정의
대칭성이 보호되는 위상(Symmetry-protected topological, SPT) 상은 전통적으로 호모토피 기법을 사용하여 분류된다. 상호작용이 없는(자유) 페르미온 시스템의 경우, 이 분류는 K-이론 그룹을 통해 잘 확립되어 있으며, 이는 유명한 "tenfold way" 주기적 표로 체계화되어 있다. 그러나 단거리 상호작용의 도입은 일반적으로 이러한 분류를 변화시켜, 자유 페르미온 K-이론 프레임워크를 불충분하게 만든다. 상호작용하는 SPT에 대한 호모토피 방법론은 위상 양자장론(TQFT)과 보더리즘 그룹(특히 Freed-Hopkins 프로그램)의 프레임워크를 사용하여 개발되었으나, 이러한 방법들은 주로 공간 대칭 없이 내부 대칭에 의해서만 보호되는 "강한(strong)" 상들에 초점을 맞추어 왔다.

본 논문이 다루는 구체적인 문제는 상호작용이 존재하는 상황에서의 약한(weak) SPT 상의 분류이다. 약한 상은 격자 병진 대칭(lattice translation symmetries)에 의해 보호되며, 종종 저차원의 강한 상들을 쌓아 올리는 방식으로 구성될 수 있다. 저자들은 약한 상의 안정성을 단거리 상호작용 하에서 수학적으로 예측하고, 모든 10가지 Altland-Zirnbauer 대칭 클래스에 대해 "상호작용에 의해 생성된(interaction-enabled)" 상(자유 페르미온 대응물이 없는 본질적인 상호작용 상)을 식별하는 것을 목표로 한다.

방법론
본 논문은 자유 상(K-이론을 통한)과 상호작용하는 상(가역적 장론의 Anderson-dualized bordism 그룹)을 비교하는 호모토피적 접근 방식을 채택한다. 핵심 방법론은 Freed-Hopkins의 "자유-to-상호작용 맵(free-to-interacting map)"을 이산적인 병진 불변 시스템의 맥락으로 확장하는 것이다.

1. 수학적 프레임워크:

   • 자유 상: 브릴루앙 존 토러스($T^d$)의 K-이론을 사용하여 모델링된다. 실 대칭 클래스의 경우 KR-이론 또는 KO-이론을 사용하며, 복소 대칭 클래스의 경우 복소 K-이론을 사용한다.
   • 상호작용 상: 반사 양의 가역적 장론(reflection-positive invertible field theories, IFTs)의 변형 클래스 그룹으로 모델링된다. Freed와 Hopkins를 따라, 이는 공간 다양체 $Y$와 tenfold way 클래스에 연관된 시공간 대칭 그룹 $H$에 대한 Anderson dual bordism 그룹 $\Omega^{H}_{d+2}(Y)$에 의해 분류된다.
   • 약한 상 안사츠(Weak Phases Ansatz): 저자들은 약한 상호작용 상이 일반화된 코호몰로지 그룹 $\mathfrak{G}^{d+2}_{H(s)}(T^d)$에 의해 분류된다고 제안한다. 여기서 $T^d$는 공간(단위 셀) 토러스이다. 이는 "결정 구조적 동등성 원리(crystalline equivalence principle)"와 가족적 장론(families of field theories)에 대한 Freed-Hopkins의 안사츠를 기반으로 한다.

2. 주요 기술적 도구:

   • T-쌍대성(T-Duality): 저자들은 모멘텀 공간의 브릴루앙 토러스의 K-이론을 상호작용 상에서 사용하는 공간 토러스의 K-이론과 연결하기 위해 T-쌍대성 동형 사상을 활용한다. 이를 통해 전통적으로 브릴루앙 존 상에서 정의되는 자유 약한 상을 공간 토러스와 호환되는 프레임워크로 재구성할 수 있다.
   • 토러스 코호몰로지를 위한 이항 공식: 저자들은 토러스의 일반화된 코호몰로지에 대한 분해 공식(James splitting)을 사용한다. 이는 $T^d$의 코호몰로지를 구(sphere)들의 코호몰로지 직합으로 분해함으로써, 효과적으로 약한 상을 저차원의 강한 상들의 조합으로 표현한다.
   • 자유-to-상호작용 맵(Free-to-Interacting Map): 연구의 중심 대상은 호모모피즘 $F2I: \text{Free} \to \text{Interacting}$이다. 이 맵의 커널(kernel)은 상호작용이 켜졌을 때 사소해지는(trivial) 자유 상(불안정한 상)을 식별하며, 여이미지(cokernel)는 상호작용에 의해 생성된 상을 식별한다.

3. 계산 전략:
   T-쌍대성과 이항 분해를 결합함으로써, 저자들은 차원 $d$에서의 약한 자유-to-상호작용 맵이 $0$부터$d$까지의 강한 자유-to-상호작용 맵들의 직합임을 유도한다. 즉, $F2I^d_{\text{weak}} \cong \bigoplus_{k=0}^d \binom{d}{k} F2I^{d-k}_{\text{strong}}$이다. 이는 약한 분류를 계산하는 문제를 저차원의 강한 분류를 계산하는 문제로 환원시킨다.

주요 기여 및 결과
본 논문은 모든 10가지 대칭 클래스에 대해 공간 차원 1, 2, 3에서의 약한 자유-to-상호작용 맵에 대한 완전한 수학적 계산을 제공한다. 결과는 각 경우의 커널(불안정한 자유 상)과 여이미지(상호작용에 의해 생성된 상)를 상세히 설명하는 일련의 추론(corollaries 3.4 ~ 3.33)으로 요약된다.

• 약한 상의 안정성: 저자들은 많은 약한 상들이 상호작용 하에서도 안정적으로 유지됨을 확인한다. 예를 들어, Class AII(시간 역전 불변 위상 절연체)에서 차원 3까지의 약한 상들은 물리적 기대와 일치하게 상호작용에 대해 견고하다.
• 상호작용에 의해 생성된 상: 연구는 본질적인 상호작용 약한 상의 구체적인 사례들을 식별한다.
  • Class CI(3+1 차원)에서, 저자들은 $\mathbb{Z}_2^4$ 그룹의 상호작용 생성 약한 상을 예측한다. 이 상들은 자유 분류에는 나타나지 않으며, 기존 문헌에서 발견되지 않은 새로운 예측으로 언급된다.
  • Class A(3+1 차원)에서, 홀 전도도(Hall conductivity, 약한 불변량)가 안정적임이 입증되어, 이전의 물리적 결과들에 대한 수학적 유도를 제공한다.
  • Class BDI(3+1 차원)에서, 자유 약한 상의 세 가지 $\mathbb{Z}$-값 지수들이 상호작용 하에서도 비자명하게 유지됨이 밝혀졌으며, 이는 최근의 물리적 연구들과 일치한다.
• 불안정한 상: 계산은 상호작용을 추가할 때 사소해지는 자유 상들을 식별한다. 예를 들어, Class BDI에서 1차원의 $\mathbb{Z}$-값 강한 상은 상호작용 한계에서 $\mathbb{Z}_8$이 됩니다. 이 감소는 고차원으로 전파되어 약한 분류에서 커널을 생성합니다.

의의 및 주장
본 논문은 상호작용 하에서 약한 위상 상의 운명을 이해하기 위한 엄밀한 수학적 프레임워크를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 통합: T-쌍대성과 토러스 코호몰로지를 통해 공간 병진 대칭을 포함하도록 Freed-Hopkins 형식을 확장함으로써, 약한 SPT에 대한 자유 상과 상호작용 상의 분류를 통합한다.
2. 예측력: 약한 상의 안정성과 상호작용에 의해 생성된 상의 존재에 대한 정밀한 수학적 예측을 제공하여, 향후 이론적 및 실험적 조사를 안내할 수 있다.
3. 검증: 기존 물리 문헌(예: Class AII 및 BDI)의 결과를 뒷받침하는 동시에, 아직 탐구되지 않은 새로운 예측(예: Class CI)을 제시한다.
4. 방법론적 발전: 복잡한 상호작용 약한 상의 문제를 토러스 코호몰로지의 이항 구조를 활용하여 저차원의 강한 상 계산으로 환원할 수 있음을 보여준다.

저자들은 자신들의 작업이 약한 상에 대한 자유-to-상호작용 맵의 입문이며, tenfold way에 대한 완전한 계산임을 명시하며, 진행 중인 연구가 더 일반적인 결정 구조 대칭을 다룰 것임을 밝힌다. 이들은 특정 실험 프로토콜을 제안하는 것이 아니라, 상호작용하는 시스템에서 약한 상의 잠재적 실험적 관찰을 해석하는 데 필요한 이론적 분류를 제공한다.