Title:Parametrized homotopic distance

Abstract:We introduce the concept of parametrized homotopic distance, extending the classical notion of homotopic distance to the fibrewise setting. We establish that it corresponds to the fibrewise sectional category of a specific fibration and derive cohomological lower bounds and connectivity upper bounds under mild conditions. The behavior of parametrized homotopic distance under compositions and products of fibrewise maps is analyzed, along with a proof of a triangle inequality. For fibrewise H-spaces admitting a fibrewise division map, we show that their parametrized topological complexity equals their fibrewise unpointed Lusternik-Schnirelman category. Furthermore, we estimate the parametrized homotopic distance of fibre-preserving, fibrewise maps between fibrewise fibrations, in terms of the parametrized homotopic distance of the induced fibrewise maps between individual fibrewise fibres, as well as the fibrewise unpointed Lusternik-Schnirelman category of the base space. We also define and study a pointed version of parametrized homotopic distance, providing cohomological bounds and identifying conditions for equivalence with the unpointed version.