Flat Gauging of Continuous (Non-invertible) Symmetries and Non-compact BF SymTFT for Compact Boson

기술 요약: 연속적(비가역적) 대칭성의 플랫 게이징(Flat Gauging) 및 컴팩트 보존에 대한 비컴팩트 BF SymTFT

문제 제기
본 논문은 2차원 공형 장론(CFT)에서 "플랫 게이징"(또는 연속적 오비폴딩)의 작동 방식을 다룬다. 표준적인 동역학적 게이징(dynamical gauging)과 달리, 플랫 게이징은 게이지 장의 전체 공간을 적분하는 대신 평탄한 게이지 장 설정(위상적 결함 네트워크)만을 합산하는 과정을 포함한다. 유한 군(finite groups)에 대해서는 잘 알려져 있으나, 연속적 대칭성—특히 연속적 비가역적 대칭성(continuous non-invertible symmetries)—에 대한 적용은 미묘한 문제를 제기한다. 구체적으로, 평탄 연결(flat connections)의 모듈라이 공간 상에서의 분배 함수는 불연속적일 수 있으며, 대칭성의 고정점(fixed points)과 같이 영(zero)-측도 록(zero-measure loci)을 가질 수 있는데, 이들은 필수적인 물리적 데이터를 담고 있다. 모듈라이 공간에 대한 나이브한(naive) 적분은 이러한 기여를 버림으로써 잘못된 게이징된 이론을 초래할 위험이 있다. 저자들은 2D 컴팩트 보존을 주요 실험실로 삼아 운동량($U(1)_M$)과 윈딩($U(1)_W$) 대칭성, 이들의 혼합 아노말리(mixed anomaly), 그리고 그에 따른 비컴팩트 극한 사이의 상호작용을 조사한다.

방법론
저자들은 명시적인 토러스 분배 함수 계산, 버텍스 연산자 분석, 그리고 대칭성 위상 장론(SymTFT) 형식을 결합하여 연구를 수행한다.

1. 배경(Backgrounds)을 포함한 분배 함수: 저자들은 일반적인 평탄 $U(1)_M \times U(1)_W$ 배경이 결합된 컴팩트 보존의 토러스 분배 함수를 구성한다. 이들은 두 대칭성 사이의 혼합 '트 Hooft 아노말리를 명시적으로 고려하며, 분배 함수가 단일값 함수가 아니라 모듈라이 공간 위의 선다발(line bundle)의 섹션임을 보여준다.
2. 플랫 게이징 절차: 저자들은 대칭성 배경의 홀로노미(holonomy)에 대해 적분함으로써 플랫 게이징을 수행한다. 아노말리를 처리하기 위해, 적분 대상이 단일값이 되도록 특정 국소 카운터텀(local counterterms, 위상적 페이즈)을 도입한다.
3. 버텍스 연산자 매칭: 게이징된 이론의 성격을 확인하기 위해, 저자들은 버텍스 연산자의 스펙트럼과 연산자 곱 전개(OPE)를 분석하여 이를 알려진 비컴팩트 보존 대수와 비교한다.
4. SymTFT 정식화: 저자들은 결과를 3D SymTFT의 관점에서 해석한다. 벌크 이론은 $\mathbb{R}$-값 게이지 장을 가진 비컴팩트 BF 이론으로 식별된다. 서로 다른 물리적 이론들(다양한 반지름을 가진 컴팩트 보존, 비컴팩트 보존)은 이 벌크 이론의 서로 다른 위상적 경계 조건(라그랑지안 대수)으로 실현된다.
5. 오비폴드 분지 분석: 저자들은 오비폴드 분지(반사 대칭 $\mathbb{Z}_2$를 게이징하는 경우)로 분석을 확장한다. 여기서 연속적 대칭은 비가역적 대칭이 된다. 이들은 유한 비가역 게이징과 연속적 극한을 비교하며, 영-측도 고정 록(zero-measure fixed loci)으로부터 발생하는 불일치를 강조한다.

주요 기여 및 결과

• 플랫 게이징을 통한 디컴팩티피케이션(Decompactification): 저자들은 컴팩트 보존의 운동량 $U(1)_M$ 또는 윈딩 $U(1)_W$ 대칭을 플랫 게이징하는 것이 이론을 디컴팩티피케이션시킨다는 것을 입증한다.

  • $U(1)_W$ 배경이 존재하는 상황에서 $U(1)_M$을 플랫 게이징하면, 듀얼 이산(discrete) $\mathbb{Z}$ 대칭($U(1)_M$의 푸리에 파트너)이 남은 $U(1)_W$ 배경과 결합된다. 혼합 아노말리로 인해, 이들은 단일한 비컴팩트 $\mathbb{R}_W$ 대칭 배경으로 결합된다.
  • 결과적인 분배 함수는 비컴팩트 자유 보존(non-compact free boson)과 일치한다. 버텍스 연산자들은 이산 윈딩 격자가 연속적인 운동량 스펙트럼으로 대체되었음을 확인해 준다.
  • 이는 플랫 게이징이 연속 대칭을 게이징함으로써 컴팩트 이론을 어떻게 비컴팩트 이론으로 변환시키는지, 그리고 듀얼 대칭이 어떻게 비컴팩트 장의 병진 대칭이 되는지에 대한 정밀한 메커니즘을 확립한다.

