[논문 리뷰] A Modular Symbol with Values in Cusp Forms

Vicenţiu Pașol|ArXiv.org|2006. 11. 22.

Advanced Algebra and Geometry참고 문헌 5인용 수 3

한 줄 요약

이 논문은 GL₂(ℚ)에 대한 새로운 모듈라 기호를 구성하며, M₂(ℚ) 위의 국소적으로 상수인 분포 값으로, 두 변수의 커푸스드 푸러르 급수를 취한다. Γ₁(N)에 대해 불변인 주요 열린 부분집합으로 제한하고, 동차 차수 k−2 부분을 추출함으로써, 이 건축은 2 이상의 몰입 차수 k와 N > 1인 치수에 대해 보리스프와 감넬스의 커푸스드 형식에 대한 모듈라 기호를 복원하며, 아이zenstein 급수 분포 간의 새로운 만닌 유형의 관계를 드러낸다.

ABSTRACT

In [B-G1] and [B-G2], Borisov and Gunnells constructed for each level (N > 1) and for each weight (k > 1) a modular symbol with values in $Sk(Γ_1(N))$ using products of Eisenstein series. In this paper we generalize this result by producing a modular symbol (for GL2(Q)!!!) with values in locally constant distributions on M2(Q) taking values in the space of cuspidal power series in two variables (see Definition 5). We can recover the above cited result by restricting to a principal open invariant for the action of $Γ_1(N)$ and to the homogeneous degree $k-2$ part of the power series. We should also mention that Colmez [Col] constructs similar distributions (zEis(k; j)). The modification in the definition of such distributions allow us to observe further relations among these distributions (Manin Relations) which in turn makes possible the existence of our construction. In the last section we exhibit some instances of these relations for the full modular group.

연구 동기 및 목표

• 보리스프와 감넬스의 커푸스드 형식에 대한 모듈라 기호를, 두 변수의 커푸스드 푸러르 급수 값을 가진 분포의 더 넓은 프레임워크로 일반화하는 것.
• 커푸스드 형식과 아이젠슈타인 급수의 정보를 통합된 분포 값을 가진 기호를 통해 캡처하는 GL₂(ℚ)에 대한 모듈라 기호를 수립하는 것.
• 특정 방식으로 아이젠슈타인 급수 분포를 수정함으로써 새로운 대수적 관계(만닌 관계)를 드러내어 새로운 모듈라 기호의 존재를 가능하게 하는 것.
• 고전적 보리스프-감넬스 모듈라 기호가 이 새로운 기호의 특정화로서, 차수 추출과 불변 제한을 통해 Γ₁(N)에 대해 회복됨을 보여주는 것.

제안 방법

• 두 변수의 커푸스드 푸러르 급수 공간에 값을 가지는 M₂(ℚ) 위의 국소적으로 상수인 분포 공간에서의 분포 값을 가진 모듈라 기호 Φ를 도입한다.
• Eisenstein 급수 E_U₁(τ,X)와 E_U₂(τ,Y)의 곱에 대한 해석적 프로젝션 H를 통해 기호를 정의한다. 여기서 U₁, U₂는 M₂(ℚ)의 특정 행렬이다.
• 위어스트라스 ℘-함수와 θ-함수의 로그 도함수 간의 항등식을 이용하여, 이 건축의 근본이 되는 대수적 항등식을 유도한다.
• 분포 값을 가진 기호에 대해 만닌 관계를 적용하여, SL₂(ℤ)의 작용과 호환되며 모듈라성을 보장하는 구조가 됨을 보여준다.
• 기호를 U₁(N)로 제한하여, 푸러르 급수의 동차 차수 k−2 부분을 추출함으로써 고전적 보리스프-감넬스 모듈라 기호 Φ_{k,N}^{B-G}를 회복한다.
• 아이젠슈타인 급수의 명시적 q-전개와 항등식, 특히 E_k와 낮은 차수의 아이젠슈타인 급수 곱 사이의 관계를 유도하여 일관성과 새로운 수론적 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 GL₂(ℚ)에 대해 두 변수의 커푸스드 푸러르 급수 값을 가지는 분포를 값으로 가지는 모듈라 기호를 구성할 수 있는가? 이는 보리스프-감넬스의 구성으로 일반화되는가?
• RQ2 특정 방식으로 아이젠슈타인 급수 분포를 수정했을 때 어떤 대수적 관계(만닌 관계)가 나타나며, 그것이 새로운 모듈라 기호의 존재를 가능하게 하는가?
• RQ3 새로운 모듈라 기호를 주요 열린 부분집합 U₁(N)으로 제한하고, 차수 k−2의 동차 부분을 추출함으로써 보리스프-감넬스의 Γ₁(N) 기호가 어떻게 회복되는가?
• RQ4 이 구성에서 만닌 관계를 통해 어떤 새로운 항등식들이 약수 함수와 아이젠슈타인 급수 간에 유도되는가? 특히 전체 모듈라 군 SL₂(ℤ)에 대해 어떤가?
• RQ5 유도된 관계에 따르면, SL₂(ℤ)의 모듈라 형식 공간이 E₂와 그 무게 상승 도함수들로 생성될 수 있는가?

주요 결과

• Φ ∈ Symb_{GL₂(ℚ)}(𝒟_{naive}(M₂(ℚ), ̃𝒮₂)) 인 모듈라 기호 Φ가 존재하고 유일하며, D_∞에서의 값은 두 변수의 아이젠슈타인 급수 곱의 해석적 프로젝션으로 주어진다.
• Φ를 푸러르 급수의 동차 차수 k−2 부분으로 전문화하고 U₁(N)으로 제한함으로써 보리스프-감넬스 모듈라 기호 Φ_{k,N}^{B-G}를 회복하며, 모든 k ≥ 2에 대해 그들의 구성이 복원된다.
• k=2일 때, 이 구성은 중량 1의 아이젠슈타인 급수 s_{c/N}과 s_{d/N}의 곱을 통해 보리스프-감넬스 기호를 회복하며, c,d ≠ 0이면 f_{Φ_{2,N}^{B-G}}((c d)) = s_{c/N} s_{d/N} 임을 보인다.
• 논문은 아이젠슈타인 급수 간의 새로운 항등식을 도출하였으며, 예를 들어 5E₄ = E₂² + 4πi(δ₂/2)E₂와 같은 식은 약수 함수 σ₃(n)과 σ₁(n)을 포함하는 산술 항등식으로 번역된다.
• 새로운 항등식을 증명하였다: ∑_{i+j=n} P_i(X,Y)P_j(X,Y)E_{i+1}E_{j+1} = ((n+1)P_n(X,Y) − P_{n+1}(X,Y)P_2(X,Y)/(XY(X+Y))) · E_{n+2}, 이는 모든 n > 0에 대해 성립한다.
• SL₂(ℤ)에 대한 모듈라 형식 공간이 가중 동차의 의미에서 E₂와 그 무게 상승 도함수들로 생성됨을 보였으며, 모든 고차 형식이 이러한 생성자들에 대한 가중 다항식으로 표현 가능하다.