[논문 리뷰] Gauging as constraining: the universal generalised geometry action in two dimensions

Athanasios Chatzistavrakidis, Andreas Deser외 2명|arXiv (Cornell University)|2017. 05. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 8

한 줄 요약

이 논문은 전역 대칭성 대신 분할구조(foliations)를 기본 기하적 구조로 간주함으로써, 두 차원 시그마 모델을 일반화된 프레임워크로 평가하는 방법을 제시한다. 일반화된 탄성장의 보조 1형식을 사용하여 비게이지 이론을 재구성하고, 이를 딜락 구조로 제한함으로써, 등장성 또는 전역 대칭성이 필요 없이 일관된 게이지 이론을 체계적으로 규명한다. 핵심 결과는 유일하게 특정한 소규모 딜락 구조만이 일관된 게이징을 허용하며, 이는 토러스나 원과 같은 목표 공간을 생성하지만 추가로 자유도를 冻결시키지 않는다는 것이다.

ABSTRACT

One of the central concepts in modern theoretical physics, gauge symmetry, is typically realised by lifting a finite-dimensional global symmetry group of a given functional to an infinite-dimensional local one by extending the functional to include gauge fields. In this contribution we review the construction of gauged actions for two-dimensional sigma models, considering a more general notion to be gauged, namely that of a (possibly singular) foliation. In particular, the original action does not need to have any global symmetry for this purpose. Moreover, reformulating the ungauged theory by means of auxiliary 1-form fields taking values in the generalised tangent bundle over the target, all possible such gauge theories result from restriction of these fields to take values in (possibly small) Dirac structures. This turns all the remaining 1-form fields into gauge fields and leads to the presence of a local symmetry. We recall all needed mathematical notions, those of (higher) Lie algebroids, Courant algebroids, and Dirac structures.

연구 동기 및 목표

• 전역 대칭성이나 등장성을 가정하지 않고, 분할의 기하학을 기반으로 2D 시그마 모델을 게이징하는 일반적 프레임워크를 개발하는 것.
• 클라스식 리 군 작용을 넘어서 일반화된 기하학과 쿠르앙 대수다발을 사용하여 게이징 개념을 확장하는 것.
• 특히 목표 공간에서 물리적으로 비합리적인 자유도의 동결을 피하면서 일관된 게이징이 가능한 조건을 규명하는 것.
• 일관된 게이징이 일반화된 탄성장의 보조 1형식을 소규모 딜락 구조로 제한하는 것과 정확히 일치함을 보여주는 것.
• 특히 특이 분할에서 비등장성 방향의 게이징을 가능하게 하는 최소 결합 대비 비최소 결합의 역할을 명확히 하는 것.

제안 방법

• 목표 다양체의 일반화된 탄성장에 값이 부여된 보조 1형식을 사용하여 비게이지 2D 시그마 모델을 재구성하는 것.
• 이 1형식을 쿠르앙 대수다발의 소규모 딜락 부분다발에 제한함으로써 가능한 모든 게이지 이론을 식별하는 것.
• 관측 불변 조건 (24), (31), 및 (32)를 사용하여 접속 계수 $\omega^{a}_{b}$, $\theta_{a}$, 및 $\phi_{b}$를 통해 일관된 게이지 결합을 결정하는 것.
• 일반적인 작용 (30)을 적용하여 비최소 결합을 허용하고, 최소 결합을 초월한 불변 조건을 해결하기 위해 추가 조정 가능한 매개변수를 도입하는 것.
• 특정 예시에서 $\omega^{a}_{b}$ 및 $\phi_{b}$의 명시적 해를 구성하는 것. 예를 들어 $D_{(\rho_{3},\rho_{4})}$ 구조에서 $\omega^{3}_{4} = -\mathrm{d}X^{2}$.
• 결과로 얻어진 몫공간(예: 2토러스, 원)이 게이지 이론의 물리적 목표 공간과 일치함을 검증하며, 전파 자유도가 추가로 동결되지 않음을 확인하는 것.

실험 결과

연구 질문

• RQ1 전혀 전역 대칭성이나 등장성을 가정하지 않고도 2D 시그마 모델에 대해 일관된 게이지 이론을 구성할 수 있는가?
• RQ2 일반화된 기하학을 통한 일관된 게이징을 허용하는 분할의 기하적 조건은 무엇인가?
• RQ3 게이지 이론의 목표 공간을 분할의 잎공간과 일치시킬 수 있는가? 이는 자유도의 물리적으로 비합리적인 동결을 피하는 데 있다.
• RQ4 비최소 결합의 포함은 비등장성 방향에 대해 가능한 게이징의 집합을 어떻게 확장하는가?
• RQ5 쿠르앙 대수다발의 딜락 구조는 일반화된 기하학에서 일관된 게이징을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 유일하게 특정한 소규모 딜락 구조, 예를 들어 $D_{(\rho_{3},\rho_{4})}$만이 일관된 게이징을 허용하며, $D_{(\rho_{1})}$나 $D_{(\rho_{2})}$는 불변 조건에 대한 해를 갖지 못한다.
• $D_{(\rho_{3},\rho_{4})}$ 구조의 경우, 해 $\omega^{3}_{4} = -\mathrm{d}X^{2}$는 2토러스를 목표 공간으로 갖는 게이지 이론을 유도하며, 모든 물리적 자유도를 유지한다.
• $D_{(\rho_{1},\rho_{3},\rho_{4})}$ 구조는 $\omega^{1}_{4} = -\mathrm{d}X^{2}$ 및 $\omega^{4}_{3} = -\mathrm{d}X^{2}$를 통해 원을 목표 공간으로 유도하며, 3토러스 분할의 일관된 게이징을 보여준다.
• $D_{(\rho_{2},\rho_{3},\rho_{4})}$ 구조의 경우, 해 $\omega^{2}_{4} = \mathrm{d}X^{1} - (X^{4} + X^{1}X^{2})\mathrm{d}X^{2} + \mathrm{d}X^{3}$는 원을 목표 공간으로 유도하며, 3니르만포탄 분할의 일관된 게이징을 확인한다.
• 비최소 결합 프레임워크에서는 새로운 딜락 구조 $D'_{(\rho_{4})}$가 유클리드 세계시계수에서 $\rho_{4}$-분할의 게이징을 가능하게 하며, $\theta = (x^{1}x^{2} + x^{4})\mathrm{d}x^{2} - \mathrm{d}x^{3}$ 및 $\phi = \mathrm{d}x^{2}$로 표현되며, 이는 최소 결합에서는 불가능했다.
• $\rho_{1}$-분할은 비최소 프레임워크에서도 여전히 게이징이 불가능하며, 이는 모든 분할이 일관된 게이징을 허용하지는 않음을 보여주며, 조정 가능한 매개변수의 확장에도 불구하고 그러한 제약이 존재함을 시사한다.