[논문 리뷰] Theta functions, quantum tori and Heisenberg groups

Yuri I. Manin|ArXiv.org|2000. 11. 23.

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

한 줄 요약

이 논문은 아벨 다양체로 양자군 및 호프 대수 프레임워크를 일반화하며, 고전적 테타 함수를 양자화된 것으로 대체하고, 무머드의 사상에 의해 코곱을 유지하면서 변형된 곱을 도입한다. 주요 기여는 서로 다른 주기 격자와 양자화 매개변수를 가진 아벨 다양체 간의 깊은 상관관계를 드러내는 양자화된 테타 함수의 선형 범주를 구성하는 것이다. 이는 하이젠베르크 군 작용과 휨을 통해 통합된다.

ABSTRACT

A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized version $F_q(G)$ which has the same linear structure and comultiplication, but deformed multiplication. This paper develops a similar theory for abelian varieties. A description of abelian varieties $A$ in terms of linear algebra data was given by Mumford: $F(G)$ is replaced by the graded ring of theta functions with symmetric automorphy factors, and comultiplication is replaced by the Mumford morphism $M^*$ acting on pairs of points as $M(x,y)=M(x+y,x-y).$ After supplementing this by a Poisson structure and replacing the classical theta functions by the quantized ones, introduced by the author earlier, we obtain a structure which essentially coincides with the classical one so far as comultiplication is concerned, but has a deformed multiplication which moreover becomes only partial. The classical graded ring is thus replaced by a linear category. Another important difference from the linear case is that abelian varieties with different period groups (for multiplication) and different quantization parameters (for comultiplication) become interconnected after quantization.

연구 동기 및 목표

• 선형 대수적 군에서 아벨 다양체로 양자군 및 호프 대수 프레임워크를 확장하기.
• 변형된 곱을 가진 양자화된 테타 함수를 사용하여 아벨 다양체 위의 고전적 테타 함수 이론을 재구성하기.
• 양자 변형을 통해 서로 다른 주기 군과 양자화 매개변수를 가진 아벨 다양체 간의 대응관계 수립하기.
• 양자화 시에 고전적 그레디드 링이 선형 범주로 대체됨을 보여주기.
• 무머드 사상과 코곱이 양자화 하에 구조적으로 그대로 유지되나 곱이 국소적이고 변형됨을 보여주기.

제안 방법

• 승수 α에 의한 휨을 사용하여 고전적 테타 함수의 링을 양자화된 것으로 대체함으로써 변형된 곱을 도입하기.
• 무머드의 사상 M*(x,y) = M(x+y,x−y)를 사용하여 양자적 맥락에서 코곱의 구조를 유지하기.
• 소형 하이젠베르크 군 G(L)를 Heisenberg 군 G(H,α) 내에서 L(B)의 상의 정규화군으로서 정의하며, L(B)로 나누어진다.
• 코곱 사상 M*의 소스와 타겟에 휨 u_{1,α}와 u_{1,α²}를 적용하여 양자화 하에서의 구조적 호환성을 유지하기.
• 복소 토러스 A = C^d / (Λ′ ⊕ Λ) 위의 선다발 L의 절단으로서 양자화된 테타 함수를 표현하며, 자동성 인자 (c,q)는 리만의 대칭성 및 양성 조건을 만족한다.
• T(H,1)(K) → T(h⁻(B),1)(K)의 핵과 H/h⁻(B) 사이의 쌍대성을 이용하여 Γ(L)에서 기약 표현과 거의 표준 기저를 구성하기.

실험 결과

연구 질문

• RQ1 어떻게 아벨 다양체 위의 고전적 테타 함수 이론을 변형된 곱을 가진 양자적 맥락으로 확장할 수 있는가?
• RQ2 무머드 사상은 양자화 하에서 코곱을 어떻게 유지하는가?
• RQ3 양자화 후 서로 다른 주기 격자와 양자화 매개변수 간의 상호관계는 어떻게 형성되는가?
• RQ4 소형 하이젠베르크 군이 양자화된 테타 함수 공간에 작용하는 표현의 구조는 어떠한가?
• RQ5 양자화된 테타 함수 공간에서 거의 표준 기저를 구성할 수 있으며, 그 기저는 리프팅 선택에 어떻게 의존하는가?

주요 결과

• 테타 함수 공간 내의 양자화된 곱은 국소적이 되며, 고전적 그레디드 링이 선형 범주로 변형된다.
• 무머드의 사상 M*(x,y) = M(x+y,x−y)로 정의된 코곱의 구조는 양자화 하에 대해 그대로 유지된다.
• dim Γ(L) = [H : h⁻(B)] < ∞ 이고 K가 특정 전성 및 유리성 조건을 만족할 경우, 소형 하이젠베르크 군 G(L)는 양자화된 테타 함수 공간 Γ(L)에 기약적으로 작용한다.
• Γ(L)에는 H/h⁻(B)의 문자로 색인화된 거의 표준 기저가 존재하며, 리프팅 선택에 따라 공통 상수 인자로 정의된다.
• u_{1,α}와 u_{1,α²}의 휨은 양자화 하에서 M* 사상을 유지하여 코곱의 구조 일관성을 보장한다.
• T(H,1)(K) → T(h⁻(B),1)(K)의 핵과 몫 H/h⁻(B) 사이의 상호작용은 기약 표현과 기저 구성의 기초가 되는 쌍대성을 유도한다.