[논문 리뷰] Modular Invariant of Quantum Tori

C. Castaño Bernard, T. M. Gendron|arXiv (Cornell University)|2009. 09. 01.

Advanced Mathematical Identities참고 문헌 24인용 수 3

한 줄 요약

이 논문은 실수 $θ$ 에 대해 거리-가장-가까운-정수 함수를 사용하여 불연속적이고 다중값을 가지는 양자 모듈라 불변량 $j^{\rm qt}(θ)$ 를 도입하며, $Γ_2(\mathbb{Z})$ 작용에 대해 불변임을 보이고, 이는 이차 무리수에 대해 유한함을 보여준다. 또한 초소수소노이드 공간 위에 일반화된 모듈라 불변량 ${}^{\diamond}j$ 를 구성하여 고전적 및 양자 모듈라 불변량을 연속적 몫으로 통합하며, 로저스-라마누잔 함수를 사용하여 황금비의 경우에 대해 명시적인 공식을 제공한다.

ABSTRACT

The quantum modular invariant of a real number is defined as a discontinuous, PGL(2,Z)-invariant multi-valued map using the distance-to-the-nearest-integer function. On the rationals, the quantum modular invariant is shown to be infinity and for quadratic irrationalities PARI/GP experiments suggest it is a finite set. In the case of the golden mean, we produce explicit formulas involving weighted versions of the Rogers-Ramanujan functions for the experimental supremum and infimum of its quantum modular invariant. We then define a universal modular invariant as a continuous and single valued map of ultrasolenoids, such that 1) the classical modular invariant is a quotient of its restriction to a subsolenoid fibering over the classical moduli space of elliptic curves and 2) the quantum modular invariant is a quotient of its restriction to a subsolenoid fibering over the moduli space of elliptic curves equipped with a Kronecker foliation.

연구 동기 및 목표

• 비가환 기하학과 실수 곱셈의 맥락에서 고전적 모듈라 불변량을 일반화하는 양자 토러스를 위한 모듈라 불변량을 정의하는 것.
• 예를 들어 양자 토러스와 같이 조밀한 궤도를 가진 공간에서 연속 불변량을 정의하는 데의 과제를 해결하기 위해 불연속적이고 다중값을 가지는 사상 도입.
• 초소수소노이드 ${}^{\diamond}\widehat{\sf Mod}$ 위에 고전적 및 양자 모듈라 불변량을 연속적이고 단일값 몫으로 통합하는 일반화된 모듈라 불변량 ${}^{\diamond}j$ 를 구성하는 것.
• 황금비 $\varphi$ 에서 양자 모듈라 불변량에 대한 명시적 공식을 가중치가 부여된 로저스-라마누잔 함수를 사용하여 제공하는 것.
• 실험적 증거를 제시하여 $j^{\rm qt}(\theta)$ 가 이차 무리수 $\theta$ 에 대해 유한함을 시사하며, 이의 원소 수가 판별식에 대해 선형적으로 증가함을 나타내는 것.

제안 방법

• 거리-가장-가까운-정수 함수 $\|\cdot\|$ 를 사용하여 다중값 함수로 양자 모듈라 불변량 $j^{\rm qt}(\theta)$ 를 정의하고, 이가 $\mathrm{PGL}_2(\mathbb{Z})$ 작용에 대해 불변임을 보이는 것.
• 황금비 $\varphi$ 에서 $j^{\rm qt}(\varphi)$ 의 하한과 상한을 구하기 위해 가중치가 부여된 로저스-라마누잔 함수를 포함하는 명시적 공식을 유도하는 것.
• 초소수와 초수평선을 사용하여 초소수소노이드 ${}^{\diamond}\widehat{\sf Mod}$ 위에 연속적이고 단일값 함수로 일반화된 모듈라 불변량 ${}^{\diamond}j$ 를 구성하는 것.
• 고전적 모듈라 불변량 $j^{\rm cl}$ 을 고전적 모듈라 공간 위에 피브리레이션하는 부분소노이드 ${}^{\diamond}{\sf Mod}^{\rm cl}$ 에 제한된 ${}^{\diamond}j$ 의 몫으로 실현하는 것.
• 크로네커 폴리에이션을 갖춘 모듈라 공간 위에 피브리레이션하는 부분소노이드 ${}^{\diamond}{\sf Mod}^{\rm qt}$ 에 제한된 ${}^{\diamond}j$ 의 몫으로 양자 모듈라 불변량 $j^{\rm qt}$ 를 실현하는 것.
• PARI/GP 실험을 통해 실수 이차체 $\mathbb{Q}(\sqrt{D})$ 의 기본 단위에서 $j^{\rm qt}(\theta)$ 를 계산하여, 원소 수가 $O(D)$ 수준으로 유한하고 유계임을 시사하는 것.

실험 결과

연구 질문

• RQ1 양자 모듈라 불변량 $j^{\rm qt}(\theta)$ 는 이차 무리수 $\theta$ 에 대해 유한한가?
• RQ2 고전적 및 양자 모듈라 불변량을 연속적으로 통합하는 일반화된 모듈라 불변량을 구성할 수 있는가?
• RQ3 황금비 $\varphi$ 에서 $j^{\rm qt}(\theta)$ 의 극값을 기술하는 명시적 공식은 무엇인가?
• RQ4 실수 이차체 $\mathbb{Q}(\sqrt{D})$ 의 판별식 $D$ 와 함께 $j^{\rm qt}(\theta)$ 의 원소 수는 어떻게 변화하는가?
• RQ5 공간 $\widehat{\sf Mod}^{\rm qt}$ 의 위상적 및 기하학적 구조는 무엇이며, 크로네커 폴리에이션을 갖춘 타원곡선의 모듈라 공간과 어떻게 관련이 있는가?

주요 결과

• 모든 유리수 $\theta \in \mathbb{Q}$ 에 대해, 양자 모듈라 불변량은 $j^{\rm qt}(\theta) = \infty$ 를 만족하며, 이는 열화된 경우임을 나타낸다.
• 황금비 $\varphi$ 에서 실험적으로 산출된 $j^{\rm qt}(\varphi)$ 의 상한과 하한은 가중치가 부여된 로저스-라마누잔 함수로 근사되며, 이로 인해 $j_{\rm best}^{\rm qt}(\varphi) \approx 9538.2496$ 라는 값을 얻는다.
• PARI/GP 실험 결과, $\mathbb{Q}(\sqrt{D})$ 의 기본 단위 $u$ 에 대해 $j^{\rm qt}(u)$ 는 유한하며, 원소 수가 약 $O(D)$ 수준임을 시사한다.
• 일반화된 모듈라 불변량 ${}^{\diamond}j$ 는 초소수소노이드 ${}^{\diamond}\widehat{\sf Mod}$ 위에 연속적이고 단일값 함수로 구성되며, 초소수와 초수평선을 통해 유도된다.
• 고전적 모듈라 불변량 $j^{\rm cl}$ 은 고전적 타원곡선의 모듈라 공간 위에 피브리레이션하는 부분소노이드 ${}^{\diamond}{\sf Mod}^{\rm cl}$ 에 제한된 ${}^{\diamond}j$ 의 몫으로 실현된다.
• 양자 모듈라 불변량 $j^{\rm qt}$ 는 크로네커 폴리에이션을 갖춘 타원곡선의 모듈라 공간 위에 피브리레이션하는 부분소노이드 ${}^{\diamond}{\sf Mod}^{\rm qt}$ 에 제한된 ${}^{\diamond}j$ 의 몫으로 실현된다.