Quantising Chiral Bosons On Riemann Surfaces

기술 요약: 리만 곡면 위에서의 카이랄 보존(Chiral Boson) 양자화

문제 정의
2차원에서의 카이랄 보존(자기 쌍대 장)의 양자화는 상당한 난제를 제시하며, 특히 임의의 리만 곡면 위에서 일관된 작용량을 공식화하고 모듈러 불변성(modular invariance)을 달착하는 데 어려움이 있다. Sen의 작용 [1, 2]는 물리적 메트릭 $g$와 평평한 보조 메트릭 $\eta$를 사용하여 $4k+2$ 차원의 카이랄 게이지 장에 대한 프레임워크를 제공하지만, 이 공식은 평평한 메트릭을 허용하는 다양체로 제한된다. 또한, 단일 카이랄 보존의 분배 함수는 일반적으로 모듈러 불변이 아니며, 표준적인 접근 방식들은 종종 자기 쌍대성을 작용량으로부터 유도하기보다는 수동으로 제약을 부과하는 방식을 요구한다. 저자들은 Sen의 작용을 임의의 두 번째 메트릭 $\bar{g}$에 결합되는 보조 장을 포함하는 바이메트릭(bi-metric) 공식으로 일반화하여, 모든 2차원 다양체(구체적으로 리만 곡면)에서 카이랄 스칼라를 양자화하고, 그 결과로 나타나는 모듈러 성질 및 아노말리를 조사하는 것을 목표로 한다.

방법론
본 논문은 2차원 카이랄 스칼라($k=0$)에 맞게 조정된 Sen의 작용 [3]의 바이메트릭 일반화를 채택한다. 방법론은 다음 단계들을 통해 진행된다:

1. 작용량 공식화: 저자들은 물리적 스칼라 $P$가 물리적 메트릭 $g$와 결합하고, "그림자(shadow)" 스칼라 $C$가 두 번째 메트릭 $\bar{g}$와 결합하는 작용량을 활용한다. 메트릭들은 $g$를 위한 복소 변수 $\tau, \tilde{\tau}$와 $\bar{g}$를 위한 $\rho, \tilde{\rho}$를 사용하여 매개화된다. 메트릭에 대한 의존성을 인코딩하는 텐서 $M$은 작용량이 잘 정의되어 있는지 확인하기 위해 명시적으로 계산된다.
2. 해석적 연속(Analytic Continuation): 경로 적분을 정의하기 위해, 저자들은 실수 로렌츠 및 유클리드 메트릭을 복소 메트릭으로 해석적으로 연속시킨다. 저자들은 $\tau, \tilde{\tau}, \rho, \tilde{\rho}$의 파라미터 공간에서 경로 적분이 수렴하는 영역(특히 특정 조건에서 $\text{Im}(\rho) < 0$ 및 $\text{Im}(\tau) > 0$이 요구됨)을 식별한다. 결과물은 전체 파라미터 공간으로 해석적으로 연속된다.
3. 경로 적분 및 정준 양자화: 분배 함수는 두 가지 방법을 통해 계산된다:
   • 경로 적분: 보조 장을 적분하여 제거함으로써, 시스템을 복소 메트릭 $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$에 결합된 비카이랄 스칼라로 축소시킨다. 경로 적분은 제로 모드(winding 및 momentum)와 비제로 진동자 모드를 분리하여 토러스 위에서 계산된다. 발산하는 곱을 처리하기 위해 제타 함수 정규화(Zeta-function regularisation)가 사용된다.
   • 정준 양자화: 시스템을 공간 원 위에서 양자화하며, $y$를 시간으로 취급한다. 힐베르트 공간은 좌측 이동($\tau$) 섹터와 우측 이동($\rho$) 섹터로 분리됨을 보여주며, 이를 통해 분리된 해밀토니안들에 대한 트레이스(trace)로서 분배 함수를 계산할 수 있다.
4. 모듈러 분석: 모듈리 $\tau$와 $\rho$의 모듈러 변환에 따른 분배 함수의 변환 성질을 조사한다. 저자들은 대각 모듈러 변환( $\tau$와 $\rho$가 동일하게 변환되는 경우)과 독립적인 변환을 구분한다.
5. 고차 제너스(Higher Genus)로의 확장: 라플라시안을 분석하고 제로 모드(1-사이클에 대한 주기)와 비제로 모드로부터의 기여를 평가함으로써, 경로 적분을 임의의 리만 곡면으로 일반화한다.

