Related papers: The Monoid Structure on Homotopy Obstructions

In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.

We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the…

For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of…

Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…

We study the group of homotopy classes of self maps of compact Lie groups which induce the trivial homomorphism on homotopy groups. We completely determine the groups for SU(3) and Sp(2). We investigate these groups for simple Lie groups in…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with…

Let $(S, \n)$ be a commutative noetherian local ring and $\omega\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(\omega, \cp)$ consisting of all monomorphisms between finitely generated projective…

We construct a rational homotopy pullback decomposition for variants of the classifying space of the group of homeomorphisms for a large class of manifolds. This has various applications, including a rational section of the stabilisation…

A homology cylinder over a surface consists of a homology cobordism between two copies of the surface and markings of its boundary. The set of isomorphism classes of homology cylinders over a fixed surface has a natural monoid structure and…

Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,\phi) over X consists of an algebraic vector bundle E over X and a holomorphic section \phi of E. There is a concept of stability for pairs which…

Assume a complete superstable theory is superstable, and let P be a class of regular types, typically closed under automorphisms of the monster and non-orthogonality. We define the notion of P-NDOP and prove the existence of…

Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. $\mathrm{Hom}(\pi,G)_0$ denotes the null-component of the space of homomorphisms from $\pi$ to $G$, and $\mathrm{map}_*(B\pi,BG)_0$ denotes the null-component of…

We consider a class of non-linear PDE systems, whose equations possess Noether identities (the equations are redundant), including non-variational systems (not coming from Lagrangian field theories), where Noether identities and…

In this paper we propose to use a relative variant of the notion of the \'{e}tale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed…

We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is…

After summarising the physical approach leading to twisted homotopy and after developing the cohomological approach further with respect to our previous work we propose a third alternative approach to twisted homotopy based on group…

Let $K$ be a field. We attach to each finite poset $\mathbb P$ a von Neumann regular $K$-algebra $Q_K(\mathbb P)$ in a functorial way. We show that the monoid of isomorphism classes of finitely generated projective $Q_K(\mathbb P)$-modules…

For $Y \subset X$ a locally complete intersection of codimension p, Spencer Bloch [2] constructed the semi-regularity map $\pi: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(\Omega_{X/k}^{p-1})$. As an analogue, we construct a map $\tilde{\pi}:…