[논문 리뷰] The Chern character of the Verlinde bundle over the moduli space of stable curves

Alina Marian, Dragos Oprea외 3명|arXiv (Cornell University)|2013. 11. 13.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 9

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 위의 버린드 배란드의 총 체르누흐 특성에 대한 명시적 공식을 유도한다. 이 공식은 다리, 정점, 변에 기여하는 항들을 포함하는 안정 그래프의 합으로 표현된다. 핵심 결과는 반사적 클래스를 이용한 닫힌 형태의 표현으로, 반사적 성질, 히친 접속의 사영적 평탄성, 그리고 기벨탈-텔레만 분류를 활용한다. 이는 고리수 $g$와 수준 $r$에서의 공형 블록과 테타 함수에 응용된다. 공식은 고차 체르누흐 클래스가 반사적 환 안에 있음을 확인하며, 컴팩트 타입 부분공간에서 크게 단순화된다.

ABSTRACT

We prove an explicit formula for the total Chern character of the Verlinde bundle over the moduli space of pointed stable curves in terms of tautological classes. The Chern characters of the Verlinde bundles define a semisimple CohFT (the ranks, given by the Verlinde formula, determine a semisimple fusion algebra). According to Teleman's classification of semisimple CohFTs, there exists an element of Givental's group transforming the fusion algebra into the CohFT. We determine the element using the first Chern class of the Verlinde bundle on the moduli space of nonsingular curves and the projective flatness of the Hitchin connection.

연구 동기 및 목표

• 반사적 클래스에 대해 $\overline{\mathcal{M}}_{g,n}$ 위의 버린드 배란드의 총 체르누흐 특성에 대한 명시적 공식을 유도하는 것.
• 버린드 배란드의 고차 체르누흐 클래스가 반사적 환 $RH^\star(\overline{\mathcal{M}}_{g,n})$ 안에 있음을 입증하는 것.
• 첫 번째 체르누흐 특성과 히친 접속의 사영적 평탄성에 의해 퓨전 대수를 CohFT로 변환하는 기벨탈 군 원소를 결정하는 것.
• 컴팩트 타입 부분공간 $\mathcal{M}_{g,n}^c$ 에서 체르누흐 특성 표현을 단순화하여 압축된 지수 형태를 얻는 것.

제안 방법

• 경계 디바이저에서 버린드 배란드의 인수 규칙을 활용하여, 그 체르누흐 특성이 반사적 코homological field theory(CohFT)를 정의함을 보이는 것.
• 반사적 CohFT의 기벨탈-텔레만 분류를 적용하여, 체르누흐 특성을 내부 공간 $\mathcal{M}_{g,n}$ 에서 컴actified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 으로 유일하게 연장하는 것.
• Ts에서 유도된 $\mathcal{M}_{g,n}$ 위의 버린드 배란드의 첫 번째 체르누흐 특성을 연장의 주요 입력으로 사용하는 것.
• 체르누흐 특성을 안정 그래프 $\Gamma$ 에 대한 합으로 구성하며, 다리, 정점, 변 기여 항에 $\psi$-클래스, 버린드 랭크, $\mathsf{w}(\mu)$를 포함하는 변 요소를 포함하는 것.
• 표현 이론적 무게 $\mathsf{w}(\mu)$ 와 코탄젠트 클래스의 합 $\psi_e' + \psi_e''$ 를 사용하여 변 요소를 정의하며, $\frac{1 - \exp(-\mathsf{w}(\psi_e' + \psi_e''))}{\psi_e' + \psi_e''}$ 로 정규화하는 것.
• 컴팩트 타입 부분공간 $\mathcal{M}_{g,n}^c$ 에서 생성함수 전개를 사용하여 표현을 단순화하고, 자동형에 가중된 프로젝션을 통해 항을 매칭하며, $\delta_e^{k+1} = \iota_*(-\psi' - \psi'')^k$ 를 식별하는 것.

실험 결과

연구 질문

• RQ1 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 위의 버린드 배란드의 총 체르누흐 특성을 반사적 클래스에 대해 명시적으로 어떻게 표현할 수 있는가?
• RQ2 버린드 배란드의 체르누흐 특성이 반사적 환 $RH^\star(\overline{\mathcal{M}}_{g,n})$ 안에 있는가?
• RQ3 기벨탈-텔레만 분류를 사용하여 첫 번째 체르누흐 특성과 히친 접속의 사영적 평탄성을 바탕으로 전체 체르누흐 특성을 재구성할 수 있는가?
• RQ4 컴팩트 타입 부분공간 $\mathcal{M}_{g,n}^c$ 에서 체르누흐 특성의 단순화된 형태는 무엇인가?
• RQ5 표현 이론적 무게 $\mathsf{w}(\mu)$ 와 $\psi$-클래스는 그래프 합에서 변과 다리의 기여를 어떻게 결정하는가?

주요 결과

• 버린드 배란드의 총 체르누흐 특성은 안정 그래프 $\Gamma$ 에 대한 합으로 주어지며, 각 항은 다리 기여 $\exp(-\mathsf{w}(\mu_l)\psi_l)$, 정점 기여인 버린드 랭크 $d_{g_v}(\mu_1,\dots,\mu_{n_v})$, 그리고 변 기여인 $\frac{1 - \exp(-\mathsf{w}(\mu)(\psi_e' + \psi_e''))}{\psi_e' + \psi_e''}$ 로 구성된다.
• 버린드 배란드의 고차 체르누흐 클래스는 공식의 구조에 따라 반사적 환 $RH^\star(\overline{\mathcal{M}}_{g,n})$ 안에 있다.
• 컴팩트 타입 부분공간 $\mathcal{M}_{g,n}^c$ 에서 체르누흐 특성은 $\mathrm{ch}(\mathbb{E}_{g}(μ_1,\dots,\mu_n)) = r^g \exp\left(-\frac{r-1}{2}\lambda_1 - \sum_{i=1}^n \mathsf{w}_{\mu_i}\psi_i + \sum_e \mathsf{w}_e \delta_e\right)$ 로 단순화된다.
• 변 가중치 $\mathsf{w}_e$ 는 각 정점과 변에서 인접한 반변에 대해 모듈로 $r$ 정수를 할당하여, 각 정점과 변에서 이웃하는 가중치의 합이 0 모듈로 $r$ 이 되도록 하며, 트리의 구조에 의해 유일성이 보장된다.
• 컴팩트 타입 부분공간에서의 체르누흐 특성 공식은 수준 $r$의 테타 함수를 가진 유니버설 아벨-다발의 사영적 평탄한 다발과 일치하여, 더 깊은 대칭성의 존재를 시사한다.