Searcharxiv⌕ Search

arXiv subjects

Aniceto Murillo

Publications and source records attributed to Aniceto Murillo.

At least 19 recordsLinked to original sources
arXiv2026

A stable framework for proper and exterior homotopy and cohomology theories

We develop a stable framework for exterior homotopy theory and apply it to proper homotopy theory. Starting from a known simplicial model structure on the category of exterior spaces we then pass to the proper, cellular model category of retractive exterior spaces over the ray, and establish the associated stable homotopy theory of exterior spectra. The resulting framework provides exterior analogues of several classical constructions in stable homotopy theory and sheds new light on proper homotopy theory, where the development of a satisfactory stable theory has been hindered by the lack of suitable categorical properties. As an application, we establish a Brown representability theorem for reduced exterior cohomology theories. This yields representability results for proper cohomology theories arising from the exterior setting, including cohomology theories with compact supports associated with classical generalized cohomology theories.

math.AT↗
arXiv2025

A new approach to rational stable parametrized homotopy theory

This work develops a comprehensive algebraic model for rational stable parametrized homotopy theory over arbitrary base spaces. Building on the simplicial analogue of the foundational framework of May-Sigurdsson for parametrized spectra, and the homotopy theory of complete differential graded Lie algebras, we construct an explicit sequence of Quillen equivalences that translate the homotopy theory of rational spectra of retractive simplicial sets into the purely algebraic framework of complete differential graded modules over the completed universal enveloping algebra $\widehat{UL}$ of a Lie model $L$ of the base simplicial set $B$. Explicitly, there is a sequence of Quillen adjunctions $$ \mathbf{Sp}_B \leftrightarrows \mathbf{Sp}_L \leftrightarrows \mathbf{Sp}_{\widehat{UL}}^0 \leftrightarrows \mathbf{cdgm}_{\widehat{UL}} $$ which induces a natural, strong monoidal equivalence of categories $$ {\rm Ho}\,\mathbf{Sp}_B^{\Bbb Q}\cong {\rm Ho}\, \mathbf{cdgm}_{\widehat{UL}}. $$ This equivalence is highly effective in practice as it provides direct computational access to invariants of simplicial spectra by translating them into homotopy invariants of $\widehat{UL}$-modules. Here $\mathbf{Sp}_B$ denotes the stable model category of spectra of retractive simplicial sets over $B$, $\mathbf{Sp}_L$ denotes the stable model category of spectra of retractive complete differential graded Lie algebras over $L$, $\mathbf{Sp}_{\widehat{UL}}^0$ denotes the stable model category of connected $\widehat{UL}$-module spectra, and $\mathbf{cdgm}_{\widehat{UL}}$ denotes the category of complete differential graded $\widehat{UL}$-modules.

math.AT↗
arXiv2024

Proper topological complexity

We introduce and study the proper topological complexity of a given configuration space, a version of the classical invariant for which we require that the algorithm controlling the motion is able to avoid any possible choice of ``unsafe'' area. To make it a homotopy functorial invariant we characterize it as a particular instance of the exterior sectional category of an exterior map, an invariant of the exterior homotopy category which is also deeply analyzed.

math.AT↗
arXiv2023

Rational homotopy type of relative universal fibrations

For any group $G$ of self homotopy equivalences of the finite nilpotent complex $X$, acting nilpotently on its homology, and for any nilpotent subcomplex $A$, we prove that the universal fibration $$ X \longrightarrow B(*,{\rm aut}^{A}_G(X),X)\longrightarrow B{\rm aut}^{A}_G(X), $$ which classifies $A$-fibrations for which the image of the $A$-holonomy action lies in $G$, has a Lie model of the form $$ L\longrightarrow L\widetilde\times {\cal D}er^ML\longrightarrow{\cal D}er^ML $$ in which: $M\hookrightarrow L$ is a Lie model of $A\hookrightarrow X$ and ${\cal D}er^ML$ is a connected complete differential graded Lie algebra of derivations of $L$ which vanish on $M$. The rational homotopy type of extended relative mapping fibrations is also similarly characterized.

