A fibre-restricted Gottlieb group and its rational realization problem

DOI10.1016/J.TOPOL.2015.05.066MaRDI QIDQ898542zbMATH OpenOpenAlexFDO

Publication date 18 December 2015

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.0096

derivation fibre-homotopy self-equivalence fibre-restricted Gottlieb group Gottlieb depth Gottlieb group Gottlieb poset Sullivan minimal model

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Rational homotopy theory (55P62) Homotopy groups of special spaces (55Q52) Fiber bundles in algebraic topology (55R10)

Abstract: We define the fibre-restricted Gottlieb group with respect to a fibration

x i : X o E o Y

in CW complexes. It is a subgroup of the Gottlieb group of

X

. When

X

and

E

are finite simply connected, its rationalized model is given by the arguments of derivations of Sullivan models based on F'{e}lix, Lupton and Smith cite{FLS}. We consider the realization problem of groups in a Gottlieb group as fibre-restricted Gottlieb groups in rational homotoy theory. Especially we define an invariant named as (Gottlieb) depth of

X

over

Y

. In particular, when

Y = B S^{1}

, it is related to the rational toral rank of

X

.

Review text

Let \(p: E\to Y\) be a fibration with fibre \(X= p^{-1}(\{y_0\})\) for some fixed \(y_0\in Y\). The monoid of (free) fibre homotopy equivalences of \(p\), which are (freely) homotopic to the identity map, is denoted \(\text{aut}_1(p)\). If \(Y= \{y_0\}\) then we recover the component \(\text{aut}_1(X)\) of the identity map in the usual monoid of self-equivalences \(\text{aut}(X)\). Since a fibre homotopy equivalence of \(p\) induces a homotopy equivalence of \(X\) there is a map \(R: \text{aut}_1(p)\to\text{aut}_1(X)\) and, for a fixed \(x_0\in X\), we have the evaluation map \(ev: \text{aut}_1(X)\to X\). Consider \(\text{aut}_1(X)\) and \(\text{aut}_1(p)\subset\text{aut}_1(E)\) as topological spaces with the compact-open topology and pointed by the identity map. The image of the composite \(\pi_n(ev\circ R)\) is a subgroup of \(\pi_n(X, x_0)\), denoted \(G_n(p)\). If \(Y= \{y_0\}\) then we recover the usual \(n\)th-Gottlieb group \(G_n(X)\) and, essentially by definition, \(G_n(p)\subset G_n(X)\). The author studies the poset, under inclusion, of the \(\mathbb{Q}\)-vector spaces \(G_n(p)\) when \(p: E\to Y\) is a fibration admitting \(X\) as a fiber such that \(X\), \(Y\) are 1-connected, \(X\), \(E\), \(Y\) are rational spaces. He proves, using Sullivan rational homotopy theory, some results concerning descending chains \(G_n(X)\supset G_n(p_1)\supset G_n(p_2)\cdots\) when \(X\) is an elliptic space.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: A fibre-restricted Gottlieb group and its rational realization problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898542)