Source author record

Aniceto Murillo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.NT math.AG

Catalog footprint

Research overview

9works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Lie models of homotopy automorphism monoids and classifying fibrations

Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_π^*(X),$ where $G$ and $π$ denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of $X$ which act nilpotently on $H_*(X)$ and $π_*(X)$ . We give algebraic models, in terms of complete differential graded Lie algebras (cdgl's), of the rational homotopy type of these fibrations. Explicitly, if $L$ is a cdgl model of $X$ , there are connected sub cdgl's $Der^G L$ and $Der^π L$ of the Lie algebra $Der L$ of derivations of $L$ such that the geometrical realization of the sequences of cdgl morphisms $L\stackrel{ad}{\to} Der^G L\to Der^G L\widetilde\times sL,\qquad L\to L\widetilde\times Der^π L\to Der^π L$ have the rational homotopy type of the above classifying fibrations. Among the consequences we also describe in cdgl terms the Malcev $Q$ -completion of $G$ and $π$ together with the rational homotopy type of the classifying spaces $BG$ and $Bπ$ .

preprint2020arXiv

Rationally elliptic toric varieties

We give a characterization of all complete smooth toric varieties whose rational homotopy is of elliptic type. All such toric varieties of complex dimension not more than three are explicitly described.

preprint2017arXiv

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}$ .

preprint2016arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

$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.

preprint2012arXiv

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.

preprint2012arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Aniceto Murillo

Research overview

Is this your work?

9 publications

Lie models of homotopy automorphism monoids and classifying fibrations

Rationally elliptic toric varieties

Lie models of simplicial sets and representability of the Quillen functor

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

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

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

$L_infty$ rational homotopy of mapping spaces

The Hilali Conjecture for hyperelliptic spaces

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

See the researcher in context

Building this map preview

Aniceto Murillo

Research overview

Is this your work?

9 publications

Lie models of homotopy automorphism monoids and classifying fibrations

Rationally elliptic toric varieties

Lie models of simplicial sets and representability of the Quillen functor

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

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

Algebraic models of non-connected spaces and homotopy theory of L∞L_\inftyL∞​ algebras

LinftyL_inftyLi​nfty rational homotopy of mapping spaces

The Hilali Conjecture for hyperelliptic spaces

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

See the researcher in context

Building this map preview

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

$L_infty$ rational homotopy of mapping spaces

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