[논문 리뷰] Twisted K-theory and loop group representations

Daniel S. Freed, Michael J. Hopkins외 1명|ArXiv.org|2003. 12. 08.

Advanced Algebra and Geometry참고 문헌 27인용 수 83

한 줄 요약

이 논문은 임의의 컴팩트 리 군에 대해, 군의 공액류 쿼터ients 탑재 스택 위의 원환면 작용과 관련된, 휘어진 등변 K-이론을 통한 버린드 링의 위상수학적 실현을 확립한다. 이는 양자장론의 융합 곱을 K-이론의 컵 곱과 연결하고, 에너지 연산자를 이 스택 위의 원환면 작용과 연결한다. 이는 이전 결과를 단순연결성 조건이나 기본군의 토르션 조건 없이 일반화하며, 루프 군 플래그 다양체에 대해 위상수학적 피터-웨일 정리도 제공한다.

ABSTRACT

This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy and the topological Peter-Weyl theorem.

연구 동기 및 목표

• 루프 군의 양의 에너지 표현과 휘어진 등변 K-이론 사이의 동형사상을 임의의 컴팩트 리 군으로 일반화하여, 이전의 연결성 및 기본군의 토르션에 대한 가정을 제거한다.
• 양자장론의 융합 곱을 휘어진 K-이론의 위상수학적 컵 곱과 동일시함으로써, 이 대수적 구조에 대한 위상수학적 기초를 확립한다.
• 양자장론의 에너지 연산자를 스택 $ G/G $ 위의 자연스러운 원환면 작용에서 기인하는 것으로 실현함으로써 기하학적 및 물리적 구조를 연결한다.
• 루프 군의 곱의 플래그 다양체에 대한 보렐-바일 정리를 '환형' 플래그 다양체로 확장하여, 루프 군 표현에 대한 위상수학적 피터-웨일 정리를 제공한다.
• 피아지그와 프렌켈의 반무한 유도 및 제약 함자들을 휘어진 K-이론 구성으로 복원함으로써 위상수학적 및 대수적 접근을 통합한다.

제안 방법

• 루프 군 $ LG $ 의 최저 무게 표현의 버린드 공간에 대한 위상수학적 모델로 휘어진 등변 K-이론 $ K^ au_G(G) $ 를 사용하며, $ \tau $ 는 정규 스칼라이다.
• 웨일 군과 등변 위상수학을 활용하여 $ K^ au_G(G) $ 의 계산을 최대 원환면 $ T $ 와 그 정규화군 $ N $ 으로 환원한다.
• 각 적합한 루프 군 표현에 대해 클래스를 할당하는 휘어진 K-이론 내의 딜라 가족을 구성함으로써, 위상수학적 수단으로 동형사상을 복원한다.
• 양자장론의 융합 곱을 $ K^ au_G(G) $ 의 컵 곱과 동일시함으로써, 해석적 유도를 통해 대응을 실현한다.
• 버린드 위상장론의 위상수학적 이중성 형식을, 반대 수준의 기약 표현 간의 이중성 쌍대형식과 동일시한다.
• 일반화된 플래그 다양체에 대해 위상수학적 피터-웨일 정리를 적용하여, K-이론 클래스를 이 공간들에 대한 인덱스 정리로 해석한다.

실험 결과

연구 질문

• RQ1 연결성 또는 기본군의 토르션 조건 없이, 컴팩트 리 군의 버린드 링을 휘어진 K-이론을 통해 어떻게 위상수학적으로 실현할 수 있는가?
• RQ2 두 차원 양자장론에서 융합 곱의 위상수학적 해석은 휘어진 K-이론 프레임워크 내에서 어떻게 이루어지는가?
• RQ3 양자장론의 에너지 연산자는 스택 $ G/G $ 의 기하학적 구조에서 어떻게 기인하는가?
• RQ4 피아지그와 프렌켈의 반무한 유도 및 제약 함자들은 휘어진 K-이론 구성으로 복원될 수 있는가?
• RQ5 루프 군 플래그 다양체에 대한 보렐-바일 정리의 위상수학적 동반체는 무엇이며, 버린드 TFT 이중성 형식과 어떻게 관련되는가?

주요 결과

• 양자장론의 융합 곱은 휘어진 등변 K-이론 $ K^ au_G(G) $ 의 컵 곱과 동형이며, 이는 이 대수적 연산의 위상수학적 실현을 제공한다.
• 위상수학적으로 구성된 버린드 위상장론의 이중성 형식은 반대 수준의 기약 표현 간의 이중성 쌍대형식과 일치한다.
• 루프 군 표현에 대한 에너지 연산자는 스택 $ G/G $ 위의 원환면 작용에서 자연스럽게 기인하며, 물리적 및 기하학적 구조를 연결한다.
• 피아지그와 프렌켈의 반무한 제약 및 유도 함자들은 휘어진 K-이론의 제약 및 유도로 복원되며, 이러한 구성에 대한 위상수학적 기초를 확립한다.
• $ LG \times LG $ 의 환형 플래그 다양체에 대한 보렐-바일 정리는 위상수학적 피터-웨일 정리로 해석되며, TFT 이중성 형식을 K-이론을 통해 계산한다.
• 일반화된 루프 군 플래그 다양체에 대한 인덱스 정리가 확립되었으며, 휘어진 K-이론이 이 정리의 위상수학적 측면을 제공하며, 이는 이전의 연결 군에 대해 $ \pi_1 $ 가 자유일 경우의 결과를 일반화한다.