Related papers: Free loop spaces and the Cauchy--Frobenius Lemma

We prove a Margulis' Lemma \`a la Besson Courtois Gallot, for manifolds whose fundamental group is a nontrivial free product A*B, without 2-torsion. Moreover, if A*B is torsion-free we give a lower bound for the homotopy systole in terms of…

We recall a group-theoretic description of the first non-vanishing homotopy group of a certain (n+1)-ad of spaces and show how it yields several formulae for homotopy and homology groups of specific spaces. In particular we obtain an…

We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is…

The Friedman--Mineyev theorem, earlier known as the (strengthened) Hanna Neumann conjecture, gives a sharp estimate for the rank of the intersection of two subgroups in a free group. We obtain an analogue of this inequality for any two…

A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical…

The celebrated area-entropy formula for black holes has provided the most important clue in the search for the elusive theory of quantum gravity. We explore the possibility that the (linear) area-entropy relation acquires some smaller…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

In \cite{BAMU}, an ergodic theorem \`a la Birkhoff-von Neumann for the action of the fundamental group of a compact negatively curved manifold on the boundary of its universal cover is proved. A quick corollary is the irreducibility of the…

Recently, Chamseddine and Mukhanov introduced a higher-derivative scalar-tensor theory which leads to a modified Friedmann equation allowing for bouncing solutions. As we note in the present work, this Friedmann equation turns out to…

Given a type A in homotopy type theory (HoTT), we can define the free infinity-group on A as the loop space of the suspension of A+1. Equivalently, this free higher group can be defined as a higher inductive type F(A) with constructors unit…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…

We introduce the concept of homotopy equivalence for Hopf Galois extensions and make a systematic study of it. As an application we determine all H-Galois extensions up to homotopy equivalence in the case when H is a Drinfeld-Jimbo quantum…

This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

Given a manifold $M$ and a proper sub-bundle $\Delta\subset TM$, we study homotopy properties of the horizontal base-point free loop space $\Lambda$, i.e. the space of absolutely continuous maps $\gamma:S^1\to M$ whose velocities are…

It is shown that in spite of a generally accepted concept, there exist nondiffeomorphic solutions to the Cauchy problem in nonempty spacetime, which implies the necessity for canonical complementary conditions. It is nonlocal quantum jumps…

We give a fully faithful integral model for spaces in terms of $\mathbb{E}_{\infty}$-ring spectra and the Nikolaus-Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain…

We study the cohomology of the free loop space of $SU(n+1)/T^n$, the simplest example of a complete flag manifolds and an important homogeneous space. Through this enhanced analysis we reveal rich new combinatorial structures arising in the…

In \cite{G}, G. Lupton conjectured that the group of self-homotopy equivalences of an $F_0$-space inducing the identity on the homotopy groups is finite. Thus, the aim of this paper is to establish this conjecture.

We consider a spherical symmetric black hole in the Schwarzschild metric and apply Bohr-Sommerfeld quantization to determine the energy levels. The canonical partition function is then computed and we show that the entropy coincides with…