Source author record

Gregory Lupton

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

12 published item(s)

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 Digital Hopf Construction

Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance spaces, we are able to give a construction of this digital Hopf fibration which mimics the smooth setting.

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.

preprint2016arXiv

Parallel forms, co-Kähler Manifolds and their Models

We show how certain topological properties of co-Kähler manifolds derive from those of the Kähler manifolds which construct them. In particular, we show that the existence of parallel forms on a co-Kähler manifold reduces the computation of cohomology from the de Rham complex to certain amenable sub-cdga's defined by geometrically natural operators derived from the co-Kähler structure. This provides a simpler proof of the formality of the foliation minimal model in this context.

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.

preprint2013arXiv

A Mapping Theorem for Topological Complexity

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and more generally for the rational sectional category of a map, in terms of the rational category of a certain auxiliary space. We use our results to deduce consequences for the global (rational) homotopy structure of simply connected, hyperbolic finite complexes.

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.

preprint2013arXiv

New lower bounds for the topological complexity of aspherical spaces

We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $π_1(X)$ whose conjugates intersect trivially. For instance, this assumption is satisfied whenever $A$ and $B$ are complementary subgroups of $π_1(X)$. This gives computable lower bounds for the topological complexity of many groups of interest (including semidirect products, pure braid groups, certain link groups, and Higman's acyclic four-generator group), which in some cases improve upon the standard lower bounds in terms of zero-divisors cup-length. Our results illustrate an intimate relationship between the topological complexity of an aspherical space and the subgroup structure of its fundamental group.

preprint2012arXiv

Fibrewise rational H-spaces

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.

preprint2010arXiv

The rational homotopy type of the space of self-equivalences of a fibration

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