Related papers: Free loop spaces and the Cauchy--Frobenius Lemma
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…
We show that the Cantor-Schr\"oder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in…
Let E be a circle-equivariant complex-orientable cohomology theory. We show that the fixed-point formula applied to the free loopspace of a manifold X can be understood as a Riemann-Roch formula for the quotient of the formal group of E by…
We present an effective theory to describe the quantization of spherically symmetric vacuum in loop quantum gravity. We include anomaly-free holonomy corrections through a canonical transformation of the Hamiltonian of general relativity,…
There are at least two ways to approach the homotopy theory of spaces `at chromatic height $n$': one may localize with respect to $T(n)$-homology or with respect to $v_n$-periodic homotopy groups. It was already observed by Bousfield that…
We compare two area spectra proposed in loop quantum gravity in different approaches to compute the entropy of the Schwarzschild black hole. We describe the black hole in general microcanonical and canonical area ensembles for these…
The Gowdy cosmologies provide a suitable arena to further develop Loop Quantum Cosmology, allowing the presence of inhomogeneities. For the particular case of Gowdy spacetimes with the spatial topology of a three-torus and a content of…
In the Loop Quantum Gravity, black holes (or even more general Isolated Horizons) are described by a SU(2) Chern-Simons theory. There is an equivalent formulation of the horizon degrees of freedom in terms of a U(1) gauge theory which is…
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same…
For $n\geq 2$ we compute the homotopy groups of $(n-1)$-connected closed manifolds of dimension $(2n+1)$. Away from the finite set of primes dividing the order of the torsion subgroup in homology, the $p$-local homotopy groups of $M$ are…
The loop quantization of the Schwarzschild interior region, as described by a homogeneous anisotropic Kantowski-Sachs model, is re-examined. As several studies of different -inequivalent- loop quantizations have shown, to date there exists…
In this paper, we show that the Hamiltonian approach to loop quantum gravity has a fermion doubling problem. To obtain this result, we couple loop quantum gravity to a free massless scalar and a chiral fermion field, gauge fixing the many…
We derive an exact formula for the dimensionality of the Hilbert space of the boundary states of SU(2) Chern-Simons theory, which, according to the recent work of Ashtekar et al, leads to the Bekenstein-Hawking entropy of a four dimensional…
The free loops space $\Lambda X$ of a space $X$ has become an important object of study particularly in the case when $X$ is a manifold.The study of free loop spaces is motivated in particular by two main examples. The first is their…
The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…
We study an extension of Bernstein's theorem to the setting of quantum groups. For a d-tuple of free, identically distributed random variables we consider a problem of preservation of freeness under the action of a quantum subset of the…
The scheme of using the Chern-Simons action to regularize the gravitational Hamiltonian constraint is extended to including the Lorentzian term in the $k=0$ cosmological model. The Euclidean term and the Lorenzian term are thus regularized…
This chapter is a short introduction to Sullivan models. In particular, we find the Sullivan model of a free loop space and use it to prove the Vigu\'e-Poirrier-Sullivan theorem on the Betti numbers of a free loop space.
Using integral methods we recover and generalize some results by F\'{e}lix, Halperin and Thomas on the growth of the rational homology groups of free loop spaces, and obtain a new family of spaces whose $p$-torsion in homotopy groups grows…