[논문 리뷰] A gauge-invariant discrete analog of the Yang-Mills equations on a double complex

Volodymyr Sushch|arXiv (Cornell University)|2006. 11. 08.

Advanced Algebra and Geometry참고 문헌 17인용 수 4

한 줄 요약

이 논문은 이중 복합체 프레임워크를 사용하여 4차원 조합적 다양체 위에서 양-밀스 방정식의 게이지 불변 이산화를 구축한다. (∗)² = ±Id를 만족하는 조합적 호지 스타 연산자를 도입함으로써, 유한 차원 행렬 체계로 이산 자기 dual 및 반자기 dual 방정식을 수립하고, 경계 조건을 갖는 두 도메인을 붙임으로써 4-구면체로 공식화를 성공적으로 확장한다.

ABSTRACT

An intrinsically defined gauge-invariant discrete model of the Yang-Mills equations on a combinatorial analog of $\Bbb{R}^4$ is constructed. We develop several algebraic structures on the matrix-valued cochains (discrete forms) that are analogs of objects in differential geometry. We define a combinatorial Hodge star operator based on the use of a double complex construction. Difference self-dual and anti-self-dual equations will be given. In the last section we discus the question of generalizing our constructions to the case of a 4-dimensional combinatorial sphere

연구 동기 및 목표

• 연속 이론의 핵심 기하학적 및 대수적 구조를 유지하면서, 조합적 4차원 공간에서 양-밀스 방정식의 게이지 불변 이산 모델을 개발하는 것.
• 이중 복합체 위에서 (∗)² = ±Id를 만족하는 이산 호지 스타 연산자를 정의함으로써, 이전의 이산 모델에서 (∗)²가 이동된 항등원으로 작용하는 한계를 해결하는 것.
• 이중 복합체 위에서 이산 자기 dual 및 반자기 dual 양-밀스 방정식을 유한 차원 비선형 행렬 체계로 수립하는 것.
• 경계를 따라 동형인 두 도메인을 붙임으로써 이산 양-밀스 공식화를 4차원 조합적 4-구면체로 일반화하는 것.
• 이중 복합체 위에서 미분기하학적 연산의 이산화에 따라 게이지 불변성과 기하학적 일致성을 유지하는 것.

제안 방법

• 4차원 조합적 격자 위에 이중 복합체 구조를 구성하여, 이산 코체인과 외부 도함수의 이산화된 해석인 dᶜ를 정의할 수 있도록 한다.
• 와이드 곱을 모방하는 ∪ 연산자를 갖는 행렬 값 코체인 복합체를 도입하고, 내적을 정의하여 호지 스타 연산자를 지원한다.
• 이중 복합체 구성에 의해 조합적 호지 스타 ∗를 정의하여 ∗² = ±Id를 확보함으로써, 이산 설정에서 자기 dual 성질과의 호환성을 보장한다.
• A가 행렬 값 1-코체인일 때 이산 곡률 2-형식 F = dᶜA + A ∪ A를 유도하고, 이산 양-밀스 방정식을 dᶜF = 0 및 dᶜ∗F = 0로 수립한다.
• 이중 복합체 위에서 두 동형인 4차원 도메인 V와 ˆV를 경계 매칭 조건 (6.1) 및 (6.2)을 통해 붙여 조합적 4-구면체 M를 구성한다.
• K(M) 전체 복합체로 호지 스타 및 내적을 확장하여, 4-구면체 위에서 이산 양-밀스 및 자기 dual 방정식을 유한 차원 행렬 체계로 수립한다.

실험 결과

연구 질문

• RQ1 이중 복합체 프레임워크를 사용하여 조합적 4차원 공간에서 양-밀스 방정식의 게이지 불변 이산화를 구성할 수 있는가?
• RQ2 이전 모델에서 관찰된 이동된 항등원 행동을 피하기 위해 (∗)² = ±Id를 만족하는 이산 호지 스타 연산자를 어떻게 정의할 수 있는가?
• RQ3 이중 복합체 위에서 이산 자기 dual 및 반자기 dual 방정식은 연속 이론의 상응하는 대수적 및 기하학적 성질을 어떻게 반영하는가?
• RQ4 게이지 불변성과 자기 dual 성질을 유지하면서 이산 양-밀스 공식화를 4차원 조합적 4-구면체로 확장할 수 있는가?
• RQ5 접합 구조에 따라 4-구면체 위에서 이산 자기 dual 및 반자기 dual 방정식으로부터 유도되는 유한 차원 행렬 체계는 무엇인가?

주요 결과

• 이중 복합체 위의 이산 호지 스타 연산자는 (∗)² = ±Id를 만족하여, 이전 모델에서 (∗)²가 이동된 항등원으로 작용하는 것과 달리, 자기 dual의 적절한 이산화를 가능하게 한다.
• 이산 양-밀스 방정식은 F = dᶜA + A ∪ A를 만족하며, dᶜF = 0 및 dᶜ∗F = 0로 수립되어 게이지 불변성과 기하학적 일치성을 보장한다.
• 자기 dual 및 반자기 dual 방정식은 유한 차원 비선형 행렬 방정식으로 표현되며, 4-구면체에서의 접합 조건 (6.2)를 만족하는 성분을 포함한다.
• 조합적 4-구면체 M = V ∪ ˆV에서 이산 곡률 성분 Fₖⁱʲ 및 ˆFₖⁱʲ는 대칭 경계 조건을 만족하여 위상적 닫힘을 보장한다.
• K(M) 위의 내적은 (φ, ψ)ₘ = tr∑ₖ∑₍ₚ₎(φₖ⁽ᵖ⁾(ψₖ⁽ᵖ⁾)⁎ + ˆφₖ⁽ᵖ⁾(ˆψₖ⁽ᵖ⁾)⁎)로 정의되며, 이는 4-구면체 위에서 호지 스타 및 노름 구조를 지원한다.
• 정리 4.7과 자기 dual 방정식 구조는 4-구면체로 확장되며, 이는 이산 모델이 컴act 다양체 위에서 연속 양-밀스 이론의 핵심 성질을 유지함을 확인한다.