[논문 리뷰] Isogenies of supersingular elliptic curves over finite fields and operations in elliptic cohomology

Andrew Baker|ArXiv.org|2007. 12. 12.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 5

한 줄 요약

이 논문은 유한체 위의 초특이 타원곡선의 이소지니와 초특이 타원동조 코homology의 안정적 연산 사이의 프레임워크를 수립한다. 이소지니와 확장된 이소지니 범주 내의 준동형을 통해 연산을 모델링함으로써, 모라바의 원환면 교환 법칙 정리의 타원동조 버전에 대한 개념적으로 단순한 증명을 제공하며, 연산에 대한 명시적 모델을 제시하고, 결과를 초특이 모듈라 형식의 로버트의 히케 대수적 구조와 연결한다.

ABSTRACT

We investigate stable operations in supersingular elliptic cohomology using isogenies of supersingular elliptic curves over finite fields. Our main results provide a framework in which we give a conceptually simple proof of an elliptic cohomology version of the Morava change of rings theorem and also gives models for explicit stable operations in terms of isogenies and morphisms in certain enlarged isogeny categories. We relate our work to that of G. Robert on the Hecke algebra structure of the ring of supersingular modular forms.

연구 동기 및 목표

• 유한체 위의 초특이 타원곡선의 이소지니를 사용하여 초특이 타원동조 코homology의 안정적 연산에 대한 개념적 프레임워크를 개발하는 것.
• 모라바의 원환면 교환 법칙 정리의 타원동조 해석에 대한 자가 포함적이고 개념적으로 단순한 증명을 제공하는 것.
• 확장된 이소지니 범주 내의 준동형과 이소지니를 통해 안정적 연산에 대한 명시적 모델을 구성하는 것.
• 결과를 초특이 모듈라 형식의 환의 히케 대수적 구조에 대해 로버트의 작업과 연결하는 것.
• 소수 p ≥ 5에서 이소지니와 내적환의 역할이 초특이 타원동조 코homology의 구조에 어떻게 기여하는지 명확히 하는 것.

제안 방법

• 논문은 1차형식이 어디서도 0이 되지 않는 유한체 𝔽̄_p 위의 방향 타원곡선을 사용하여 추상적 방향 타원곡선의 범주를 정의한다.
• 표준 1차형식을 갖는 Weierstrass 삼차곡선의 범주와 추상적 방향 타원곡선의 범주 사이의 동치를 확립함으로써 표준 Weierstrass 모델의 사용을 가능하게 한다.
• 도수 d인 이소지니 φ: (ℰ,ω) → (ℰ′,ω′)를 통해 안정적 연산을 모델링하며, 확장된 이소지니 범주 내의 관련 원소 α^φ를 도입한다.
• 모든 분리 가능한 이소지니 도수 d에 대해 대칭화함으로써 ℤ/pℤ-선형 사상 α^d_*: Γ₀^ss,* → Eℓℓ_*^ss를 구성한다.
• 논문은 로버트의 히케 연산자 및 아이젠슈타인 급수에 대한 결과를 적용하여 Eℓℓ_*^ss의 해석적 부분이 히케 대수 H_p 위의 모듈로 분석한다.
• 대칭화된 이소지니 연산을 통합하여 이중 스틴로드 대수의 코모듈의 안정적 코homology 연산을 정의하는 프레임워크를 구축한다.

실험 결과

연구 질문

• RQ1 유한체 위의 초특이 타원곡선의 이소지니를 통해 초특이 타원동조 코homology의 안정적 연산을 어떻게 명시적으로 모델링할 수 있는가?
• RQ2 이소지니 범주와 타원동조 코homology에서의 모라바 원환면 교환 법칙 정리 사이의 개념적 관계는 무엇인가?
• RQ3 초특이 모듈라 형식에 대한 히케 대수적 구조는 타원동조 코hom로의 안정적 연산의 구조와 어떻게 관련되는가?
• RQ4 아이젠슈타인 모듈 Ei_k가 초특이 모듈라 형식 환 Eℓℓ_*^ss에 포함되는 조건은 무엇인가?
• RQ5 특정 내적환을 갖는 𝔽_p 위에서 정의된 초특이 곡선이 존재하기 위해 내적환과 j-불변량이 수행하는 역할은 무엇인가?

주요 결과

• 논문은 이소지니 기반 연산을 사용하여 모라바의 원환면 교환 법칙 정리의 타원동조 해석에 대해 개념적으로 단순한 증명을 제공한다.
• 고정 도수 d에 대한 대칭화된 이소지니를 통해 초특이 타원동조 코homology의 명시적 안정적 연산이 구성되며, 이는 Γ₀^ss,*에서 Eℓℓ_*^ss로의 H_p-선형 사상으로 이어진다.
• 짝수 k와 p ≥ 5일 때, 아이젠슈타인 모듈 Ei_k는 Eℓℓ_*^ss에 포함되며, 이는 n ≡ k mod (p²−1) 또는 n ≡ pk mod (p²−1)일 때이다.
• 영 모듈 Ei_0는 정확히 (p²−1)가 2n을 나누는 2n 차수에서 발생하며, 이는 코homology 환의 해석적 부분에 해당한다.
• 소수 p > 11일 경우, j-불변량이 0 또는 1728이 아니며, ℚ(√−p)의 최대 정수환을 포함하는 내적환을 갖는 초특이 타원곡선이 𝔽_p 위에 존재한다.
• 프레임워크는 안정적 연산을 확장된 이소지니 범주 내의 준동형으로 실현함으로써, 이소지니 데이터에 기반한 코homology 연산의 기하학적 해석을 제공한다.