[논문 리뷰] tau-recurrent sequences and modular forms

Federico Pellarin|arXiv (Cornell University)|2011. 05. 29.

Advanced Algebra and Geometry참고 문헌 21인용 수 10

한 줄 요약

이 논문은 양의 특성에서의 모듈라 형식에서 두 가지 다른 유형의 아이젠슈타인 급수를 통합하는 일파rameter 가중족 $ g^\flat_k(z,t) $ 를 소개한다. $ \tau $-선형 반복 수열과 벡터형 모듈라 형식의 변형을 분석함으로써, 이러한 함수에 대한 명시적 $ u $-전개 공식을 도출하며, 이는 특수 $ L $-함수의 값들과 극단적 준모듈라 형식과 깊은 관련이 있음을 드러낸다. 주요 기여는 $ g^\flat_k $ 를 $ h^{q^k} $, $ d_3^\star $, 그리고 $ t $ 에 대한 유리함수로 표현하는 닫힌 형태의 항등식을 제시하는 것으로, 초월성 및 산술적 성질에의 적용을 가능하게 한다.

ABSTRACT

In this paper we deal with Drinfeld modular forms, defined and taking values in complete fields of positive characteristic. Our aim is to study a sequence of families of Drinfeld modular forms depending on a parameter t that produces, for certain values of t, several kinds of Eisenstein series considered by Gekeler. We obtain formulas involving these functions. To obtain our results, we introduce and discuss tau-linear recurrent sequences and deformations of vectorial modular forms in this setting.

연구 동기 및 목표

• 드린펠트 모듈라 형식에서 두 가지 다른 유형의 아이젠슈타인 급수가 존재하는 이유를 밝히는 것.
• 이 두 유형을 단일 일파rameter 가중족 $ g^\flat_k(z,t) $ 로 통합하는 것.
• $ \tau $-선형 반복과 변형 이론을 사용하여 이 가중족의 산술적 및 해석적 성질을 연구하는 것.
• $ g^\flat_k $ 에 대한 명시적 $ u $-전개 공식을 유도하여, 특수 $ L $-함수의 값들과 극단적 준모듈라 형식과 연결하는 것.
• 형식적 로랑 급수체 $ \mathbb{C}_\infty(t)((u)) $ 위에서의 주요 생성함수의 초월성 결과를 확립하는 것.

제안 방법

• 드린펠트 모듈라 형식의 구조를 분석하기 위한 도구로 $ \tau $-선형 반복 수열을 도입한다.
• 매개수 $ t $ 를 사용하여 벡터형 모듈라 형식의 변형을 정의하고 연구함으로써 가중족 $ g^\flat_k(z,t) $ 를 이끌어낸다.
• 드린펠트 모듈러스의 함수방정식과 칼리츠 지수함수를 이용하여 $ u $-전개 계수의 재귀관계를 도출한다.
• 연산자 $ \tau $ 와 $ \tau $-반복을 적용하여 $ g^\flat_k $ 를 $ d_3^\star $, $ h $, 그리고 $ t $ 에 대한 유리함수와 연결한다.
• 아이젠슈타인 유사 함수의 생성함수와 그 역관계를 활용하여 $ G_{k(q-1)} $ 를 포함하는 항등식을 도출한다.
• 형식적 급수 전개와 함숫값 이론을 적용하여 $ F^\star $ 와 $ s^{-1}_{\text{Car}} d_1 $ 이 $ \mathbb{C}_\infty(t)((u)) $ 위에서 초월적임을 증명한다.

실험 결과

연구 질문

• RQ1 왜 드린펠트 모듈라 형식에서 $ \mathbb{F}_q[\theta] $ 위에서 두 가지 다른 유형의 아이젠슈타인 급수가 나타나는가? (클래식한 $ \mathrm{SL}_2(\mathbb{Z}) $ 경우와는 다름.)
• RQ2 드린펠트 설정에서 두 유형의 아이젠슈타인 급수를 단일 일파라미터 가중족이 통합할 수 있는가?
• RQ3 통합된 가중족 $ g^\flat_k(z,t) $ 의 $ u $-전개 구조는 어떻게 되며, 이는 매개수 $ t $ 에 따라 어떻게 달라지는가?
• RQ4 특수 $ L $-함수의 값들과 극단적 준모듈라 형식은 이 가중족으로부터 어떻게 도출되는가?
• RQ5 생성함수 $ F^\star $ 와 $ s^{-1}_{\text{Car}} d_1 $ 이 $ \mathbb{C}_\infty(t)((u)) $ 위에서 초월적인가?

주요 결과

• 가중족 $ g^\flat_k(z,t) $ 는 $ t $ 를 매개수로 하는 하나의 해석적 객체로 정규화된 아이젠슈타인 급수와 평행 아이젠슈타인 급수를 통합한다.
• 닫힌 형태의 항등식이 도출되었으며, $ g^\flat_k = h^{q^k} \left( d^{(k+1)/2}_2 \sum_{i=0}^{k-1} \frac{(t - \theta^{q^k}) \cdots (t - \theta^{q^{i+1}})}{u^{q^i}} + \cdots \right) $ 로 표현되며, 이는 형식이 $ t $-의존 유리함수와 명시적으로 연결됨을 보여준다.
• 정리 29 를 통해 $ (d_3^\star)^{(k)}|_{t=\theta} $ 의 $ u $-전개가 계산되었으며, 이는 $ E/u - 1 $ 과 $ h $ 를 포함하는 공식을 포함한다.
• 보조정리 6 에서 $ g^\flat_k $ 를 차수 $ q^{k+1} $ 에서 잘라낸 것 $ [g^\flat_k]_{k+1} $ 가 $ -d_2^{(k+1)} u^{-q^k} $ 임을 보이며, 이는 $ t $-의존 곱의 수정항을 포함한다.
• $ F^\star $ 가 함수방정식과 $ p $-진 함숫값 추론을 통해 $ \mathbb{C}_\infty(t)((u)) $ 위에서 초월적임을 증명하였다.
• $ s^{-1}_{\text{Car}} d_1 $ 가 $ \mathbb{C}_\infty(t)((u)) $ 위에서 초월적임을 증명하였으며, 이는 $ F^\star $ 의 초월성과 $ d_2 $, $ d_3^\star $ 의 대수적 성질에 기반한다.