The Hodge index theorem is a classical result in mathematics that relates different ways of measuring the shape and structure of geometric spaces. For smooth, well-behaved spaces, this theorem is well understood. For singular spaces, meaning spaces with points where the geometry breaks down or becomes irregular, mathematicians have proposed a generalization: a conjecture that certain topological invariants called Goresky-MacPherson L-classes should match up with invariants coming from Hodge theory, a powerful framework for studying the algebraic and analytic properties of geometric spaces. This paper investigates that conjecture specifically for spaces formed by taking a geometric object and identifying points that are related by the symmetries of a finite group, producing what is called a quotient space.
The authors prove that if the conjecture holds for the original space in a version adapted to symmetry (an equivariant version), then it automatically holds for the quotient space. They also prove a second, more independent result: even without assuming the equivariant version for the original space, the conjecture holds for the quotient as long as it holds on the fixed-point sets of each group element and a technical geometric condition about how those fixed-point sets sit inside the larger space is satisfied. Fixed-point sets are the collections of points left unchanged by a given symmetry, and they tend to be simpler objects than the full space.
The strategy for proving these results involves working simultaneously in two mathematical worlds and showing they give consistent answers. On one side is analytic K-homology, which uses tools from functional analysis and differential operators, specifically something called the signature operator, to capture topological information. On the other side is algebraic geometry, using motivic Hodge-Chern class transformations rooted in the theory of mixed Hodge modules. The authors show that invariants defined through these very different-looking approaches actually agree when you account for the group symmetry, which is the key bridge that makes the main results work.