[논문 리뷰] (Topological) modular forms with level structures: decompositions and duality

Lennart Meier|arXiv (Cornell University)|2016. 09. 29.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 8

한 줄 요약

이 논문은 타원곡선의 모듈리 스택에 수준 구조가 있는 벡터 번들의 덧셈적 분해를 수립하여, 수준을 나누지 않는 소수 l에 대해 모듈러 형식과 위상적 모듈러 형식(Tmf, Tmf)의 환의 명시적 분해를 이끌어낸다. 핵심 결과는 n ≥ 4 이고, 약한 코homological 조건을 만족할 경우, 푸시포워드 층 (fₙ)₆𝒪이 소수 l에 따라 ω^⊗m, ℰ₂, 또는 ℰ₃의 텐서곱으로 분해된다는 것이다. 이는 이러한 대상들의 완전한 대수적 및 위상적 이해를 가능하게 한다.

ABSTRACT

The present article studies decompositions of vector bundles on the moduli stack of elliptic curves that are pushforwards of vector bundles on moduli of elliptic curves with level structure. These imply decomposition results for rings of modular forms and also for topological modular forms. We give explicit formulas for these decompositions and also apply them to equivariant topological modular forms. Moreover, we study the dualizing sheaf on $\overline{\mathcal{M}}_1(n)$ and characterize the numbers $n$ such that $Tmf_1(n)$ is Anderson self-dual.

연구 동기 및 목표

• 기존의 곱셈적 방법이 실패할 경우에도, 수준 구조를 가진 모듈러 형식의 환의 덧셈적 구조를 이해하기 위해.
• 기존의 ℚ 위에서의 모듈러 형식 분해를 일반적인 기저 환 R, 특히 ℤ_(l)과 특성 l인 체로 확장하기 위해.
• 이러한 대수적 분해를 안정 호모토피 이론에 적용하여, 수준 구조를 가진 위상적 모듈러 형식(tmF, Tmf)에 대해 연구하기 위해.
• Tmf₁(n)이 Anderson 자기 dual일 조건을 규명하여, 수론과 위상적 모듈러 형식의 이중성 간의 연결 고리를 만들기 위해.
• ℰₙ의 표준 번들로의 분해에서 각 무게 m의 복수도를 계산하여 숨겨진 대칭성을 드러내기 위해.

제안 방법

• 모듈리 스택의 타원곡선 ℳ̄₁(n) → ℳ̄_ell로의 사영 fₙ을 사용하여, 기저층을 당겨와 그 푸시포워드 (fₙ)₆𝒪를 연구한다.
• H¹(ℳ̄₁(n)_(l); ω)에 대한 코homological 조건을 적용하여, 푸시포워드 층 ℰₙ이 ω^⊗m, ℰ₂, 또는 ℰ₃의 텐서곱으로 분해됨을 보장한다.
• 내림차순 스펙트럴 시퀀스를 사용하여 대수적 분해를 위상적 환경으로 옮기며, Tmf₁(n)_(l)이 Tmf_(l)-모듈로 분해됨을 증명한다.
• 모듈러 형식의 공간 차원을 통해 복수도를 계산하여, 각 표준 번들의 복수 개수에 대한 명시적 공식을 도출한다.
• ℳ̄₁(n)의 딸림 층을 분석하여, ω^⊗k ≅ ω_dual가 성립하는 n를 분류함으로써 대칭적 분해를 규명한다.
• l > 3일 경우 ℰₙ이 ω^⊗m로 분해되고, l = 3일 경우 ℰ₂ ⊗ ω^⊗m로, l = 2일 경우 ℰ₃ ⊗ ω^⊗m로 분해됨을, 주어진 토션 조건 하에서 이용한다.

실험 결과

연구 질문

• RQ1 어느 소수 l과 수준 n에 대해 푸시포워드 층 (fₙ)₆𝒪이 표준 번들 ω^⊗m, ℰ₂ ⊗ ω^⊗m, 또는 ℰ₃ ⊗ ω^⊗m로 분해되는가?
• RQ2 각 ω^⊗m의 분해에서의 복수도는 무엇이며, 언제 대칭성을 보이는가?
• RQ3 위상적 모듈러 형식 스펙트럼 Tmf₁(n)이 Anderson 자기 dual일 때는 언제이며, 이는 ℳ̄₁(n)의 기하학과 어떻게 관련되는가?
• RQ4 l-완비화 하에서 분해 공식은 어떻게 행동하며, 비압축된 경우 H¹ 조건의 역할은 무엇인가?
• RQ5 ℳ̄₁(n)의 딸림 층이 ω의 거듭제곱과 동형일 때를 만족하는 n는 무엇이며, 이는 분해에 어떤 의미를 갖는가?

주요 결과

• n ≥ 4 이고 H¹-토션 조건을 만족할 경우, l > 3일 경우 ω^⊗m로 분해되고, l = 3일 경우 ℰ₂ ⊗ ω^⊗m로, l = 2일 경우 ℰ₃ ⊗ ω^⊗m로 분해된다.
• l = 0일 경우, 분해가 ℰ₂ ⊗ ω^⊗m와 ℰ₃ ⊗ ω^⊗m로 모두 존재하여, 분해 유형 간의 이중성(대칭성)을 보여준다.
• ω^⊗m의 분해에서의 복수도는 모듈러 형식의 공간 차원으로 계산 가능하며, 제5.1절에서 명시적 공식이 제시된다.
• 대칭적 분해가 발생하는 것은 정확히 ℳ̄₁(n)의 딸림 층이 ω의 거듭제곱과 동형일 때이며, 이는 n ≤ 8(종수 0), n = 11, 14, 15(종수 1), n = 23(종수 12)일 때 성립한다.
• l = 2 또는 3이고 n ≥ 4일 경우, 비압축된 경우에 모든 ω의 거듭제곱이 동일한 복수도를 가지며, 이는 숨겨진 대칭성을 시사한다.
• H¹(ℳ̄₁(n)_(l); ω)에 l-토션이 없을 경우, Tmf₁(n)_(l)은 Tmf_(l)-모듈로 분해되며, 이는 대수적 분해를 위상적 환경으로 확장하는 것이다.