[논문 리뷰] Higher Yang-Mills Theory

John C. Baez|ArXiv.org|2002. 06. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 77

한 줄 요약

이 논문은 리 2군과 리 교차 모듈을 사용하여 양-밀스 이론의 고차원 일반화를 제안하며, g-값을 가진 1형식 A와 h-값을 가진 2형식 B를 갖는 접속에 대한 게이지 이론을 수립하고, 고차 양-밀스 방정식을 유도한다. 핵심 결과는 5차원에서 단순 리 군 H와 그의 자가동역학 2군을 갖는 경우, 특정한 계량 및 동형사상 조건 하에 ∗F = G일 때 자기 dual 해가 존재한다는 것이다.

ABSTRACT

Electromagnetism can be generalized to Yang-Mills theory by replacing the group U(1)$ by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of "higher-dimensional Yang-Mills theory". It turns out that to do this, one should replace the Lie group by a "Lie 2-group", which is a category C where the set of objects and the set of morphisms are Lie groups, and the source, target, identity and composition maps are homomorphisms. We show that this is the same as a "Lie crossed module": a pair of Lie groups G,H with a homomorphism t: H -> G and an action of G on H satisfying two compatibility conditions. Following Breen and Messing's ideas on the geometry of nonabelian gerbes, one can define "principal 2-bundles" for any Lie 2-group C and do gauge theory in this new context. Here we only consider trivial 2-bundles, where a connection consists of a Lie(G)-valued 1-form together with an Lie(H)-valued 2-form, and its curvature consists of a Lie(G)-valued 2-form together with a Lie(H)-valued 3-form. We generalize the Yang-Mills action for this sort of connection, and use this to derive "higher Yang-Mills equations". Finally, we show that in certain cases these equations admit self-dual solutions in five dimensions.

연구 동기 및 목표

• 전자기학과 2형식 전자기학 간의 유사성에 영감을 받아, 1형식 게이지 장에서 고차 형식으로의 양-밀스 이론 일반화를 시도한다.
• 표면에 대한 비아벨 호로노미 정의의 장애를 제거하기 위해, 비아贝尔 군 대신 리 2군을 도입함으로써 문제를 해결한다.
• 다른 두 차수의 곡률을 갖는 접속을 사용하여 주 2_bundle에 대한 일관된 게이지 이론을 구축한다.
• 리 대수에서의 불변 이항형식을 사용하여 작용 원리로부터 고차 양-밀스 방정식을 도출한다.
• 특정 계량 및 군론적 조건 하에 5차원 시공간에서 자기 dual 해 존재성을 조사한다.

제안 방법

• G와 H가 리 군이며, t: H → G가 준동형사상이고 G가 H 위에 자가동역학으로 작용하는 리 교차 모듈 (G, H, t, α)을 사용하여 고차 게이지 이론을 모델링한다.
• 접속을 (A, B)의 쌍으로 정의하며, A는 g-값을 가진 1형식이고 B는 h-값을 가진 2형식이며, 곡률은 (F, G)로, F = dA + [A, A], G = dB + [A, B]로 주어진다.
• 일반화된 호지 별연산자와 공형사상 dt*를 도입하여 작용 함수에서 미분의 형식적 수반을 정의한다.
• 곡률 형식과 그 호지 쌍대의 외적 곱의 트레이스를 사용하여 고차 양-밀스 작용 함수를 구성한다.
• 작용에 변분 해석을 적용하여 고차 양-밀스 방정식을 도출하며, 수반 사상으로 곡률 형식 간의 관계를 설정한다.
• 5차원에서 ∗F = G 및 ∗G = F의 자기 dual 조건을 도입하며, 이는 계량의 부호가 (+,+,+,+,+) 또는 동치인 조건과 함께, 켈링 형식에 의한 g ≅ h 동형사상이 필요하다.

실험 결과

연구 질문

• RQ1 리 2군과 같은 고차 구조를 사용하여 2차원 확장된 물체에 대한 일관된 비아벨 게이지 이론을 구성할 수 있는가?
• RQ2 표면 호로노미를 다룰 때, 일반 접속을 초월하여 곡률과 게이지 불변성을 어떻게 일반화할 수 있는가?
• RQ3 어떤 조건에서 고차 양-밀스 방정식이 5차원에서 자기 dual 해를 갖는가?
• RQ4 리 교차 모듈과 불변 이항형식은 작용과 운동 방정식 정의에 어떤 역할을 하는가?
• RQ5 5차원에서의 자기 dual 고차 양-밀스 방정식은 4차원 자기 dual 양-밀스 이론의 고차원 해석으로 간주될 수 있는가?

주요 결과

• 고차 양-밀스 방정식은 곡률 형식과 그 호지 쌍대의 곱의 트레이스로 구성된 게이지 불변 작용 함수의 오일러-라그랑주 방정식으로 도출된다.
• 방정식은 대칭 형태인 d_A ∗F = ∗G ∧ B 및 d_A ∗G = −∗F를 취하며, 비앙키 항등식은 d_A F = −G 및 d_A G = F ∧ B이다.
• 5차원에서 부호가 (+,+,+,+,+) 또는 (+,+,−,−,−)인 5차원 리만 또는 로렌츠 계량을 갖는 경우, ∗F = G일 때 자기 dual 해가 존재한다.
• H가 단순 리 군이고 C가 그 자가동역학 2군일 경우, 켈링 형식에 의한 g ≅ h 동형사상이 존재하며, 이에 따라 자기 dual 해가 존재함을 보였다.
• 이 동형사상 하에서 수반 사상 dt*는 자명해지며, 방정식은 d_A ∗F = ∗G 및 d_A ∗G = ∗F로 단순화되며, 이는 4차원 자기 dual 양-밀스 이론과 유사하다.
• 이러한 해의 존재는 g와 h에서의 켈링 형식의 비퇴화성과 불변성에 의존하며, 이는 작용에 잘 정의된 내적을 보장한다.