[논문 리뷰] Stable Schottky-Jacobi Forms

Jae-Hyun Yang|arXiv (Cornell University)|2017. 02. 28.

Advanced Algebra and Geometry참고 문헌 13인용 수 3

한 줄 요약

이 논문은 보편적 아벨 뭉치에 대해 안정적인 슈코티-자코비 형식이 존재하지 않음을 증명하는 반면, 보편적 히퍼에일리프틱 뭉치에 대해서는 비자명한 안정적인 슈코티-자코비 형식이 존재함을 보여준다. 시겔-자코비 연산자와 자코비 형식의 자코비 모듈라 군에 대한 성질을 이용하여, 영성 결과를 증명하고, 테타 리프트 및 안정적 모듈라 형식을 통해 구체적인 형식을 구성함으로써, 이 두 뭉치의 모듈라 이론적 행동에 근본적인 차이가 있음을 밝힌다.

ABSTRACT

In this article, we prove that there do not exist stable Schottky-Jacobi forms for the universal Jacobian locus and also prove that there exist non-trivial stable Schottky-Jacobi forms for the universal hyperelliptic locus.

연구 동기 및 목표

• 보편적 아벨 뭉치에 대해 안정적인 슈코티-자코비 형식이 존재하는지 확인하는 것.
• 보편적 히퍼에일리프틱 뭉치에 대해 비자명한 안정적인 슈코티-자코비 형식의 존재를 조사하는 것.
• 안정적인 자코비 형식의 대수적 및 모듈라 구조가 슈코티 문제와 어떻게 관련되어 있는지 명확히 하는 것.
• 시겔-자코비 연산자와 테타 리프트를 이용해 안정적인 슈코티-자코비 형식을 특성화하는 것.

제안 방법

• g + h > 2k + 1일 때 동형사상이 되는 시겔-자코비 연산자 Ψg,M: Jk,M(Γg) → Jk,M(Γg−1)를 사용한다.
• 자코비 모듈라 군 ΓgJ = Γg ⋉ HZ(g,h)의 작용을 통해 정의된 안정적인 자코비 형식 이론을 적용한다.
• 안정적인 모듈라 형식과 테타 시리즈의 곱으로서 안정적인 슈코티-자코비 형식을 구성한다. 특히 (ΘP − ΘQ)Θ2M 형태로 표현한다.
• 아이케 이론에서의 캐논리컬 리프트 I_{g,k}를 활용하여 시겔 캐서스 형식과 고차 형식을 연결한다.
• 형식이 히퍼에일리프틱 뭉치 위에서 영이 되는 이상 I(M)를 포함하는 등급을 가진 링 A(M) = ⊕_{k,ℓ} A_{k,ℓM}을 분석한다.
• 2k ≢ h (mod 8) 조건을 이용하여 Jk,M(Γg) = 0임을 보이고, 비영형 형식을 위해선 k ≡ 0 (mod 4)가 필요함을 밝힌다.

실험 결과

연구 질문

• RQ1 보편적 아벨 뭉치에 대해 인덱스 M인 비자명한 안정적인 슈코티-자코비 형식이 존재하는가?
• RQ2 보편적 히퍼에일리프틱 뭉치에 대해 비자명한 안정적인 슈코티-자코비 형식이 존재하는가?
• RQ3 안정적인 자코비 형식의 링 A(M)는 어떤 대수적 구조를 갖는가?
• RQ4 테타 리프트와 안정적인 모듈라 형식은 이러한 형식을 구성하는 데 어떻게 기여하는가?

주요 결과

• 2k ≢ h (mod 8)일 때 Jk,M(Γg) = 0이므로, 보편적 아벨 뭉치에 대해 비자명한 안정적인 슈코티-자코비 형식이 존재하지 않는다. 비영형 형식을 위해선 k ≡ 0 (mod 4)여야 한다.
• 비자명한 안정적인 슈코티-자코비 형식은 보편적 히퍼에일리프틱 뭉치에 존재한다. 특히 P, Q가 계수 m ≡ 0 (mod 8)인 양의 정부호 단일형 이차형식일 때 (ΘP − ΘQ)Θ2M 형태로 존재한다.
• 히퍼에일리프틱 뭉치에 대한 안정적인 슈코티-자코비 형식의 공간 B^{[4]}(M)_1은 m ∈ 8ℤ⁺인 형태 (ΘP − ΘQ)Θ2M로 생성된다.
• 안정적인 자코비 형식의 링 A(M)는 이중 등급 링이며, A(M)_0는 다항식 링이고, I(M)는 히퍼에일리프틱 뭉치 위에서 영이 되는 형식들로 이루어진 이상이다.
• 차수 4, 무게 8인 이구사 모듈라 형식 φ4는 히퍼에일리프틱 뭉치 위에서 영이 되며, 이는 캐논리컬 리프트를 통한 이러한 형식의 존재를 뒷받침한다.
• 캐논리컬 리프트 I_{2,6}는 캐서스 형식 Δ을 φ4의 영이 아닌 배수로 매핑함으로써, 히퍼에일리프틱 설정에서 비영형 형식의 존재를 확인한다.