[논문 리뷰] Non-commutative compactifications and elliptic curves

Yan Soibelman, Vadim Vologodsky|ArXiv.org|2002. 05. 10.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 11

한 줄 요약

이 논문은 |q| = 1 인 경우를 포함한 열화된 경우를 포함하여 양자 토러스의 개념을 일반화함으로써 국소체 위의 비가환 타원곡선의 비가환 컴actsfication을 제안한다. C* 위의 q^Z 작용에 대한 G-등변 코herent sheaf를 사용하여, 비가환 타원곡선 위의 코herent sheaf의 범주와 비가환 대수 위의 모듈의 범주 사이의 동치를 수립한다. 이는 Rieffel의 SL₂(Z)-작용 정리가 비가환 설정으로 확장된 것이다.

ABSTRACT

We study non-commutative degenerations of elliptic curves over local fields. The corresponding objects are close relatives of non-commutative tori of Connes and Rieffel.

연구 동기 및 목표

• 국소체 위의 타원곡선의 비가환 열화를 정의하고 연구하는 것, 특히 |q| = 1 인 경우에 중점적으로.
• 양자 토러스(비가환 토러스) 이론을 분석적이고 형식적인 열화된 경우를 포함하도록 일반화하는 것.
• 비가환 타원곡선 위의 코herent sheaf와 교차곱 대수 위의 모듈 사이의 동치를 수립하는 것.
• Rieffel의 양자 토러스 위의 SL₂(Z)-작용 정리를 비가환 타원곡선 설정으로 확장하는 것.
• 비아르키메데스 국소체 위의 비가환 타원곡선의 존재성과 구조를 탐색하는 것.

제안 방법

• 행동이 적절히 이산적이지 않은 경우, G-등변 코herent sheaf의 범주를 사용하여 X/G를 비가환 공간으로 정의한다.
• 구성된 몫 위의 해석적 코herent sheaf와 교차곱 대수 A_q^an 위의 모듈을 연결하기 위해 π*의 역함수를 적용한다.
• π*의 상을 O(K*) 위의 유한형성 있는 A_q^an-모듈의 범주로 특성화하여 정리 1을 증명한다.
• 해당 모듈 범주의 동치류를 통해 비가환 타원곡선의 모듈리 공간을 구성한다.
• 상반평면을 통한 균형화를 사용하여 열화된 곡선을 에르고딕 몫으로 정의함으로써 자유 O(H)-모듈에 도달한다.
• 계수의 수렴 조건을 갖는 군 대수의 바나흐 완비화를 사용하여 비아르키메데스 양자 토러스로 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 행동이 적절히 이산적이지 않은 경우, 특히 |q| = 1 인 경우에 X/G 위의 코herent sheaf를 어떻게 정의할 수 있는가?
• RQ2 열화된 경우에 비가환 타원곡선 위의 코herent sheaf 범주의 구조는 어떠한가?
• RQ3 양자 토러스 위의 SL₂(Z)-작용이 비가환 타원곡선 설정으로 확장되는가?
• RQ4 비가환 컴actsfication은 고차원 곡선과 아벨 다양체로 일반화될 수 있는가?
• RQ5 비아르키메데스 양자 토러스는 초카일레르 다양체의 열화와 어떻게 관련되는가?

주요 결과

• 정리 1에 의해, E_q 위의 코herent sheaf의 범주는 교차곱 대수 A_q^an 위의 유한형성 모듈의 범주와 동치임을 증명한다.
• |q| = 1 인 열화된 타원곡선의 경우, 모든 코herent sheaf는 자유 O(K*)-모듈이므로 비자유 객체는 존재하지 않는다.
• 비가환 타원곡선의 모듈리 공간은 Rieffel의 양자 토러스 위의 SL₂(Z)-작용과 유사한 SL₂(Z)-작용을 갖는다.
• 형식적 비가환 타원곡선의 피카르 군을 계산하였으며, 코herent 범주 내의 기약 객체들을 묘사하였다.
• 비아르키메데스 양자 토러스는 계수의 감쇠 조건을 갖는 군 대수의 바나흐 완비화를 통해 정의되며, 비가환 바나흐 대수를 이룬다.
• 프레임워크는 초카일레르 다양체의 기저 구조층이 비가환 변수 x_i x_j = q x_j x_i 를 만족하는 비가환 변수를 사용하여 변형될 수 있음을 시사한다.