[논문 리뷰] Discrete Torsion and Gerbes II

Eric Sharpe|ArXiv.org|1999. 09. 16.

Geometric and Algebraic Topology참고 문헌 48인용 수 30

한 줄 요약

이 논문은 스택과 1-gerbe를 사용하여 오비폴드 군 작용을 1-gerbe에로 올리는 데의 모호함으로서 이산 토크션을 기하학적으로 유도한다. 이는 연결이 있는 1-gerbe 위에서의 군 작용의 올림에 대한 불확실성으로서 이산 토크션을 기하학적으로 처음으로 해석하는 것으로, B-장에 대한 오비폴드 윌슨 라인의 해석적 대응물로 간주된다.

ABSTRACT

In a previous paper we outlined how discrete torsion can be understood geometrically as an analogue of orbifold U(1) Wilson lines. In this paper we shall prove the remaining details. More precisely, in this paper we describe gerbes in terms of objects known as stacks (essentially, sheaves of categories), and develop much of the basic theory of gerbes in such language. Then, once the relevant technology has been described, we give a first-principles geometric derivation of discrete torsion. In other words, we define equivariant gerbes, and classify equivariant structures on gerbes and on gerbes with connection. We prove that in general, the set of equivariant structures on a gerbe with connection is a torsor under a group which includes H^2(G,U(1)), where G is the orbifold group. In special cases, such as trivial gerbes, the set of equivariant structures can furthermore be canonically identified with the group.

연구 동기 및 목표

• 이산 토크션에 대한 기하학적이고 기본 원리에 기반한 이해를 제공함으로써, 부호화된 가정 없이 기하학적 기반을 마련하는 것.
• 스택(카테고리의 층)을 사용하여 1-gerbe 이론을 기초 틀로 정립하는 것.
• 특히 오비폴드 군 작용의 맥락에서 1-ger베와 연결이 있는 1-ger베 위의 등변 구조를 분류하는 것.
• 이산 토크션과 군 작용이 1-ger베에 연결을 거쳐 올라갈 수 없는 장애물 사이의 정확한 대응관계를 설정하는 것.
• 이전의 주장에서 $ H^2(\Gamma, U(1)) $와 정확히 일치하지는 않지만, 이에 포함된 군 아래에서 토르서를 이룬다는 것을 보여주어 이전 주장의 수정과 정밀화를 수행하는 것.

제안 방법

• 스택(카테고리의 층)을 사용하여 1-ger베를 수학적으로 형식화함으로써, B-장이 1-ger베 위의 연결으로 기하학적으로 기술될 수 있도록 하는 언어를 제공하는 것.
• 함수 $ \Phi_g: g^*\mathcal{C} \to \mathcal{C} $ 와 가역적인 2-화살표 $ \psi_{g_1,g_2} $ 를 정의하여 등변 1-ger베를 정의하고, 이들이 일관성 조건을 만족하도록 하는 것.
• 스택과 1-ger베에 대한 당김과 내림내림 이론을 사용하여 등변 구조와 그 분류를 분석하는 것.
• 기본 공간 $ M $ 위의 1-ger베를 그 루프 공간 $ LM $ 위의 복합체에 연결시키며, 등변 구조는 $ LM $ 위의 등변 복합체와 연결된다는 것을 보여주는 것.
• 루프 공간에서의 게이지 변환을 분석하여, $ M $ 위의 1-ger베에서 유도되는 것은 오직 자명한 상수 변환 뿐임을 보이며, 이는 여러 개의 1-ger베가 동일한 루프 공간 복합체를 유도할 수 있음을 시사하는 것.
• 층 코homology와 비아벨리안 코hom로 기법을 사용하여 등변 1-ger베와 그 연결을 분류하는 것.

실험 결과

연구 질문

• RQ1 이산 토크션은 오비폴드 파artition 함수의 현상학적 모호성으로서가 아니라, 어떻게 기하학적으로 이해할 수 있는가?
• RQ2 오비폴드 군 작용이 1-ger베에 연결을 거쳐 올라가는 데에 대한 가능한 올림을 분류하는 데 정확한 수학적 구조는 무엇인가?
• RQ3 등변 1-ger베의 분류는 $ H^2(\Gamma, U(1)) $ 코homology 군과 어떻게 관련이 있는가?
• RQ4 왜 이전의 주장에서 등변 구조의 공간이 직접적으로 $ H^2(\Gamma, U(1)) $ 와 동일시된다는 것은 수정이 필요할까?
• RQ5 루프 공간 구성은 기저 공간 위의 등변 1-ger베 분류를 검증하거나 제약을 가하는 데 어느 정도 기여하는가?

주요 결과

• 연결이 있는 1-ger베 위의 등변 구조 집합은 $ H^2(\Gamma, U(1)) $ 를 포함하는 군 아래의 토르서를 이룬다. 그러나 반드시 그것과 일치하는 것은 아니다.
• 이산 토크션은 오비폴드 군 작용이 1-ger베에 연결을 거쳐 올라가는 데에 기여하는 기하학적 장애물로서 나타나며, 이는 선형 복합체에 대한 윌슨 라인과 유사한 방식으로 나타난다.
• 등변 1-ger베는 일관성 법칙을 만족하는 함수 $ \Phi_g $ 와 2-화살표 $ \psi_{g_1,g_2} $ 를 통해 분류되며, 이는 등변 벡터 복합체의 일반화이다.
• 루프 공간 $ LM $ 에서는 오직 자명한 상수 게이지 변환만이 $ M $ 위의 1-ger베에서 유도되며, 이는 여러 개의 1-ger베가 동일한 $ LM $ 위의 복합체를 유도할 수 있음을 의미한다.
• 분석 결과, 등변 구조 간의 차이는 $ H^2(\Gamma, U(1)) $ 에서만 완전히 기술되지 않으며, 이는 이전에 간과된 추가 자유도가 있음을 시사한다.
• 이 논문은 이전 주장의 수정을 통해, $ H^2(\Gamma, U(1)) $ 가 관련 군의 부분군임을 보이며, 전체 장애물 군은 더 크며, 등변 구조의 공간은 이 더 큰 군 위의 토르서임을 보여준다.