The paper studies certain geometric spaces called wonderful models, which are constructed by systematically blowing up (a geometric smoothing operation) a collection of intersecting subspaces called a subspace arrangement. These spaces appear naturally in algebraic geometry and combinatorics, with a key example being the moduli space of N points on a line, denoted M_{0,N} and its compactification. The authors compute a new kind of algebraic invariant of these spaces called cellular A1-homology, which comes from motivic homotopy theory, a framework that extends classical topology to algebraic geometry by treating the affine line as a contractible object in a suitable sense.
The central technical achievement is identifying the chain complex that computes this homology with a combinatorial object, a nested-set complex, but twisted by a special element called eta. Eta is a fundamental class in motivic homotopy theory that has no classical topological counterpart and encodes arithmetic information about the base field. The key geometric calculation the authors perform is tracking what happens to this eta-class when you blow up along a smooth subvariety of codimension c: the relevant attaching class turns out to be zero when c is odd and equals eta when c is even. This parity dependence on codimension replaces and refines an earlier combinatorial parity condition found by Rains in a purely topological setting.
Because of this even/odd codimension behavior, the part of the homology that survives interaction with eta can be read off from purely combinatorial data, specifically the cohomology of a poset consisting only of the "2-divisible" elements in the intersection lattice of the arrangement. For the braid arrangement, which corresponds to the moduli space of points on a line, this translates into a condition on partitions involving only odd-sized blocks. The authors work this out explicitly, giving concrete decompositions of the A1-homology of the compactified moduli spaces in low-dimensional cases, connecting deep motivic algebra to tractable combinatorics.