[논문 리뷰] Characteristic classes in $TMF$ of level 3

Gerd Laures|arXiv (Cornell University)|2013. 04. 12.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 BO의 7-연결 쌍대체 $B\mathrm{String}$의 $TMF_1(3)$ 코homology를 계산하여, 그것이 $B\mathrm{Spin}$에서 온 풀리에 클래스와 완비화 이후 추가적인 클래스에 의해 자유롭게 생성됨을 보여준다. 주요 응용으로서, 루프 군 $L\mathrm{Spin}$의 안정적인 양의 에너지 표현들로부터 $TMF_1(n)$ 코homology 클래스를 구성함으로써 표현 이론과 위상적 모듈러 형식 사이의 연결 고리를 확립한다.

ABSTRACT

We compute the $TMF_1(3)$ cohomology of the 7-connective cover $BString$ of $BO$. It turns out that it is freely generated by Pontryagin classes and another class when appropriately completed. The Pontryagin classes come from $BSpin$ and freely generate the $TMF_1(3)$ characteristic classes for $Spin$ bundles. As a first application we show how to construct $TMF_1(n)$ cohomology classes from stable positive energy representations of the loop groups $LSpin$.

연구 동기 및 목표

• BO의 7-연결 쌍대체 $B\mathrm{String}$의 $TMF_1(3)$ 코homology를 계산하는 것.
• $\mathrm{String}$ 및 $\mathrm{Spin}$ 번들의 $TMF_1(3)$에서의 특성 클래스의 구조를 규명하는 것.
• 루프 군 $L\mathrm{Spin}$의 안정적인 양의 에너지 표현들로부터 $TMF_1(n)$ 코homology 클래스를 구성하는 것.

제안 방법

• $TMF_1(3)$ 기반 코homology 이론을 사용하여 분류 공간 $B\mathrm{String}$을 분석하는 것.
• $B\mathrm{Spin}$의 알려진 $TMF_1(3)$-코homology를 활용하여 풀리에 클래스를 생성자로 추출하는 것.
• $B\mathrm{String}$에서 풀리에 클래스 외에 추가 생성자를 식별하기 위해 완비화 기법을 적용하는 것.
• $TMF_1(3)$-코homology 환의 구조를 이용하여 특성 클래스를 루프 군의 표현과 연결하는 것.
• 안정적인 양의 에너지 표현을 통해 $TMF_1(n)$-클래스를 구성함으로써 표현 이론과 코homology를 연결하는 것.

실험 결과

연구 질문

• RQ1 $B\mathrm{String}$, 즉 BO의 7-연결 쌍대체의 $TMF_1(3)$ 코homology의 구조는 무엇인가요?
• RQ2 $B\mathrm{Spin}$에서의 풀리에 클래스는 $B\mathrm{String}$의 $TMF_1(3)$-코homology에서 특성 클래스로 어떻게 확장되나요?
• RQ3 $B\mathrm{String}$의 완비화된 $TMF_1(3)$-코homology에서 추가 생성자는 어떤 역할을 하나요?
• RQ4 안정적인 양의 에너지 표현을 가진 $L\mathrm{Spin}$의 표현으로부터 $TMF_1(n)$-코homology 클래스를 구성할 수 있나요?
• RQ5 이러한 구성들은 위상적 모듈러 형식과 특성 클래스의 더 넓은 프레임워크와 어떻게 관련되어 있나요?

주요 결과

• $B\mathrm{String}$의 $TMF_1(3)$ 코homology는 $B\mathrm{Spin}$에서 온 풀리에 클래스와 완비화 이후 추가적인 클래스에 의해 자유롭게 생성된다.
• $B\mathrm{Spin}$의 $TMF_1(3)$ 코homology에서의 풀리에 클래스는 $\mathrm{Spin}$ 번들의 특성 클래스를 자유롭게 생성한다.
• $B\mathrm{String}$의 코homology에서의 추가 클래스는 $B\mathrm{Spin}$에 의해 탐지되지 않으며, 이는 $TMF_1(3)$-이론에서 새로운 불변량임을 시사한다.
• 안정적인 양의 에너지 표현을 통해 $TMF_1(n)$-코homology 클래스를 구성하는 방법은 새로운 기하학적 출처로서의 코homology 클래스를 제공한다.
• 이 방법은 루프 군의 표현 이론과 위상적 모듈러 형식의 코homology 사이의 다리를 놓는다.