SearcharxivSearch

arXiv subjects

Dan Petersen

Publications and source records attributed to Dan Petersen.

At least 19 recordsLinked to original sources

Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Pagani and Tommasi have introduced a class of smoothable fine compactified Jacobians $\overline{\mathcal{J}}_{g,n}^d(\sigma)\rightarrow \overline{\mathcal{M}}_{g,n}$ over the moduli space of stable curves, depending nontrivially on the degree $d$ and the choice of a stability condition $\sigma$. A theorem of Migliorini-Shende-Viviani implies that the cohomology of $\overline{\mathcal{J}}_{g,n}^d(\sigma)$ is independent of $d$ and $\sigma$, a statement which is quite unexpected from the point of view of the boundary geometry of these spaces. We reprove this independence statement using a direct combinatorial argument, summing up contributions of individual strata. The Appendix includes a result by J. Feusi characterizing when $\mathcal{J}_{g,n}^d$ and $\mathcal{J}_{g,n}^{d'}$ are $S_n$-equivariantly isomorphic over $\mathcal{M}_{g,n}$, and a result by Q. Yin showing that $[\mathcal{J}^d_g]$ and $[\mathcal{J}^{d'}_g]$ are not always equal in $K_0(\text{Var}_{\mathbb{C}})$.

math.AG

Unifying Koszul dualities via point-set models

The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul duality. In recent years, several $\infty$-categorical analogues of this adjunction have been developed, notably by Lurie, Francis--Gaitsgory, and Heuts. However, there is no comparison in the literature between the classical chain-level constructions and their higher-categorical counterparts, and in fact the two constructions are not quite compatible. In this paper we provide a unified framework relating these different forms of Koszul duality in the differential graded setting. We construct a commutative square of adjunctions, called the inclusion-restriction square, intertwining the classical operadic bar-cobar adjunction with its completed variant due to Le Grignou--Lejay. We show that this square induces an $\infty$-categorical adjunction between algebras and their Koszul dual coalgebras, recovering in particular the differential graded case of Lurie's bar-cobar adjunction, and explain precisely how our constructions relate to those of Francis--Gaitsgory and Heuts.

math.AT

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.

math.AG

Point-set models for homotopy coherent coalgebras

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on the other, we give a general definition of an $\infty$-category of coalgebras over an enriched $\infty$-operad. We show by induction over cell attachments that these two $\infty$-categories are in fact equivalent when the operad is cofibrant. This yields explicit point-set models for $\mathbb{E}_n$-coalgebras and $E_\infty$-coalgebras in the derived $\infty$-category of chain complexes over a field, and an explicit point-set model for the cellular chains functor with its $E_\infty$-coalgebra structure. After Bachmann--Burklund, this gives a point-set algebraic model for nilpotent $p$-adic homotopy types.

math.AT

The handlebody group is a virtual duality group

We show that the mapping class group of a handlebody is a virtual duality group, in the sense of Bieri and Eckmann. In positive genus we give a description of the dualising module of any torsion-free, finite-index subgroup of the handlebody mapping class group as the homology of the complex of non-simple disc systems.

math.GT

The Mumford conjecture (after Bianchi)

We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.

math.AT

Uniform twisted homological stability

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic groups. The novelty is that the stable range is independent of the choice of representation. Combined with earlier work of Bergstr\"om--Diaconu--Petersen--Westerland this proves the Conrey--Farmer--Keating--Rubinstein--Snaith predictions for all moments of the family of quadratic $L$-functions over function fields, for sufficiently large odd prime powers.

math.AT

Multiplicative Chow-K\"unneth decomposition and homology splitting of configuration spaces

We construct a splitting of the cohomology of configuration spaces of points on a smooth proper variety with a multiplicative Chow--K\"unneth decomposition. Applied to hyperelliptic curves, this shows that the hyperelliptic Torelli group acts trivially on the rational cohomology of ordered configuration spaces of points. Moreover, if $H_{g,n}$ denotes the moduli space of $n$-pointed hyperelliptic curves, the Leray spectral sequence for the forgetful map $H_{g,n} \to H_g$ degenerates immediately, in sharp contrast to the forgetful map from $M_{g,n}$ to $M_g$. This allows for new detailed calculations of the cohomology of $M_{2,n}$ for $n \leq 5$, and the stable cohomology of $H_{g,n}$ for $n \leq 5$. We also give a detailed study of the cohomology of symplectic local systems on $M_2$.

math.AG

Top weight cohomology of moduli spaces of Riemann surfaces and handlebodies

We show that a certain locus inside the moduli space $M_g$ of hyperbolic surfaces, given by surfaces with "sufficiently many" short geodesics, is a classifying space of the handlebody mapping class group. A consequence of the construction is that the top weight cohomology of $M_g$, studied by Chan-Galatius-Payne, maps injectively into the cohomology of the handlebody mapping class group.

math.GT

Hyperelliptic curves, the scanning map, and moments of families of quadratic L-functions

We compute the stable homology of the braid group with coefficients in any Schur functor applied to the integral reduced Burau representation. This may be considered as a hyperelliptic analogue of the Mumford conjecture (Madsen--Weiss theorem) with twisted coefficients. We relate the result to the function field case of conjectures of Conrey-Farmer-Keating-Rubinstein-Snaith on moments of families of quadratic $L$-functions. Combined with a recent homological stability theorem of Miller-Patzt-Petersen-Randal-Williams, our homological calculations confirm the Conrey-Farmer-Keating-Rubinstein-Snaith predictions for all large enough prime powers $q$.

math.NT

Commutative homotopical algebra embeds into non-commutative homotopical algebra

Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping spaces gives an injection on all homotopy groups at any basepoint. We prove similar results both for unital and non-unital algebras, and also Koszul dually for the universal enveloping algebra functor from dg Lie algebras to dg associative algebras. An important ingredient is a natural model for these derived mapping spaces as Maurer-Cartan spaces of complete filtered dg Lie algebras (or curved Lie algebras, in the unital case).

math.AT

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.

math.CO

Representation stability, secondary stability, and polynomial functors

We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two generalizations of classical homological stability theorems with twisted coefficients. We apply our results to prove homological stability for hyperelliptic mapping class groups with twisted coefficients, prove new representation stability results for congruence subgroups, establish secondary homological stability for groups of diffeomorphisms of surfaces viewed as discrete groups, and improve the known stable range for homological stability for general linear groups of the sphere spectrum.

math.AT

A closer look at Kadeishvili's theorem

We give a proof of the Homotopy Transfer Theorem following Kadeishvili's original strategy. Although Kadeishvili originally restricted himself to transferring a dg algebra structure to an $A_\infty$-structure on homology, we will see that a small modification of his argument proves the general case of transferring any kind of $\infty$-algebra structure along a quasi-isomorphism, under weaker hypotheses than existing proofs of this result.

math.QA

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.

math.AG

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.

math.AT