[논문 리뷰] Theta-functions on noncommutative tori

Albert Schwarz|ArXiv.org|2001. 07. 25.

Advanced Algebra and Geometry참고 문헌 9인용 수 7

한 줄 요약

이 논문은 비가환 토러스 위의 프로젝티브 모듈러에서 헬모르픽 요소로 간주되는 일반화된 쌍곡함수, 즉 'theta-벡터'를 도입하여 고전적 쌍곡함수의 비가환 일반화를 제공한다. 이 이론은 고전적 결과들을 단순화시키며, 모티바 이遍의 이중 모듈러와 그라스만 대수에서의 베레진 적분을 통한 만린의 양자화된 쌍곡함수와의 연결을 수립한다.

ABSTRACT

Ordinary theta-functions can be considered as holomorphic sections of line bundles over tori. We show that one can define generalized theta-functions as holomorphic elements of projective modules over noncommutative tori (theta-vectors). The theory of these new objects is not only more general, but also much simpler than the theory of ordinary theta-functions. It seems that the theory of theta-vectors should be closely related to Manin's theory of quantized theta-functions, but we don't analyze this relation.

연구 동기 및 목표

• 비가환 토러스 위의 프로젝티브 모듈러에서 헬모르픽 단면으로서 'theta-벡터'를 정의함으로써 쌍곡함수의 비가환 일반화를 개발하는 것.
• 비가환 설정으로의 이행을 통해 고전적 쌍곡함수 이론을 단순화하고, 여기서 구조가 더 명확해지도록 하는 것.
• 비가환 토러스 위의 모티바 이遍의 이중 모듈러에서 복소 구조와 관련된 theta-벡터 간의 대응을 수립하는 것.
• theta-벡터 이론과 만린의 양자화된 쌍곡함수 이론 간의 연결고리를 탐색하며, 특히 이중 모듈러의 텐서곱을 통한 연결을 다루는 것.
• 그라스만 대수에서의 베레진 적분을 이용한 K-이론적 해석을 통해 theta-벡터를 해석하는 것.

제안 방법

• 비가환 토러스 $T_{\theta}^d$를 스미스 곱으로 정의하며, 스미스 곱은 반대칭 행렬 $\theta^{\alpha\beta}$에 의해 결정되는 곱셈 법칙을 가진다.
• 모듈러의 원소를 $f = \sum f_{\vec{n}} U_{\vec{n}}$ 형태의 푸리에 급수로 표현하며, 여기서 $U_{\vec{n}}$은 $U_{\vec{n}}U_{\vec{m}} = e^{\pi i \vec{n}^t \theta \vec{m}} U_{\vec{n}+\vec{m}}$를 만족한다.
• 표준 교환관계의 기약 표현을 이용하여 $T_{\theta}^d$ 위의 프로젝티브 모듈러를 구성한다: $[\nabla_\alpha, \nabla_\beta] = 2\pi i \omega_{\alpha\beta}$, 여기서 $\omega$는 비특이이고 반대칭이다.
• 연결장 $\nabla_\alpha$가 $[\nabla_\alpha, U_\beta] = 2\pi i \delta_{\alpha\beta} U_\beta$를 만족함으로써 유도되는 복소 구조와 호환되는, 이러한 모듈러 내의 헬모르픽 요소로써 theta-벡터를 정의한다.
• 삼중체 $(\theta, \hat{\theta}, g)$ 위에서 $SO(d,d,\mathbb{Z})$의 작용을 이용하여 기본 이중 모듈러를 분류하고, $g$-행렬의 복합에 대응하는 이중 모듈러의 텐서곱을 정의한다.
• 2g개의 생성자를 가진 그라스만 대수에서의 베레진 적분을 적용하여, $K$-이론 클래스 $\mu(\mathcal{E})$의 최고차수 계수를 통해 theta-벡터 공간의 랭크를 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 비가환 토러스 위의 프로젝티브 모듈러를 통해 고전적 쌍곡함수를 일반화할 수 있는가?
• RQ2 복소 구조와 연결장이 비가환 토러스 위의 헬모르픽 단면(즉, theta-벡터)을 정의하는 데 어떤 역할을 하는가?
• RQ3 모티바 이遍의 이중 모듈러의 텐서곱은 비가환 설정에서 $SO(d,d,\mathbb{Z})$ 변환의 복합과 어떻게 대응되는가?
• RQ4 theta-벡터 공간의 $K$-이론적 해석은 무엇이며, 그는 그라스만 적분을 통해 어떻게 계산되는가?
• RQ5 theta-벡터는 부분 곱셈 연산을 통해 만린의 양자화된 쌍곡함수 이론과 어떻게 관련되어 있는가?

주요 결과

• theta-벡터는 비가환 토러스 위의 프로젝티브 모듈러 내의 헬모르픽 요소로 정의되며, 고전적 쌍곡함수의 선다발 위의 헬모르픽 단면으로서의 일반화이다.
• 기본 $(T_\theta, T_{\hat{\theta}})$-이중 모듈러 내 theta-벡터 공간은 $\mu(\mathcal{E}) = S(g) \cdot 1$의 베레진 적분과 대응한다. 여기서 $S(g)$는 $SO(d,d,\mathbb{Z})$의 스핀 표현이다.
• theta-벡터 공간의 차원은 $\mu(\mathcal{E})$의 최고차수 계수에 의해 결정되며, 이는 그라스만 적분을 통해 얻어진 정수이다.
• 이중 모듈러의 텐서곱 $\mathcal{E} \otimes \mathcal{E}'$는 $g$-행렬의 복합에 대응하며, 새로운 이중 모듈러 $\mathcal{E}''$을 생성하고, $\mathcal{H} \otimes \mathcal{H}' \to \mathcal{H}''$ 형태의 잘 정의된 사상이 theta-벡터 공간에 존재한다.
• theta-벡터 이론은 고전적 쌍곡함수 이론보다 더 단순한 프레임워크를 제공하며, 비가환 기하학과 모듈러 위의 복소 구조와의 자연스러운 연결고리를 가진다.
• 이 구성은 복소 비가환 기하학의 발전로를 시사하며, 콘느의 프레임워크를 통해 비가환 대수기하학과의 잠재적 연결고리가 존재할 수 있음을 암시한다.