On spherical Milnor Classifying Spaces I: differential geometry

TL;DR

This paper develops a differential geometric framework for generalized Milnor classifying spaces within diffeological and infinite-dimensional geometry, introducing new structures and operators.

Contribution

It introduces spherical and projective models with diffeological structures, and develops differential calculus, Hodge theory, Clifford structures, and Dirac operators on these spaces.

Findings

Constructed a natural Riemannian metric from a barycentric energy functional.

Defined differential forms and a Laplacian without the Hodge star operator.

Introduced Clifford structures and Dirac operators adapted to the framework.

Abstract

We develop a geometric framework for generalized Milnor classifying spaces in the setting of diffeological spaces and infinite-dimensional geometry. Starting from Milnor's construction, we introduce spherical and projective models endowed with natural diffeological structures compatible with gluing operations. We then investigate their tangent structures, with particular attention to the behavior at the boundary of simplices and to the distinction between tangential and higher-order normal directions. A natural Riemannian metric is constructed from a barycentric energy functional, leading to a consistent differential calculus on these spaces. This allows us to define differential forms, a Hodge-type theory based on formal adjoints, and a Laplacian without relying on the Hodge star operator. We further introduce Clifford structures and Dirac operators adapted to this framework, and study twisted versions associated with $\mathbb{Z}_2$-local systems. These structures naturally relate to non-abelian extensions and gerbe-type geometries in the sense of infinite-dimensional Lie theory. The results provide a coherent geometric setting combining classifying spaces, diffeology, and higher geometric structures.