Hodge modules on Shimura varieties and their higher direct images in the Baily-Borel compactification
J. I. Burgos, J. Wildeshaus
备注：
62 pages; the present version of the article is the slightly modified and final version of preprint no. math.AG/0209370. It will appear in Ann. scient. ENS
We prove an analogue for Hodge modules of Pink's theorem on the degeneration of l-adic sheaves (Math. Ann. 292). Let j be the open immersion of a Shimura variety M into its Baily-Borel compactification. Its boundary has a natural stratification into locally closed subsets, each of which is itself a Shimura variety (up to taking the quotient by the action of a finite group). Let i be the inclusion of an individual such stratum M'. Saito's formalism gives a functor i^* j_* from the bounded derived category of Hodge modules on M to that of Hodge modules on M'. Our result gives a formula for the effect of i^* j_* on automorphic Hodge modules, i.e., variations of Hodge structure coming from algebraic representations of the group associated to M. This formula is of a purely representation theoretical nature.
We study the Baily-Borel compactification of a family of four-dimensional orthogonal modular varieties arising in connection with moduli and periods of compact hyperkähler manifolds of deformation generalised Kummer type. Our main results concern the classification of boundary components, their incidence relations and combinatorics.
In this paper we construct the analogue of Dedekind eta-function on the moduli space of polarized CY manifolds. We prove that the L-two norm of eta is the regularized determinants of the Laplacians of the CY metric on (0,1) forms. We construct the analogue of the Baily-Borel Compactification of the moduli space of polarized CY and prove that it has the same properties as the Baily-Borel compactification of the locally symmetric Hermitian spaces. We proved that the compactification constructed in the paper is the minimal.
In this work, we calculate the trace of a power of the Frobenius endomorphism on the fibers of the intersection complex of the Baily-Borel compactification of a Shimura variety associated to a unitary group over Q. Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncated of the full direct image. More generally, we are able to define analogs in positive characteri…
A number of compactifications familiar in complex-analytic geometry, in particular, the Baily-Borel compactification and its toroidal variants, as well as the Deligne-Mumford compactifications, can be covered by open subsets whose nonempty intersections are Eilenberg-MacLane spaces. We exploit this fact to describe the (rational) homotopy type of these spaces and the natural maps between them in terms of the simplicial sets attached to certain categories. We thus generalize an old result of Charney-Lee on the Baily-Borel compactification of A_g and recover (and rephrase) a more recent one of E…
In previous work, we have introduced a program aimed at studying the birational geometry of locally symmetric varieties of Type IV associated to moduli of certain projective varieties of K3 type. In particular, a concrete goal of our program is to understand the relationship between GIT and Baily-Borel compactifications for quartic K3 surfaces, K3's which are double covers of a smooth quadric surface, and double EPW sextics. In our first paper (arXiv:1607.01324), based on arithmetic considerations, we have given conjectural decompositions into simple birational transformations of the period ma…
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…
In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety. Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncation of the full direct image. More generally, we are able to define analogs in positive c…
The goal of this paper is to calculate the trace of the composition of a Hecke correspondence and a (high enough) power of the Frobenius at a good place on the intersection cohomology of the Satake-Baily-Borel compactification of certain Shimura varieties, to stabilize the result for Shimura varieties associated to unitary groups over $\mathbb{Q}$ and to give applications of this calculations using base change from these unitary groups to $GL_n$. ----- Le but de ce texte est de calculer la trace d'une correspondance de Hecke composee avec une puissance (assez grande) du Frobenius en une bonne …
This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.
We briefly introduce the theory of perverse sheaves with special attention to the topological situation where strata can have odd dimension. This is part of a project to use perverse sheaves on the topological reductive Borel-Serre compactification of a Hermitian locally symmetric space as a tool to study perverse sheaves on the Baily-Borel compactification, a projective algebraic variety. We sketch why the decomposition theorem holds for the natural map between the reductive Borel-Serre and the Baily-Borel compactifications. We demonstrate how to calculate extensions of simple perverse sheave…
Let X be an irreducible complex variety, S a stratification of X and F a holomorphic vector bundle on the open statum. We give geometric conditions on S and F that produce a natural extension of the k-th Chern class F as a class in the complex cohomology of X of Hodge level at least k. When X is the Baily-Borel compactification of a locally symmetric variety with its stratification by boundary components, and F an automorphic bundle on its interior, then this recovers and refines a theorem of Goresky-Pardon. In passing we define a class of simplicial resolutions of the Baily-Borel compactifica…
We construct projective toroidal compactifications for integral models of Shimura varieties of Hodge type. We also construct integral models of the minimal (Satake-Baily-Borel) compactification. Our results essentially reduce the problem to understanding the integral models themselves. As such, they cover all previously known cases of PEL type, as well as all cases of Hodge type involving parahoric level structures. At primes where the level is hyperspecial, we show that our compactifications are canonical in a precise sense. We also provide a new proof of Y. Morita's conjecture on the everywh…
We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of type IV determines such a completion canonically. This completion admits a natural contraction that leaves the complement of the arrangement untouched. The resulting completion of the arrangement complement is very much like a Baily-Borel compactification: it is the proj of an algebra of meromorphic automorphic forms. When that complement has a moduli space in…
We introduce the notion of Artin motives and cohomological motives over a scheme X. Given a cohomological motive M over X, we construct its punctual weight zero part $ω^0_X(M)$ as the universal Artin motive mapping to M. We use this to define a motive E_X over X which is an invariant of the singularities of X. The first half of the paper is devoted to the study of the functors $ω^0_X$ and the computation of the motives E_X. In the second half of the paper, we develop the application to locally symmetric varieties. Specifically, let Y be a locally symmetric variety and denote by p:W-->Z the pro…
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 …
We prove that two cusps of the same dimension in the Baily-Borel compactification of some classical series of modular varieties are linearly dependent in the rational Chow group of the compactification. This gives a higher dimensional analogue of the Manin-Drinfeld theorem. As a consequence, we obtain a higher dimensional generalization of modular units as higher Chow cycles on the modular variety.
We construct $16$ reflection groups $Γ$ acting on symmetric domains $\mathcal{D}$ of Cartan type IV, for which the graded algebras of modular forms are freely generated by forms of the same weight, and in particular the Satake--Baily--Borel compactification of $\mathcal{D} / Γ$ is isomorphic to a projective space. Four of these are previously known results of Freitag--Salvati Manni, Matsumoto, Perna and Runge. In addition we find several new modular groups of orthogonal type whose algebras of modular forms are freely generated.
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.
Let $k$ be a totally real field, and let $A/k$ be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over $k$. Then the only strictly compatible families of abstract, absolutely irreducible representations of $\gal(\ov{k}/k)$ coming from $A$ are tensor products of Tate twists of symmetric powers of two-dimensional $λ$-adic representations plus field automorphisms. The main ingredients of the proofs are the work of Borel and Tits on the `abstract' homomorphisms of almost simple algebraic groups, plus the work of Shimura on the fields…
The space $D$ of Hodge structures on a fixed polarized lattice is known as Griffiths period domain and its quotient by the isometry group of the lattice is the moduli of polarized Hodge structures of a fixed type. When $D$ is a Hermition symmetric domain then we have automorphic forms on $D$, which according to Baily-Borel theorem, they give an algebraic structure to the mentioned moduli space. In this article we slightly modify this picture by considering the space $U$ of polarized lattices in a fixed complex vector space with a fixed Hodge filtration and polarization. It turns out that the i…
The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the realization of this variety as a sub-variety of the Siegel modular variety of level two and genus three .We will be to describe the equations of X in a suitable projective embedding and its Hilbert function. It will turn out that X is normal. A further model comes from geometric invariant theory using so-called semistable degenerated point configurations in (P^1)^8 …
