Source author record

Samuel Bruce Smith

Samuel Bruce Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.HO

Catalog footprint

What is connected

6works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

The structuring effect of a Gottlieb element on the Sullivan minimal model of a space

We show a Gottlieb element in the rational homotopy of a simply connected space $X$ implies a structural result for the Sullivan minimal model, with different results depending on parity. In the even-degree case, we prove a rational Gottlieb element is a terminal homotopy element. This fact allows us to complete an argument of Dupont to prove an even-degree Gottlieb element gives a free factor in the rational cohomology of a formal space of finite type. We apply the odd-degree result to affirm a special case of the $2N$-conjecture on Gottlieb elements of a finite complex. We combine our results to make a contribution to the realization problem for the classifying space $B\mathrm{aut}_1(X)$. We prove a simply connected space $X$ satisfying $B\mathrm{aut}_1(X_{\mathbb{Q}}) \simeq S_{\mathbb{Q}}^{2n}$ must have infinite-dimensional rational homotopy and vanishing rational Gottlieb elements above degree $2n-1$ for $n= 1, 2, 3.$

preprint2020arXiv

The universal fibration with fibre $X$ in rational homotopy theory

Let $X$ be a simply connected space with finite-dimensional rational homotopy groups. Let $p_\infty \colon UE \to \mathrm{Baut}_1(X)$ be the universal fibration of simply connected spaces with fibre $X$. We give a DG Lie model for the evaluation map $ ω\colon \mathrm{aut}_1(\mathrm{Baut}_1(X_{\mathbb Q})) \to \mathrm{Baut}_1(X_{\mathbb Q})$ expressed in terms of derivations of the relative Sullivan model of $p_\infty$. We deduce formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space $\mathrm{Baut}_1(X_{\mathbb Q})$ as a consequence. We also prove that ${\mathbb C} P^n_{\mathbb Q}$ cannot be realized as $\mathrm{Baut}_1(X_{\mathbb Q})$ for $n \leq 4$ and $X$ with finite-dimensional rational homotopy groups.

preprint2015arXiv

Realizing spaces as classifying spaces

Which spaces occur as a classifying space for fibrations with a given fibre? We address this question in the context of rational homotopy theory. We construct an infinite family of finite complexes realized (up to rational homotopy) as classifying spaces. We also give several non-realization results, including the following: the rational homotopy types of $\mathbb{C}P^2$ and $S^4$ are not realized as the classifying space of any simply connected, rational space with finite-dimensional homotopy groups.

preprint2014arXiv

The effect of cell-attachment on the group of self-equivalences of an R-localized space

Let R be a subring of the rationals with least non-invertible prime p. Let X = X^{n} \cup_α (\bigcup_{j \in J} e^{q}) be a cell attachment with J finite and q small with respect to p. Let E(X_R) denote the group of homotopy self-equivalences of the R-localization X_R. We use DG Lie models to construct a short exact sequence 0 \to \bigoplus_{j \in J}π_q(X^n)_R \to E(X_R) \to C^q \to 0 where C^q is a subgroup of GL_{|J|}(R) \times E(X^n_R). We obtain a related result for the R-localization of the nilpotent group E_*(X) of classes inducing the identity on homology. We deduce some explicit calculations of both groups for spaces with few cells.

preprint2013arXiv

Gottlieb Groups of Function Spaces

We analyze the Gottlieb groups of function spaces. Our results lead to explicit decompositions of the Gottlieb groups of many function spaces map(X,Y)---including the (iterated) free loop space of Y---directly in terms of the Gottlieb groups of Y. More generally, we give explicit decompositions of the generalized Gottlieb groups of map(X,Y) directly in terms of generalized Gottlieb groups of Y. Particular cases of our results relate to the torus homotopy groups of Fox. We draw some consequences for the classification of T-spaces and G-spaces. For X, Y finite and Y simply connected, we give a formula for the ranks of the Gottlieb groups of map(X,Y) in terms of the Betti numbers of X and the ranks of the Gottlieb groups of Y. Under these hypotheses, the Gottlieb groups of map(X,Y) are finite groups in all but finitely many degrees.

preprint2011arXiv

The homotopy theory of function spaces: a survey

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the path-components of map(X, Y). We also discuss work on the homotopy theory of the monoid of self-equivalences aut(X) and of the free loop space LX. We consider these topics in both ordinary homotopy theory as well as after localization. In the latter case, we discuss algebraic models for the localization of function spaces and their applications.