We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Algebraic Geometry

Title: Compactification of the finite Drinfeld period domain as a moduli space of ferns

Abstract: Let $\mathbb{F}_q$ be a finite field with $q$ elements and let $V$ be a vector space over $\mathbb{F}_q$ of dimension $n>0$. Let $\Omega_V$ be the Drinfeld period domain over $\mathbb{F}_q$. This is an affine scheme of finite type over $\mathbb{F}_q$, and its base change to $\mathbb{F}_q(t)$ is the moduli space of Drinfeld $\mathbb{F}_q[t]$-modules with level $(t)$ structure and rank $n$. In this thesis, we give a new modular interpretation to Pink and Schieder's smooth compactification $B_V$ of $\Omega_V$. Let $\hat V$ be the set $V\cup\{\infty\}$ for a new symbol $\infty$. We define the notion of a $V$-fern over an $\mathbb{F}_q$-scheme $S$, which consists of a stable $\hat V$-marked curve of genus $0$ over $S$ endowed with a certain action of the finite group $V\rtimes \mathbb{F}_q^\times$. Our main result is that the scheme $B_V$ represents the functor that associates an $\mathbb{F}_q$-scheme $S$ to the set of isomorphism classes of $V$-ferns over $S$. Thus $V$-ferns over $\mathbb{F}_q(t)$-schemes can be regarded as generalizations of Drinfeld $\mathbb{F}_q[t]$-modules with level $(t)$ structure and rank $n$. To prove this theorem, we construct an explicit universal $V$-fern over $B_V$. We then show that any $V$-fern over a scheme $S$ determines a unique morphism $S\to B_V$, depending only its isomorphism class, and that the $V$-fern is isomorphic to the pullback of the universal $V$-fern along this morphism. We also give several functorial constructions involving $V$-ferns, some of which are used to prove the main result. These constructions correspond to morphisms between various modular compactifications of Drinfeld period domains over $\mathbb{F}_q$. We describe these morphisms explicitly.
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Cite as: arXiv:2004.14742 [math.AG]
  (or arXiv:2004.14742v1 [math.AG] for this version)

Submission history

From: Alexandre Puttick [view email]
[v1] Thu, 30 Apr 2020 13:00:48 GMT (389kb,D)

Link back to: arXiv, form interface, contact.