[논문 리뷰] Twisted conjugacy classes, coadjoint orbits of loop groups and D-branes in the WZW-model

S. Mohrdieck, Robert Wendt|ArXiv.org|2003. 03. 10.

Algebraic structures and combinatorial models참고 문헌 16인용 수 9

한 줄 요약

이 논문은 컴팩트하고 단순연결된 리 군의 정수 값의 비틀린 및 비틀리지 않은 공轭류 사이의 기하학적 대응을, 해당 비틀린 및 비틀리지 않은 아핀 리 대수의 기저가 가장 높은 표현과 연결지어 설정한다. 공轭류의 정수 조건을 루프 군의 공첨의 오비트에 대한 코homological 조건으로 변환함으로써, 저자들은 기하학적 양자화를 통해 이러한 공轭류가 자연스럽게 이러한 표현을 매개변수화함을 보이며, 고전적인 Borel-Weil-Bott 대응을 비틀린 설정으로 일반화한다.

ABSTRACT

We show that untwisted respectively twisted conjugacy classes of a compact and simply connected Lie group which satisfy a certain integrality condition correspond naturally to irreducible highest weight representations of the corresponding affine Lie algebra. Along the way, review the classification of twisted conjugacy classes of a simply connected compact Lie group $G$ and give a description of their stabilizers in terms of the Dynkin diagram of the corresponding twisted affine Lie algebra.

연구 동기 및 목표

• 비틀린 공轭류의 경우에 대해 아핀 리 대수의 정수 공轭류와 기저가 가장 높은 표현 사이의 대응을 일반화하기.
• 비틀린 루프 군의 공첨의 오비트와 궤도 방법을 사용하여 이 대응의 기하학적 설명을 제공하기.
• 비틀린 공轭류를 볼록 다각형과 비틀린 아핀 딜링크 다이어그램을 통해 분류하기.
• 비틀린 공轭류의 안정자(subgroups)를 비틀린 아핀 딜링크 다이어그램의 부분다이어그램을 통해 기술하기.
• 기하학적 양자화를 통한 양자화를 보장하고 유니터리 표현을 유도하는 공轭류에 대한 정확한 정수 조건 수립하기.

제안 방법

• 정수 조건은 G에서의 표준 3형식 η와 dω = ι*η를 만족하는 G의 공轭류 위의 2형식 ω를 포함하는 3코호모로지 족을 통해 정의된다.
• 저자들은 전이(translation)를 사용하여 상대 3코호모로지 족을 G에서 루프 군 L(G)로 올리며, 이는 비틀린 루프 군 LGτ의 공첨의 오비트와 연결된다.
• 비틀린 공轭류의 분류는 비틀린 아핀 웨일 군의 기본 영역으로서, 유클리드 공간 내의 볼록 다각형으로 식별됨으로써 달성된다.
• 비틀린 공轭류의 안정자는 비틀린 아핀 딜링크 다이어그램의 부분다이어그램을 갖는 부분군과 대응됨이 증명된다.
• 공轭류 위의 피복 공간의 호모토피 군은 장점 정렬 시퀀스를 사용하여 계산되며, 이는 피복의 단순연결성을 증명하고 공첨의 오비트에서 사이클 채우기를 가능하게 한다.
• 기하학적 양자화를 통해, LGτ의 공첨의 오비트는 아핀 리 대수의 기저가 가장 높은 표현을 유도하며, 이는 비틀리지 않은 Borel-Weil-Bott 대응을 일반화한다.

실험 결과

연구 질문

• RQ1 컴팩트하고 단순연결된 리 군에서 비틀린 공轭류는 어떻게 기하학적으로 분류할 수 있으며, 이는 비틀린 아핀 리 대수의 구조와 어떻게 관련이 있는가?
• RQ2 기하학적 양자화를 통한 공轭류의 양자화를 보장하는 정확한 정수 조건은 무엇인가?
• RQ3 비틀린 공轭류의 안정자는 해당 비틀린 아핀 리 대수의 루트 체계와 어떻게 관련이 있는가?
• RQ4 루프 군의 공첨의 오비트를 사용하여, 정수 공轭류와 기저가 가장 높은 표현 사이의 대응을 비틀리지 않은 경우에서 비틀린 경우로 확장할 수 있는가?
• RQ5 3코호모로지 족 (η, ω)의 상대 코호모로지 클래스가 어떤 공轭류가 유니터리 표현을 유도하는지 결정하는 데 어떤 역할을 하는가?

주요 결과

• 컴팩트하고 단순연결된 리 군 G에서의 정수 값 비틀린 공轭류는 해당 비틀린 아핀 리 대수의 기저가 가장 높은 표현과 일대일 대응된다.
• 비틀린 공轭류의 집합은 유클리드 공간 내의 볼록 다각형으로 매개변수화되며, 이는 비틀린 아핀 웨일 군의 기본 영역이다.
• 비틀린 공轭류의 안정자는 자동형 τ와 관련된 비틀린 아핀 딜링크 다이어그램의 부분다이어그램을 갖는 연결 부분군이다.
• 각 안정자의 기본군은 자명하며, 루프 군에서 공轭류로의 평가 사상의 피복은 단순연결되어 있어, 공첨의 오비트에서 닫힌 2차 사이클을 구성할 수 있다.
• 공轭류에 대한 정수 조건—상대 3코호모로지 족 a(η, ω)가 H³(G, C)에서 정수 클래스를 정의하도록 요구하는 조건—은 수준 a가 정수임과 동치이며, 이는 관련된 루프 군의 공첨의 오비트가 전양자 선다발을 갖는다는 것을 보장한다.
• 비틀린 루프 군 LGτ의 공첨의 오비트의 기하학적 양자화는 아핀 리 대수의 기저가 가장 높은 표현을 유도하며, 이는 비틀리지 않은 Borel-Weil-Bott 대응을 일반화한다.