[논문 리뷰] Universal KZB equations I: the elliptic case

D. Calaque, B. Enriquez외 1명|arXiv (Cornell University)|2007. 02. 22.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 표본점이 있는 타원 곡선의 모듈리 공간 위에 일반적인 Knizhnik-Zamolodchikov-Bernard (KZB) 접속을 도입한다. 이는 토러스 위의 점들의 구성공간으로 제한되는 주요 번들의 평탄한 접속을 구성한다. 이 접속의 단일화는 KZ 연관자와 에이젠슈타인 형식의 반복 적분 사이의 연결고리가 되며, 단순 리 대수에 대한 표준 KZB 접속을 실현하고, 체레드니크 대수를 통해 통과하며, sl_n 위의 등변 D-모듈러의 범주에서 체레드니크 대수 위의 모듈러로의 함자를 실현하며, 명시적인 특성 계산을 가능하게 한다.

ABSTRACT

We define a universal version of the Knizhnik-Zamolodchikov-Bernard (KZB) connection in genus 1. This is a flat connection over a principal bundle on the moduli space of elliptic curves with marked points. It restricts to a flat connection on configuration spaces of points on elliptic curves, which can be used for proving the formality of the pure braid groups on genus 1 surfaces. We study the monodromy of this connection and show that it gives rise to a relation between the KZ associator and a generating series for iterated integrals of Eisenstein forms. We show that the universal KZB connection realizes as the usual KZB connection for simple Lie algebras, and that in the sl_n case this realization factors through the Cherednik algebras. This leads us to define a functor from the category of equivariant D-modules on sl_n to that of modules over the Cherednik algebra, and to compute the character of irreducible equivariant D-modules over sl_n which are supported on the nilpotent cone.

연구 동기 및 목표

• 1형에서 KZB 접속의 일반 버전을 정의하여 KZ 접속을 타원 곡선으로 확장한다.
• 이 평탄한 접속의 단일화를 이용하여 토러스 위의 순수 브레이드 군의 형식성을 증명한다.
• 체레드니크 대수의 표현을 통해 일반 KZB 시스템을 실현하고, 노름부분 위의 등변 D-모듈러와의 관계를 설정한다.
• sl_n에 대해 노름부분 위에 지지된 기약 등변 D-모듈러의 특성을 명시적으로 계산한다.

제안 방법

• 표본점이 있는 타원 곡선 위의 점들의 구성공간에 평탄한 접속을 구성하고, 이를 표본점이 있는 타원 곡선의 모듈리 공간 M_{1,[n]}로 올린다.
• 구성공간의 기본군의 호모로지 리 대수로서 t_{1,n}과 tbar_{1,n}을 정의한다.
• 도함수와 군 작용의 호환성을 이용하여 접속을 모듈리 공간으로 확장하고, 곡률이 0이 되게 하여 평탄성을 확보한다.
• 로그함수 도함수와 연관자를 포함하는 미분계수의 해를 통해 단일화 표현을 유도한다.
• tbar_{1,n}에서 A_{n-1} 유형의 유리 체레드니크 대수로의 준동형을 이용하여 일반 KZB 시스템을 유리 체레드니크 대수의 표현으로 실현한다.
• sl_n의 노름부분 위의 등변 D-모듈러의 범주에서 체레드니크 대수 위의 모듈러로의 함자를 구성하고, 대칭 부분과 구면 부분을 통해 특성을 계산한다.

실험 결과

연구 질문

• RQ1 1형에서 표본점이 있는 타원 곡선의 모듈리 공간 위에 일반적인 KZB 접속을 어떻게 정의할 수 있는가?
• RQ2 일반 KZB 접속의 단일화는 무엇이며, KZ 연관자와 에이젠슈타인 형식의 반복 적분과 어떻게 관련되는가?
• RQ3 일반 KZB 접속은 단순 리 대수, 특히 sl_n에 대해 표준 KZB 접속을 어떻게 실현하는가?
• RQ4 일반 KZB 시스템은 체레드니크 대수의 표현을 통해 실현될 수 있으며, 이러한 실현의 구조는 어떠한가?
• RQ5 sl_n에 대해 노름부분 위에 지지된 기약 등변 D-모듈러의 특성은 무엇이며, 체레드니크 대수 함자를 통해 어떻게 계산되는가?

주요 결과

• 일반 KZB 접속은 모듈리 공간 M_{1,[n]} 위의 주요 번들에 대한 평탄한 접속이며, 타원 곡선 위의 점들의 구성공간으로 제한된다.
• 접속의 단일화는 기본군 Γ_{1,[n]}에서 G_n ⋊ S_n로의 준동형을 제공하며, KZ 연관자와 에이젠슈타인 형식의 반복 적분 사이의 관계를 나타낸다.
• 일반 KZB 시스템은 A_{n-1} 유형의 유리 체레드니크 대수를 통해 sl_n에 대한 표준 KZB 접속을 실현한다.
• sl_n의 노름부분 위의 등변 D-모듈러의 범주에서 체레드니크 대수 위의 모듈러로의 함자가 정의되며, 명시적인 특성 계산이 제공된다.
• 노름부분 위에 지지된 기약 등변 D-모듈러의 특성은 체레드니크 대수 표현의 구면 부분과 대칭 부분을 통해 계산된다.
• 체레드니크 대수의 표현 V_N에 대한 기약성과 특성 공식이 확립되었으며, 특성에 대한 정확한 공식이 유도되었다.