[논문 리뷰] K-theory of the moduli of bundles over a Riemann surface and deformations of the Verlinde algebra

Constantin Teleman|ArXiv.org|2003. 06. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 복소수 위의 리 군 G-_bundle의 모듈리 공간 위의 K-이론 클래스에 대한 인덱스 공식이, 틀린 등변 K-이론과 공통자기의 곱에 沿한 Gysin 사상(가운데)을 사용하여, Verlinde 대수의 Frobenius 대수 변형에 의해 지배된다는 추측을 제기한다. 핵심 결과는 루트 단위의 합으로 표현된 새로운 인덱스 공식으로, 이는 더 높은 휘어짐과 가상의 게르베에 대해 Verlinde 공식을 일반화한다.

ABSTRACT

I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization in twisted $K$-theory.

연구 동기 및 목표

• 결정성 선다발을 초월하여, 특히 인덱스 다발과 가상의 게르베에서 유래하는 더 높은 K-이론 클래스에 대해 Verlinde 공식을 확장하는 것.
• K-이론 인덱스가 유한 차원 Frobenius 대수에 의해 지배되는 구조적 프레임워크를 제안하여 Verlinde 대수를 일반화하는 것.
• 복소수 위의 헬름홀로픽 G-bundle의 모듈리 공간 위의 가상 K-이론 클래스에 대한 새로운 인덱스 공식을 제시하여, 특이한 경우에도 유효하도록 하는 것.
• 틀린 K-이론과 공통자기의 곱에 의한 사상(가운데)을 사용하여 G-bundle에서 T-_bundle로의 가상 국소화 원리를 확립하는 것.
• G의 틀린 K-이론에 의해 코딩된 2차원 위상적 장 이론의 구조로 인덱스를 통합적으로 묘사하는 것.

제안 방법

• 추측은 틀린 등변 K-이론 $^\tau K_G^*(G)$를 사용하여, 가상의 게르베에 해당하는 휘어짐을 통해 Verlinde 대수를 Frobenius 대수로 모델링한다.
• 공통자기의 곱에 沿한 Gysin 사상 $\Pi: G^{2g} \to G$ 는 이전에 전이된 휘어짐을 삼각형화된 것으로 변환하여, 비틀림이 없는 K-이론에서의 계산을 가능하게 한다.
• 모듈리 공간 위의 K-클래스의 인덱스는, $^\tau K_G^*(G^{2g})$ 에서 단위 클래스 $^\tau 1$ 의 Gysin 후행의 Frobenius 대수의 추적으로 추측된다.
• 이 방법은 가상 국소화를 통해 최대 토르스 기여도의 합으로 인덱스를 줄여내며, 선다발의 차수 $d$ 에 대한 야코비안 $J_d$ 에 대한 적분을 포함한다.
• 공식은 채르 수치와 분포를 사용하여 표현되며, 최종 인덱스는 $u$-변수에 대한 루프 적분으로 주어진다. 이는 루트 단위에서의 델타 함수를 포착한다.
• 이 접근법은 인덱스 다발의 지수함수와 함께 더 높은 휘어짐을 포함함으로써 Verlinde 공식을 일반화하며, $u$-평면 내의 좌표 변화에 따라 조정한다.

실험 결과

연구 질문

• RQ1 G-bundle의 모듈리 공간 위의 K-이론 클래스에 대한 인덱스 공식은 결정성 선다발의 경우를 초월해 어떻게 체계적으로 묘사될 수 있는가?
• RQ2 가상의 게르베로 표현되는 K-이론의 더 높은 휘어짐은 Verlinde 대수의 구조를 어떻게 변형하는가?
• RQ3 틀린 K-이론으로 정의된 2차원 위상적 장 이론을 통해 K-클래스의 인덱스를 계산할 수 있는가?
• RQ4 공통자기의 곱에 의한 Gysin 사상으로부터, $G_{\mathbb{C}}$-bundle에서 $T_{\mathbb{C}}$-bundle으로의 가상 국소화는 어떻게 도출되는가?
• RQ5 인덱스 다발의 지수함수, 예를 들어 $\exp[t\alpha(V)]$ 를 포함하는 K-클래스의 경우 정확한 인덱스 공식의 형태는 무엇인가?

주요 결과

• K-클래스 $D^{\otimes h} \otimes \mathcal{E}$ 의 인덱스는 $d \in \mathbb{Z}$ 에 대한 합을 포함하는 루프 적분으로 주어지며, integrand 는 채르 수치와 지수 요소를 포함한다.
• 평가 다발 $\mathcal{E} = E_x^*V$ 에 대해 공식은 표준 Verlinde 공식으로 축소된다: $\mathrm{Ind} = \sum_{\zeta^{2h+4}=1, \Im \zeta > 0} \frac{(2h+4)^{g-1}}{|\Delta(\zeta)|^{2g-2}} \cdot ch_V(\zeta)$.
• 인덱스 다발의 지수함수 $\exp[t\alpha(V)]$ 에 대해선, $\zeta_t^{2h+4} \exp(t \dot{f}(\zeta_t)) = 1$ 의 해 $\zeta_t$ 에 대한 합으로 표현되며, $\mathrm{Ind} = \sum_{\zeta_t} \left[ \frac{2h+4 + t \ddot{f}(\zeta_t)}{|\Delta(\zeta_t)|^2} \right]^{g-1}$.
• 공식은 좌표계를 $u \mapsto u \exp(t \dot{f}(u)/(2h+4))$ 로 바꾸는 것으로 유도되며, 이는 휘어진 구조와 일치하도록 스케일링한다.
• 정규다발의 K-이론 오일러 클래스의 채르 수치는 $(-1)^{g-1} (u e^\eta - u^{-1} e^{-\eta})^{2g-2} (u e^\eta)^{4d} e^{-4\eta}$ 로 보여지며, 이는 최종 인덱스 표현으로 이어진다.
• 분포적 성질로 인해 $u = \pm 1$ 를 제외한 영역에서 수렴이 보장되며, 지지 집합은 순서 $2(h+2)$ 의 단위근에 집중되어 있으며, 최종 공식은 이 점들에서 0으로 선언된다.