arXiv subjects
Publications and source records attributed to Jeremy Miller.
We describe an $E_k$-cell structure on the free $E_{k+1}$-algebra on a point, and more generally describe how the May-Milgram filtration of $Ω^m Σ^m S^{k}$ lifts to a filtration of the free $E_{k+m}$-algebra on a point by iterated pushouts of free $E_k$-algebras.
Self-force theory is the leading method of modeling extreme-mass-ratio inspirals (EMRIs), key sources for the gravitational-wave detector LISA. It is well known that for an accurate EMRI model, second-order self-force effects are critical, but calculations of these effects have been beset by obstacles. In this letter we present the first implementation of a complete scheme for second-order self-force computations, specialized to the case of quasicircular orbits about a Schwarzschild black hole. As a demonstration, we calculate the gravitational binding energy of these binaries.
We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ring is Euclidean. We also construct new cohomology classes in the top dimensional cohomology group of the special linear group of some quadratic imaginary number rings.
We prove a representation stability result for the Milnor fiber associated to the pure braid group. Our result connects previous work of Simona Settepenella to representation stability in the sense of Church--Ellenberg--Farb, answering a question of Graham Denham. We also use our result to compute the stable integral homology of the Milnor fiber.
We prove a representation stability result for the second homology groups of Torelli subgroups of mapping class groups and automorphism groups of free groups. This strengthens the results of Boldsen-Hauge Dollerup and Day-Putman. We also prove a new representation stability result for the homology of certain congruence subgroups, partially improving upon the work of Putman-Sam. These results follow from a general theorem on syzygies of certain modules with finite polynomial degree.
In Appendix A of his article on rational functions, Segal proved homological stability for configuration spaces with a stability slope of 1/2. This was later improved to a slope of 1 by Church and Randal-Williams if one works with rational coefficients and manifolds of dimension at least $3$. In this note we prove that the stability slope of 1 holds even with Z[1/2] coefficients, and clarify some aspects of Segal's proof for topological manifolds.
Using the language of twisted skew-commutative algebras, we define \emph{secondary representation stability}, a stability pattern in the {\it unstable} homology of spaces that are representation stable in the sense of Church, Ellenberg, and Farb. We show that the rational homology of configuration spaces of ordered points in noncompact manifolds satisfies secondary representation stability. While representation stability for the homology of configuration spaces involves stabilizing by introducing a point ``near infinity,'' secondary representation stability involves stabilizing by introducing a pair of orbiting points -- an operation that relates homology groups in different homological degrees. This result can be thought of as a representation-theoretic analogue of \emph{secondary homological stability} in the sense of Galatius, Kupers, and Randal-Williams. In the course of the proof we establish some additional results: we give a new characterization of the homology of the complex of injective words, and we give a new proof of integral representation stability for configuration spaces of noncompact manifolds, extending previous results to nonorientable manifolds.
We introduce a technique for proving quantitative representation stability theorems for sequences of representations of certain finite linear groups over a field of characteristic zero. In particular, we prove a vanishing result for higher syzygies of VIC- and SI-modules, which can be thought of as a weaker version of a regularity theorem of Church-Ellenberg in the context of FI-modules. We apply these techniques to the rational homology of congruence subgroups of mapping class groups and congruence subgroups of automorphism groups of free groups. This partially resolves a question raised by Church and Putman-Sam. We also prove new homological stability results for mapping class groups and automorphism groups of free groups with twisted coefficients.
We prove two general results concerning spectral sequences of $\mathbf{FI}$-modules. These results can be used to significantly improve stable ranges in a large portion of the stability theorems for $\mathbf{FI}$-modules currently in the literature. We work this out in detail for the cohomology of configuration spaces where we prove a linear stable range and the homology of congruence subgroups of general linear groups where we prove a quadratic stable range. Previously, the best stable ranges known in these examples were exponential. Up to an additive constant, our work on congruence subgroups verifies a conjecture of Djament.
We define bounded generation for $E_n$-algebras in chain complexes and prove that for $n \geq 2$ this property is equivalent to homological stability. Using this we prove a local-to-global principle for homological stability, which says that if an $E_n$-algebra $A$ has homological stability (or equivalently the topological chiral homology $\int_{R^n} A$ has homology stability), then so has the topological chiral homology $\int_M A$ of any connected non-compact manifold $M$. Using scanning, we reformulate the local-to-global homological stability principle in a way that also applies to compact manifolds. We also give several applications of our results
Second-order self-force computations, which will be essential in modeling extreme-mass-ratio inspirals, involve two major new difficulties that were not present at first order. One is the problem of large scales, discussed in [Phys. Rev. D 92, 104047 (2015)]. Here we discuss the second difficulty, which occurs instead on small scales: if we expand the field equations in spherical harmonics, then because the first-order field contains a singularity, we require an arbitrarily large number of first-order modes to accurately compute even a single second-order mode. This is a generic feature of nonlinear field equations containing singularities, allowing us to study it in the simple context of a scalar toy model in flat space. Using that model, we illustrate the problem and demonstrate a robust strategy for overcoming it.
In this note we study the homology of configuration spaces of closed manifolds. We sharpen the eventual periodicity results of Nagpal and Cantero-Palmer, prove integral homological stability for configuration spaces of odd-dimensional manifolds and introduce a stabilization map on the homology with $Z[1/2]$-coefficients of configuration spaces of odd-dimensional manifolds.
By proving that several new complexes of embedded disks are highly connected, we obtain several new homological stability results. Our main result is homological stability for topological chiral homology on an open manifold with coefficients in certain partial framed $E_n$-algebras. Using this, we prove a special case of a conjecture of Vakil and Wood on homological stability for complements of closures of particular strata in the symmetric powers of an open manifold and we prove that the bounded symmetric powers of closed manifolds satisfy homological stability rationally.
We prove that the dual rational homotopy groups of the configuration spaces of a 1-connected manifold of dimension at least 3 are uniformly representation stable in the sense of Church, and that their derived dual integral homotopy groups are finitely-generated as FI-modules in the sense of Church-Ellenberg-Farb. This is a consequence of a more general theorem relating properties of the cohomology groups of a 1-connected co-FI-space to properties of its dual homotopy groups. We also discuss several other applications.
Conjecture F from [VW12] states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. We prove a generalization of this conjecture to the case of connected manifolds of dimension at least 2 and give an explicit homological stability range.
The purpose of this paper is to generalize a theorem of Segal from [Seg79] proving that the space of holomorphic maps from a Riemann surface to a complex projective space is homology equivalent to the corresponding space of continuous maps through a range of dimensions increasing with degree. We will address if a similar result holds when other almost complex structures are put on a projective space. For any compatible almost complex structure J on CP^2, we prove that the inclusion map from the space of J-holomorphic maps to the space of continuous maps induces a homology surjection through a range of dimensions tending to infinity with degree. The proof involves comparing the scanning map of topological chiral homology [Lur09], [And10], [Mil12]) with analytic gluing maps for J-holomorphic curves ([MS94], [Sik03]). This is an extension of the work done in [Mil11] regarding genus zero case.
In [Pal13] (arXiv:1106.4540) the second author proved that the sequence of "oriented" configuration spaces on an open connected manifold exhibits homological stability as the number of particles goes to infinity. To complement that result we identify the corresponding limiting space, up to homology equivalence, as a certain explicit double cover of a section space. Along the way we also prove that the scanning map of McDuff in [McD75] for unordered configuration spaces is acyclic in the limit.
The purpose of this note is to clarify some details in McDuff and Segal's proof of the group-completion theorem and to generalize both this and the homology fibration criterion of McDuff to homology with twisted coefficients. This will be used in forthcoming work to identify the limiting homology of "oriented" configuration spaces, which doubly cover the classical configuration spaces of distinct unordered points in a manifold.