[논문 리뷰] Elliptic Algebras and Equivariant Elliptic Cohomology

Victor Ginzburg, Mikhail Kapranov외 1명|ArXiv.org|1995. 05. 16.

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

한 줄 요약

이 논문은 타원 곡선 위의 등변 타원 코homology와 미세국소 층 이론을 이용하여 고전적 타원 대수의 기하적 실현을 구축한다. 고전적 타원 리 대수의 보편 포락대수에서 $E_n$-불변 단면으로의 사영 준동형사상을 수립함으로써, 기하 Langlands 대칭 원리에 따라 타원 코hom로와 양자 대수 사이의 직접적인 연결 고리를 제공한다.

ABSTRACT

In this paper we explain the parallelism in the classification of three different kinds of mathematical objects: (i) Classical r-matrices. (ii) Generalized cohomology theories that have Chern classes for complex vector bundles. (iii) 1-dimensional formal groups. The main point of the paper is a construction of the elliptic algebra associated to Belavin's classical elliptic r-matrix in terms of Equivariant elliptic cohomology of the Steinberg varieties associated to some partial flag manifolds.

연구 동기 및 목표

• 고전적 타원 대수와 등변 타원 코hom로 사이의 기하적 다리를 구축하기 위해.
• 기하학적으로 의미 있는 등변 타원 코hom로 이론이 부족한 문제를 해결하기 위해 축약적 프레임워크를 개발하기 위해.
• 타원 곡선 위의 층 이론적 구성에 의해 고전적 타원 $r$-행렬과 관련된 리 대수 빈티지스터럭처를 실현하기 위해.
• 기존의 $K$-이론과 양얀들에서 알려진 결과를 반영하여 코hom로적 방법을 통해 양자군의 구성 방식을 타원의 경우로 일반화하기 위해.
• 미래의 루프 군, 벡터 번들의 모듈리 공간, 타원 대상에 대한 스프링거 이론에 대한 기초를 마련하기 위해.

제안 방법

• 기대되는 등변 타원 코hom로를 위한 축약적 프레임워크를 개발하며, 기존의 코hom로이론을 모델로 삼고, 불변 체르누 클래스와 Gysin 사상에 중점을 두며.
• 헤이젠베르크 구성과 자동성 조건을 이용하여 수준 구조를 가진 타원 곡선 위의 자기사상의 층을 정의한다.
• 타원 곡선 $E \setminus P$ 위의 행렬값 함수의 층 ${\cal G}_{n,c}$ 를 구성하며, 이는 $E_n$ 작용에 대한 왜곡된 등변 조건을 만족하고 고전적 타원 $r$-행렬을 포함한다.
• 미세국소 톰 층 이론과 정규화 사상에 기반하여 스테인버그 다양체 $Z$ 위의 층 $\Xi_Z$ 를 정의하며, 이는 등변 타원 코hom로 클래스를 분류한다.
• $\Gamma(U, \mathfrak{gl}_n({\cal O}))$ 의 리 대수에서 $\pi_*\Xi_Z$ 의 $E_n$-불변 단면으로의 준동형사상 $\Psi$ 를 구성하며, 구성 공간 위의 군 작용을 이용한다.
• $\Psi$ 가 $\mathcal{U}(\mathbf{el}_{n,c})$ 에서 $\Gamma(U^{(d)}, \pi_*\Xi_Z)^{E_n}$ 로의 전사 대수 준동형사상으로 제한됨을 증명하며, 보편 포락대수를 기하학적으로 실현한다.

실험 결과

연구 질문

• RQ1 고전적 타원 대수는 타원 곡선 위의 층 이론적 구성으로 어떻게 기하학적으로 실현될 수 있는가?
• RQ2 자동성 조건과 수준 구조는 어떤 역할을 하며, $r$-행렬 대칭성을 가진 자기사상의 층을 정의하는 데 어떻게 기여하는가?
• RQ3 정의와는 독립적으로, 구조적 성질에 중점을 두어 등변 타원 코hom로에 대한 일관된 축약적 프레임워크를 개발할 수 있는가?
• RQ4 스테인버그 다양체 위의 미세국소 톰 층은 고전적 타원 리 대수의 보편 포락대수와 어떻게 관련이 있는가?
• RQ5 타원 코hom로와 양자군의 맥락에서 $\pi_*\Xi_Z$ 의 $E_n$-불변 단면의 기하학적 의미는 무엇인가?

주요 결과

• 고전적 타원 $r$-행렬 $r_{n,c}$ 는 $\mathfrak{gl}_n \otimes \mathfrak{gl}_n$ 에 값을 가지며, $E \times E$ 위의 유리형 함수로 명시적으로 실현되며, 고전적 양-바크스턴 방정식을 만족한다.
• 타원 곡선 $E \setminus P$ 위의 자기사상 층 $\mathcal{G}_{n,c}$ 는 표현 $T_c$ 와 Weil 쌍형을 포함하는 자동성 조건에 의해 특징지어진다.
• 전체 단면의 추적 없는 부분 $\mathbf{sel}_{n,c}$ 의 리 대수는 완비 텐서곱과 $r$-행렬을 통한 자연스러운 리 대수 빈티지스터럭처를 갖는다.
• $H^0(E \setminus P, \mathcal{SG}_{n,c})$ 와 $H^1(E \setminus P, \mathcal{SG}_{n,c})$ 의 코hom로 군은 영이 되며, 이는 리 대수 빈티지스터럭처가 잘 정의되어 있음을 보장한다.
• $\Psi$ 는 $\mathcal{U}(\mathbf{el}_{n,c})$ 에서 $\pi_*\Xi_Z$ 의 $E_n$-불변 단면으로의 전사 대수 준동형사상을 유도하며, 보편 포락대수의 기하적 모델을 확립한다.
• 이 구성은 타원 코hom로와 $K$-이론 및 양얀들과의 유사성을 완성하며, 고전적 타원 대수를 미세국소 층의 불변 부분대수로 직접 기하학적으로 실현한다.