[논문 리뷰] More Morphisms between Bundle Gerbes

Konrad Waldorf|ArXiv.org|2007. 02. 22.

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

한 줄 요약

이 논문은 기존의 역행 가능 안정 동형사상에 국한되지 않고, 비역행 가능 사상(예: 자명화 및 범주 기저 모듈러스 포함)을 포함하는 새로운 2범주적 구조를 도입하여 범주 기저의 2범주를 제안한다. 기저 공간을 정밀화하고 선다발을 고차원 벡터다발으로 대체함으로써 합성에서 엄격한 결합법칙을 확보하고, Jandl 구조를 통해 닫힘, 경계가 있는, 그리고 비방향성 표면에 대한 표면 호로노미를 통합적으로 정의하는 프레임워크를 제공한다.

ABSTRACT

Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules. They fit into the structure of a 2-category of bundle gerbes, and lead to natural definitions of surface holonomy for closed surfaces, surfaces with boundary, and unoriented closed surfaces.

연구 동기 및 목표

• 기존의 2군족에서만 역행 가능 안정 동형사상이 존재하는 것을 넘어서, 비역행 가능 1-사상이 포함된 완전한 2범주로 확장하기 위해.
• 안정 동형사상의 합성에서 발생하는 문제를 해결하기 위해 기저 공간을 정밀화하고 선다발을 고차원 벡터다발으로 대체하기 위해.
• 자명화, 범주 기저 모듈러스, Jandl 구조를 2범주의 사상으로 자연스럽게 해석할 수 있는 카테고리적 프레임워크를 제공하기 위해.
• 특히 Jandl 구조를 통해, 닫힘, 경계가 있는, 비방향성 표면에 대한 표면 호로노미를 새로운 사상 구조를 통해 정의하기 위해.
• 특히 비방향성 월드시트를 가진 타입 I 끈 이론에서 배경장의 기술을 통합하기 위해 2차원 초등형 이론에서의 배경장을 통합적으로 기술하기 위해.

제안 방법

• 기저 공간의 총공간의 선회곱으로의 사상에 대한 사상으로서, 기저 공간 위의 벡터다발을 1-사상으로 정의함으로써 안정 동형사상을 일반화한다.
• 새로운 1-사상과 호환되는 일반화된 2-사상 구조를 도입하여 2범주의 조율성을 확보한다.
• 공통의 정밀화에서의 당김과 벡터다발의 텐서곱을 통해 1-사상의 합성을 구성함으로써 엄격한 결합법칙을 확보한다.
• 범주적 연산을 지원하기 위해 2범주에 단순 구조, 쌍대성, 당김을 제공한다.
• 자명한 범주 기저 간의 사상은 곡률 조건 $\mathrm{curv}(E) = \rho_2 - \rho_1$ 를 만족하는 벡터다벨과 동치로 분류한다.
• 등변 선다발과 $\mathrm{exp}(i\int_F \rho) \cdot \mathrm{hol}_R(\overline{\partial F})$ 를 포함하는 호로노미 공식을 통해 Jandl 구조를 이용해 비방향성 표면 호로노미를 정의한다.

실험 결과

연구 질문

• RQ1 기존의 2군족에서 비역행 가능 1-사상이 포함된 2범주로 확장할 수 있는가?
• RQ2 합성에서 엄격한 결합법칙을 보장할 수 있는 안정 동형사상의 올바른 일반화는 무엇인가?
• RQ3 자명화와 범주 기저 모듈러스는 2범주의 카테고리적 프레임워크에서 어떻게 자연스럽게 사상으로 간주될 수 있는가?
• RQ4 범주 기저에 대한 Jandl 구조를 사용하여 비방향성 표면에 대해 일관된 호로노미 개념을 정의할 수 있는가?
• RQ5 새로운 2범주 내의 사상과 관련된 벡터다발의 곡률 간의 관계는 무엇인가?

주요 결과

• 새로운 1-사상은 정밀화된 기저 공간 위의 벡터다발로 주어지며, 당김의 텐서곱을 통한 합성이 엄격한 결합법칙을 만족한다.
• 1-사상이 역행 가능할 조건은 그 벡터다발의 계수가 1일 때에만 성립하며, 이는 기존의 안정 동형사상의 특수한 경우로 일반화된다.
• 범주 기저의 자명화는 자명한 범주 기저 $\mathcal{I}_\rho$ 로의 1-동형사상과 동치이며, 따라서 2범주의 사상으로 간주된다.
• 범주 기저 모듈러스는 자명한 범주 기저 $\mathcal{I}_\omega$ 로의 (항상 역행 가능하지는 않은) 1-사상으로 식별된다.
• Jandl 구조는 삼중체 $ (k, \mathcal{A}, \varphi) $ 로 표현되며, 여기서 $ \mathcal{A} $ 는 1-동형사상이고 $ \varphi $ 는 2-동형사상이므로, 이는 2범주의 내재된 성질이다.
• 비방향성 표면 호로노미는 $ \mathrm{hol}_{\mathcal{G},\mathcal{J}}(\hat{\phi}) = \mathrm{exp}(i\int_F \rho) \cdot \mathrm{hol}_R(\overline{\partial F}) $ 라는 호로노미 공식을 통해 정의되며, 자명화나 기본 도메인의 선택과 무관하다.