[논문 리뷰] Functional equations for quantum theta functions

Yu. I. Manin|ArXiv.org|2003. 07. 31.

Advanced Topics in Algebra참고 문헌 9인용 수 9

한 줄 요약

이 논문은 리에프엘의 스칼라곱을 통해 양자 토스 위의 프로젝티브 모듈러에서의 토스 벡터를 이용해 양자 토스 함수를 도출하고, 이들이 양자화 형식에 대한 특수직교군의 작용 하에서 함수방정식을 만족함을 보여, 고전적 토스 함수의 함수방정식에 대한 양자적 일반화를 수립한다. 이는 양자 토스의 모리타 동치를 통해 고전적 모듈라 변환을 일반화한다.

ABSTRACT

Quantum theta functions were introduced by the author in [Ma1]. They are certain elements in the function rings of quantum tori. By definition, they satisfy a version of the classical functional equations involving shifts by the multiplicative periods. This paper shows that for a certain subclass of period lattices (compatible with the quantization form), quantum thetas satisfy an analog of another classical functional equation related to an action of the metaplectic group upon the (half of) the period matrix. In the quantum case, this is replaced by the action of the special orthogonal group on the quantization form, which provides Morita equivalent tori. The argument uses Rieffel's approach to the construction of (strong) Morita equivalence bimodules and the associativity of Rieffel's scalar products.

연구 동기 및 목표

• 고전적 함수방정식 (0.4)의 양자적 일반화를 위해 메타플렉틱 군 작용을 특수직교군의 양자화 형식에 대한 작용으로 대체함.
• 유니터리 양자 토스의 $C^*$-대수 위의 프로젝티브 모듈러에서의 양자 토스 함수와 토스 벡터 사이의 관계를 명확히 하기.
• 리에프엘의 토스 벡터 스칼라곱이 양자 토스 함수를 도출함을 보이고, 표현론적 구성과 비가환 기하학 사이의 다리를 놓기.
• 헤이젠베르크 군에 대한 격자 임bedding을 통한 토스 벡터 스칼라곱으로부터 유도되는 양자 토스 함수의 부분류를 특성화하기.
• 양자 토스의 강한 모리타 동치를 이용해 고전적 토스 함수의 모듈라 변환을 비가환 설정으로 확장하기.

제안 방법

• 벡터 헤이젠베르크 군에 대한 격자 임베딩을 통해 리에프엘의 강한 모리타 동치 이중모듈러를 양자 토스 간에 구성하는 프레임워크를 활용한다.
• 유니터리 양자 토스의 $C^{ty}$-환 위의 프로젝티브 모듈러에서의 토스 벡터에 리에프엘의 스칼라곱 구성법을 적용한다.
• 리에프엘의 스칼라곱의 결합법칙을 활용해 모리타 동치 양자 토스 간의 양자 토스 함수 사이의 함수방정식을 유도한다.
• 복소수 곱셈군 $\mathbb{C}^*$ 값을 갖는 격자 $D$ 위의 승수계수 $\alpha(g,h)$ 를 도입하고, $c_h$ 와 $\psi_0$ 를 포함한 코ycle 조건을 통해 반대칭성을 확보한다.
• 헤르미트 형식 $H$ 와 특성 $\overline{c}_h \overline{l}_h(a)$ 에 의한 가중치를 갖는 격자 원소 $h \in D$ 에 대한 합으로서 양자 토스 함수를 구성한다.
• 형식의 사영 사상에 대한 핵인 $D_0$ 의 작용을 이용해, 승수계수에 대한 불변성을 검증함으로써 스칼라곱이 양자 토스 함수 공간에 속함을 보장한다.

실험 결과

연구 질문

• RQ1 고전적 함수방정식 (0.4)는 어떻게 양자 설정으로 일반화될 수 있는가?
• RQ2 양자 토스 함수와 양자 토스 위의 프로젝티브 모듈러에서의 토스 벡터 사이의 정확한 관계는 무엇인가?
• RQ3 리에프엘의 토스 벡터 스칼라곱이 양자 토스 함수를 도출할 수 있으며, 그 조건은 무엇인가?
• RQ4 양자화 형식에 대한 특수직교군의 작용이 모리타 동치와 기능방정식의 맥락에서 어떻게 관련되는가?
• RQ5 모든 양자 토스 함수는 헤르미트 연결이 일정한 곡률을 갖는 토릭 프로젝티브 모듈러에서의 토스 벡터 스칼라곱으로 얻어질 수 있는가?

주요 결과

• 스칼라곱 ${}_{D}\langle f_{T,a}, f_{T,b} \rangle$ 는 $C_g$ 와 $x_g$ 로 정의된 승수계수 $\mathcal{L}$ 이 있는 공간 $\Gamma(\mathcal{L})$ 에 속하는 양자 토스 함수이다.
• 이 스칼라곱들은 $\Gamma(\mathcal{L})$ 의 기저를 이룬다. 차원은 $[D:D_0] = (\text{card } F)^2$ 로, 유한군 $F \times \widehat{F}$ 에서의 독립 함수의 수와 일치한다.
• 스칼라곱은 $D_0$ 의 작용에 대해 불변이며, 등식 $C_g e_{D,\alpha}(g) x_g^*(\Theta_{a,b}) = \Theta_{a,b}$ 로 확인되며, 이는 양자 토스 대수에서 잘 정의되어 있음을 확인한다.
• 기능방정식은 모리타 동치 이중모듈러를 통해 실현되며, 두 모리타 동치 양자 토스에서의 양자 토스 함수는 적절한 진공 벡터를 적용한 후 일치한다.
• 고전적 토스 함수 변환 (0.4) 는 양자화 형식에 대한 $SO(n,n;\mathbb{Z})$ 의 작용을 통해 비가환 설정으로 일반화된다.
• 맨킨과 리에프엘의 이전 연구를 확장하여, 양자 토스 함수가 헤이젠베르크 모듈러의 맥락에서 리에프엘의 토스 벡터 스칼라곱으로 자연스럽게 유도됨을 보였다.