This paper is on the connecting homomorphism in the long exact homotopy sequence of the evaluation fibration $ev_{p_0}:C(P,K)^K \to K$, where $C(P,K)^K \cong Gau(P)$ is the gauge group of a continuous principal $K$-bundle $P$ over a closed orientable surface or a sphere. We show that in this cases the connecting homomorphism in the corresponding long exact homotopy sequence is given in terms of the Samelson product. As applications, we exploit this correspondence to get an explicit formula for $π_2 (Gau(P_k))$, where $P_k$ denotes the principal $S^3$-bundle over $S^4$ of Chern number $k$ and derive explicit formulae for the rational homotopy groups $π_n (Gau(P)) \otimes \Q$.
A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion $\mathrm{SO}(2n-1)\to\mathrm{SO}(2n)$ in the sense of James at any prime $p$.
The (non)triviality of Samelson products of the inclusions of the spheres into p-regular exceptional Lie groups is completely determined, where a connected Lie group is called p-regular if it has the p-local homotopy type of a product of spheres.
Let $\mathcal{G}_{k,n}$ be the gauge group of the principal $\mathrm{Sp}(n)$-bundle over $S^4$ corresponding to $k\in\mathbb{Z}\congπ_3(\mathrm{Sp}(n))$. We refine the result of Sutherland on the homotopy types of $\mathcal{G}_{k,n}$ and relate it with the order of a certain Samelson product in $\mathrm{Sp}(n)$. Then we classify the $p$-local homotopy types of $\mathcal{G}_{k,n}$ for $(p-1)^2+1\ge 2n$.
We establish certain smash operations on spaces over operads which are general analogues of the Samelson product on single loop spaces, and obtain a conceptual description of the structure of the homotopy groups of spaces $Y$ over a symmetric $K(π,1)$ operad: $π_*Y$ is a module over the free algebraic symmetric operad generated by operations on homotopy groups induced by these smash operations. In particular the homotopy groups of double loop spaces is a module over the free algebraic symmetric operad generated by the conjugacy classes of Brunnian braids modulo the conjugation action of pure b…
Let Aut(p) denote the topological monoid of self-fibre-homotopy equivalences of a fibration p:E\to B. We make a general study of this monoid, especially in rational homotopy theory. When E and B are simply connected CW complexes with E finite, we identify the rational Samelson Lie algebra of the identity component of Aut(p) as the homology of a certain DG Lie algebra of derivations arising from the Koszul-Sullivan model of p. We obtain related identifications for the rational homotopy groups of fibrewise mapping spaces and for the rationalization of a natural nilpotent subgroup of Aut(p).
Supppose given a principal $G$ bundle $ζ: P \to S^k$ (with $k \geq 2$) and a Banach algebra $B$ upon which $G$ acts continuously. Let \[ ζ\otimes B : \qquad P \times_G B \longrightarrow S^k \] denote the associated bundle and let \[ A_{ζ\otimes B} = Γ(S^k, P \times_G B) \] denote the associated Banach algebra of sections. Then $π_*\GL A_{ζ\otimes B} $ is determined by a mostly degenerate spectral sequence and by a Wang differential \[ d_k : π_*(\GL B) \longrightarrow π_{*+k-1} (\GL B) .\] We show that if $B$ is a $C^*$-algebra then the differential is given explicitly in terms of an \esp\, wit…
We prove fibrewise versions of classical theorems of Hopf and Leray-Samelson. Our results imply the fibrewise H-triviality after rationalization of a certain class of fibrewise H-spaces. They apply, in particular, to universal adjoint bundles. From this, we may retrieve a result of Crabb and Sutherland [Proc. London Math. Soc. (2000), 747-768], which is used there as a crucial step in establishing their main finiteness result.
We combine Sullivan models from rational homotopy theory with Stasheff's $L_\infty$-algebras to describe a duality in string theory. Namely, what in string theory is known as topological T-duality between $K^0$-cocycles in type IIA string theory and $K^1$-cocycles in type IIB string theory, or as Hori's formula, can be recognized as a Fourier-Mukai transform between twisted cohomologies when looked through the lenses of rational homotopy theory. We show this as an example of topological T-duality in rational homotopy theory, which in turn can be completely formulated in terms of morphisms of $…
In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type
This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of important open problems
We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,α} to the Quillen DGL model for X. The operations lie in suitable cohomology groups H^*{L^{(k,α)}; π_* X\otimes Q} of these DGLs. To facilitate the recovery of an integral version of the operations from the rational description, we also define a differential graded non-associative algebra model for rational spaces.
In this paper, we describe the homotopy type of the homotopy fixed point sets of $S^3$-actions on rational spheres and complex projective spaces, and provide some properties of $S^1$-actions on a general rational complex.
We generalize theorems of McGibbon-Roitberg, Iriye, and Meier on the relations between phantom maps and rational homotopy, and apply them to provide new calculational examples of the homotopy sets Ph(X, Y ) of phantom maps and the subsets SPh(X, Y ) of special phantom maps.
We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces.
We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.
In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and Grothendieck-Teichmüller groups". In short, we prove that the rational homotopy type of such an operad is determined by a cooperad in cochain differential graded algebras (a cochain Hopf dg-cooperad for short) as soon as the Sullivan rational homotopy theory works for the spaces underlying our operad (e.g. when these spaces are connected, nilpotent, and have finite…
The notion of a cyclic map g: A -> X is a natural generalization of a Gottlieb element in pi_n(X). We investigate cyclic maps from a rational homotopy theory point of view. We show a number of results for rationalized cyclic maps which generalize well-known results on the rationalized Gottlieb groups.
We calculate the rational homotopy and the K(1)-local homotopy of the K(2)-local sphere at the prime 3 and level 2. We use this to verify the chromatic splitting conjecture in this case.
Let E be an H-space acting on a based space X. Then we refer to ev: E -> X, the map obtained by acting on the base point of X, as a ``generalized evaluation map." We establish several fundamental results about the rational homotopy behaviour of a generalized evaluation map, all of which apply to the usual evaluation map Map(X,X;1)->X. With mild hypotheses on X, we show that a generalized evaluation map ev factors, up to rational homotopy, through a map Gamma_ev: S_ev -> X where S_ev is a (relatively small) finite product of odd-dimensional spheres and the map induced by Gamma_ev on rational ho…
We explain how to relate the problem of finding a mirror manifold for a Calabi-Yau manifold to the problem of characterizing the rational homotopy types of closed Kähler manifolds.
We construct Lie algebras of derivations (and identify their geometrical realization) whose Maurer-Cartan sets provide moduli spaces describing the classes of homotopy types of rational spaces sharing either the same homotopy Lie algebra, homology or cohomology.
These notes contain a brief introduction to rational homotopy theory: its model category foundations, the Sullivan model and interactions with the theory of local commutative rings.
We reformulate and motivate AKSZ-type topological field theories in pedestrian terms, explaining how they arise as the most general Schwartz-type topological actions subject to a simple constraint, and how they generalize Chern$-$Simons theory and other well known topological field theories, in that they are gauge theories of flat connections of higher gauge groups (infinity-Lie algebras). Their Euler$-$Lagrange equations define quasifree graded-commutative differential algebras, or equivalently $L_\infty$-algebras, the equivalent of the Lie algebra of the gauge group; we explain how integrati…
We generalize some results of Gray and McGibbon-Roitberg on relations between phantom maps and rational homotopy to relative phantom maps. Since the $\lim^1$ and the profinite completion techniques do not apply to relative phantom maps, we develop new techniques.
For a 1-connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalences of $X$. The aim of this paper is to prove that, for every $n\in\Bbb N$, there exists a 1-connected rational CW-complex $X_{n}$ such that $\mathcal{E}(X_{n})\cong \underset{2^{n+1}\mathrm{. times}}{\underbrace{\Bbb Z_{2}\oplus... \Bbb \oplus \Bbb Z_{2}}}$.
We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic on Lambda V_0. An obstruction is then obtained as a vector space homomorphism V_1 -> H^*(N). We investigate the relationship between the condition that f and g are homotopic and the condition that the obstruction is zero. The obstruction theory is then applied to study the set of homotopy classes [M, N]. This enables us to give a fairly complete answer to a…
We give a construction of the universal enveloping $A_\infty$ algebra of a given $L_\infty$ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore theorem, proposing a new $A_\infty$ model for simply connected rational homotopy types, and uncovering a relationship between the higher order rational Whitehead products in homotopy groups and the Pontryagin-Massey products in the rational loop space homology algebra.
Bousfield and Kan's $\mathbb{Q}$-completion and fiberwise $\mathbb{Q}$-completion of spaces lead to two different approaches to the rational homotopy theory of non-simply connected spaces. In the first approach, a map is a weak equivalence if it induces an isomorphism on rational homology. In the second, a map of connected and pointed spaces is a weak equivalence if it induces an isomorphism between fundamental groups and higher rationalized homotopy groups; we call these maps $π_1$-rational homotopy equivalences. In this paper, we compare these two notions and show that $π_1$-rational homotop…
In this paper, we focus on some models in rational homotopy theory, Sullivan model, Quillen model, C_\infty model, and L_\infty model. We give some connections between them. As an application, we prove the Torus Rank Conjecture.
We develop a simple theory of André-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent $CW$-complexes. This puts certain results of Sullivan in a more conceptual framework.
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory and Koszul-Moore duality. Geometrically, we show that homotopy groups are rationally given by "generalized linking/intersection invariants" of cochain data. Moreover, we give a method for determining when two maps from $S^n$ to $X$ are homotopic after allowing for multiplication by some integer. For applications, we investigate wedges of spheres and homogene…
Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational homotopy types with the same cohomology algebra. The models in this case were differential graded algebras and acted similarly to differential forms. These models were then used together with some deformation theory to describe a moduli space for all rational homotopy types with a given cohomology algebra. Indeed, this theory has been very well developed. How…
We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds is classified by their rank and signature.
It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (See Theorem 21.3 of \cite{Fuchs:abelian-group}). In this paper, conditions to split off rational parts in homotopy types from a given space are studied in terms of a variant of Hurewicz map, say $\barρ : [S_{\Q}^{n},X] \to H_n(X;\Z)$ and generalized Gottlieb groups. This yields decomposition theorems on rational homotopy types of Hopf spaces, $T$-spaces and Gottlieb spaces, which has been known in various situations, especially for spaces with finiteness conditions.
Motivated by the theory of representability classes by submanifolds, we study the rational homotopy theory of Thom spaces of vector bundles. We first give a Thom isomorphism at the level of rational homotopy, extending work of Felix-Oprea-Tanré by removing hypothesis of nilpotency of the base and orientability of the bundle. Then, we use the theory of weight decompositions in rational homotopy to give a criterion of representability of classes by submanifolds, generalising results of Papadima. Along the way, we study issues of formality and give formulas for Massey products of Thom spaces. Las…
In this paper we study the rational homotopy of the space of immersions, $Imm\left(M,N\right)$, of a manifold $M$ of dimension $m\geq 0$ into a manifold $N$ of dimension $m+k$, with $k\geq 2$. In the special case when $N=\mathbb{R}^{m+k}$ and $k$ is odd we prove that each connected component of $Imm\left(M,\mathbb{R}^{m+k}\right)$ has the rational homotopy type of product of Eilenberg Mac Lane space. We give an explicit description of each connected component and prove that it only depends on $m$, $k$ and the rational Betti numbers of $M$. For a more general manifold $N$, we prove that the pat…
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.
We provide a calculational method for rational stable equivariant homotopy theory for a torus G based on the homology of the Borel construction on fixed points. More precisely we define an abelian torsion model, A_t(G) of finite injective dimension, a homology theory \piAt_* taking values in A_t(G) based on the homology of the Borel construction, and a finite Adams spectral sequence Ext_{A_t(G)}^{*,*}(\piAt_*(X), \piAt_*(Y)) ==> [X,Y]^G_* for rational G-spectra X and Y.
We study the spaces of embeddings of manifolds in a Euclidean space. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. As a main result we express the rational homotopy type of connected components of those embedding spaces through combinatorially defined $L_\infty$-algebras of diagrams.
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan's theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher …
Let A be a subspace arrangement with a geometric lattice such that codim(x) > 1 for every x in A. Using rational homotopy theory, we prove that the complement M(A) is rationally elliptic if and only if the sum of the orthogonal subspaces is a direct sum. The homotopy type of M(A) is also given: it is a product of odd dimensional spheres. Finally, some other equivalent conditions are given, such as Poincare duality. Those results give a complete description of arrangements (with geometric lattice and with the codimension condition on the subspaces) such that M(A) is rationally elliptic, and sho…
This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory. More precisely, given a homotopy functor between any of the categories of differential graded vector spaces (DG), reduced differential graded vector spaces, differential graded Lie algebras (DGL), and differential graded coalgebras (DGC), we show that there is an associated approximating "rational Taylor tower" of excisive functors. The fibers in this tower a…
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.
In this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact nonnegative curved manifolds admit (complete) metrics with nonnegative curvature.
By using homotopy transfer techniques in the context of rational homotopy theory, we show that if $C$ is a coalgebra model of a space $X$, then the $A_\infty$-coalgebra structure in $H_*(X;\mathbb{Q})\cong H_*(C)$ induced by the higher Massey coproducts provides the construction of the Quillen minimal model of $X$. We also describe an explicit $L_\infty$-structure on the complex of linear maps ${\rm Hom}(H_*(X; \mathbb{Q}), π_*(ΩY)\otimes\mathbb{Q})$, where $X$ is a finite nilpotent CW-complex and $Y$ is a nilpotent CW-complex of finite type, modeling the rational homotopy type of the mapping …
We show that the Bousfield-Kan spectral sequence which computes the rational homotopy groups of the space of long knots in ${\mathbb R}^d$, where $d\ge 4$, collapses at the $E^2$ page. The main ingredients in the proof are Sinha's cosimplicial model for the space of long knots and a coformality result for the little balls operad.
Let $\Hol_{x_0}^{\bf n} (\C¶^1, X)$ be the space of based holomorphic maps of degree ${\bf n}$ from $\C¶^1$ into a simply connected algebraic variety $X$. Under some condition we prove that the map $\map \Hol_{x_0}^{\bf n} (\C¶^1, X). \Hol_{x_0}^{d{\bf n}} (\C¶^1, X).$ obtained by compositing $f \in \Hol_{x_0}^{\bf n} (\C¶^1, X)$ with $g(z)=z^d, z \in \C¶^1$ induces rational homotopy equivalence up to some dimension, which tends to infinity as the degree grows.
We classify thick tensor ideals of finite objects in the category of rational torus-equivariant spectra, showing that they are completely determined by geometric isotropy. This is essentially equivalent to showing that the Balmer spectrum is the set of closed subgroups under cotoral inclusion. Corresponding statements are deduced for toral spectra for general groups.
Let M be a homogeneous space admitting a left translation by a connected Lie group G. The adjoint to the action gives rise to a map from G to the monoid of self-homotopy equivalences of M.The purpose of this paper is to investigate the injectivity of the homomorphism which is induced by the adjoint map on the rational homotopy. In particular, the visible degrees are determined explicitly for all the cases of simple Lie groups and their associated homogeneous spaces of rank one which are classified by Oniscik.
