[논문 리뷰] Drinfeld modular forms of arbitrary rank, Part I: Analytic Theory

Dirk Basson, Florian Breuer외 1명|arXiv (Cornell University)|2018. 05. 31.

Advanced Algebra and Geometry참고 문헌 9인용 수 13

한 줄 요약

이 논문은 임의의 랭크 $ r \geq 1 $에 대한 드린펠트 모듈라 형식의 해석적 기초를 확립하며, 약한 모듈라 형식의 $ u $-전개를 도입하고, 랭크 $ r-1 $의 약한 모듈라 형식의 계수를 통해 무한대에서의 해석적 성질을 정의한다. 주요 기여는 무한대에서의 해석적 성질에 대한 정밀한 기준을 제시하는 것으로, 이는 고랭크에서 드린펠트 모듈라 형식을 정의하고, 향후 유한차원성 결과와 대수기하학적 식별 결과로 이어지는 길을 열어준다.

ABSTRACT

This is the first of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank r. In the present part, we develop the analytic theory. Most of the work goes into defining and studying the u-expansion of a weak Drinfeld modular form, whose coefficients are weak Drinfeld modular forms of rank r-1. Based on that we give a precise definition of when a weak Drinfeld modular form is holomorphic at infinity and thus a Drinfeld modular form in the proper sense.

연구 동기 및 목표

• 임의의 랭크 $ r \geq 1 $에 대해 드린펠트 모듈라 형식의 해석적 이론을 개발하여 랭크 2 이론을 고랭크로 확장한다.
• 약한 드린펠트 모듈라 형식의 $ u $-전개를 정의하고, 계수들이 랭크 $ r-1 $의 약한 모듈라 형식이 되도록 한다.
• 무한대에서의 해석적 성질에 대한 정밀한 해석 기준을 확립하여, 드린펠트 모듈라 형식과 약한 모듈라 형식을 구분한다.
• 향후 연구에서 해석적 모듈라 형식을 컴actified 모듈리 공간 위의 역가능층의 절단과 대수기하학적으로 식별하기 위한 기초를 마련한다.
• 스이겔 모듈라 형식과 달리 고랭크의 경우 무한대에서의 해석적 성질이 자동으로 성립하지 않는다는 미묘한 문제를 해결한다.

제안 방법

• 약한 드린펠트 모듈라 형식을 $ \mathrm{GL}_r(F) $의 산술 부분군 $ \Gamma $ 작용을 받는 드린펠트 주기 영역 $ \Omega^r $ 위의 해석적 함수로 정의한다.
• 표준 경계 성분 근처의 좌표계를 사용하여 약한 모듈라 형식의 $ u $-전개를 도입하고, 계수들이 랭크 $ r-1 $의 약한 모듈라 형식에 값이 있음을 보장한다.
• 무한대에서의 해석적 성질을 $ u $-전개에 음이 아닌 $ u $의 거듭제곱만을 포함하도록 요구함으로써 특성화하며, 이는 모듈라 형식 공간의 유한성 보장에 기여한다.
• 무한대에서의 수렴성과 변환 성질 분석을 위해 $ \mathbb{C}_\infty $의 강한 이산 부분군과 관련된 지수 함수와 $ \Omega^r $의 강한 해석적 구조를 활용한다.
• 무한대에서의 해석적 성질이 음의 차수의 $ u $-전개 계수의 영함과 동치임을 증명하며, 경계 성분의 구조와 $ \mathrm{GL}_r(F) $-역상의 성질을 이용한다.
• $ \mathrm{GL}_r(F) $ 작용에 따른 변환 법칙과 불변성 성질을 확립하며, 특히 모듈라 형식 위에서 $ \delta \in \mathrm{GL}_r(F) $의 우측 작용을 포함한다.

실험 결과

연구 질문

• RQ1 드린펠트 모듈라 형식의 맥락에서, 랭크 2에서의 무한대에서의 해석적 성질 개념을 랭크 $ r \geq 3 $로 일반화할 수 있는 방법은 무엇인가?
• RQ2 고랭크에서 약한 드린펠트 모듈라 형식의 $ u $-전개의 정밀한 해석적 구조는 무엇이며, 그 계수들은 낮은 랭크의 모듈라 형식과 어떻게 관련이 있는가?
• RQ3 모듈리 공간이 아핀임에도 불구하고, 고랭크 드린펠트 모듈라 형식에서 모듈라 형식 공간의 유한차원성을 확보하기 위해 무한대에서의 조건이 필요한 이유는 무엇인가?
• RQ4 모듈라 형식의 $ u $-전개는 드린펠트 모듈러스의 대수기하학적 컴팩티피케이션과 어떻게 관련이 있는가?
• RQ5 약한 모듈라 형식이 실제로 드린펠트 모듈라 형식이 되기 위해, 즉 무한대에서 해석적이기 위해 필요한 조건은 무엇인가?

주요 결과

• 약한 드린펠트 모듈라 형식의 $ u $-전개 계수들은 랭크 $ r-1 $의 약한 모듈라 형식이 되며, 이는 랭크 간의 재귀적 구조를 제공한다.
• 약한 모듈라 형식이 무한대에서 해석적임은 그 $ u $-전개에 음이 아닌 $ u $의 거듭제곱만 포함될 때이고, 이는 드린펠트 모듈라 형식의 공간을 정의한다.
• $ r \geq 3 $일 때, 무게 $ k $의 모듈라 형식의 $ u $-전개에서 계수 $ f_n $은 무게 $ k - n $의 약한 모듈라 형식이며, $ r-1 \geq 2 $이면 음의 무게를 가진 이러한 형식은 식별적으로 0이 된다.
• 주어진 수준과 무게에 대한 모듈라 형식의 공간은 유한차원이며, 이는 해석적 성질 조건과 모듈리 공간의 컴팩티피케이션의 결과이다.
• 무게 $ k $와 유형 $ m $의 비영 모듈라 형식이 존재하기 위해 필수적인 조건은 $ k \equiv rm \pmod{q-1} $이며, $ m \not\equiv 0 \pmod{q-1} $이면 이러한 모든 형식은 촉성형식이 된다.
• 모듈라 형식의 환 $ \mathcal{M}_*(\Gamma) $ 는 무게에 따라 분할되며, 두 무게 $ k, k' $의 모듈라 형식의 곱은 무게 $ k + k' $의 모듈라 형식을 만든다.