Searcharxiv⌕ Search

arXiv subjects

Aniceto Murillo

Publications and source records attributed to Aniceto Murillo.

31 records · Page 2Linked to original sources
arXiv2018

The infinity Quillen functor, Maurer-Cartan elements and DGL realizations

We show an alternative construction of the cosimplicial free complete diferential graded Lie algebra $\mathfrak{L}_\bullet=\widehat{\mathbb{L}}(s^{-1}Δ^\bullet)$ based on a new Lie bracket formulae for Lie polynomials on a general tensor algebra. Based on it,we prove that for any complete differential graded Lie algebra $L$, its geometrical realization $\langle L\rangle=\text{Hom}_{\text{cdgl}}(\mathfrak{L}_\bullet,L)$ is isomorphic to its nerve $γ_\bullet(L)$, a deformation retract of the Getzler-Hinich realization $\text{MC}(\mathscr{A}_\bullet\widehat{\otimes} L)$.

math.AT↗
arXiv2017

Lie models of simplicial sets and representability of the Quillen functor

Extending the model of the interval, we explicitly define for each $n\ge 0$ a free complete differential graded Lie algebra $\mathfrak{L}_n$ generated by the simplices of $Δ^n$, with desuspended degrees, in which the vertices are Maurer-Cartan elements and the differential extends the simplicial chain complex of the standard $n$-simplex. The family $\{\mathfrak{L}_\bullet\}_{n\ge 0}$ is endowed with a cosimplicial differential graded Lie algebra structure which we use to construct a pair of adjoint functors between the categories of simplicial sets and complete differential graded Lie algebras given by $\langle L\rangle_\bullet=\text{ DGL} (\mathfrak{L}_\bullet,L)$ and $ \mathfrak{L}(K)=\varinjlim_K\mathfrak{L}_{\bullet} $. This new tools let us extend Quillen rational homotopy theory approach to any simplicial set $K$ whose path components are non necessarily simply connected. We prove that $\mathfrak{L} (K)$ contains a model of each component of $K$. When $K$ is a $1$-connected finite simplicial complex, the Quillen model of $K$ can be extracted from $\mathfrak{L} (K)$. When $K$ is connected then, for a perturbed differential $\partial_a$, $H_0(\mathfrak{L} (K),\partial_a)$ is the Malcev Lie completion of $π_1(K)$. Analogous results are obtained for the realization $\langle L\rangle$ of any complete $\text{DGL}$.

math.AT↗
arXiv2016

Maurer-Cartan elements in the Lie models of finite simplicial complexes

In a previous work, we have associated a complete differential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we have also a realization functor from the category of complete differential 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.

math.AT↗
arXiv2016

The gauge action, DG Lie algebra and identities for Bernoulli numbers

In this paper we prove a family of identities for Bernoulli numbers parameterized by triples of integers $(a,b,c)$ with $a+b+c=n-1$, $n\ge 4$. These identities are deduced while translating into homotopical terms the gauge action on the Maurer Cartan Set which can be seen an abstraction of the behaviour of gauge infinitesimal transformations in classical gauge theory. We show that Euler and Miki's identities, well known and apparently non related formulas, are linear combinations of our family and they satisfy a particular symmetry relation.

math.NT↗
arXiv2015

Abstract sectional category in model structures on topological spaces

We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical notion. As a result, the same conclusions hold for the abstract Lusternik-Schnirelmann category and the abstract topological complexity of a space.

math.AT↗
arXiv2014

The homotopy fixed point set of Lie group actions on elliptic spaces

Let $G$ be a compact connected Lie group, or more generally a path connected topological group of the homotopy type of a finite CW-complex, and let $X$ be a rational nilpotent $G$-space. In this paper we analyze the homotopy type of the homotopy fixed point set $X^{hG}$, and the natural injection $k\colon X^G\hookrightarrow X^{hG}$. We show that if $X$ is elliptic, that is, it has finite dimensional rational homotopy and cohomology, then each path component of $X^{hG}$ is also elliptic. We also give an explicit algebraic model of the inclusion $k$ based on which we can prove, for instance, that for $G$ a torus, $π_*(k)$ is injective in rational homotopy but, often, far from being a rational homotopy equivalence.

math.AT↗
arXiv2013

Algebraic models of non-connected spaces and homotopy theory of $L_\infty$ algebras

We develop a homotopy theory of $L_\infty$ algebras based on the Lawrence-Sullivan construction, a complete differential graded Lie algebra which, as we show, satisfies the necessary properties to become the right cylinder in this category. As a result, we obtain a general procedure to algebraically model the rational homotopy type of non-connected spaces.

math.AT↗
arXiv2012

$L_infty$ rational homotopy of mapping spaces

In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type nilpotent CW-complex $Y$. When $X$ is of finite type, non necessarily finite, we also show that the algebraic covers of these $L_\infty$ algebras model the universal covers of the corresponding mapping spaces.

math.AT↗
arXiv2012

The Lawrence-Sullivan construction is the right model of $I^+$

We prove that the universal enveloping algebra of the Lawrence-Sullivan construction is a particular perturbation of the complete Baues-Lemaire cylinder of $S^0$. Together with other evidences we present, this exhibits the Lawrence-Sullivan construction as the right model of $I^+$. From this, we also deduce a generalized Euler formula on Bernoulli numbers.

math.AT↗
arXiv2012

The Hilali Conjecture for hyperelliptic spaces

The Hilali Conjecture predicts that for a simply-connected elliptic space, the total dimension of the rational homotopy does not exceed that of the rational homology. Here we give a proof of this conjecture for a class of elliptic spaces known as hyperelliptic.

math.AT↗
arXiv2009

Nilpotency of self homotopy equivalences with coefficients

In this paper we study the nilpotency of certain groups of self homotopy equivalences. Our main goal is to extend, to localized homotopy groups and/or homotopy groups with coefficients, the general principle of Dror and Zabrodsky by which a group of self homotopy equivalences of a finite space which acts nilpotently on the homotopy groups is itself nilpotent.

math.AT↗