[논문 리뷰] Action Integrals and discrete series

Andrés Viña|arXiv (Cornell University)|2011. 08. 08.

Advanced Algebra and Geometry인용 수 2

한 줄 요약

이 논문은 실 반단순 리 군의 이산 계열 표현 불변량에 대한 기하적 해석을 G_R/T_R 위의 해밀턴 역학을 통해 제시한다. 기하적 양자화와 관련 다발 위의 접속을 이용하여, Z(G_R)에 속하는 g에 대한 중심 특성치 π(g)가 해밀턴 미분형의 고리 위에서의 환원 작용과 연결된다는 것을 보여준다. 주요 결과는 중심 원소 g에 대한 Ψ(g)의 원소 수에 의해, 일정한 기하 조건 하에 특정 부분군의 기본군에 대한 하한을 도출하는 것이다.

ABSTRACT

Let $G$ be a complex semisimple Lie group and ${G}_{\mathbb R}$ a real form that contains a compact Cartan subgroup $T_{\mathbb R}$. Let $\pi$ be a discrete series representation of $G_{\mathbb R}$. We present geometric interpretations in terms of concepts associated with the manifold $M:=G_{\mathbb R}/T_{\mathbb R}$ of the constant $\pi(g)$, for $g\in Z(G_{\mathbb R})$. For some relevant particular cases, we prove that this constant is the action integral around a loop of Hamiltonian diffeomorphims of $M$. As a consequence of these interpretations, we deduce lower bounds for the cardinal of the fundamental group of some subgroups of ${ m Diff}(M)$. We also geometrically interpret the values of the infinitesimal character of the differential representation of $\pi$.

연구 동기 및 목표

• g ∈ Z(G_R)에 대한 중심 특성치 π(g)를 M = G_R/TR 위의 해밀턴 미분형 고리의 기하학적 해석으로 제시한다.
• 미분 표현 π′의 무한소 특성치를 관련 벡터 다발 위의 곡률과 접속 불변량과 연결한다.
• 기하적 양자화 연산자가 생성하는 흐름의 호모토피 유형을 분석하여, Diff(M)의 부분군 G ⊂에 대한 위상적 제약 조건을 유도한다.
• 오비트 방법과 L2-코homology 구성법을 통해 표현 이론적 불변량과 심플렉틱 기하학 사이의 연결 고리를 수립한다.
• 적절한 기하 조건 하에, Z(G_R)에 속하는 g에 대한 Ψ(g)의 서로 다른 값의 수에 의해 π₁(G)의 크기가 하한으로 제약됨을 증명한다.

제안 방법

• Schmid의 L2-cohomology 구성법을 이용하여, G/B 위의 정수형 선다발과 그 M = G_R/TR 위로의 제한을 통해 이산 계열 표현을 구성한다.
• G_R-불변 접속 Ω를 M 위의 GL(W)-주다발 P에 도입하며, 이는 TR의 W = C ⊗ ⋀^q u* 위의 표현 Ψ로부터 유도된다.
• 관련 다발 W의 단면 위에서, 커페르드 미분 ∇과 표현 Ψ′을 이용해 '양자화 연산자' QA를 제1차 미분연산자로 정의한다.
• Z(G_R)에 속하는 중심 원소 g의 작용이 P 위의 게이지 변환 H₁으로 표현됨을 보이며, H₁(p) = pκ 이고 |κ| = 1 임을 보인다.
• 수평 이송과 환원 이론을 적용하여, 중심 특성치 κ를 G_R → M 위의 불변 접속을 통해 M 내의 고리의 모노드로미와 연결한다.
• G 내의 고리의 변형 이론을 적용하여, 서로 다른 Ψ(g) 값이 비호모토픽인 고리를 유도함을 보이며, π₁(G)에 대한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 g ∈ Z(G_R)에 대한 중심 특성치 π(g)는 M = G_R/TR 위의 해밀턴 역학적 고리로 어떻게 기하학적으로 해석될 수 있는가?
• RQ2 J ∈ Z(g)에 대한 미분 표현 π′의 무한소 특성치 χ(J)는 다발 P 위의 곡률과 접속의 기하학적 의미는 무엇인가?
• RQ3 양자화 연산자 QA는 g_R의 표현 이론과 M의 기하학과 어떻게 관련되어 있는가?
• RQ4 GR-작용을 포함하는 부분군 G ⊂ Diff(M)에 대해 표현 이론은 어떤 위상적 제약 조건을 부과하는가?
• RQ5 Z(G_R) 위의 표현 Ψ의 값들을 사용하여 기본군 π₁(G)의 하한을 구할 수 있는가?

주요 결과

• Z(G_R)에 속하는 g에 대한 중심 특성치 π(g)는 다발 P 위에서 해밀턴 미분형 고리의 환원 작용으로 기하학적으로 실현되며, H₁(p) = pκ 를 만족한다.
• J ∈ Z(g)에 대한 무한소 특성치 χ(J)는 H 위에서 미분 연산자 p(Q_E^{-ν}, Q_{C_i}, Q_{E_ν})의 스칼라 작용으로 실현되며, 이 값은 χ(J) ∈ ℂ 와 같다.
• 조건 (3.9)를 만족하는 임의의 연결 리 부분군 G ⊂ Diff(M)에 대해, π₁(G)의 원소 수는 Z(G_R)에 속하는 g에 대한 Ψ(g)의 서로 다른 값의 수에 의해 하한으로 제약된다.
• G_R가 컴act이고 φ가 정규 강한 도미넌트일 경우, 정리 24에 의해, 임의의 연결 리 부분군 G ⊂ Symp(M, ̟)에 대해 ♯π₁(G) ≥ ♯{Φ(g) | g ∈ Z(G_R)} 이다.
• SU(2)의 경우, 결과는 ♯π₁(Ham(CP¹, ̟)) ≥ 2 를 의미하며, π₁(Ham(CP¹, ω)) ≅ ℤ/2ℤ 와 일치한다.
• 비호모토픽인 고리는 서로 다른 Ψ(g₁)와 Ψ(g′₁) 값으로부터 유도되며, 이는 코로나리 22에 의해 보장되며, 이는 서로 다른 중심 원소가 비호모토픽인 흐름을 유도함을 보여준다.