[논문 리뷰] Compactification of Drinfeld modular varieties and Drinfeld Modular Forms of Arbitrary Rank

Richard Pink|arXiv (Cornell University)|2010. 07. 30.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 1

한 줄 요약

이 논문은 임의의 랭크에 대해 Drinfeld 모듈라 형식의 함자적이고代수기하학적 프레임워크를 구축함으로써, Drinfeld 모듈라 다양체의 Satake 컴팩티피케이션을 정규적이고 프로젝티브 다양체로 구성한다. 모듈라 형식은 자연스럽게 확장된 앰플 라인 번들의 거듭제곱의 전역 단위로 정의되며, 컴팩티피케이션의 존재성과 유일성, 히케 연산자 및 자연스러운 준동형사상과의 호환성도 증명한다. 핵심 기여는 모든 랭크와 레벨 구조에 대해 컴팩티피케이션과 라인 번들의 확장을 통한 모듈라 형식의 체계적이고 내재된 특성화이다.

ABSTRACT

We give an abstract characterization of the Satake compactification of a general Drinfeld modular variety. We prove that it exists and is unique up to unique isomorphism, though we do not give an explicit stratification by Drinfeld modular varieties of smaller rank which is also expected. We construct a natural ample invertible sheaf on it, such that the global sections of its $k$-th power form the space of (algebraic) Drinfeld modular forms of weight $k$. We show how the Satake compactification and modular forms behave under all natural morphisms between Drinfeld modular varieties; in particular we define Hecke operators. We give explicit results in some special cases.

연구 동기 및 목표

• 임의의 랭크에 대해 컴팩티피케이션을 사용하여 Drinfeld 모듈라 형식의 일반적이고 대수기하학적 정의를 제공한다.
• 정규적이고 프로젝티브 다양체로서 Drinfeld 모듈라 다양체의 Satake 컴팩티피케이션의 존재성과 유일성을 확립한다.
• 콤팩트화 위의 자연스럽게 확장된 앰플 역행렬층의 거듭제곱의 전역 단위로 모듈라 형식을 정의한다.
• 모든 자연스러운 준동형사상, 특히 히케 연산자 포함, 다양한 모듈라 다양체 간의 구성과의 호환성을 확보한다.
• 랭크 2를 초월하여 이론을 확장하고 향후 분석기하학적 대응의 기초를 마련한다.

제안 방법

• Satake 컴팩티피케이션을 정규적이고 정수적, 올바른 다양체로 간주하여, 원래의 모듈라 다양체가 밀도 있는 열린 부분다양체로 포함된다는 것을 축약적으로 특성화한다.
• 확장된 보편 Drinfeld 모듈러스의 가역적 분리가능한 일반화된 Drinfeld 모듈러스를 통해 컴팩티피케이션을 정의한다.
• 확장된 보편 가족의 상대 리 대수의 쌍대를 통해 캐논리컬한 앰플 역행렬층 L을 구성한다.
• 모듈라 형식의 무게 k를 H⁰(M, Lᵏ)로 정의하여, 컴팩티피케이션에 의한 유한차원성 보장.
• 콤팩티피케이션이 유일한 동형사상에 대해 유일하고, 프로젝티브임을 증명한다.
• 보편 가족이 존재하지 않을 경우, 특히 작은 레벨 구조에서 몰입 및 불변량 구성 기법을 적용한다.

실험 결과

연구 질문

• RQ1 임의의 랭크에 대해 Drinfeld 모듈라 다양체의 캐논리컬한 Satake 컴팩티피케이션이 존재하는가? 그리고 유일한가?
• RQ2 모든 정수 무게의 모듈라 형식이 캄팩티피케이션 위의 확장된 라인 번들의 전역 단위를 통해 대수적으로 정의될 수 있는가?
• RQ3 이 대수기하학적 프레임워크에서 히케 연산자는 Drinfeld 모듈라 형식에 어떻게 작용하는가?
• RQ4 이 구성은 Drinfeld 모듈라 다양체 간의 모든 자연스러운 준동형사상에 대해 함자적일 수 있는가?
• RQ5 특정 레벨 구조, 예를 들어 Fq[t]에서의 레벨 (t)에 대해 모듈라 형식의 환의 구조는 어떠한가?

주요 결과

• 랭크 r인 Drinfeld 모듈라 다양체의 Satake 컴팩티피케이션은 존재하며, 고유한 동형사상에 대해 유일하고, 프로젝티브이다.
• 무게 k의 모듈라 형식의 공간은 L이 확장된 보편 Drinfeld 모듈러스의 상대 리 대수의 쌍대일 때, H⁰(M, Lᵏ)와 동형이다.
• A = Fq[t] 및 레벨 (t)의 경우, Satake 컴팩티피케이션 Mr은 프로젝티브 공간 Pr−1_F와 동형이다.
• 모듈라 형식의 환 R(Mr)는 Rr ⊗Fq F와 동형이며, Cohen-Macaulay이며, Mk(Mr)의 차원 공식은 이진 수열의 합을 포함한다.
• 정칙 부분다양체에서의 캐논리컬 층은 Lr_Mr|Mr,reg ≅ ω(2·∂Mr)를 만족하며, 경계에서 이중 극을 가진 미분형식과의 연결 고리를 형성한다.
• K(t) ⊂ K ⊂ K₁(t)인 레벨 구조 K에 대해, Mk(Mr_Fq[t],K)의 차원 공식을 유도하였으며, 군의 몫과 이항계수를 포함한다.