math.AT↗
arXiv2023

The achievement set of generalized multigeometric sequences

We study the topology of all possible subsums of the generalized multigeometric series $k_1f(x)+k_2f(x)+\dots+k_mf(x)+\dots + k_1f(x^n)+\dots+k_mf(x^n)+\dots,$ where $k_1, k_2, \dots, k_m$ are fixed positive real numbers and $f$ runs along a certain class of non-negative functions on the unit interval. We detect particular regions of this interval for which this achievement set is, respectively, a compact interval, a Cantor set and a Cantorval.

math.CA↗
arXiv2022

All known realizations of complete Lie algebras coincide

We prove that for any reduced differential graded Lie algebra L, the classical Quillen geometrical realization $\langle L\rangle_Q$ is homotopy equivalent to the realization $\langle L\rangle= Hom_{\bf cdgl}(\mathfrak{L}_\bullet, L)$ constructed via the cosimplicial free complete differential graded Lie algebra $\mathfrak{L}_\bullet$. As the latter is a deformation retract of the Deligne-Getzler-Hinich realization MC${}_\bullet(L)$ we deduce that, up to homotopy, there is only one realization functor for complete differential graded Lie algebras. Immediate consequences include an elementary proof of the Baues-Lemaire conjecture and the description of the Quillen realization as a representable functor.

math.AT↗
arXiv2022

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

math.AT↗
arXiv2021

The homology of the lamplighter Lie algebra

We show that the associated Lie algebra of the Malcev $\mathbb{Q}$-completion of the lamplighter group is the pronilpotent completion of the lamplighter Lie algebra. We also prove that the homology of this completed Lie algebra is of uncountable dimension on each degree.

math.AT↗
arXiv2020

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.

math.AG↗
arXiv2019

A-infinity structures and Massey products

We show how and when it is possible to detect and recover higher Massey products on the cohomology $H$ of a differential graded algebra $A$ with higher multiplications on quasi-isomorphic $A_\infty$ structures on $H$.

math.AT↗
arXiv2019

Topological complexity of the work map

We introduce the topological complexity of the work map associated to a robot system. In broad terms, this measures the complexity of any algorithm controlling, not just the motion of the configuration space of the given system, but the task for which the system has been designed. From a purely topological point of view, this is a homotopy invariant of a map which generalizes the classical topological complexity of a space.

math.AT↗
arXiv2018

Symmetric Lie models of a triangle

R. Lawrence and D. Sullivan have constructed a Lie model for an interval from the geometrical idea of flat connections and flows of gauge transformations. Their model supports an action of the symmetric group $Σ_2$ reflecting the geometrical symmetry of the interval. In this work, we present a Lie model of the triangle with an action of the symmetric group $Σ_3$ compatible with the geometrical symmetries of the triangle. We also prove that the model of a graph consisting of a circuit with $k$ vertices admits a Maurer-Cartan element stable by the automorphisms of the graph.

math.AT↗
arXiv2018

Rational maps from Euclidean Configuration Spaces to Spheres

In this note we give an algorithm to determine the rational homotopy type of the free and pointed mapping spaces $ map(F(\mathbb R^m,k), S^n)$ and $ map^*(F(\mathbb R^m,k), S^n)$. An explicit description of these spaces is given for $k=3$. The general case for $n$ odd is also presented as an immediate consequence of the rational version of a classical result of Thom.

math.AT↗
arXiv2018

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

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential graded Lie algebras. This paper is a follow up of this work. We show that when X is a finite connected simplicial set, then the realization of the model of X is the disjoint union of the Bousfield-Kan completion of X with an external point. We also define a model category structure on the category of complete differential graded algebras making the two previous functors a Quillen pair, and we construct an explicit cylinder. In particular, these functors preserve homotopies and weak equivalences and therefore, this gives the basis for developing a Lie rational homotopy theory for all spaces.

math.AT↗