[논문 리뷰] Can a Drinfeld module be modular?

David Goss|ArXiv.org|2002. 10. 24.

Algebraic structures and combinatorial models참고 문헌 42인용 수 6

한 줄 요약

이 논문은 함수체 위에서 랭크-1 드린펠트 모듈러스가 모듈러적인가, 즉 관련 갈루아 표현이 코어스터프 또는 더블 코어스터프 형식에서 유래하는가를 조사한다. 보클레의 작업을 바탕으로, 드린펠트 모듈러스 갈루아 표현과 모듈러 형식 사이의 프레임워크를 수립하며, 모듈러성과 무게, 수준, $ r-1 $-거듭제곱 상호작용의 역할에 대한 핵심 질문을 제기한다.

ABSTRACT

Let $k$ be a global function field with field of constants $\Fr$ and let $\infty$ be a fixed place of $k$. In his habilitation thesis \cite{boc2}, Gebhard Böckle attaches abelian Galois representations to characteristic $p$ valued cusp eigenforms and double cusp eigenforms \cite{go1} such that Hecke eigenvalues correspond to the image of Frobenius elements. In the case where $k=\Fr(T)$ and $\infty$ corresponds to the pole of $T$, it then becomes reasonable to ask whether rank 1 Drinfeld modules over $k$ are themselves ``modular'' in that their Galois representations arise from a cusp or double cusp form. This paper gives an introduction to \cite{boc2} with an emphasis on modularity and closes with some specific questions raised by Böckle's work.

연구 동기 및 목표

• 글로벌 함수체 위에서 랭크-1 드린펠트 모듈러스가 모듈러적인가, 즉 갈루아 표현이 코어스터프 또는 더블 코어스터프 형식에서 유래하는가를 판단하는 것.
• 클래식한 모듈러 형식과는 근본적으로 다른 양의 특성 설정에서 헤케 고유값과 $ q $-전개 계수 간의 관계를 이해하는 것.
• 균일화 가능한 드린펠트 모듈러스에서 유래하는 갈루아 표현을 실현하기 위해 필요한 모듈러 형식의 구조적 제약 조건—특히 무게와 수준—을 조사하는 것.
• 클래식한 모듈러 형식과 그 양의 특성 대응체 간의 유사성, 특히 $ dq = *q^2 dz $ 미분 조건을 고려한 분석.
• 특정 드린펠트 모듈러스, 예를 들어 $ C^{(-\theta)} \bigotimes C^{\bigotimes j} $의 갈루아 표현을 실현하는 더블 코어스터프 형식이 존재하는지 확인하는 것.

제안 방법

• Böckle의 $ \tau $-sheaf에 대한 코homological 프레임워크를 사용하여 코어스터프 및 더블 코어스터프 형식에서 갈루아 표현을 구성한다.
• $ \mathbb{F}_r(T) $ 위에서의 드린펠트 모듈러스 이론, 특히 $ \mathbb{F}_r((1/\theta)) $에서 균일화 가능한 것들을 활용하여 $ v $-adic 표현을 정의한다.
• 양의 특성에서의 $ q $-전개 원리를 활용하며, 여기서 $ dq = *q^2 dz $ 이며, 대수적 상반평면 위의 모듈러 형식을 분석한다.
• 코어스터프 및 더블 코어스터프 형식의 공간에 작용하는 헤케 연산자를 사용하여 고유값과 갈루아 표현 간의 관계를 설정한다.
• $ \mathbb{F}_r[T] $에서의 $ (r-1) $-거듭제곱 상호작용 법칙을 적용하여 관련 갈루아 문자의 도수와 수준을 예측한다.
• 크리스탈 위에서의 $ Rf_* $에 대한 코homological 방법을 활용하여 모듈러성을 연구하지만, 순수성(purity)이 유지되지 않아 무게 예측이 복잡해진다.

실험 결과

연구 질문

• RQ1 모든 $ j \geq 0 $ 이며 $ j \equiv 0 \pmod{r-1} $ 인 경우에 대해, $ C^{(-\theta)} \otimes C^{\otimes j} $의 Böckle 갈루아 표현 체계와 일치하는 어떤 무게와 수준의 더블 코어스터프 형식이 존재하는가?
• RQ2 주어진 랭크-1 드린펠트 모듈러스가 $ \mathbb{F}_r(\theta) $ 위에서 균일화 가능하고 $ \mathbb{F}_r((1/\theta)) $에서 균일화되는 경우, 그 갈루아 표현을 실현하는 데 필요한 적절한 무게와 수준는 무엇인가?
• RQ3 양의 특성 설정에서, 고유형식의 $ q $-전개 계수와 그 헤케 고유값 간의 관계는 어떻게 되는가? 이는 비클래식적 미분 $ dq = *q^2 dz $ 덕분에 다르게 나타난다.
• RQ4 양의 특성에서 $ \tau $-sheaf의 $ L $-함수에 대해 고전 사례와 유사한 함수방정식을 구성할 수 있는가?
• RQ5 코어스터프 형식 공간에서 더블 코어스터프 형식의 여집합을 생성하는 고유형식의 일반적 구성 방법이 존재하는가?

주요 결과

• Böckle 이론에 의해 코어스터프 및 더블 코어스터프 형식에서 유도된 갈루아 표현은 헤케 고유값과 호환됨을 보여, 모듈러성과의 기초적 연결 고리를 확립한다.
• 드린펠트 모듈러스 $ C^{(-\theta)} $의 경우, 관련 문자 $ \chi_{-\theta} $의 유한 부분의 도수는 $ (T) $이며, 이는 그를 실현하는 어떤 모듈러 형식의 수준이 $ (T) $여야 한다는 것을 시사한다.
• 양의 특성 설정에서 $ q $-전개 계수와 헤케 고유값 간의 관계는 매우 비틀림이 있으며, 고전 사례와는 근본적으로 다름을 보인다. 이는 $ dq = *q^2 dz $ 미분 조건 때문이기도 하다.
• 현재까지 헤케 고유값에서 $ q $-전개 계수를 재구성할 수 있는 일반적 방법은 알려져 있지 않으며, 이는 이 이론에 중대한 격차가 있음을 시사한다.
• 모듈러 형식의 공간은 유한차원임이 카프란프의 콪팩티피케이션과 코herent 코hom올로지에 의해 입증되어, 분류 가능성에 대한 지원을 제공한다.
• $ Rf_* $에서의 순수성의 부재는 주어진 갈루아 표현을 실현하는 모듈러 형식의 무게를 간단히 예측할 수 없음을 의미한다.