Resolving mixed Hodge modules on configuration spaces

DOI10.1215/S0012-7094-99-09605-9MaRDI QIDQ1974875zbMATH OpenOpenAlexFDO

Authors E. Getzler

Publication date 27 March 2000

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9611003

zbMATH Keywords

configuration spaceHodge structuremixed Hodge modulemoduli space of elliptic curves

Mathematics Subject Classification ID

Automorphic forms, one variable (11F12) Variation of Hodge structures (algebro-geometric aspects) (14D07) Families, moduli of curves (algebraic) (14H10)

Abstract: Given a mixed Hodge module E on a scheme X over the complex numbers, and a quasi-projective morphism f:X->S, we construct in this paper a natural resolution of the nth exterior tensor power of E restricted to the nth configuration space of f. The construction is reminiscent of techniques from the theory of hyperplane arrangements, and relies on Arnold's calculation of the cohomology of the configuration space of the complex line. This resolution is S_n-equivariant. We apply it to the universal elliptic curve with complete level structure of level N>=3 over the modular curve Y(N), obtaining a formula for the S_n-equivariant Serre polynomial (Euler characteristic of H^*_c(V,Q) in the Grothendieck group of the category of mixed Hodge structures) of the moduli space M_{1,n}. In a sequel to this paper, this is applied in the calculation of the S_n-equivariant Hodge polynomial of the compactication �ar{M}_{1,n}.

Review text

Let \(\pi:X\to S\) be a continuous map of locally compact topological spaces and \(n\) a natural number. Let \(X^n/S\) be the \(n\)-th fibred power of \(X\). Let \(F(X/S,n)\) be the configuration space whose fibre \(F(X/S,n)\) over a point \(s\in S\) is a configuration of \(n\) distinct points in the fibre \(X\), and let \(j(n): F(X/S,n)\to X^n/S\) be the natural open embedding. Given a sheaf \({\mathcal F}\) of abelian groups on \(X^n/S\), the author introduces a natural resolution of the sheaf \(j(n)_!j(n)^*{\mathcal F}\) by sums of terms of the form \(i(J)_!i(J)^*{\mathcal F}\), where \(i(J)\) is the closed embedding of a diagonal associated with a partition \(J\) of \([1,n)]\). This resolution has the property that if \({\mathcal F}\) is \(\mathfrak S_n\)-equivariant, so is the resolution, where the \(n\)-th symmetric group \(\mathfrak S_n\) acts on \(X^n/S\) naturally. The author then shows that a similar resolution exists when \(\pi:X\to S\) is a quasi-projective morphism of complex varieties and \({\mathcal F}\) is a mixed Hodge module. Applying this result, he obtains a formula for the relative \({\mathfrak S}_n\)-equivariant Serre characteristic of \({\mathcal M}_{1,n}/ {\mathcal M}_{1,1}\), where \({\mathcal M}_{1,n}\) is the quotient of \({\mathcal M}_{1,n}(N)\), the fine moduli space of elliptic curves of level \(N\geq 3\) with \(n\) marked points by the finite group \(\text{SL} (2,\mathbb{Z}/N)\).

Recommendations

• Symmetric products of mixed Hodge modules
• Mixed resolutions and simplicial sections
• Characteristic varieties and logarithmic differential 1-forms
• scientific article; zbMATH DE number 826029

Cites work

• A Maple package for symmetric functions
• Combinatorics and topology of complements of hyperplanes
• Configuration spaces of algebraic varieties
• scientific article; zbMATH DE number 4190548 (Why is no real title available?)
• scientific article; zbMATH DE number 3851256 (Why is no real title available?)
• scientific article; zbMATH DE number 4063250 (Why is no real title available?)
• scientific article; zbMATH DE number 4065289 (Why is no real title available?)
• scientific article; zbMATH DE number 3766017 (Why is no real title available?)
• scientific article; zbMATH DE number 3517377 (Why is no real title available?)
• scientific article; zbMATH DE number 475343 (Why is no real title available?)
• scientific article; zbMATH DE number 3328792 (Why is no real title available?)
• scientific article; zbMATH DE number 3349944 (Why is no real title available?)
• Mixed Hodge modules
• Resolving mixed Hodge modules on configuration spaces
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 3: Exp. IX--XIX
• Some aspects of groups acting on finite posets
• The cohomology ring of the colored braid group
• The Euler characteristic of the moduli space of curves
• The fixed-point partition lattices
• The semi-classical approximation for modular operads
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)

Cited in

(49)

• On the cohomology of local systems on the moduli spaces of curves of genus 2 and of Abelian surfaces. II.
• Species over a finite field
• Motivic degree zero Donaldson-Thomas invariants
• Abelianizations of derivation Lie algebras of the free associative algebra and the free Lie algebra
• Characteristic classes of Hilbert schemes of points via symmetric products
• Resolving mixed Hodge modules on configuration spaces
• Curved Koszul duality of algebras over unital versions of binary operads
• Counting the number of trigonal curves of genus 5 over finite fields
• Plethysm and cohomology representations of external and symmetric products
• Coincidences between homological densities, predicted by arithmetic
• A spectral sequence for stratified spaces and configuration spaces of points
• Betti numbers and stability for configuration spaces via factorization homology
• Free factorization algebras and homology of configuration spaces in algebraic geometry
• Cohomology of local systems on loci of \(d\)-elliptic abelian surfaces
• The equivariant Euler characteristic of moduli spaces of curves
• The structure of the tautological ring in genus one
• The Gorenstein conjecture fails for the tautological ring of \(\overline{\mathcal{M}}_{2,n}\)
• Counting curves over finite fields
• Tautological rings of spaces of pointed genus two curves of compact type
• The Betti numbers of \overline{ℳ}_{0,𝓃}(𝓇,𝒹)
• The Euler characteristic of local systems on the moduli of curves and abelian varieties of genus three
• Cohomology of moduli spaces of curves of genus three via point counts
• Twisted genera of symmetric products
• Characteristic classes of proalgebraic varieties and motivic measures
• Lectures on tropical curves and their moduli spaces
• Stability in the homology of Deligne–Mumford compactifications
• The S_n-Equivariant Rational Homology of the Tropical Moduli Spaces Δ_2,n
• Representation stability for pure braid group Milnor fibers
• Cohomology of generalized configuration spaces
• The K-theory spectrum of varieties
• The Orlik-Solomon model for hypersurface arrangements
• Projection spaces and twisted Lie algebras
• The eleventh cohomology group of
• Regularized integrals on elliptic curves and holomorphic anomaly equations
• Arithmetic harmonic analysis on character and quiver varieties
• The localization spectral sequence in the motivic setting
• Configuration spaces on a wedge of spheres and Hochschild-Pirashvili homology
• Configuration spaces as commutative monoids
• Homology Representations of Compactified Configurations on Graphs Applied to 𝓜 _2,n
• Weight 2 compactly supported cohomology of moduli spaces of curves
• \(\mathrm{RO}(G)\)-graded Bredon cohomology of Euclidean configuration spaces
• Shifted coisotropic structures for differentiable stacks
• Rational cohomology of \(\mathcal{M}_{4, 1}\)
• A construction of the polylogarithm motive
• Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves
• The \(S_n\)-equivariant Euler characteristic of \(\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r ,d)\)
• Euler characteristics of the universal Picard stack
• Universal compactified Jacobians: cohomological invariance and boundary combinatorics
• The rational cohomology of \(\overline{\mathcal{M}}_4\)

Describes a project that uses

Uses Software

• SF

This page was built for publication: Resolving mixed Hodge modules on configuration spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974875)