
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 spacea 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.

We show that the configuration spaces of a product of parallelizable
manifolds may be recovered from those of the factors as the BoardmanVogt
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.

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}BirkhoffWitt 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 BeilinsonDrinfeld'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.

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 orderedand the mod $p$
cohomology of the unorderedconfiguration 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.

We give explicit formulas for the Betti numbers, both stable and unstable, of
the unordered configuration spaces of an arbitrary surface of finite type.

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 ChevalleyEilenberg complex of this Lie algebra, we extend
theorems of B\"odigheimerCohenTaylor and F\'elixThomas and give a new,
combinatorial proof of the homological stability results of Church and
RandalWilliams. Our method lends itself to explicit calculations, examples of
which we include.