[논문 리뷰] Discrete BF theory

Pavel Mnëv|arXiv (Cornell University)|2008. 09. 06.

Algebraic structures and combinatorial models참고 문헌 13인용 수 34

한 줄 요약

이 논문은 삼등분 또는 큐빅 분할된 다양체 위에서 비아벨 BF 이론의 이산적 버전을 제시하며, 무한차원 함수적 적분을 유한차원 적분으로 대체한다. 이론이 연속체 BF 이론과 동치임을 입증하고, 이산적 작용이 호모토피 전달을 통해 세포 코호모로지 위에 $qL_\infty$ 대수적 구조를 생성함으로써, 코호몰로지 위의 효과적 작용과 같은 위상적 불변량을 계산할 수 있음을 보여준다.

ABSTRACT

In this work we discuss the simplicial program for topological field theories for the case of non-abelian BF theory. Discrete BF theory with finite-dimensional space of fields is constructed for a triangulated manifold (or for a manifold equipped with cubical cell decomposition), that is in a sense equivalent to the topological BF theory on manifold. This discrete allows one to calculate interesting quantities from the BF theory, like the effective action on cohomology, in terms of finite-dimensional integrals instead of functional integrals, as demonstrated in a series of explicit examples. We also discuss the interpretation of discrete BF action as the generating function for $qL_\infty$ structure (certain one-loop version of ordinary $L_\infty$ algebra) on the cell cochains of triangulation, related to the de Rham algebra of the underlying manifold by homotopy transfer procedure. This work is a refinement of older text hep-th/0610326.

연구 동기 및 목표

• 삼등분 또는 큐빅 분할된 다양체 위에서 비아벨 BF 이론의 이산적 형태를 개발하는 것.
• 위상적 BF 이론의 기능적 적분을 유한차원 적분으로 대체하여 계산 가능한 결과를 도출하는 것.
• 이산 BF 작용과 세포 코호모로지 위의 $qL_\infty$ 대수적 구조 사이의 연결 고리를 확립하는 것.
• 이산 이론이 코호몰로지 불변량 측면에서 연속체 BF 이론과 동치임을 입증하는 것.

제안 방법

• 삼등분 또는 큐빅 분할된 다양체 위에서 유한차원 장을 사용하여 이산 BF 작용을 구성하는 것.
• 호모토피 전달 절차를 적용하여 다양체의 de Rham 대수와 세포 코호모로지 복합체를 연결하고, $qL_\infty$ 대수를 유도하는 것.
• 이산 작용을 세포 코호모로지 위의 $qL_\infty$ 구조를 위한 생성 함수로 사용하는 것.
• 기능적 적분 대신 유한차원 적분을 통해 코호몰로지 위의 효과적 작용을 계산하는 것.
• 이산 이론과 연속체 BF 이론 간의 주요 위상적 관측량에서의 동치성을 입증하는 것.
• 단순형 및 큐빅 세포 분할을 사용하여 이산 장 공간과 작용을 정의하는 것.

실험 결과

연구 질문

• RQ1 삼등분 또는 큐빅 분할된 다양체 위에서 비아벨 BF 이론을 어떻게 이산화할 수 있으며, 이때 위상적 불변성이 유지되는가?
• RQ2 이산 BF 작용은 세포 코호모로지 위의 $qL_\infty$ 대수적 구조를 생성 함수로 해석할 수 있는가?
• RQ3 호모토피 전달을 통해 이산 BF 이론과 기저 다양체의 de Rham 대수 사이의 관계는 무엇인가?
• RQ4 이산 이론은 어떻게 유한차원 적분을 사용하여 코호몰로지 위의 효과적 작용을 계산하는가?
• RQ5 이산 BF 이론이 위상적 관측량 측면에서 연속체 BF 이론과 어느 정도 동치인가?

주요 결과

• 이산 BF 이론은 삼등분 또는 큐빅 분할된 다양체 위에서 유한차원 장 이론으로 제시되어 위상적 불변량의 명시적 계산이 가능하다.
• 이산 BF 작용은 세포 코호모로지 위에 $qL_\infty$ 대수적 구조를 생성하며, 이는 $L_\infty$ 대수의 일주기 버전을 제공한다.
• 호모토피 전달 절차를 통해 다양체의 de Rham 대수와 세포 코호모로지 복합체가 연결되며, 이는 $qL_\infty$ 구조의 기초를 이룬다.
• BF 이론에서의 코호몰로지 위의 효과적 작용은 이산 형태에서 유한차원 적분을 통해 계산될 수 있다.
• 이산 이론은 주요 위상적 관측량을 재현하는 바에 있어 연속체 BF 이론과 동치이다.
• 명시적 예시들은 기능적 적분 대신 유한차원 적분을 사용하여 위상적 양을 계산할 수 있음을 보여준다.