scholarly journals Homotopy theory of complete Lie algebras and Lie models of simplicial sets

2018 ◽  
Vol 11 (3) ◽  
pp. 799-825
Author(s):  
Urtzi Buijs ◽  
Yves Félix ◽  
Aniceto Murillo ◽  
Daniel Tanré
Keyword(s):  
Lie Algebras ◽  
Homotopy Theory ◽  
Simplicial Sets

Algebraic Homotopy Theory

1981 ◽  
Vol 33 (2) ◽  
pp. 302-319 ◽  
Author(s):  
J. F. Jardine
Keyword(s):  
Homotopy Type ◽  
Homotopy Theory ◽  
Unique Factorization ◽  
Contravariant Functor ◽  
Unique Factorization Domain ◽  
Simplicial Sets ◽  
Simplicial Set ◽  
Image Position ◽  
Algebraic Homotopy Theory

Kan and Miller have shown in [9] that the homotopy type of a finite simplicial set K can be recovered from its R-algebra of 0-forms A0K, when R is a unique factorization domain. More precisely, if is the category of simplicial sets and is the category of R-algebras there is a contravariant functorwiththe simplicial set homomorphisms from X to the simplicial R-algebra ∇, whereand the faces and degeneracies of ∇ are induced byandrespectively.

scholarly journals A strictly commutative model for the cochain algebra of a space

2020 ◽  
Vol 156 (8) ◽  
pp. 1718-1743
Author(s):  
Birgit Richter ◽  
Steffen Sagave
Keyword(s):  
Homotopy Theory ◽  
Rational Homotopy ◽  
Graded Algebras ◽  
Differential Graded Algebra ◽  
Simplicial Sets ◽  
Differential Graded Algebras ◽  
Chain Complexes ◽  
Simplicial Set ◽  
New Construction ◽  
Integral Version

AbstractThe commutative differential graded algebra $A_{\mathrm {PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal {I}}(X)$ of $A_{\mathrm {PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal {I}$ to model $E_{\infty }$ differential graded algebras (dga) by strictly commutative objects, called commutative $\mathcal {I}$-dgas. We define a functor $A^{\mathcal {I}}$ from simplicial sets to commutative $\mathcal {I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty }$ dga of cochains. The functor $A^{\mathcal {I}}$ shares many properties of $A_{\mathrm {PL}}$, and can be viewed as a generalization of $A_{\mathrm {PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal {I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.

scholarly journals Dwyer–Kan homotopy theory for cyclic operads

2021 ◽  
pp. 1-30
Author(s):  
Gabriel C. Drummond-Cole ◽  
Philip Hackney
Keyword(s):  
Homotopy Theory ◽  
Forgetful Functor ◽  
General Definition ◽  
Model Structure ◽  
Simplicial Sets ◽  
Explicit Formulae

Abstract We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic operads to coloured operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski–Moerdijk model structure on the category of coloured operads enriched in simplicial sets to the category of coloured cyclic operads enriched in simplicial sets.

Lusternik-Schnirelmann Category and Algebraic R-Local Homotopy Theory

1998 ◽  
Vol 50 (4) ◽  
pp. 845-862
Author(s):  
H. Scheerer ◽  
D. Tanré
Keyword(s):  
Lie Algebras ◽  
Homotopy Theory ◽  
Lusternik Schnirelmann

AbstractIn this paper, we define the notion of R*-LS category associated to an increasing system of subrings of ℚ and we relate it to the usual LS-category. We also relate it to the invariant introduced by Félix and Lemaire in tame homotopy theory, in which case we give a description in terms of Lie algebras and of cocommutative coalgebras, extending results of Lemaire-Sigrist and Félix-Halperin.

scholarly journals Maurer–Cartan Elements in the Lie Models of Finite Simplicial Complexes

2017 ◽  
Vol 60 (3) ◽  
pp. 470-477 ◽  
Author(s):  
Urtzi Buijs ◽  
Yves Félix ◽  
Aniceto Murillo ◽  
Daniel Tanré
Keyword(s):  
Simplicial Complex ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Simplicial Complexes ◽  
Connected Components ◽  
Homotopy Groups ◽  
Graded Lie Algebras ◽  
Simplicial Sets ◽  
Graded Lie Algebra ◽  
Finite Simplicial Complex

AbstractIn a previous work, we associated a complete diòerential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we also have a realization functor fromthe category of complete diòerential graded Lie algebras to the category of simplicial sets. We have already interpreted the homology of a Lie algebra in terms of homotopy groups of its realization. In this paper, we begin a dictionary between models and simplicial complexes by establishing a correspondence between the Deligne groupoid of the model and the connected components of the finite simplicial complex.

scholarly journals Univalence for inverse diagrams and homotopy canonicity

2014 ◽  
Vol 25 (5) ◽  
pp. 1203-1277 ◽  
Author(s):  
MICHAEL SHULMAN
Keyword(s):  
Natural Number ◽  
Type Theory ◽  
Homotopy Theory ◽  
Partial Answer ◽  
Syntactic Category ◽  
Simplicial Sets ◽  
New Models ◽  
Universe Of Sets

We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy fibrant diagrams correspond to contexts of a certain shape in type theory. This has two main applications. First, by considering inverse diagrams in Voevodsky's univalent model in simplicial sets, we obtain new models of univalence in a number of (∞, 1)-toposes; this answers a question raised at the Oberwolfach workshop on homotopical type theory. Second, by gluing the syntactic category of univalent type theory along its global sections functor to groupoids, we obtain a partial answer to Voevodsky's homotopy-canonicity conjecture: in 1-truncated type theory with one univalent universe of sets, any closed term of natural number type is homotopic to a numeral.

scholarly journals Deformations and Homotopy Theory of Relative Rota–Baxter Lie Algebras

2020 ◽  
Author(s):  
Andrey Lazarev ◽  
Yunhe Sheng ◽  
Rong Tang
Keyword(s):  
Large Class ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Homotopy Theory ◽  
Lie Bialgebras ◽  
Infinitesimal Deformations ◽  
Baxter Operator

Abstract We determine the $$L_\infty $$ L ∞ -algebra that controls deformations of a relative Rota–Baxter Lie algebra and show that it is an extension of the dg Lie algebra controlling deformations of the underlying $$\mathsf {Lie}\mathsf {Rep}$$ Lie Rep  pair by the dg Lie algebra controlling deformations of the relative Rota–Baxter operator. Consequently, we define the cohomology of relative Rota–Baxter Lie algebras and relate it to their infinitesimal deformations. A large class of relative Rota–Baxter Lie algebras is obtained from triangular Lie bialgebras and we construct a map between the corresponding deformation complexes. Next, the notion of a homotopy relative Rota–Baxter Lie algebra is introduced. We show that a class of homotopy relative Rota–Baxter Lie algebras is intimately related to pre-Lie$$_\infty $$ ∞ -algebras.

Sign in / Sign up

Export Citation Format

Share Document