[논문 리뷰] The power operation structure on Morava E-theory of height 2 at the prime 3

Yifei Zhu|arXiv (Cornell University)|2012. 10. 13.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 9

한 줄 요약

이 논문은 p=3에서 높이-2 모라바 E-이론에 대한 Dyer-Lashof 대수적 구조를 계산하며, 타원곡선의 보편적인 degree-3 동형사상에 의해 직접적으로 거듭제곱 연산을 결정한다. 전체 및 개별 거듭제곱 연산에 대한 공식을 유도하고, 그들의 대수적 관계를 규명하며, K(1)-국소화와의 연결을 설정함으로써, 이 소수에서 K(2)-국소화 가환 E-대수에 대한 Dyer-Lashof 이론의 완전한 대수적 기술을 제공한다.

ABSTRACT

We give explicit calculations of the algebraic theory of power operations for a specific Morava E-theory spectrum and its K(1)-localization. These power operations arise from the universal degree-3 isogeny of elliptic curves associated to the E-theory.

연구 동기 및 목표

• p=3에서 K(2)-국소화 가환 E-대수에 대한 Dyer-Lashof 이론의 완전한 대수적 기술을 개발한다.
• 전체 거듭제곱 연산 ψ₃와 보편적인 degree-3 동형사상의 모듈리 문제를 나타내는 링 S₃를 계산한다.
• BΣₘ의 코homology와 E∗BΣₘ 계산을 이용하여 개별 거듭제곱 연산과 그들의 대수적 관계를 도출한다.
• 높이-2 전체 거듭제곱 연산 ψ₃와 해당 K(1)-국소화 거듭제곱 연산 간의 연결을 확립한다.
• 정체원에서의 상대 코탄젠트 공간으로부터 기하학적으로 유도된 생성자에 따라 거듭제곱 연산의 명시적 공식을 제공한다.

제안 방법

• |a|=1, |b|=2를 갖는 그룹화된 링 S• = Z[1/4][a,b,Δ⁻¹] 위의 보편 타원곡선을 사용하여 p=3에서의 모라바 E-이론을 모델링한다.
• 보편적인 degree-3 동형사상과 함께 E₀에서 전체 거듭제곱 연산 ψ₃를 정의하고, 매개변수 a와 b에 대한 그 공식을 유도한다.
• 동형사상의 모듈리 문제를 나타내는 링 S₃를 계산하며, 이 링이 기저 링 위에서 하나의 생성자에 대한 자유 대수임을 보인다.
• BΣₘ의 코homology([Str98]에서 유래)와 E∗BΣₘ의 구조를 이용하여 개별 거듭제곱 연산과 그 관계를 정의한다.
• 높이-2 전체 연산 ψ₃에 국소화 맵을 적용하여 K(1)-국소화 거듭제곱 연산을 도출한다.
• 타원곡선의 좌표에 대한 멱급수 전개와 군 법칙 공식을 활용하여 동형사상의 작용을 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 p=3에서 K(2)-국소화 가환 E-대수에 대한 Dyer-Lashof 대수의 명시적 대수적 구조는 무엇인가?
• RQ2 p=3에서 높이-2 모라바 E-이론의 전체 거듭제곱 연산 ψ₃는 K(1)-국소화 거듭제곱 연산과 어떻게 관련이 있는가?
• RQ3 정체원에서의 상대 코탄젠트 공간에서 유도된 매개변수는 Dyer-Lashof 대수를 매개변수화하는 데 어떤 역할을 하는가?
• RQ4 개별 거듭제곱 연산의 공식은 모듈리 스택 위의 좌표 차트 선택에 따라 어떻게 달라지는가?
• RQ5 보편 타원곡선의 매개변수 a와 b에 따라 거듭제곱 연산의 명시적 공식은 무엇인가?

주요 결과

• 전체 거듭제곱 연산 ψ₃는 매개변수 a와 b에 대한 멱급수로 명시적으로 계산되며, 계수로 링 S₃를 포함한다.
• S₃가 기저 링 위에서 하나의 생성자에 대한 자유 대수임을 보였으며, 이 생성자는 타원곡선의 정체원에서의 상대 코탄젠트 공간에서 유도된다.
• BΣₘ의 코homology를 통해 전체 연산 ψ₃로부터 개별 거듭제곱 연산을 도출하였으며, 그들의 대수적 관계는 명시적으로 규명되었다.
• K(1)-국소화 거듭제곱 연산은 높이-2 전체 연산 ψ₃에 국소화 맵을 적용하여 얻었으며, a와 b에 대한 명시적 공식을 제공한다.
• Adem-유형의 관계는 선택된 매개변수를 사용하여 유도되었으며, 이는 [Rez09]의 그레ading 프레임워크에 자연스럽게 맞는다.
• 이 논문에서 사용된 매개변수는 p=2에서의 유사한 계산에서 사용된 것과 일치하며, 이는 소수 간에 기하학적으로 자연스러운 선택일 수 있음을 시사한다.