[논문 리뷰] Vectorial Drinfeld modular forms over Tate algebras

Federico Pellarin, Rudolph Perkins|arXiv (Cornell University)|2016. 03. 25.

Algebraic structures and combinatorial models참고 문헌 24인용 수 3

한 줄 요약

이 논문은 GL₂(𝔽ₚ[θ])의 특정 2차원 표현에 대해 타이트 대수를 값으로 가지는 벡터형 드리나르드 모듈라 형식의 이론을 수립하며, 완전한 모듈러 구조를 확립하고, 단위근에서의 특수화를 특성화하며, 이러한 형식이 히크 연산자에 대해 안정적임을 증명한다. 또한 특수화가 교차하나리 부분군에 대해 히크 고유형식을 유도함을 보이며, 고스 다항식과 초미분 연산자를 통해 고유값이 결정됨을 밝힌다.

ABSTRACT

In this text, we develop the theory of vectorial modular forms with values in Tate algebras introduced by the first author, in a very special case (dimension two, for a very particular representation of Γ := GL 2 (Fq[$theta$])). Among several results that we prove here, we determine the complete structure of the modules of these forms, we describe their specializations at roots of unity and their connection with Drinfeld modular forms for congruence subgroups of Γ and we prove that the modules generated by these forms are stable under the actions of Hecke operators.

연구 동기 및 목표

• GL₂(𝔽ₚ[θ])의 특정 표현에 대해 타이트 대수를 값으로 가지는 벡터형 모듈라 형식의 이론을 개발하는 것.
• 이 형식들이 타이트 대수 위에서 완전한 모듈러 구조를 갖는지 규명하는 것.
• 이들의 단위근에서의 특수화를 연구하고, 교차하나리 부분군에 대한 드리나르드 모듈라 형식과의 관계를 밝히는 것.
• 이 형식들이 생성하는 모듈러가 히크 연산자 작용에 대해 안정적인지 증명하는 것.
• 함수체계 setting에서 초미분 연산자, A-전개, 히크 고유형식 간의 연결 고리를 설정하는 것.

제안 방법

• 질량 2에서의 초미분 연산자와 앤더슨 생성 함수를 사용하여 벡터형 모듈라 형식을 구성한다.
• 에이젠슈타인 급수 𝒟₁의 τ-차이 방정식을 적용하여 그 구조와 변환 성질을 분석한다.
• 단위근에서의 평가 사상(평가 맵)을 적용하여 형식을 특수화하고, 고전적 드리나르드 모듈라 형식과 연결한다.
• t에 대한 초미분 연산자를 사용하여 새로운 형식을 생성하고, 그 히크 고유값 행동을 연구한다.
• A-전개와 고스 다항식을 활용하여 히크 연산자의 계수와 고유값을 특성화한다.
• 피터슨 슬래시 연산자와 교차하나리 부분군 이론을 적용하여, 모듈라성과 달의 점에서의 해석성(홀로모르피)을 분석한다.

실험 결과

연구 질문

• RQ1 타이트 대수 위에서의 벡터형 드리나르드 모듈라 형식은 어떻게 모듈러 구조를 이루는가?
• RQ2 이 형식들은 단위근에서 어떻게 행동하며, 교차하나리 부분군에 대한 드리나르드 모듈라 형식과 어떻게 관련되는가?
• RQ3 이 형식들이 생성하는 모듈러는 히크 연산자 작용에 대해 여전히 불변하는가?
• RQ4 t에 대한 초미분 연산자는 이 설정에서 히크 고유형식과 A-전개와 어떻게 상호작용하는가?
• RQ5 특수화의 A-전개 계수는 히크 고유값을 어느 정도 반영하며, 고전적 모듈라 형식과 어떻게 다를까?

주요 결과

• 주어진 표현에 대한 벡터형 드리나르드 모듈라 형식의 모듈러는 타이트 대수 위에서 완전히 결정되며, 자유 모듈러임을 보였다.
• 벡터형 에이젠슈타인 급수 𝒟₁의 특수화 𝒟₁(𝑡 = ζ, 단위근)는 Γ₁(𝔮ⁿ)에 대해 히크 고유형식을 유도하며, 고유값은 𝔭ᵏ이다. 여기서 𝔭는 수준 𝔮를 나누지 않는 소이다.
• 히크 연산자는 무한대에서의 정칙성을 유지하며, 이러한 형식들이 생성하는 모듈러를 안정화한다.
• 중량 k ≡ 1 mod (q−1)일 때, 특수화 ev_ζ(𝒟ₜ⁽ⁿ⁻¹⁾[ℰₖ]₁)는 {Tₚ : 𝔭(ζ) ≠ 0}의 가족에 대해 동시에 히크 고유형식이 되며, 고유값은 {𝔭ᵏ}이다.
• u(𝑧)의 A-전개 계수는 n ≥ 2일 때 0이 되며, 이는 고전적 모듈라 형식과의 핵심적 차이점임을 시사한다. 고전적 형식에서는 이러한 계수가 고유값을 결정한다.
• 히크 고유값은 A-전개에 나타나는 고스 다항식 Gₖ에 의해 완전히 결정되며, u(𝔭𝑧)의 계수는 고유값과 직접적으로 관련되지 않고, 𝔭와 수준에 의존하는 함수이다.