Related papers: The geometric Hopf invariant and surgery theory
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,…
Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…
The classical Hopf invariant is defined for a map f: S^r -> X. Here we define `hcat' which is some kind of Hopf invariant built with a construction in Ganea's style, valid for maps not only on spheres but more generally on a `relative…
The Leigh-Strassler family of N=1 marginal deformations of the N=4 SYM theory admits a Hopf algebra symmetry which is a quantum group deformation of the SU(3) part of the R-symmetry of the Ncal=4 theory. We investigate how this quantum…
The primary goal of this paper is to study topological invariants in two dimensional twofold rotation and time-reversal symmetric spinful systems. In this paper, firstly we build a new homotopy invariant based on the lifting of the Wilson…
In this paper we give an elementary proof of the proper homotopy invariance of the equivariant stable homotopy type of the configuration space $F(M,k)$ for a topological manifold $M$. Our technique is to compute the Spanier-Whitehead dual…
We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison…
We use homotopy operators for the $L_\infty$-algebra associated with an equivariant deformation problem in order to describe a smooth parametrization of the space of structures around a given one. Along the way we give new algebraic and…
This paper studies the foundations of the geometric fixed point functor in multiplicative equivariant stable homotopy theory. We introduce a new class of equivariant orthogonal spectra called generalized orbit desuspension spectra and…
We introduce and study the notion of \emph{equivariant homotopic distance} $D_G(f,g)$ between $G$-maps $f,g \colon X \to Y$. We show that the equivariant Lusternik-Schnirelmann category and the equivariant topological complexity are…
We generalise gauge theory on a graph so that the gauge group becomes a finite-dimensional ribbon Hopf algebra, the graph becomes a ribbon graph, and gauge-theoretic concepts such as connections, gauge transformations and observables are…
Establishing the fundamental relation between the homotopy invariants and the band topology of Hamiltonians has played a critical role in the recent development of topological phase research. In this work, we establish the homotopy…
Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $\tau_H(X,\pi)$ of a simply connected, compact,…
We present an algorithm that, given finite simplicial sets $X$, $A$, $Y$ with an action of a finite group $G$, computes the set $[X,Y]^A_G$ of homotopy classes of equivariant maps $\ell \colon X \to Y$ extending a given equivariant map $f…
We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…
We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
Given two maps between smooth manifolds, the obstruction to removing their coincidences (via homotopies) is measured by minimum numbers. In order to determine them we introduce and study an infinite hierarchy of Nielsen numbers N_i, i = 0,…
The main result of this paper is the $G$-homotopy invariance of the $G$-index of signature operator of proper co-compact $G$-manifolds. If proper co-compact $G$ manifolds $X$ and $Y$ are $G$-homotopy equivalent, then we prove that the…
Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…