Floer homology of fibrations I: Representing flow lines in Moore path spaces

TL;DR

This paper extends Floer homology constructions to general Hurewicz fibrations by introducing a new notion of local systems, removing previous connectivity restrictions, and representing flow lines in Moore path spaces.

Contribution

It generalizes the Floer homology framework to arbitrary Hurewicz fibrations using a novel topological local system concept.

Findings

Removed simple connectivity assumption in Floer homology of fibrations

Introduced a new notion of local systems as topological functors

Adapted the construction to any Hurewicz fibration

Abstract

In their previous work, Barraud and Cornea enriched the Lagrangian Floer complex by adding cubical chains in the based loop space of the Lagrangian, and recovered the Leray-Serre spectral sequence of the based path space fibration, assuming that the Lagrangian is weakly exact and simply connected. In the present article, we remove the simple connectivity assumption and adapt the construction to any Hurewicz fibration. To this end, we introduce a stronger notion of local systems than the classical one, as a topological functor from the free path space of a manifold to the category of topological spaces. Such functors arise naturally from a Hurewicz fibration.