• ### Subdivisional spaces and graph braid groups(1708.02351)

March 3, 2019 math.AT, math.GT
We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we decompose $X$ and show that the homology of the configuration spaces of $X$ is computed by the derived tensor product of the Morse complexes of the pieces of the decomposition, an analogue of the monoidal excision property of factorization homology. Applying this theory to the configuration spaces of a graph, we recover a cellular chain model due to \'{S}wi\k{a}tkowski. Our method of deriving this model enhances it with various convenient functorialities, exact sequences, and module structures, which we exploit in numerous computations, old and new.
• ### Configuration spaces of products(1710.05093)

May 20, 2018 math.AT
We show that the configuration spaces of a product of parallelizable manifolds may be recovered from those of the factors as the Boardman-Vogt tensor product of right modules over the operads of little cubes of the appropriate dimension. We also discuss an analogue of this result for manifolds that are not necessarily parallelizable, which involves a new operad of skew little cubes.
• ### Higher enveloping algebras(1605.01391)

April 24, 2018 math.AT
We provide spectral Lie algebras with enveloping algebras over the operad of little $G$-framed $n$-dimensional disks for any choice of dimension $n$ and structure group $G$, and we describe these objects in two complementary ways. The first description is an abstract characterization by a universal mapping property, which witnesses the higher enveloping algebra as the value of a left adjoint in an adjunction. The second, a generalization of the Poincar\'{e}-Birkhoff-Witt theorem, provides a concrete formula in terms of Lie algebra homology. Our construction pairs the theories of Koszul duality and Day convolution in order to lift to the world of higher algebra the fundamental combinatorics of Beilinson-Drinfeld's theory of chiral algebras. Like that theory, ours is intimately linked to the geometry of configuration spaces and has the study of these spaces among its applications. We use it here to show that the stable homotopy types of configuration spaces are proper homotopy invariants.
• ### Configuration spaces in algebraic topology(1803.11165)

March 29, 2018 math.AT
These expository notes are dedicated to the study of the topology of configuration spaces of manifolds. We give detailed computations of many invariants, including the fundamental group of the configuration spaces of $\mathbb{R}^2$, the integral cohomology of the ordered---and the mod $p$ cohomology of the unordered---configuration spaces of $\mathbb{R}^n$, and the rational cohomology of the unordered configuration spaces of an arbitrary manifold of odd dimension. We also discuss models for mapping spaces in terms of labeled configuration spaces, and we show that these models split stably. Some classical results are given modern proofs premised on hypercover techniques, which we discuss in detail.
• ### Betti numbers of configuration spaces of surfaces(1608.07490)

July 24, 2017 math.AT
We give explicit formulas for the Betti numbers, both stable and unstable, of the unordered configuration spaces of an arbitrary surface of finite type.
• ### Betti numbers and stability for configuration spaces via factorization homology(1405.6696)

Jan. 26, 2017 math.AT
Using factorization homology, we realize the rational homology of the unordered configuration spaces of an arbitrary manifold $M$, possibly with boundary, as the homology of a Lie algebra constructed from the compactly supported cohomology of $M$. By locating the homology of each configuration space within the Chevalley-Eilenberg complex of this Lie algebra, we extend theorems of B\"odigheimer-Cohen-Taylor and F\'elix-Thomas and give a new, combinatorial proof of the homological stability results of Church and Randal-Williams. Our method lends itself to explicit calculations, examples of which we include.