arXiv subjects

Gregory Lupton

Publications and source records attributed to Gregory Lupton.

36 records · Page 2Linked to original sources

arXiv2013

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.

math.AT↗

arXiv2013

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.

math.AT↗

arXiv2012

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.

math.AT↗

arXiv2012

Spaces of Topological Complexity One

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is as low as possible, namely n-1.

math.AT↗

arXiv2011

Topological Complexity of H-Spaces

Let X be a (not-necessarily homotopy-associative) H-space. We show that TC_{n+1}(X) = cat(X^n), for n >= 1, where TC_{n+1}(-) denotes the so-called higher topological complexity introduced by Rudyak, and cat(-) denotes the Lusternik-Schnirelmann category. We also generalize this equality to an inequality, which gives an upper bound for TC_{n+1}(X), in the setting of a space Y acting on X.

math.AT↗

arXiv2010

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

math.AT↗

arXiv2008

Whitehead products in function spaces: Quillen model formulae

We study Whitehead products in the rational homotopy groups of a general component of a function space. For the component of any based map f: X \to Y, in either the based or free function space, our main results express the Whitehead product directly in terms of the Quillen minimal model of f. These results follow from a purely algebraic development in the setting of chain complexes of derivations of differential graded Lie algebras, which is of interest in its own right. We apply the results to study the Whitehead length of function space components.

math.AT↗

arXiv2007

Banach Algebras and Rational Homotopy Theory

Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism from the rational Cech cohomology group $H^s (X; Q)$ to the rational homotopy group $π_{2 n - 1 - s} (Lc_n (A)) \otimes Q,$ which shows that the rational cohomology groups of $X$ are determined by a topological invariant associated to $A.$ As part of our analysis, we determine the rational H-type of certain gauge groups $F (X, G)$ for $G$ a Lie group or, more generally, a rational H-space.

math.AT↗

arXiv2006

Criteria for Components of a Function Space to be Homotopy Equivalent

We give a general method that may be effectively applied to the question of whether two components of a function space have the same homotopy type. We describe certain group-like actions on function spaces. Our basic results assert that if two maps are in the same orbit under such an action, then the components of the function space that contain these maps have the same homotopy type.

math.AT↗

arXiv2006

The evaluation subgroup of a fibre inclusion

Given a fibration of simply connected CW complexes of finite type, we study the evaluation subgroup of the fibre inclusion as an invariant of fibre-homotopy type. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the rationalized evaluation subgroup of the fibre inclusion decomposes as the direct sum of the rationalized Gottlieb group of the fibre and the rationalized homotopy group of the base if and only if the classifying map induces the trivial map on rational homotopy groups.

math.AT↗

arXiv2005

Evaluation Maps in Rational Homotopy

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 homotopy groups is injective. This result has strong consequences: if the image in rational homotopy groups of ev is trivial, then the generalized evaluation map is null-homotopic after rationalization; unless X satisfies a very strong splitting condition, any generalized evaluation map induces the trivial homomorphism in rational cohomology; the map Gamma_ev is rationally a homotopy monomorphism and a generalized evaluation map may be written as a composition of a homotopy epimorphism and this homotopy monomorphism. We include illustrative examples and prove numerous subsidiary results of interest.

math.AT↗

arXiv2005

Homotopy Actions, Cyclic Maps and their Duals

An action of A on X is a map F: AxX to X such that F|_X = id: X to X. The restriction F|_A: A to X of an action is called a cyclic map. Special cases of these notions include group actions and the Gottlieb groups of a space, each of which has been studied extensively. We prove some general results about actions and their Eckmann-Hilton duals. For instance, we classify the actions on an H-space that are compatible with the H-structure. As a corollary, we prove that if any two actions F and F' of A on X have cyclic maps f and f' with Omega(f) = Omega(f'), then Omega(F) and Omega(F') give the same action of Omega(A) on Omega(X). We introduce a new notion of the category of a map g and prove that g is cocyclic if and only if the category is less than or equal to 1. From this we conclude that if g is cocyclic, then the Berstein-Ganea category of g is <= 1. We also briefly discuss the relationship between a map being cyclic and its cocategory being <= 1.

math.AT↗

arXiv2005

Rank of the fundamental group of a component of a function space

We compute the rank of the fundamental group of an arbitrary connected component of the space map(X, Y) for X and Y nilpotent CW complexes with X finite. For the general component corresponding to a homotopy class f : X --> Y, we give a formula directly computable from the Sullivan model for f. For the component of the constant map, our formula expresses the rank in terms of classical invariants of X and Y. Among other applications and calculations, we obtain the following: Let G be a compact simple Lie group with maximal torus T^n. Then the fundamental group of map(S^2, G/T^n; f) is a finite group if and only if f: S^2 --> G/T^n is essential.

math.AT↗

arXiv2004

Rationalized Evaluation Subgroups of a Map II: Quillen Models and Adjoint Maps

Let w: Map(X,Y;f) -> Y denote a general evaluation fibration. Working in the setting of rational homotopy theory via differential graded Lie algebras, we identify the long exact sequence induced on rational homotopy groups by w in terms of (generalized) derivation spaces and adjoint maps. As a consequence, we obtain a unified description of the rational homotopy theory of function spaces, at the level of rational homotopy groups, in terms of derivations of Quillen models and adjoints. In particular, as a natural extension of a result of Tanre, we identify the rationalization of the evaluation subgroups of a map f: X -> Y in this setting. As applications, we consider a generalization of a question of Gottlieb, within the context of rational homotopy theory. We also identify the rationalization of the G-sequence of f and make explicit computations of the homology of this sequence. In a separate result of independent interest, we give an explicit Quillen minimal model of a product AxX, in the case in which A is a rational co-H-space.

math.AT↗

arXiv2003

Rationalized Evaluation Subgroups of a Map and the Rationalized G-Sequence

Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group of X occurs as the special case in which Y = X and f = 1_X. We identify the homomorphism induced on rational homotopy groups by this evaluation map, in terms of a map of complexes of derivations constructed using Sullivan minimal models. Our identification allows for the characterization of the rationalization of the nth evaluation subgroup of f. It also allows for the identification of several long exact sequences of rational homotopy groups, including the long exact sequence induced on rational homotopy groups by the evaluation fibration. As a consequence, we obtain an identification of the rationalization of the so-called G-sequence of the map f. This is a sequence--in general not exact--of groups and homomorphisms that includes the Gottlieb groups of X and the evaluation subgroups of f. We use these results to study the G-sequence in the context of rational homotopy theory. We give new examples of non-exact G-sequences and uncover a relationship between the homology of the rational G-sequence and negative derivations of rational cohomology. We also relate the splitting of the rational G-sequence of a fibre inclusion to a well-known conjecture in rational homotopy theory.

math.AT↗

arXiv2003

Free Torus Actions and Two-Stage Spaces

We prove the toral rank conjecture of Halperin in some new cases. Our results apply to certain elliptic spaces that have a two-stage Sullivan minimal model, and are obtained by combining new lower bounds for the dimension of the cohomology and new upper bounds for the toral rank. The paper concludes with examples and suggestions for future work.

math.AT↗

arXiv2003

Cyclic Maps in Rational Homotopy Theory

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.

math.AT↗

arXiv2003

The Rational Toomer Invariant and Certain Elliptic Spaces

We give an explicit formula for the rational category of an elliptic space whose minimal model has a homogeneous-length differential. We also show that for such a space, there are no gaps in the sequence of integers realized as the rational Toomer invariant of some cohomology class. With an additional hypothesis, we show a result from which we deduce the relation dim(H^*(X;Q)) >= 2 cat_0(X).

math.AT↗