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…
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…
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.
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 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, an…
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…
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…
We compute the integral $p$-adic étale cohomology of Drinfeld symmetric spaces of any dimension. This refines the computation of the rational $p$-adic étale cohomology from Colmez-Dospinescu-Nizioł. The main tools are: the computation of the integral de Rham cohomology from CDN and the integral $p$-adic comparison theorems of Bhatt-Morrow-Scholze and Česnavičius-Koshikawa which replace the quasi-integral comparison theorem of Tsuji used in CDN.
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…
We show that the cohomology of the perfect cone (also called first Voronoi) toroidal compactification of the moduli space of complex principally polarized abelian varieties stabilizes, in close to the top degree. Moreover, we show that this stable cohomology is purely algebraic, and we compute it in degree up to 13. Our explicit computations and stabilization results apply in greater generality to various toroidal compactifications and partial compactifications, and in particular we show that the cohomology of the matroidal partial compactification stabilizes (in low degree). For degree up to …
We completely determine the intersection cohomology of the Satake compactifications of the moduli space of principally polarized abelian varieties in genera 2,3,4, except for the degree 10 intersection cohomology in genus 4. We also determine all the ingredients appearing in the decomposition theorem applied to the map from a toroidal compactification to the Satake compactification in these genera. As a byproduct we obtain in addition several results about the intersection cohomology of the link bundles involved.
We prove that the cohomology groups with rational coefficients of the Voronoi compactification of the moduli space of abelian threefolds coincide with the Chow groups of that space, as determined by Van der Geer.
We determine the geometric pro-étale cohomology of Drinfeld's upper half space ${\mathcal X}$ over a p-adic field. The strategy is different from the one given by Colmez, Dospinescu and Niziol. It uses the approach developed in a former paper of the author describing global sections of equivariant vector bundles on ${\mathcal X}$.
We introduce differential characters of Drinfeld modules. These are function-field analogues of Buium's p-adic differential characters of elliptic curves and of Manin's differential characters of elliptic curves in differential algebra, both of which have had notable Diophantine applications. We determine the structure of the group of differential characters. This shows the existence of a family of interesting differential modular functions on the moduli of Drinfeld modules. It also leads to a canonical $F$-crystal equipped with a map to the de Rham cohomology of the Drinfeld module. This $F$-…
Let X be Drinfeld's half space over a p-adic field K. The de Rham cohomology of X was first computed by Schneider and Stuhler. Afterwards there were given different proofs by Alon, de Shalit, Iovita and Spiess. This paper presents yet another approach for the determination of these invariants by analysing the de Rham complex of X from the viewpoint of recent results by the author.
We relate the Belavin--Drinfeld cohomologies (twisted and untwisted) that have been introduced in the literature to study certain families of quantum groups and Lie bialgebras over a non algebraically closed field $\mathbb K$ of characteristic 0 to the standard non-abelian Galois cohomology $H^1(\mathbb K, \mathbf H)$ for a suitable algebraic $\mathbb K$-group $\mathbf H.$ The approach presented allows us to establish in full generality certain conjectures that were known to hold for the classical types of the split simple Lie algebras.
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 …
We prove a Hodge-type decomposition for the de-Rham cohomology of $ p$-adically uniformized varieties by the product of Drinfeld's symmetric spaces. It is based on work of Schneider, Stuhler, Iovita and Spiess on the cohomology of Drinfeld's symmetric space.
This paper is a sequel to [Ga1]. We study the semi-infinite category on the Ran version of the affine Grassmannian, and study a particular object in it that we call the semi-infinite intersection cohomology sheaf. Unlike the situation of [Ga1], this version of the semi-infinite intersection IC sheaf is defined as the middle of extension of the constant (more precisely, dualizing) sheaf on the basic stratum, in a certain t-structure. We give several explicit description and characterizations of our semi-infinite intersection IC sheaf: we describe its !- and *- stalks; we present it explicitly a…
We compute the p-adic geometric étale cohomology of the coverings of Drinfeld's half-plane, and we show that, if the base field is Q_p, this cohomology encodes the p-adic local Langlands correspondence for 2-dimensional de Rham representations (of weight 0 and 1).
We present an algorithm for explicitly computing the number of generators of the stable cohomology algebra of any rationally smooth partial toroidal compactification of ${\mathcal A}_g$, satisfying certain additivity and finiteness properties, in terms of the combinatorics of the corresponding toric fans. In particular the algorithm determines the stable cohomology of the matroidal partial compactification, in terms of simple regular matroids that are irreducible with respect to the 1-sum operation, and their automorphism groups. The algorithm also applies to compute the stable Betti numbers i…
We construct Landau-Ginzburg models for numerically effective complete intersections in toric manifolds as partial compactifications of families of Laurent polynomials. We show a mirror statement saying that the quantum D-module of the ambient part of the cohomology of the submanifold is isomorphic to an intersection cohomology D-module defined from this partial compactification and we deduce Hodge properties of these differential systems.
In this paper we compute the cohomology groups of the second Voronoi compactification of the moduli space of abelian fourfolds in all degrees with the exception of the middle degree 10. We also compute the cohomology groups of the perfect cone compactification in degree < 10. The main tool is the investigation of the strata of the compactification corresponding to semi-abelic varieties with constant torus rank.
We study the natural Gieseker and Uhlenbeck compactifications of the rational Calogero-Moser phase space. The Gieseker compactification is smooth and provides a small resolution of the Uhlenbeck compactification. This allows computing the IC stalks of the Uhlenbeck compactification.
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
Charney and Lee have shown that the rational cohomology of the Satake-Baily-Borel compactification the moduli space of principally polarized abelian varieties of dimension g stabilizes as g grows and they computed this stable cohomology as a Hopf algebra. We give a relatively simple algebro-geometric proof of their theorem that also takes into account the mixed Hodge structure that is present here. We find the latter to be impure.
We extend Deligne's weight filtration to the integer cohomology of complex analytic spaces (endowed with an equivalence class of compactifications). In general, the weight filtration that we obtain is not part of a mixed Hodge structure. Our purely geometric proof is based on cubical descent for resolution of singularities and Poincaré-Verdier duality. Using similar techniques, we introduce the singularity filtration on the cohomology of compactificable analytic spaces. This is a new and natural analytic invariant which does not depend on the equivalence class of compactifications and is relat…
We survey old and new results about the cohomology of the moduli space $A_g$ of principally polarized abelian varieties of genus $g$ and its compactifications. The main emphasis lies on the computation of the cohomology for small genus and on stabilization results. We review both geometric and representation theoretic approaches to the problem. The appendix provides a detailed discussion of computational methods based on trace formulae and automorphic representations, in particular Arthur's endoscopic classification of automorphic representations for symplectic groups.
The conjecture stated by Carayol in [{\em Non-abelian Lubin-Tate theory.} Automorphic forms, Shimura varieties and $L$-functions, vol II: 15--39, Academic Press,1990] predicted that the {\em supercuspidal part} of the l-adic cohomology of the moduli spaces classifying certain formal groups introduced by Drinfeld would provide a simultaneaous "realization" of Langlands and Jacquet-Langlands local correspondences for {\em supercuspidal} representations of $GL_d$. By works of Harris, Boyer, Harris-Taylor and Hausberger, this conjecture is now proved. On another hand, recent works by Boyer and Fal…
We define and study the Drinfeld-Lafforgue-Vinberg compactification of the moduli stack of G-bundles Bun_G for an arbitrary reductive group G; its definition is given in terms of the Vinberg semigroup of G, and is due to Drinfeld (unpublished). Throughout the article we prefer to view the compactification as a canonical multi-parameter degeneration of Bun_G which we call the Drinfeld-Lafforgue-Vinberg degeneration VinBun_G. We construct local models for the degeneration VinBun_G which "factorize in families" and use them to study its singularities, generalizing results of the article [Sch1] wh…
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
We study some automorphic cohomology classes of degree one on the Griffiths-Schmid varieties attached to some unitary groups in 3 variables. Using partial compactifications of those varieties, constructed by K. Kato and S. Usui, we define for such a cohomology class some analogues of Fourier-Shimura coefficients, which are cohomology classes on certain elliptic curves. We show that a large space of such automorphic classes can be generated by those with rational "coefficients". More precisely, we consider those cohomology classes that come from Picard modular forms, via some Penrose-like trans…
Let $X_0(I)$ be the Drinfeld's modular curve with level $I$ structure, where $I$ is a monic square-free ideal in $\F_{q}[T]$. In this paper we show the existence of an element in the motivic cohomology group $H^3_{\M}(X_0(I) \times X_0(I),\Q(2))$ whose regulator is related to a special value of a Ranking-Selberg convolution $L$-function. This result is the function field analogue of a theorem of Beilinson for the self product of a modular curve.
We compute the $p$-adic étale and the pro-étale cohomologies of the Drinfeld half-space of any dimension. The main input is a new comparison theorem for the $p$-adic pro-étale cohomology of $p$-adic Stein spaces.
We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine $H^k(\sgbar, \Q)$ for $g \ge 2$ and $k \le 3$, where $\sgbar$ denotes the moduli space of spin curves of genus $g$.
The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of…
By definition, the del Pezzo $3$-fold $V_5$ is the intersection of $\mathrm{Gr}(2,5)$ with three hyperplanes in $\mathbb{P}^9$ under the Plücker embedding. Rational curves in $V_5$ have been studied in various contents of Fano geometry. In this paper, we propose an explicit birational relation of the Kontsevich and Simpson compactifications of twisted cubic curves in $V_5$. As a direct corollary, we obtain a desingularized model of Kontsevich compactification which induces the intersection cohomology group of Kontsevich's space.
Beilinson obtained a formula relating the special value of the L-function of H^2 of a product of modular curves to the regulator of an element of a motivic cohomology group - thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves providing evidence for an analogous conjecture in the case of function fields.
We approach the classification of Lie bialgebra structures on simple Lie algebras from the viewpoint of descent and non-abelian cohomology. We achieve a description of the problem in terms faithfully flat cohomology over an arbitrary ring over $\mathbb{Q}$, and solve it for Drinfeld-Jimbo Lie bialgebras over fields of characteristic zero. We consider the classification up to isomorphism, as opposed to equivalence, and treat split and non-split Lie algebras alike. We moreover give a new interpretation of scalar multiples of Lie bialgebras hitherto studied using twisted Belavin-Drinfeld cohomolo…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.
Harris and Taylor proved that the supercuspidal part of the cohomology of the Lubin-Tate tower realizes both the local Langlands and Jacquet-Langlands correspondences, as conjectured by Carayol. Recently, Boyer computed the remaining part of the cohomology and exhibited two defects : first, the representations of GL\_d which appear are of a very particular and restrictive form ; second, the Langlands correspondence is not realized anymore. In this paper, we study the cohomology complex in a suitable equivariant derived category, and show how it encodes Langlands correspondance for all elliptic…
