[논문 리뷰] Real Multiplication and noncommutative geometry

Yuri I. Manin|ArXiv.org|2002. 02. 12.

Algebraic structures and combinatorial models참고 문헌 44인용 수 83

한 줄 요약

이 논문은 타원곡선에서 복소 곱셈(CM)에 해당하는 이중 차원 양자 토러스를 이용하여 실수 곱셈(RM)을 위한 비가환 기하학적 프레임워크를 제안한다. 모리타 이론과 양자 세타 함수를 일반화하여, 양자 세타 함수의 함수방정식과 스칼라 곱을 수립함으로써, 비가환 기하학을 통한 실수 이차체에 대한 스타크 추측의 증명 가능성을 제시한다.

ABSTRACT

Classical theory of Complex Multiplication (CM) shows that all abelian extensions of a complex quadratic field $K$ are generated by the values of appropriate modular functions at the points of finite order of elliptic curves whose endomorphism rings are orders in $K$. For real quadratic fields, a similar description is not known. However, the relevant (still unproved) case of Stark conjectures ([St1]) strongly suggests that such a description must exist. In this paper we propose to use two--dimensional quantum tori corresponding to real quadratic irrationalities as a replacement of elliptic curves with complex multiplication. We discuss some basic constructions of the theory of quantum tori from the perspective of this Real Multiplication (RM) research project.

연구 동기 및 목표

• 타원곡선에서의 고전적 복소 곱셈과 유사한 실수 곱셈의 비가환 기하학적 이론을 개발하기 위해.
• 이중 차원 양자 토러스가 실수 이차체의 아벨 확장을 생성하는 데 어떤 역할을 하는지 탐색하기 위해.
• 실수 이차체의 제타 함수와 양자 세타 함수, 모듈라 구조 사이의 연결 고리를 찾기 위해.
• 양자 토러스 표현과 하이젠베르크 모듈러를 통한 기하학적 해석을 통해 스타크 추측을 기하학적으로 해석하기 위해.
• 주기 허위격자와 자동형 불변성을 이용한 비가환 설정으로 고전적 세타 함수 이론을 일반화하기 위해.

제안 방법

• 모리타 이론과 리에플의 분류를 이용하여, 비가환 공간 간의 사상으로 이중가환 이중모듈러의 동치류로 정의된 사상들을 정의한다.
• 타원곡선의 주기 격자에 해당하는 비가환적 대체물로 '주기 허위격자'를 도입한다.
• 다중형 수렴 함수를 통해 자유 아벨군의 작용을 유지하는 양자 토러스 위의 스무스 함수로 양자 세타 함수를 정의한다.
• 복소 행렬에서의 이차형식과 가우스 적분을 이용하여 양자 세타 함수의 스칼라 곱에 대한 명시적 공식을 유도한다.
• 이동 연산자와 지수 승수를 포함한 함수방정식을 적용하여 격자 작용에 대한 불변성을 특성화한다.
• 헤이젠베르크 군 작용과 슈바르츠 공간 계수를 통해 양자 토러스 표현과 양자 세타 함수 사이의 대응관계를 수립한다.

실험 결과

연구 질문

• RQ1 타원곡선에서의 복소 곱셈과 유사한 실수 곱셈을 위한 비가환 기하학적 프레임워크를 구축할 수 있는가?
• RQ2 이중 차원 양자 토러스 위의 양자 세타 함수는 양자 토러스 표현과 하이젠베르크 모듈러와 어떻게 관련이 있는가?
• RQ3 양자 세타 함수의 함수방정식을 이용하여 실수 이차체의 아벨 확장을 생성할 수 있는가?
• RQ4 실수 이차체의 산술적 등차수열에 대한 제타 함수는 양자 토러스의 스펙트럼 및 모듈라 성질과 어느 정도 일치하는가?
• RQ5 제안된 이론은 실수 이차체에 대한 스타크 추측을 증명하는 데로 이어질 수 있는가?

주요 결과

• 양자 세타 함수의 자기 스칼라 곱은 격자 D에 대해 다음과 같이 주어진다: ⟨f_T, f_T⟩_D = (1/√(2^N det(Im T))) ∑_{h∈D} e^{-(π/2)h^t (Im T)^{-1} h^*} e_{D,α}(h), 이는 모듈라 유형의 항등식을 수립한다.
• 양자 세타 함수 Θ_D는 모든 g ∈ D에 대해 c_g e_{D,α}(g) x_g^*(Θ_D) = Θ_D 를 만족하며, 여기서 c_g = exp(3π/2 h^t (Im T)^{-1} h^*) 이다. 이는 왜곡된 작용에 대한 불변성을 보여준다.
• 함수방정식은 복소 지수 인자 X_g(h) = -π Re(h^t (Im T)^{-1} h^*) - πi A(g,h) 로 정의된 이동 연산자 x_g^* 를 포함하며, 하이젠베르크 군 표현과 관련된다.
• 쌍대 격자 D^! 과 켤레 구조를 갖는 경우, 스칼라 곱과 함수방정식의 쌍대 형태가 성립함을 확인하여, 비가환 설정에서의 쌍대성의 타당성을 입증한다.
• 이 구성은 D의 슈바르츠 공간 계수를 갖는 양자 세타 함수를 도출하며, C(D,α) 대수에서의 매끄러움을 보장한다.
• 이론은 F. 보카의 양자 세타 함수 결과를 일반화하며, 양자 토러스를 통한 고차원 실수 곱셈 이론의 프레임워크를 제공한다.