[논문 리뷰] Change of Coefficients for Drinfeld Modules, Shtuka, and Abelian Sheaves

Urs Hartl, Markus Hendler|ArXiv.org|2006. 08. 10.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 유한체 위의 곡선들 사이의 유한 평탄 사상 $\pi: C' \to C$ 에서 Drinfeld $A'$-모듈로에서 Drinfeld $A$-모듈로로의 계수 제한 함자에 대해 연구한다. 이로 유도된 모듈리 공간 사이의 사상은 올바르지만 표현 가능하지 않음을 증명한다. 이 결과는 유사한 기법을 사용하여 Drinfeld-Anderson shtuka와 아벨 층으로까지 확장되며, 양의 특성 기하학에서 모듈리 이론에 핵심적인 함의를 가진다.

ABSTRACT

We study the passage from Drinfeld-A'-modules to Drinfeld-A-modules for a given finite flat inclusion A \subset A'. We show that this defines a morphism from the moduli space of Drinfeld-A'-modules to the moduli space of Drinfeld-A-modules which is proper but in general not representable. For Drinfeld-Anderson shtuka and abelian sheaves instead of Drinfeld modules we obtain the same results.

연구 동기 및 목표

• 유한체 위의 곡선들 사이의 유한 평탄 사상 $\pi: C' \to C$ 를 통한 Drinfeld $A$-모듈로의 계수 제한에 따른 행동을 분석한다.
• Drinfeld-Anderson shtuka와 아벨 층으로의 분석을 확장한다. 이들은 고차원 설정에서 Drinfeld 모듈로를 일반화한다.
• 계수 제한에 의해 유도된 모듈리 공간 사이의 사상이 표현 가능한지 여부를 판단한다. 이는 모듈리 이론의 핵심 질문이다.
• 가장자리 기준을 통한 올바름을 증명하고, 구체적인 반례를 통해 표현 가능성을 부정한다.
• 계수 제한 함자라는 공통 프레임워크를 통해 이 세 가지 관련 기하적 대상들을 통합적으로 다룬다.

제안 방법

• 체 $\mathbb{F}_q$ 위의 스킴에서 Drinfeld $A$-모듈로, shtuka, 아벨 층을 정의한다. 여기서 $A = \Gamma(C \setminus \{\infty\}, \mathcal{O}_C)$ 이다.
• $\pi^*: A \to A'$ 를 통한 당김을 통해 계수 제한 함자를 구성하고, 모듈리 함자 사이의 사상을 유도한다.
• Drinfeld 모듈로와 Drinfeld-Anderson shtuka 사이, Drinfeld 모듈로와 아벨 층 사이의 반대동치를 이용해 결과를 이전한다.
• 가장자리 기준을 사용하여 올바름을 증명한다: 평탄성의 분수체 위의 동형사상은 항상 링 위로 유일하게 확장된다.
• 특정 $\tau$-모듈로의 비자유성에 기반하여, 아벨 층을 통해 표현 가능성을 부정하는 구체적 반례를 구성한다.
• Gardeyn 및 다른 이들의 $\tau$-모듈로와 $\Pi_i^{-1} \circ \tau_i$-불변 부분모듈로의 최대성에 관한 결과를 적용하여 동형사상의 올림 성질을 확립한다.

실험 결과

연구 질문

• RQ1 Drinfeld $A'$-모듈로의 모듈리 공간에서 Drinfeld $A$-모듈로의 모듈리 공간으로의 계수 제한에 의해 유도된 사상은 올바른가?
• RQ2 이 사상은 표현 가능한가, 아니면 모듈리 스택의 구조에 장애 요소가 존재하는가?
• RQ3 Drinfeld 모듈로에 대한 결과가 Drinfeld-Anderson shtuka와 아벨 층으로 얼마나 널리 확장되는가?
• RQ4 비표현 가능성은 구체적인 기하 반례를 통해 입증될 수 있는가?
• RQ5 특히 가장자리 기준 측면에서, 계수 제한 함자는 스택 수준에서 어떻게 행동하는가?

주요 결과

• Drinfeld $A'$-모듈로의 모듈리 공간에서 Drinfeld $A$-모듈로의 모듈리 공간으로의 계수 제한 사상은 올바르며, 가장자리 기준을 충족한다.
• 동일한 사상은 일반적으로 표현 가능하지 않다. 이는 이산 평탄성 링 위의 아벨 층에서 구성된 반례에 의해 입증된다.
• 표현 가능성이 성립하지 않는 이유는 특정 $\tau$-모듈로가 자유 모듈로가 아니기 때문이다. 이는 분수체 위의 동형사상이 링 위로의 올림을 방해한다.
• 결과는 Drinfeld-Anderson shtuka와 아벨 층으로도 그대로 확장되며, 동일한 올바름과 비표현 가능성 성질을 가진다.
• Drinfeld 모듈로의 올바름 증명은 F. Breuer가 제시한 특수 케이스를 일반화한 것으로, $\tau$-모듈로의 최대성 논증을 사용한다.
• 가장자리 기준에서의 동형사상 올림 성질이 성립한다: 이는 분수체의 일반점에서의 동형사상이 항상 링 전체로 유일하게 확장됨을 의미하며, 이는 올바름을 확인한다.