[논문 리뷰] A Hecke algebra attached to mod 2 modular forms of level 3

Paul Monsky|arXiv (Cornell University)|2015. 08. 30.

Advanced Mathematical Identities참고 문헌 4인용 수 5

한 줄 요약

이 논문은 3차 모듈라 형식의 mod 2 형식 공간에 작용하는 완비 히케 대수를 구성하며, 이 대수가 𝔽₂ 위의 두 변수에 대한 멱급수환에 제곱이 0인 추가적인 비가역 원소를 첨가한 것과 동형임을 보인다. Tₚ (p > 3)의 히케 연산자 작용은 Dᵏ (k가 홀수이고 6과 서로소인 경우)로 생성되는 공간 W에서 국소적으로 비가역적임을 보이며, 대수의 구조는 T₇와 T₁₃를 생성자로 하고, λ(T₇, T₁₃)를 더한 비가역 원소 T₅ + λ(T₇, T₁₃)로 명시적으로 기술된다. 여기서 λ는 주항항이 X + Y인 멱급수이다.

ABSTRACT

Let $D$ in $Z/2[[x]]$ be $\sum x^{n^{2}}$, $n>0$ and prime to $6$. Let $W$ be spanned by the $D^{k}$, $k>0$ and prime to $6$. Then the formal Hecke operators $T_{p}$, $p>3$, stabilize $W$, and it can be shown that they act locally nilpotently. We show that the completion of the Hecke algebra generated by these $T_{p}$ acting on $W$, with respect to the maximal ideal generated by the $T_{p}$, is a power series ring in $T_{7}$ and $T_{13}$ with an element of square $0$ adjoined. This may be viewed as a level 3 analog of the level 1 results of Nicolas and Serre -- the Hecke stable space they study is spanned by the odd powers of the mod $2$ reduction of $Δ$, and their resulting completed Hecke algebra is a power series ring in $T_{3}$ and $T_{5}$.

연구 동기 및 목표

• 3차 모듈라 형식의 mod 2 형식 공간에 대한 형식적 히케 연산자 Tₚ (p > 3)의 작용을 연구하기 위해.
• 최대 이상수로 생성된 이상수에 관하여 W 위에 작용하는 완비 히케 대수의 구조를 규명하기 위해.
• 1차 모듈라 형식의 니콜라스-세르 결과의 유사체를 3차 설정에서 수립하기 위해.
• 완비 히케 대수가 𝔽₂[[X,Y]]에 제곱이 0인 비가역 원소를 첨가한 것과 동형임을 증명하기 위해.

제안 방법

• 𝔽₂[[x]] 내에서 (n,6) = 1인 n > 0에 대해 xⁿ²의 합으로 정의된 D를 정의하고, W를 (k,6) = 1인 k > 0에 대해 Dᵏ의 스칼라 결합으로 생성되는 부분공간으로 정의한다.
• 3차 모듈라 형식의 홀수 mod 2 형식 공간에 대한 히케-안정적인 필터링을 사용하여 Tₚ가 W를 안정시키고 국소적으로 비가역적으로 작용함을 보인다.
• W₅(즉, k ≡ 5 mod 6인 부분공간) 내에서 T₇에 의하여 소거되는 이중형 부분공간을 구성함으로써 T₁₃의 작용을 명시적으로 기술한다.
• 논문 [2]의 보조정리 4.2를 적용하여 니콜라스와 세르의 보조정리 4.3와 유사한 핵심 비가역 조건을 유도한다.
• T₅의 작용과 관계 T₅² = λ(T₇, T₁₃)²를 사용하여, 제곱이 0인 비가역 원소 ε = T₅ + λ(T₇, T₁₃)를 완비 대수 내에서 식별한다.
• 완비 히케 대수가 𝔽₂[[X,Y]]에 ε를 첨가한 것과 동형이며, ε² = 0임을 증명하고, 작용이 충실함을 보인다.

실험 결과

연구 질문

• RQ1 3차 모듈라 형식의 mod 2 형식 공간에 작용하는 완비 히케 대수의 구조는 무엇인가?
• RQ2 p > 3인 Tₚ가 6과 서로소인 k에 대해 Dᵏ로 생성되는 공간 W 위에서 어떻게 작용하는가?
• RQ3 3차 설정에서의 이 경우는 1차 모듈라 형식의 니콜라스-세르 결과의 유사체로 볼 수 있는가?
• RQ4 T₅는 완비 히케 대수에서 어떤 역할을 하는가? 그리고 비가역 원소를 유도하는가?
• RQ5 완비 히케 대수는 단일 비가역 생성자를 가진 멱급수환인가?

주요 결과

• W 위에 작용하는 완비 히케 대수는 𝔽₂[[X,Y]]에 제곱이 0인 원소 ε를 첨가한 것과 동형이며, 여기서 ε = T₅ + λ(T₇, T₁₃)이고, λ ∈ 𝔽₂[[X,Y]]는 주항항이 X + Y이다.
• p ≡ 1 mod 6인 각 Tₚ는 T₇와 T₁₃에 대한 멱급수로 표현되며, 상수항이 0이므로 즉, 이상수 (X,Y)에 속한다.
• p ≡ 5 mod 6인 각 Tₚ는 T₅와 T₇, T₁₃에 대한 멱급수의 합성으로 표현된다.
• 히케 대수의 W 위 작용은 충실하며, 대수의 작용은 국소적으로 비가역적이다.
• W는 기저 {mₐ,₆, ε·mₐ,₆}를 가진 𝔽₂[[X,Y]] 위의 랭크 2 자유 모듈러스이며, 여기서 mₐ,₆는 W₅의 기저를 이룬다.
• 비가역 원소 ε는 관계 T₅² = λ(T₇, T₁₃)²로부터 유도되며, (T₅ + λ(T₇, T₁₃))² = 0임을 보여준다.