Related papers: The Monoid Structure on Homotopy Obstructions

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…

Let A be a regular domain of dimension d containing an infinite field and let n be an integer with 2n\geq d+3. For a stably free A-module P of rank n, we prove that (i) P has a unimodular element if and only if the euler class of P is zero…

Let R be a Noetherian commutative ring of dimension n >2 and let A=R[T,T^{-1}]. Assume that the height of the Jacobson radical of R is atleast 2. Let P be a projective A-module of rank n=dim A - 1 with trivial determinant. We define an…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies…

The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

A family of closed manifolds is called cohomologically rigid if a cohomology ring isomorphism implies a diffeomorphism for any two manifolds in the family. We establish cohomological rigidity for large families of 3-dimensional and…

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the…

The present paper can be thought of as a continuation of the paper "Introduction to sh Lie algebras for physicists" by T. Lada and J. Stasheff (International Journal of Theoretical Physics Vol. 32, No. 7 (1993), 1087--1103, appeared also as…

A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…

We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute…

Let M be a homogeneous space admitting a left translation by a connected Lie group G. The adjoint to the action gives rise to a map from G to the monoid of self-homotopy equivalences of M.The purpose of this paper is to investigate the…

Let $A$ be a ring of dimension $d$ containing an infinite field $k$, $T_1,\ldots,T_r$ be variables over $A$ and $P$ be a projective $A[T_1,\ldots,T_r]$-module of rank $n$. Assume one of the following conditions hold. (1) $2n\geq d+3$ and…

The $2$-primary Hopf invariant $1$ elements in the stable homotopy groups of spheres form the most accessible family of elements. In this paper we explore some properties of the $\mathcal{E}_\infty$ ring spectra obtained from certain…

The goal of this paper is to set up an obstruction theory in the context of algebras over an operad and in the framework of differential graded modules over a field. Precisely, the problem we consider is the following: Suppose given two…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

This is partly a survey and partly a research article. Some known results and open problems about Kaehler groups (fundamental groups of compact Kaehler manifolds) are discussed. A new notion of Kaehler homomorphism is introduced. This is a…

Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…