Related papers: Twisted Homotopy: A Group Theoretic Approach
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
Twisting and classical background fields are two foundational techniques in supersymmetric quantum field theory, central to developments ranging from the Higgs mechanism to topological twisting and supersymmetric localisation. While…
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hat{\lambda} \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_{\pi})$ which restricts to $\lambda \in Z^n(B \mathsf{G};…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…
The homotopy theory of the blow up construction in algebraic and symplectic geometry is investigated via two approaches. The first approach introduces and develops fibrewise surgery theory, for which the fibrewise framing is characterized…
We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ \delta\colon…
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 define a homomorphism from (a certain extension of) the fundamental group of the Hamiltonian automorphism group of a symplectic manifold to the group of invertibles in its quantum cohomology ring. The manifold must satify a technical…
Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homotopy theory. The category theory and homotopy theory suggest…
This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism…
The main goal of the present paper is the construction of twisted generalized differential cohomology theories and the comprehensive statement of its basic functorial properties. Technically it combines the homotopy theoretic approach to…
Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy…
We calculate the weak homotopy type of the group of contactomorphisms of the three-sphere which coincide with the identity on (a neighborhood of) an overtwisted disk.
This paper studies the question of when a loop $\phi$ in the group Symp$(M,\omega)$ of symplectomorphisms of a symplectic manifold $(M,\omega)$ is isotopic to a loop that is generated by a time-dependent Hamiltonian function. (Loops with…
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight…
In this paper we make an attempt to study right loops $(S, o)$ in which, for each $y\in S$, the map $\sigma_y$ from the inner mapping group $G_S$ of $(S, o)$ to itself given by $\sigma_y (h)(x) o\ h(y)= h(xoy)$, $x\in S, h\in G_S$ is a…
Compact hyperbolic 3-manifolds are used in cosmological models. Their topology is characterized by their homotopy group $\pi_1(M)$ whose elements multiply by path concatenation. The universal covering of the compact manifold $M$ is the…
A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…