We study a certain compactification of the Drinfeld period domain over a finite field which arises naturally in the context of Drinfeld moduli spaces. Its boundary is a disjoint union of period domains of smaller rank, but these are glued together in a way that is dual to how they are glued in the compactification by projective space. This compactification is normal and singular along all boundary strata of codimension $\ge2$. We study its geometry from various angles including the projective coordinate ring with its Hilbert function, the cohomology of twisting sheaves, the dualizing sheaf, and give a modular interpretation for it. We construct a natural desingularization which is smooth projective and whose boundary is a divisor with normal crossings. We also study its quotients by certain finite groups.
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 particu…
We construct a compactification of the moduli space of Drinfeld modules of rank $r$ and level $N$ as a moduli space of $A$-reciprocal maps. This is closely related to the Satake compactification, but not exactly the same. The construction involves some technical assumptions on $N$ that are satisfied for a cofinal set of ideals $N$. In the special case $A={\mathbb F}_q[t]$ and $N=(t^n)$ we obtain a presentation for the graded ideal of Drinfeld cusp forms of level $N$ and all weights and can deduce a dimension formula for the space of cusp forms of any weight. We expect the same results in gener…
In this paper we describe the compactification of the Drinfeld modular curve. This compactification is analogous to the compactification of the classical modular curve given by Katz and Mazur. We show how the Weil pairing on Drinfeld modules that we defined in earlier work gives rise to a map on the Drinfeld modular curve. We introduce the Tate-Drinfeld module and show how this describes the formal neighbourhood of the scheme of cusps of the Drinfeld modular curve.
We study compactifications of Drinfeld half-spaces over a finite field. In particular, we construct a purely inseparable endomorphism of Drinfeld's half-space $Ω(V)$ over a finite field $k$ that does not extend to an endomorphism of the projective space $P (V)$. This should be compared with theorem of Rémy, Thuillier and Werner that every $k$-automorphism of $Ω(V)$ extends to a $k$-automorphism of $P (V)$. Our construction uses an inseparable analogue of the Cremona transformation. We also study foliations on Drinfeld's half-spaces. This leads to various examples of interesting varieties in po…
Drinfeld's relative compactification plays a basic role in the theory of automorphic sheaves, and its singularities encode representation-theoretic information in the form of intersection cohomology. We introduce a resolution of singularities consisting of stable maps from nodal deformations of the curve into twisted flag varieties. As an application, we prove that the twisted intersection cohomology sheaf on Drinfeld's compactification is universally locally acyclic over the moduli stack of $G$-bundles at points sufficiently antidominant relative to their defect.
Let $X$ be a smooth complete curve, $G$ be a reductive group and $P\subset G$ a parabolic. Following Drinfeld, one defines a compactification $\widetilde{\on{Bun}}_P$ of the moduli stack of $P$-bundles on $X$. The present paper is concerned with the explicit description of the Intersection Cohomology sheaf of $\widetilde{\on{Bun}}_P$. The description is given in terms of the combinatorics of the Langlands dual Lie algebra $\check{\mathfrak g}$.
When considered as a Deligne-Lusztig variety, the Drinfeld half space $Ω_V$ over a finite field $k$ has a compactification whose boundary divisor is normal crossing and which can be obtained by successively blowing-up projective space along linear subspaces. Pink and Schieder (2014) have introduced a new compactification of $Ω_V$ whose strata of the boundary are glued together in a way dual to the way they are for the tautological compactification by projective space. We show that by applying an analogous sequence of blow-ups to this new compactification we arrive at the compactification by De…
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 $Ω_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 $Ω_V$. Let $\hat V$ be the set $V\cup\{\infty\}$ for a new symbol $\infty$. We define the notion of a $V…
Let G be a reductive group and let Bun_G denote the moduli stack of G-bundles on a smooth projective curve. We begin the study of the singularities of a canonical compactification of Bun_G due to V. Drinfeld (unpublished), which we refer to as the Drinfeld-Lafforgue-Vinberg compactification. For G=GL_n certain smooth open substacks of this compactification have already appeared in the work of Drinfeld and of L. Lafforgue on the Langlands correspondence for function fields. The Drinfeld-Lafforgue-Vinberg compactification is however already singular for G=SL_2; questions about its singularities …
In this article we study the perverse sheaf on Drinfeld's compactification obtained by applying the geometric Jacquet functor (alias nearby cycles) to a nondegenerate Whittaker sheaf. Namely, we describe its restrictions along the defect stratification in terms of the Langlands dual Lie algebra, in particular showing that this nearby cycles sheaf is tilting. We also describe the subquotients of the monodromy filtration using the Picard-Lefschetz oscillators introduced by S. Schieder, including a proof that the subquotients are semisimple without reference to any theory of weights. This argumen…
We use Drinfeld's relative compactifications and the Tannakian viewpoint on principal bundles to construct the Harder-Narasimhan stratification of the moduli stack Bun_G of G-bundles on an algebraic curve in arbitrary characteristic, generalizing the stratification for G=GL_n due to Harder and Narasimhan to the case of an arbitrary reductive group G. To establish the stratification on the set-theoretic level, we exploit a Tannakian interpretation of the Bruhat decomposition and give a new and purely geometric proof of the existence and uniqueness of the canonical reduction in arbitrary charact…
Let $C$ be a smooth projective curve of genus 0. Let $\FF$ be the variety of complete flags in an $n$-dimensional vector space $V$. Given an $(n-1)$-tuple $α$ of positive integers one can consider the space $\MMα$ of algebraic maps of degree $α$ from $C$ to $\FF$. This space has drawn much attention recently in connection with Quantum Cohomology. The space $\MMα$ is smooth but not compact. The problem of compactification of $\MMα$ proved very important. One compactification $\MMLα$ (the space of {\em quasiflags}), was constructed in \cite{L}. However, historically the first and most economical…
For any rank 2 Drinfeld module rho defined over an algebraic function field, we consider its period matrix P, which is analogous to the period matrix of an elliptic curve defined over a number field. Suppose that the characteristic of F_q is odd and rho is without complex multiplication. We show that the transcendence degree of the field generated by the entries of P over F_q(theta) is 4. As a consequence, we show also the algebraic independence of Drinfeld logarithms of algebraic functions which are linearly independent over F_q(theta).
We survey Colmez's theory and conjecture about the Faltings height and a product formula for the periods of abelian varieties with complex multiplication, along with the function field analog developed by the authors. In this analog, abelian varieties are replaced by Drinfeld modules and $A$-motives. We also explain the necessary background on abelian varieties, Drinfeld modules and $A$-motives, including their cohomology theories and comparison isomorphisms and their theory of complex multiplication.
Let $F$ be the field of rational functions on a smooth projective curve over a finite field, and let $π$ be an unramified cuspidal automorphic representation for $\mathrm{PGL}_2$ over $F$. We prove a variant of the formula of Yun and Zhang relating derivatives of the $L$-function of $π$ to the self-intersections of Heegner-Drinfeld cycles on moduli spaces of shtukas. In our variant, instead of a self-intersection, we compute the intersection pairing of Heegner-Drinfeld cycles coming from two different quadratic extensions of $F$, and relate the intersection to the $r$-th derivative of a produc…
We show that the periods of the holomorphic Eisenstein series of level 1, parallel weight 2, on a Hilbert modular surface are not rational, even up to scaling. This is deduced from a study of the mixed Hodge structure on the cohomology of the Hilbert modular surface, where we find extension classes related to the units of the real quadratic field. We prove similar results for Hilbert modular varieties of all dimensions, and produce extensions of Galois representations in étale cohomology. The key point is to study the restriction of the canonical extension of the Hodge bundle to the boundary o…
We prove that all points of a toroidal compactification lying over 0-dimensional cusps are rationally equivalent in the integral Chow group for most classical modular varieties (Siegel, Hilbert, orthogonal, Hermitian, quaternionic). This gives a generalization, and even strengthening, of the Manin-Drinfeld theorem in higher dimension from the viewpoint of algebraic cycles. The same result no longer holds for Picard modular varieties, but for them we prove that the difference of any two "special" boundary points, which are dense in the boundary, is torsion.
S. Kondō defined a birational period map from the moduli space of genus three curves to a moduli space of degree four polarized K3 surfaces. In this paper we extend the period map to a surjective morphism on a suitable compactification of $\mathcal M_3$ and describe its geometry.
Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of…
We characterize the image of the period map for cubic fourfolds with at worst simple singularities as the complement of an arrangement of hyperplanes in the period space. It follows then that the GIT compactification of the moduli space of cubic fourfolds is isomorphic to the Looijenga's compactification associated to this arrangement. This work builds on and is a natural continuation of our previous paper on the GIT compactification of the moduli space of cubic fourfolds.
We construct fans which give Kato-Usui partial compactifications of period domains of weight -1. Similarly to the fans of toroidal compactifications, these fans are given by polyhedral decompositions. We also show a fibration structure for some kind of Kato-Usui boundary components.
Looijenga has introduced new compactifications of locally symmetric varieties that give a complete understanding of the period map from the GIT moduli space of plane sextics to the Baily-Borel compactification of the moduli space polarized K3's of degree 2, and also of the period map of cubic fourfolds. On the other hand, the period map of the GIT moduli space of quartic surfaces is significantly more subtle. In our previous paper, we introduced a Hassett-Keel-Looijenga program for certain locally symmetric varieties of Type IV. As a consequence, we gave a complete conjectural decomposition in…
For a linear algebraic group G over the field of rational numbers, we consider the period domains D classifying G-mixed Hodge structures, and construct the extended period domains as toroidal partial compactifications. We give an interpretation of higher Albanese manifolds by Hain and Zucker by using the above D for some G, and extend them via the toroidal partial compactifications.
Kato and Usui developed a theory of partial compactifications for quotients of period domains D by arithmetic groups Γ, in an attempt to generalize the toroidal compactifications of Ash-Mumford-Rapoport-Tai to non-classical cases. Their partial compactifications, which aim to fully compactify the images of period maps, rely on a choice of fan which is strongly compatible with Γ. In particular, they conjectured the existence of a complete fan, which would serve to simultaneously compactify all period maps of a given type. In this paper, we briefly review the theory, and construct a fan which co…
We study the structure of string theory flux compactification for a general family of elliptic CY 3-folds. We investigate the locus of the attractor points of the flux compactification in type IIB string theory on the boundary components of period domains. Specifically we give equations describing this locus through the asymptotic of nilpotent orbits on period domains. our approach is a mixture of techniques of asymptotic Hodge theory and the numerical period vectors used in physics.
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. In the first part of this thesis, we study the action of mirror symmetry on two-dimensional $\cN=(2,2)$ effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising from an expansion of the three-form gauge-potential into these forms depend both on the complex structure deformations and the Käh…
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on hypersurfaces in toric ambient spaces always stem from divisors that are build…
For a linear algebraic group $G$ over $\mathbf Q$, we consider the period domains $D$ classifying $G$-mixed Hodge structures, and construct the extended period domains $D_Σ$. In particular, we give toroidal partial compactifications of mixed Mumford--Tate domains, mixed Shimura varieties over $\mathbf C$, and higher Albanese manifolds.
We prove that the Drinfeld halfspace is essentially the only Deligne-Lusztig variety which is at the same time a period domain over a finite field. This is done by comparing a cohomology vanishing theorem for DL-varieties, due to Digne, Michel, and Rouquier, with a non-vanishing theorem for PD, due to the first author. We also discuss an affineness criterion for DL-varieties.
We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand th…
For a linear algebraic group $G$ over $\bf Q$, we consider the period domains $D$ classifying $G$-mixed Hodge structures, and construct the extended period domains $D_{\mathrm{BS}}$, $D_{\mathrm{SL}(2)}$, and $Γ\backslash D_Σ$. In particular, we give toroidal partial compactifications of mixed Mumford--Tate domains.
We formulate the problem of renormalization of Feynman integrals and its relation to periods of motives in configuration space instead of momentum space. The algebro-geometric setting is provided by the wonderful compactifications of arrangements of subvarieties associated to the subgraphs of a Feynman graph and a (quasi)projective variety. The motive and the class in the Grothendieck ring are computed explicitly for these wonderful compactifications, in terms of the motive of the variety and the combinatorics of the Feynman graph, using recent results of Li Li. The pullback to the wonderful c…
Let $p$ be a prime. This papers aims at investigating sheaf cohomology of a broader class of $p$-adic period domains, other then the Drinfeld's upper half space (cf. \cite{O2}). Concretely, we let $\mathbf{G}$ be a split connected reductive group over $\mathbb{Q}_p$ and restrict our attention to the $p$-adic period domain $\mathscr{F}^{\mathrm{wa}}$ which parametrizes the weakly admissible filtrations on the trivial $\mathbf{G}$-isocrystal inside a complete flag variety $\mathscr{F}$. Then, we consider sheaf cohomology of $\mathscr{F}^{\mathrm{wa}}$ with coefficients in vector bundles which ar…
I prove the existence, and describe the structure, of moduli space of pairs $(p,Θ)$ consisting of a projective variety $P$ with semiabelian group action and an ample Cartier divisor on it satisfying a few simple conditions. Every connected component of this moduli space is proper. A component containing a projective toric variety is described by a configuration of several polytopes, the main one of which is the secondary polytope. On the other hand, the component containing a principally polarized abelian variety provides a moduli compactification of $A_g$. The main irreducible component of th…
This is a review article discussing the de Rham cohomology of period domains of Hodge structures. We explain it as the de Rham cohomology of differentiable stacks as of a moduli space. We also discuss the cohomology of the partial toroidal compactification of these domains using known formulas on cohomology or Chow rings of toric structures. The text is expository and we have tried to connect some existing ideas that probably their relations not processed in the literature of Hodge theory. We state the significance of ideas as they naturally could be related, probably with not serious mathemat…
