Source author record

Dan Petersen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.AT math.QA math.CO math.GT math.KT math.RT

Catalog footprint

Research overview

14works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The low degree cohomology of compactifications of $A_g$

We compute the low degree $\ell$ -adic intersection cohomology of symplectic local systems on the Satake compactification of the moduli space $A_g$ of principally polarized abelian varieties. We prove that only a small finite list of irreducible Galois representations can appear in the low degree cohomology of any nonsingular toroidal compactification of $A_g$ or $X_{g,s}$ , the $s$ -fold fiber product of the universal abelian variety. We give several applications, including to spaces of holomorphic forms on toroidal compactifications and to the cohomology of the interior. In particular, we give a complete characterization of when the cohomology of $X_{g,s}$ , or one of its toroidal compactifications, is of Tate type. The result is independent of the choice of toroidal compactification.

preprint2021arXiv

Factorization statistics and bug-eyed configuration spaces

A recent theorem of Hyde proves that the factorizations statistics of a random polynomial over a finite field are governed by the action of the symmetric group on the configuration space of $n$ distinct ordered points in $\mathbb R^3$ . Hyde asked whether this result could be explained geometrically. We give a geometric proof of Hyde's theorem as an instance of the Grothendieck--Lefschetz trace formula applied to an interesting, highly nonseparated algebraic space. An advantage of our method is that it generalizes uniformly to an arbitrary Weyl group. In the process we study certain non-Hausdorff models for complements of hyperplane arrangements, first introduced by Proudfoot.

preprint2020arXiv

Tautological classes with twisted coefficients

Let $M_g$ be the moduli space of smooth genus $g$ curves. We define a notion of Chow groups of $M_g$ with coefficients in a representation of $Sp(2g)$ , and we define a subgroup of tautological classes in these Chow groups with twisted coefficients. Studying the tautological groups of $M_g$ with twisted coefficients is equivalent to studying the tautological rings of all fibered powers $C_g^n$ of the universal curve $C_g \to M_g$ simultaneously. By taking the direct sum over all irreducible representations of the symplectic group in fixed genus, one obtains the structure of a twisted commutative algebra on the tautological classes. We obtain some structural results for this twisted commutative algebra, and we are able to calculate it explicitly when $g \leq 4$ . Thus we completely determine the tautological rings of all fibered powers of the universal curve over $M_g$ in these genera. We also give some applications to the Faber conjecture.

preprint2019arXiv

Cohomology of generalized configuration spaces

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$ , obtained from the cartesian product $X^n$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call "tcdga models" for the cochains on $X$ . We prove the following theorem: suppose that $X$ is a "nice" topological space, $R$ is any commutative ring, $H^\bullet_c(X,R)\to H^\bullet(X,R)$ is the zero map, and that $H^\bullet_c(X,R)$ is a projective $R$ -module. Then the compact support cohomology of any generalized configuration space of points on $X$ depends only on the graded $R$ -module $H^\bullet_c(X,R)$ . This generalizes a theorem of Arabia.

preprint2017arXiv

A vanishing result for tautological classes on the moduli of K3 surfaces

Looijenga's vanishing theorem on the moduli space of curves $M_g$ says that the tautological ring vanishes above degree $g-2$ . We prove an analogous result for the tautological cohomology ring of the moduli space of K3 surfaces.

preprint2015arXiv

Poincaré duality of wonderful compactifications and tautological rings

Let $g \geq 2$ . Let $M_{g,n}^{rt}$ be the moduli space of $n$ -pointed genus $g$ curves with rational tails. Let $C_g^n$ be the $n$ -fold fibered power of the universal curve over $M_g$ . We prove that the tautological ring of $M_{g,n}^{rt}$ has Poincaré duality if and only if the same holds for the tautological ring of $C_g^n$ . We also obtain a presentation of the tautological ring of $M_{g,n}^{rt}$ as an algebra over the tautological ring of $C_g^n$ . This proves a conjecture of Tavakol. Our results are valid in the more general setting of wonderful compactifications.

preprint2014arXiv

Cohomology of local systems on the moduli of principally polarized abelian surfaces

Let A_2 be the moduli stack of principally polarized abelian surfaces and V a smooth l-adic sheaf on A_2 associated to an irreducible rational finite dimensional representation of Sp(4). We give an explicit expression for the cohomology of V in any degree in terms of Tate type classes and Galois representations attached to elliptic and Siegel cusp forms. This confirms a conjecture of Faber and van der Geer. As an application we prove a dimension formula for vector-valued Siegel cusp forms for Sp(4,Z) of weight three, which had been conjectured by Ibukiyama.

preprint2013arXiv

A remark on Getzler's semi-classical approximation

Ezra Getzler notes in the proof of the main theorem of "The semi-classical approximation for modular operads" that "A proof of the theorem could no doubt be given using [a combinatorial interpretation in terms of a sum over necklaces]; however, we prefer to derive it directly from Theorem 2.2". In this note we give such a direct combinatorial proof using wreath product symmetric functions.

preprint2013arXiv