핵심 기여 및 결과

• 유효 작용량 및 복소 메트릭: 저자들은 바이메트릭 작용량이 복소 메트릭 $h$에 결합된 비카이랄 스칼라의 유효 작용량으로 축소됨을 입증한다. 이를 통해 비카이랄 스칼라 연구에 사용되는 표준 기술들을 카이랄 시스템 연구에 사용할 수 있게 된다.
• 분배 함수 구조:
  • 원 또는 토러스 상의 일반적인 카이랄 보존에 대해, 분배 함수 $Z(\tau, \rho)$는 두 모듈리에 모두 의존한다. 일반적인 경우, 이는 인수분해되지 않는 항들의 합으로 나타난다.
  • 유리수 토러스(rational torus)(컴팩트화 반지름의 제곱이 유리수인 경우)의 경우, 분배 함수는 홀로모픽 함수들의 곱에 대한 유한한 합이 된다: $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • 결정적으로, $8k$ 카이랄 보존이 짝수 자기 쌍대 격자(예: $E_8$의 루트 격자 또는 $Spin(32)/\mathbb{Z}_2$의 웨이트 격자)와 연관된 경우, 분배 함수는 단일 곱으로 완전히 인수분해된다: $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• 모듈러 불변성 및 아노말리:
  • 분배 함수는 좌표 변환에 대응하는 모듈러 군 $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$의 대각 부분군에 대해 불변임을 보인다.
  • 저자들은 물리적 메트릭 $g$와 그림자 메트릭 $\bar{g}$ 모두와 관련된 중력 아노말리를 식별한다.
  • 저자들은 "그림자" 섹터를 도입함으로써 완전한 모듈러 불변성과 아노말리 상쇄를 달성하는 메커니즘을 제안한다. 구체적으로, 헤테로틱 스트링(heterotic string, 16 카이랄 보존)의 경우, 물리적 섹터가 $g$-아노말리를 상쇄하고, $\bar{g}$에 결합되는 두 번째 장의 집합이 $\bar{g}$-아노말리를 상쇄한다. 이는 $\tau$와 $\rho$의 독립적인 모듈러 변환에 대해 불변인 전체 분배 함수를 생성한다.
• 헤테로틱 스트링 적용: 본 형식론은 헤테로틱 스트링에 적용된다. 물리적 헤테로틱 스트링 장들을 $g$에 결합하고, 그림자 헤테로틱 스트링을 $\bar{g}$에 결합함으로써, 저자들은 양자화 시 모듈러 불변이며 두 섹터 모두에서 중력 아노키가 없는 월드시트 작용량을 구성한다. 이는 Sen의 연구나 다른 헤테로틱 스트링 장 이론에서 발견되는 그림자 섹터의 구조를 반영한다.
• 고차 제너스: 경로 적분은 복소 메트릭 상의 라플라시안의 행렬식과 곡면의 주기 행렬(period matrices)을 포함하는 세타 함수를 사용하여 일반적인 리만 곡면으로 성공적으로 확장된다.

의의
본 논문은 바이메트릭 공식화가 자기 쌍대성 제약을 수동으로 부과하지 않고도 임의의 리만 곡면 위에서 카이랄 보존을 양자화하기 위한 견고한 프레임워크를 제공한다고 주장한다. 복소 메트릭으로의 해석적 연속을 통해, 저자들은 그림자 섹터를 자연스럽게 포함하는 잘 정의된 분배 함수를 유도한다. 주요 의의는 짝수 자기 쌍대 격자에 대해 모듈러 불변인 카이랄 보존의 일관된 이론을 구축하는 데 있으며, 이는 헤테로틱 스트링에 직접 적용 가능하다. 이 연구는 "그림자" 섹터가, 두 개의 메트릭을 가진 일반적인 2차원 다양체 상에서 이론이 정립될 때, 중력 아노말리를 상쇄하고 모듈러 불변성을 보장하기 위해 필수적인 역할을 한다는 점을 시사한다. 결과적으로, 특정 격자 선택(짝수 자기 쌍대)에 대해 분배 함수가 우아하게 인수분해됨을 확인하였으며, 이는 아노말리가 없는 스트링 이론의 구축을 용이하게 한다.