[논문 리뷰] Notes on simplicial BF theory

Pavel Mnëv|ArXiv.org|2006. 10. 31.

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

한 줄 요약

이 논문은 삼등분된 다양체 위에서 BF 이론의 단순체적 표현을 개발하며, Batalin-Vilkovisky (BV) 형식과 호모토피 대수학을 통해 위상적 BF 이론과 동치인 유한차원 장 이론을 구축한다. 단순체에서의 효과적 작용이 코homology 위에 $L_\infty$ 대수적 구조를 생성하며, 2차원 및 3차원에서 발산하는 초트레이스를 정규화함으로써 고전적 유한성이 확인된다.

ABSTRACT

In this work we discuss the construction of "simplicial BF theory", the field theory with finite-dimensional space of fields, associated to a triangulated manifold, that is in a sense equivalent to topological BF theory on the manifold (with infinite-dimensional space of fields). This is done in framework of simplicial program - program of constructing discrete topological field theories. We also discuss the relation of these constructions to homotopy algebra.

연구 동기 및 목표

• 삼등분된 다양체 위에서 위상적 BF 이론과 동치인 유한차원 단순체적 BF 이론을 구축하는 것.
• BV 통합과 체인 호모토피를 사용하여 삼등분에 대한 확장된 BF 이론의 효과적 작용을 제시하는 것.
• 나무차수 효과적 작용이 코homology 위에 $L_\infty$ 대수적 구조를 생성하며, 고전적 유한성이 입증되는 것.
• 절단법과 $K_\epsilon$ 정규화를 사용하여 1라운드 계산에서 발산하는 초트레이스를 정규화하고, 2차원 및 3차원에서 유한한 결과를 확보하는 것.

제안 방법

• 장을 다양체 위의 초형식으로 정의하는 Batalin-Vilkovisky 형식을 사용하여 확장된 BF 이론을 정의한다.
• de Rham 복합체 $\Omega(M)$ 와 삼등분 $\Xi$ 위의 윌슨 복합체 $\Omega_W(\Xi)$ 사이를 연결하기 위해 체인 호모토피(Dupont의 구성)를 적용한다.
• 효과적 작용의 인수분해를 통해 BV 경로적분을 단일 단순체 위의 유한차원 적분으로 축소한다.
• BV 적분의 고전적 전개를 사용하여 단순체에서 나무차수 및 1라운드 효과적 작용을 계산한다.
• 모노드로미 행렬의 초트레이스에서 발생하는 발산을 $K_\epsilon$ 체인 호모토피를 통해 정규화한다.
• BV 적분에서 기대값 사상에 의해 원래 이론과 축소된 이론 사이의 $L_\infty$ 준동형을 구성한다.

실험 결과

연구 질문

• RQ1 삼등분된 다양체 위에서 위상적 BF 이론과 동치인 유한차원 단순체적 BF 이론을 구성할 수 있는가?
• RQ2 단순체에서의 효과적 작용이 코homology 위의 $L_\infty$ 대수적 구조를 어떻게 코딩하는가?
• RQ3 효과적 작용의 1라운드 계산에서 발생하는 발산 초트레이스는 정규화 후 유한한가?
• RQ4 2단순체에서의 나무차수 효과적 작용의 명시적 형태는 무엇이며, 이를 단순체 곡률과 어떻게 연결할 수 있는가?
• RQ5 1라운드 효과적 작용은 고전적으로 계산 가능하며, 2차원 및 3차원에서 유한한가?

주요 결과

• 2단순체에서의 나무차수 효과적 작용은 코homology 위에 비자명한 $L_\infty$ 대수적 구조를 생성하며, $\mathcal{O}(\omega^4)$까지의 명시적 항이 존재한다.
• 2단순체에서의 1라운드 효과적 작용은 정규화 후 유한하며, 계수 $\mathcal{A}_2 = -1/36$, $\mathcal{B}_2 = 1/270$를 가진다.
• 3단순체에서의 1라운드 효과적 작용은 잠재적인 선형 발산이 존재하더라도 $K_\epsilon$ 정규화를 통해 여전히 유한하다.
• 2차원에서 0-형식 및 1-형식에서 각각 초트레이스가 발산하지만, 총 초트레이스에서는 상쇄된다.
• 2단순체에서의 축소된 효과적 작용은 접속과 그 아벨리안이 아닌 보정항을 포함하는 단순체 곡률 공식을 재현한다.
• $K \to K_\epsilon$ 정규화는 단항식 기저와 좌표 기저에서 일관된 결과를 도출하며, 1라운드 진폭의 유한성을 확인한다.