Source author record

Urtzi Buijs

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

Catalog footprint

Research overview

7works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

preprint2011arXiv

Rational Homotopy Type of the Classifying Space for Fibrewise Self-Equivalences

Let p be a fibration of simply connected CW complexes with finite base B and fibre F. Let aut_1(p) denote the identity component of the space of all fibre-homotopy self-equivalences of p and Baut_1(p) the classifying space for this topological monoid. We give a differential graded Lie algebra model for Baut_1(p). We use this model to give classification results for the rational homotopy types represented by Baut_1(p) and also to obtain conditions under which the monoid aut_1(p) is a double loop-space after rationalization.

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.

Urtzi Buijs

Research overview

Is this your work?

7 publications

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 Lawrence-Sullivan construction is the right model of $I^+$

Rational Homotopy Type of the Classifying Space for Fibrewise Self-Equivalences

See the researcher in context

Building this map preview

Urtzi Buijs

Research overview

Is this your work?

7 publications

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 Lawrence-Sullivan construction is the right model of I+I^+I+

Rational Homotopy Type of the Classifying Space for Fibrewise Self-Equivalences

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^+$