[논문 리뷰] The Legendre determinant form for Drinfeld modules in arbitrary rank

Rudolph Perkins|arXiv (Cornell University)|2014. 09. 23.

Advanced Algebra and Geometry참고 문헌 6인용 수 7

한 줄 요약

이 논문은 랭크 $r$의 유일한 드리플랑드 모듈러 형식을 정의하기 위해 일반선형군 $\mathrm{GL}_r(\mathbb{F}_q[\theta])$에 대해 최소 무게 $1 + q + \cdots + q^{r-1}$를 갖는 어디서도 0이 되지 않는 단일 쿠스피드럴 드리플랑드 모듈러 형식을 구성한다. 이는 랭크 $r$의 유일한 드리플랑드 모듈러 형식의 강한 해석적 정규화와 벡터형 아이젠슈타인 급수의 변형을 이용하여 이루어지며, 주요 기여는 임의의 랭크에서 이 레지스터 행렬 형식의 해석적 성질과 영이 되지 않음을 증명하는 것이다. 또한, $\mathbb{F}_q[\theta]$ 위의 모든 드리플랑드 모듈러 형식에 대해 드레함 코hom로지에서 베티 코hom로지로의 사이클 클래스 사상이 동형임을 증명한다.

ABSTRACT

For each positive integer $r$, we construct a nowhere-vanishing, single-cuspidal Drinfeld modular form for $\GL_r(\FF_q[θ])$, necessarily of least possible weight, via determinants using rigid analytic trivializations of the universal Drinfeld module of rank $r$ and deformations of vectorial Eisenstein series. Along the way, we deduce that the cycle class map from de Rham cohomology to Betti cohomology is an isomorphism for Drinfeld modules of all ranks over $\FF_q[θ]$.

연구 동기 및 목표

• 드리플랑드 모듈러 형식의 게켈러의 레지스터 행렬 형식을 임의의 랭크 $r$에서 완성하는 것.
• 벡터형 모듈러 형식의 변형 이론을 더 높은 랭크 $r$로 확장하는 것.
• 레지스터 행렬 형식이 무한대에서 해석적이고 어디서도 0이 되지 않음을 증명하는 것, $\mathrm{GL}_r(\mathbb{F}_q[\theta])$에 대해.
• 드리플랑드 모듈러 형식의 임의의 랭크에 대해 드레함 코hom로지와 베티 코호몰로지 사이의 동형을 확립하는 것.
• 벡터형 아이젠슈타인 급수의 변형의 행렬식을 통해 단일 쿠스피드럴 모듈러 형식을 체계적으로 구성하는 방법을 제공하는 것.

제안 방법

• 랭크 $r$의 유일한 드리플랑드 모듈러 형식의 강한 해석적 정규화를 이용하여, 그 행렬식이 레지스터 형식을 유도하는 행렬 $\Xi$를 정의한다.
• 정규화 행렬이 만족하는 $\tau$-차이방정식을 활용하여 모듈러성과 영이 되지 않음을 분석한다.
• 무한대에서의 명시적 전개를 얻기 위해 벡터형 아이젠슈타인 급수 $\mathcal{E}_k$의 변형을 도입하여 기존의 형식들과 비교한다.
• 드레함 코호몰로지에서 베티 코호몰로지로의 사이클 클래스 사상을 적용하여, 명시적 구성 방법을 통해 이것이 동형임을 보인다.
• 행렬식 $\det\Xi$의 영이 되지 않음과 구성 요소들 간의 $\mathbb{F}_q[t]$-선형 독립성을 이용하여 형식이 어디서도 0이 되지 않음을 증명한다.
• 무어 행렬식 이론과 앤더슨 생성 함수를 활용하여 대수적 독립성과 영이 되는 조건을 확립한다.

실험 결과

연구 질문

• RQ1 임의의 랭크 $r$에 대해 강한 해석적 정규화를 이용하여 드리플랑드 모듈러 형식의 레지스터 행렬 형식을 구성하고, 무한대에서 해석적임을 증명할 수 있는가?
• RQ2 고차 랭크에서 역강한 해석적 정규화 행렬 $\Psi^{-1}$의 열들과 행렬 $\Xi$ 사이의 정확한 관계는 무엇인가?
• RQ3 랭크 $r$의 모든 단일 쿠스피드럴 드리플랑드 모듈러 형식은 벡터형 아이젠슈타인 급수의 변형의 $r$-튜플의 행렬식으로 표현될 수 있는가?
• RQ4 $\mathbb{C}_\infty$에서 매개변수 $t$의 평가가 드리플랑드 모듈러 형식의 드레함 코호몰로지와 $A$-모듈러 구조에 어떤 영향을 미치는가?
• RQ5 드리플랑드 모듈러 형식의 $\theta$-adic 타이트 모듈러와 드레함 코호몰로지 사이의 정확한 관계는 무엇인가?

주요 결과

• 레지스터 행렬 형식 $\det\Xi$는 $\mathrm{GL}_r(\mathbb{F}_q[\theta])$에 대해 유형 1, 무게 $1 + q + \cdots + q^{r-1}$인 어디서도 0이 되지 않는 단일 쿠스피드럴 드리플랑드 모듈러 형식이다.
• 형식 $\det\Xi$는 무한대에서 해석적이고 영이 되지 않으며, 이는 무게 $1 + q + \cdots + q^{r-1}$의 모듈러 형식 공간 내에서 $\tau(\det\Xi)$가 영이 되지 않음을 통해 증명된다.
• 모든 $\mathbb{F}_q[\theta]$ 위의 임의의 랭크 드리플랑드 모듈러 형식에 대해 드레함 코호몰로지에서 베티 코호몰로지로의 사이클 클래스 사상은 동형이다.
• 벡터형 아이젠슈타인 급수 $\mathcal{E}_1 = (\epsilon_r, \dots, \epsilon_1)^{tr}$는 $\Omega^r$에서 어디서도 0이 되지 않으며, 구성 요소들이 $\mathbb{F}_q[t]$-선형 독립적이다.
• 만약 $k_1 + \cdots + k_r < 1 + q + \cdots + q^{r-1}$ 이고 각 $k_i \equiv 1 \pmod{q-1}$ 이라면, $\det[\mathcal{E}_{k_1} \cdots \mathcal{E}_{k_r}] = 0$ 이며, 이는 낮은 무게에서의 선형 종속성을 나타낸다.
• 랭크 2에서는 모든 단일 쿠스피드럴 형식이 $\det[\mathcal{E}_1 \; \mathcal{E}_{1+k(q-1)}]$ 형태로 나타나며, 이는 고차 랭크로의 일반화 가능성을 시사한다.