[논문 리뷰] Eisenstein series and quantum affine algebras

Mikhail Kapranov|ArXiv.org|1996. 04. 26.

Algebraic structures and combinatorial models참고 문헌 16인용 수 8

한 줄 요약

이 논문은 유한체 위의 곡선에서의 코herent sheaf의 홀 알지브라와 양자 아핀 대수 사이에 깊은 유사성을 확립하며, 곡선 위의 커퍼스 형식이 단순 근의 역할을 하며 랭킨-셀버그 L-함수는 카르탕 행렬의 성분에 대응함을 보여준다. P¹과 sl₂의 경우 이 유사성은 정확한 동형사상이 되며, 아이젠스타인 급수와 모듈라 형식을 통한 새로운 기하적 실현을 통해 양자 아핀 대수를 드러낸다.

ABSTRACT

Let X be a smooth projectibe curve over a finite field. We consider the Hall algebra H whose basis is formed by isomorphism classes of coherent sheaves on X and whose typical structure constant is the number of subsheaves in a given sheaf belonging to a given isomorphism class and with given isomorphism class of quotient. We study this algebra in detail. It turns out that its structure is strikingly similar to that of quantum affine algebras in their loop realization of Drinfeld. In this analogy the set of simple roots of a semisimple Lie algebra g corresponds to the set of cusp forms on X, the entries of the Cartan matrix of g to the values of Rankin-Selberg L-functions associated to two cusp forms. For the simplest instances of both theories (the curve P^1, the Lie algebra g=sl_2) the analogy is in fact an identity.

연구 동기 및 목표

• 유한체 위의 매끄럽고 사영적인 곡선에서의 코herent sheaf의 동형류의 집합으로 형성된 홀 대수의 구조를 조사하기 위해.
• 이 홀 대수와 드린펠트의 루프 실현에서의 양자 아핀 대수 사이의 구조적 유사성을 확립하기 위해.
• 이 곡선 위의 커퍼스 형식을 단순 근을 갖는 반단순 리 대수의 근으로 식별하고, 랭킨-셀버그 L-함수를 카르탕 행렬의 성분으로 매핑하기 위해.
• 이 유사성이 가장 단순한 경우인 X = P¹ 및 g = sl₂에서 정확한 동형사상이 되는지 확인하기 위해.
• 유한체의 맥락에서 아이젠스타인 급수와 모듈라 형식을 통해 기하학적 표현 이론과 수론을 통합하기 위해.

제안 방법

• 유한체 위의 매끄럽고 사영적인 곡선 X 위의 코herent sheaf의 동형류로 구성된 기저를 갖는 홀 대수 H를 구성하기 위해.
• 주어진 sheaf의 부분 sheaf 수를, 주어진 부분과 몫의 동형류를 갖는 것으로 정의하는 구조 상수를 정의하기 위해.
• X 위의 커퍼스 형식의 집합을 리 대수 설정에서의 단순 근의 집합으로 식별하기 위해.
• 카르탕 행렬의 성분을 커퍼스 형식의 쌍에 관련된 랭킨-셀버그 L-함수의 값으로 매핑하기 위해.
• 드린펠트가 제시한 양자 아핀 대수의 루프 실현을 사용하여 대수적 구조를 비교하기 위해.
• X = P¹ 및 g = sl₂의 경우에 명시적으로 동형사상을 검증하기 위해, 이 경우 홀 대수는 양자 아핀 대수 U_q(ŝl₂)와 동형이 된다.

실험 결과

연구 질문

• RQ1 유한체 위의 곡선에서의 코herent sheaf의 홀 대수는 양자 아핀 대수와 어떻게 관련이 있는가?
• RQ2 이 곡선 위의 기하학적 또는 산술적 대상 중 어떤 것이 반단순 리 대수의 단순 근에 해당하는가?
• RQ3 이 맥락에서 카르탕 행렬의 성분은 L-함수의 값으로 실현될 수 있는가?
• RQ4 홀 대수와 양자 아핀 대수 사이의 유사성이 특별한 경우에 정확한 동형사상이 되는가?
• RQ5 아이젠스타인 급수는 코herent sheaf와 양자 군을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 유한체 위의 매끄럽고 사영적인 곡선에서의 코herent sheaf의 홀 대수 구조는 드린펠트의 루프 실현에서의 양자 아핀 대수와 놀랄 만큼 유사한 성질을 보인다.
• 이 곡선 위의 커퍼스 형식은 반단순 리 대수의 단순 근에 대응하며, 근계의 기하적 실현을 제공한다.
• 카르탕 행렬의 성분은 커퍼스 형식의 쌍에 관련된 랭킨-셀버그 L-함수의 값으로 실현된다.
• X = P¹ 및 g = sl₂의 경우 홀 대수는 양자 아핀 대수 U_q(ŝl₂)와 동형이 되며, 이로써 유사성이 정확한 것으로 된다.
• 홀 대수의 구조 상수는 주어진 부분과 몫의 동형류를 갖는 부분 sheaf의 수로 세어지며, 이는 양자군의 관계를 그대로 반영한다.
• 논문은 기하학적 대상(커퍼스 형식, L-함수)과 대수적 구조(근, 카르탕 행렬, 양자군) 사이의 정확한 사전을 수립한다.