[논문 리뷰] A Note on the Two Approaches to Stringy Functors for Orbifolds

Ralph M. Kaufmann|ArXiv.org|2007. 03. 07.

Nonlinear Waves and Solitons참고 문헌 15인용 수 4

한 줄 요약

이 논문은 오비폴드의 스트링 이론 함수를 구성하는 데 있어 두 접근법인 푸시-이전에 푸시와 푸시-이전에 푸시를 조율한다. 형식적 분수 오일러 클래스와 톰 푸시-포워드를 사용하여 순환 꼬임 섹터와 드레함 코homology의 맥락에서 두 형식론이 동일한 스트링 이론 승법을 유도한다는 것을 보여준다. 핵심 결과는 루트를 추가한 링 확장에서 고장 코호몰로지 복합체가 형식적으로 자명화됨으로써 $G$-프로베누스 대수의 재구성 프로그램을 완성하는 것이다.

ABSTRACT

In this note, we reconcile two approaches that have been used to construct stringy multiplications. The pushing forward after pulling back that has been used to give a global stringy extension of the functors K_0,K^{top},A^*,H^* [CR, FG, AGV, JKK2], and the pulling back after having pushed forward, which we have previously used in our (re)-construction program for G-Frobenius algebras, notably in considerations of singularities with symmetries and for symmetric products. A similar approach was also used by [CH] in their considerations of the Chen-Ruan product in a deRham setting for Abelian orbifolds. We show that the pull-push formalism has a solution by the push-pull equations in two situations. The first is a deRham formalism with Thom push-forward maps and the second is the setting of cyclic twisted sectors, which was at the heart of the (re)-construction program. We go on to do formal calculations using fractional Euler classes which allows us to formally treat all the stringy multiplications mentioned above in the general setting. The upshot is the formal trivialization of the co-cycles of the reconstruction program using the presentation of the obstruction bundle of [JKK2].

연구 동기 및 목표

• 글로벌 오비폴드에서 스트링 이론 승법을 구성하기 위한 두 가지 다른 형식론—푸시-이전에 푸시와 푸시-이전에 푸시—를 조율하기 위해.
• 순환 꼬임 섹터와 드레함 코homology의 맥락에서 이러한 접근법의 동치성을 확립하기 위해.
• 일반적인 글로벌 몫공간에 대해 톰 푸시-포워드와 형식적 분수 오일러 클래스를 사용한 엄밀한 프레임워크를 제공하기 위해.
• $G$-프로베누스 대수의 재구성 프로그램을 완성하기 위해, 루트를 추가한 링 확장에 의한 고장 코호몰로지 복합체의 형식적 자명화를 보여주기 위해.
• 유리수 $K$-이론과 드레함 체인에서의 형식적 계산을 통해 체인-룬 승법을 비아벨 군으로 일반화하기 위해.

제안 방법

• 글로벌 몰입 $X/G$의 인ertia 다양체에서 푸시-푸시 및 푸시-푸시 형식론을 사용하여 스트링 이론 승법을 정의한다.
• 순환 꼬임 섹터에서의 사영 공식과 단면의 존재를 적용하여 두 접근법을 동치로 만든다.
• 드레함 설정에서 톰 푸시-포워드 사상이 호모토피를 통해 푸시-포워드를 정의하여 코homological 푸시-포워드와 일관성을 확보한다.
• 유리수 $K$-이론에서의 음수 및 분수 배럴에 대해 형식적 분수 오일러 클래스를 도입하여 고장 배럴의 대수적 처리를 가능하게 한다.
• $|m|$-번째 루트를 코homology 또는 $K$-이론 링에 추가하여 $Ω(S_m)$를 정의함으로써 잘 정의된 스트링 이론 승법의 구축을 가능하게 한다.
• 초과 교차 공식과 오일러 클래스의 자연 변환 성질을 활용하여 다양한 기하학적 함수자($H^*, A^*, K_0, K^{top}$) 간의 형식적 계산을 검증한다.

실험 결과

연구 질문

• RQ1 글로벌 오비폴드의 맥락에서 스트링 이론 함수의 푸시-이전에 푸시와 푸시-이전에 푸시 구성은 조율될 수 있는가?
• RQ2 푸시-푸시 형식론은 순환 꼬임 섹터에서 $G$-프로베누스 대수의 재구성 프로그램에 대한 해를 제공하는가?
• RQ3 형식적 분수 오일러 클래스를 사용하여 재구성 프로그램의 고장 코호몰로지 복합체를 형식적으로 자명화할 수 있는가?
• RQ4 드레함 설정에서 톰 형식과 형식적 계산을 사용하여 푸시-푸시 형식론이 호모토피를 통해 호환되는가?
• RQ5 유리수 $K$-이론에서의 형식적 루트 확장을 통해 아벨 오비폴드의 체인-룬 승법을 비아벨 군으로 일반화할 수 있는가?

주요 결과

• 순환 꼬임 섹터의 경우 푸시-푸시 및 푸시-푸시 형식론은 동치이며, 둘 다 일관된 스트링 이론 승법을 유도한다.
• 드레함 설정에서 푸시-푸시 형식론은 호모토피를 통해 유지되며, 모든 필요한 공식은 정확한 형식을 제외한 나머지에서 유효하다.
• 음수 및 유리수 $K$-이론 배럴에 대한 형식적 분수 오일러 클래스는 재구성 프로그램에서 고장 배럴의 일관된 처리를 가능하게 한다.
• 고장 코호몰로지 복합체 $S_m$은 코homology 또는 $K$-이론 링에 $|m|$-번째 루트를 추가한 링 확장에서 형식적으로 자명화된다.
• 스트링 이론 승법은 잘 정의되어 있으며, 확장된 링에서 $Ω(S_m) = \prod_{k \neq 0,i} w_{m,k,i}^{k/|m|}$ 의 형식론을 통해 명시적으로 구성할 수 있다.
• 이 구축은 체인-룬 승법을 비아벨 오비폴드로 일반화하며, 형식적 계산을 사용하여 $G$-프로베누스 대수의 재구성 프로그램을 완성한다.