Minimal models, GT-action and formality of the little disk operad

We give a new proof of formality of the operad of little disks. The proof makes use of an operadic version of a simple formality criterion for commutative differential graded algebras due to Sullivan. We see that formality is a direct consequence of the fact that the Grothendieck-Teichmüller group operates on the chain operad of little disks.

preprint2012arXiv

Cohomology of local systems on loci of d-elliptic abelian surfaces

We consider the loci of d-elliptic curves in $M_2$ , and corresponding loci of d-elliptic surfaces in $A_2$ . We show how a description of these loci as quotients of a product of modular curves can be used to calculate cohomology of natural local systems on them, both as mixed Hodge structures and $\ell$ -adic Galois representations. We study in particular the case d=2, and compute the Euler characteristic of the moduli space of n-pointed bi-elliptic genus 2 curves in the Grothendieck group of Hodge structures.

preprint2012arXiv

Cusp form motives and admissible $G$ -covers

The moduli space of twisted stable maps into the stack $B(\Z/m\Z)^2$ carries a natural $S_n$ -action and so its cohomology may be decomposed into irreducible $S_n$ -representations. Working over $\Spec \Z[1/m]$ we show that the alternating part of the cohomology of one of its connected components is exactly the cohomology associated to cusp forms for $Γ(m)$ . In particular this offers an alternative to Scholl's construction of the Chow motive associated to such cusp forms. This answers in the affirmative a question of Manin on whether one can replace the Kuga-Sato varieties used by Scholl with some moduli space of pointed stable curves.

preprint2012arXiv

On the operad structure of admissible G-covers

We describe the modular operad structure on the moduli spaces of pointed stable curves equipped with an admissible $G$ -cover. To do this we are forced to introduce the notion of an operad colored not by a set but by the objects of a category. This construction interpolates in a sense between `framed' and `colored' versions of operads; we hope that it will be of independent interest. An algebra over this operad is the same thing as a $G$ -equivariant CohFT, as defined by Jarvis, Kaufmann and Kimura. We prove that the (orbifold) Gromov--Witten invariants of global quotients $[X/G]$ give examples of $G$ -CohFTs.

preprint2012arXiv

The Gorenstein conjecture fails for the tautological ring of $\mathcal{\bar M}_{2,n}$

Let $N$ be the smallest integer such that there is a non-tautological cohomology class of even degree on $\mathcal{\bar M}_{2,N}$ . We remark that there is such a non-tautological class on $\mathcal{\bar M}_{2,20}$ , by work of Graber and Pandharipande. We show that $\mathcal{\bar M}_{2,N}$ has non-tautological cohomology only in one degree, which is not the middle degree. In particular, it follows that the tautological ring of $\mathcal{\bar M}_{2,N}$ is not Gorenstein. We present some evidence suggesting that N=20 holds.

preprint2012arXiv

The structure of the tautological ring in genus one

We prove Getzler's claims about the tautological ring of stable curves of genus one, i.e. that the tautological ring coincides with the even cohomology ring, and that all relations between generators follow from the WDVV relation and Getzler's relation.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dan Petersen

Research overview

Is this your work?

14 publications

The low degree cohomology of compactifications of $A_g$

Factorization statistics and bug-eyed configuration spaces

Tautological classes with twisted coefficients

Cohomology of generalized configuration spaces

A vanishing result for tautological classes on the moduli of K3 surfaces

Poincaré duality of wonderful compactifications and tautological rings

Cohomology of local systems on the moduli of principally polarized abelian surfaces

A remark on Getzler's semi-classical approximation

Minimal models, GT-action and formality of the little disk operad

Cohomology of local systems on loci of d-elliptic abelian surfaces

Cusp form motives and admissible $G$ -covers

On the operad structure of admissible G-covers

The Gorenstein conjecture fails for the tautological ring of $\mathcal{\bar M}_{2,n}$

The structure of the tautological ring in genus one

See the researcher in context

Building this map preview

Dan Petersen

Research overview

Is this your work?

14 publications

The low degree cohomology of compactifications of AgA_gAg​

Factorization statistics and bug-eyed configuration spaces

Tautological classes with twisted coefficients

Cohomology of generalized configuration spaces

A vanishing result for tautological classes on the moduli of K3 surfaces

Poincaré duality of wonderful compactifications and tautological rings

Cohomology of local systems on the moduli of principally polarized abelian surfaces

A remark on Getzler's semi-classical approximation

Minimal models, GT-action and formality of the little disk operad

Cohomology of local systems on loci of d-elliptic abelian surfaces

Cusp form motives and admissible GGG-covers

On the operad structure of admissible G-covers

The Gorenstein conjecture fails for the tautological ring of Mˉ2,n\mathcal{\bar M}_{2,n}Mˉ2,n​

The structure of the tautological ring in genus one

See the researcher in context

Building this map preview

The low degree cohomology of compactifications of $A_g$

Cusp form motives and admissible $G$ -covers

The Gorenstein conjecture fails for the tautological ring of $\mathcal{\bar M}_{2,n}$