Related papers: Central H-spaces and banded types

We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $\Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on…

We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

We develop the theory of arrangements of spheres. Consider a finite collection of codimension-$1$ subspheres in a positive-dimensional sphere. There are two posets associated with this collection: the poset of faces and the poset of…

In this paper we will introduce a new notion of geometric structures defined by systems of closed differential forms in term of the Clifford algebra of the direct sum of the tangent bundle and the cotangent bundle on a manifold. We develop…

We first describe the action of the fundamental group of a closed surface of variable negative curvature on the oriented geodesics in its universal covering in terms of a naturally-defined flat connection whose holonomy lies in the group of…

Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…

Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…

Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…

We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that…

We give a classification theorem of certain geometric objects, called torsors over the sheaf of K-theory spaces, in terms of Tate vector bundles. This allows us to present a very natural and simple, alternative approach to the Tate central…

We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…

We give p-local homotopy decompositions of the loop spaces of compact, simply-connected symmetric spaces for quasi-regular primes. The factors are spheres, sphere bundles over spheres, and their loop spaces. As an application, upper bounds…

We introduce the notion of cyclic cohomology of an A-infinity algebra and show that the deformations of an A-infinity algebra which preserve an invariant inner product are classified by this cohomology. We use this result to construct some…

A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of…

We present a general construction of embedded minimal and constant mean curvature surfaces in $\mathbb{S}^n$ and one-phase free boundaries joined by a smooth interpolation by capillary hypersurfaces. This framework recovers all known…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

We introduce a construction that simultaneously yields cusped spaces of relatively hyperbolic groups, and spaces quasi-isometric to Teichmueller metrics. We use this to study Dehn-filling-like quotients of various groups, among which…

We study constant Q-curvature metrics conformal to the round metric on the sphere with finitely many point singularities. We show that the moduli space of solutions with finitely many punctures in fixed positions, equipped with the…