English
Related papers

Related papers: A constructive approach to higher homotopy operati…

200 papers

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…

Algebraic Topology · Mathematics 2010-11-02 Eric Hoffbeck

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

Category Theory · Mathematics 2023-09-01 Sandra Mantovani , Mariano Messora , Enrico M. Vitale

We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization…

Algebraic Topology · Mathematics 2019-02-13 Tomer M. Schlank , Lior Yanovski

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…

Differential Geometry · Mathematics 2025-06-05 Sebastián Daza , João Nuno Mestre

Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…

Logic · Mathematics 2020-07-08 Peter LeFanu Lumsdaine , Mike Shulman

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…

Algebraic Topology · Mathematics 2017-09-26 Nick Gurski , Niles Johnson , Angélica M. Osorno

We define an obstruction to the formality of a differential graded algebra over a graded operad defined over a commutative ground ring. This obstruction lives in the derived operadic cohomology of the algebra. Moreover, it determines all…

K-Theory and Homology · Mathematics 2021-09-06 Fernando Muro

We describe a conjecture on the algebra of higher cohomology operations which leads to the computations of the differentials in the Adams spectral sequence. For this we introduce the notion of an n-th order track category which is suitable…

Algebraic Topology · Mathematics 2009-03-18 Hans-Joachim Baues

We define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call…

Algebraic Topology · Mathematics 2021-01-25 Enrique Torres-Giese

For any finite group $G$, we define the notion of a Bredon homotopy action of $G$, modelled on the diagram of fixed point sets $(X_H)_{H\leq G}$ for a $G$-space $X$, together with a pointed homotopy action of the group $N_{G}H/H$ on…

Algebraic Topology · Mathematics 2014-02-14 David Blanc , Debasis Sen

We reformulate Milgram's model of a double loop suspension in terms of a preoperad of posets, each stage of which is the poset of all ordered partitions of a finite set. Using this model, we give a combinatorial model for the evaluation map…

Algebraic Topology · Mathematics 2022-11-08 Ruizhi Huang , Jie Wu

This article gives a brief introduction to some recent work on deformation and homotopy theories of Rota-Baxter operators and more generally $\mathcal{O}$-operators on Lie algebras, by means of the differential graded Lie algebra approach.…

Quantum Algebra · Mathematics 2022-08-30 Rong Tang , Chengming Bai , Li Guo , Yunhe Sheng

Using standard calculus, explicit formulas for one-, two- and three-dimensional homotopy operators are presented. A derivation of the one-dimensional homotopy operator is given. A similar methodology can be used to derive the…

Exactly Solvable and Integrable Systems · Physics 2009-08-20 Douglas Poole , Willy Hereman

We give a construction of homotopy algebras based on ``higher derived brackets''. More precisely, the data include a Lie superalgebra with a projector on an Abelian subalgebra satisfying a certain axiom, and an odd element $\Delta$. Given…

Quantum Algebra · Mathematics 2019-01-08 Theodore Voronov

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…

Algebraic Topology · Mathematics 2019-04-12 Markus Szymik

Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum…

Algebraic Topology · Mathematics 2016-05-06 Michael Ching , John E. Harper

In condensed matter physics and related areas, topological defects play important roles in phase transitions and critical phenomena. Homotopy theory facilitates the classification of such topological defects. After a pedagogic introduction…

Statistical Mechanics · Physics 2011-03-28 Ralph Kenna

We investigate a special kind of contraction of symmetric spaces (respectively, of Lie triple systems), called homotopy. In this first part of a series of two papers we construct such contractions for classical symmetric spaces in an…

Differential Geometry · Mathematics 2012-03-06 Wolfgang Bertram , Pierre Bieliavsky

The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one…

Algebraic Topology · Mathematics 2011-05-27 Hans-Joachim Baues , Fernando Muro

This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…

Algebraic Topology · Mathematics 2021-08-25 Philippe Gaucher