• **자기 쌍대 반지름(Self-dual radius)에서의 $SO(3)$게이징:** 자기 쌍대 반지름($r = 1/\sqrt{2}$)에서 컴팩트 보존은 강화된$(SU(2)_L \times SU(2)_R)/\mathbb{Z}_2$대칭을 가진$\widehat{su}(2)_1$ WZW 모델과 동등하다. 저자들은 대각 $SO(3)$ 부분군에 대한 플랫 게이징을 재검토한다.

  • 저자들은 계산을 트위스티드(twisted) 섹터와 언트위스티드(untwisted) 섹터로 분리한다.
  • 트위스티드 섹터의 기여는 오비폴드된 비컴팩트 보존($\mathbb{R}/\mathbb{Z}_2$)을 닮았으나, 전체 이론은 언트위스티드 섹터로 인해 차이가 있다.
  • 결과적인 이론은 표준적인 $c=1$ 모듈라이 공간(원형 및 오비폴드 이론) 밖에 존재하며, 이는 플랫 게이징이 진정으로 새로운 CFT를 생성할 수 있음을 확인시켜 준다(Runkel-Watts 및 Roggenkamp-Wendland 극한과 관련됨).

• 오비폴드 분지의 연속적 비가역 대칭: 오비폴드 분지에서 연속적 $U(1)$ 대칭은 연속적인 가족을 가진 비가역적 결함(non-invertible defects)이 된다.

  • 저자들은 일반적인 비가역 결함 네트워크에 대한 분배 함수를 구성한다.
  • 이들은 결정적인 미묘함을 식별한다: 유한 합을 연속 적분으로 대체하는 나이브한 연속 비가역 게이징은 영-측도 고정 록(예: $\mathbb{R}/\mathbb{Z}_2$의 원점)의 기여를 버린다.
  • 저자들은 $U(1)_M$을 먼저 게이징한 후 반사 $\mathbb{Z}_2$를 게이징하는 것이 올바른 비컴팩트 오비폴드 분배 함수(단일 고정점을 가짐)를 얻는 방법임을 보여준다. 그러나 오비폴드 분지에서 시작하여 연속적 비가역 대칭을 나이브하게 적분하면, 고정점 오실레이터 기여가 누락된 잘못된 결과를 얻게 된다.
  • 저자들은 영-측도 록을 처리하기 위해 파라미터 $\kappa$를 사용하는 정규화 스킴을 제안하며, 서로 다른 $\kappa$ 값이 서로 다른 물리적 극한(유한 게이징 vs 비컴팩트 오비폴드)을 재현한다는 점을 언급하며, 연속적 측도의 본질적 정의에 대한 의문을 남긴다.

• SymTFT 기술: 저자들은 $D$개의 컴팩트 보존에 대한 SymTFT를 $\mathbb{R}$-값 게이지 장을 가진 비컴팩트 BF 이론으로 정식화한다.

  • 타겟 공간 기하학(메트릭 $G_{IJ}$ 및 B-필드 $B_{IJ}$)은 벌크 BF 이론의 라그랑지안 대수(위상적 경계 조건)의 선택에 인코딩된다.
  • 위상적 경계 상태(기하학을 인코딩함)와 물리적 경계 상태 사이의 중첩은 나라인(Narain) 분배 함수를 재현한다.
  • 이러한 경계 상태의 매개변수화에 존재하는 중복성은 나라인 모듈라이 공간과 $O(D, D; \mathbb{Z})$ T-듀얼리티 군의 작용을 자연스럽게 도출한다.
  • 디컴팩티케이션은 연속적인 선 연산자(line operator) 가족을 응축시키는 것으로서 위상적 경계 조건을 변경하는 것으로 해석된다.

의의
본 논문은 연속 대칭의 플랫 게이징을 이해하기 위한 엄밀한 프레임워크를 제공하며, 혼합 아노말리가 어떻게 컴팩트에서 비컴팩트로의 전이를 유도하는지 명확히 한다. 또한, 플랫 게이징이 단순히 유한 게이징의 극한이 아니라, 표준 모듈라이 공간 외부의 새로운 CFT를 생성할 수 있는 별개의 연산임을 강조한다. 특히 연속적 비가역 게이징에서 "영-측도 문제"를 식별하여, 고정점에 결부된 물리적 데이터가 나이브한 연속 극한에서 손실될 수 있음을 입증한 것은 중요한 기여이다. 마지막으로, 이 연구는 컴팩트 보존 모듈라이 공간, T-듀얼리티, 그리고 디컴팩티케이션을 하나의 비컴팩트 BF SymTFT 프레임워크 내에서 통합하며, 여기서 기하학적 데이터는 위상적 경계 조건에 인코딩된다.