Pierre Ghienne | Searcharxiv

arXiv2009

Joins of DGA modules and sectional category

We construct an explicit semifree model for the fiber join of two fibrations p: E --> B and p': E' --> B from semifree models of p and p'. Using this model, we introduce a lower bound of the sectional category of a fibration p which can be calculated from any Sullivan model of p and which is closer to the sectional category of p than the classical cohomological lower bound given by the nilpotency of the kernel of p^*: H^*(B;Q) --> H^*(E;Q). In the special case of the evaluation fibration X^I --> X x X we obtain a computable lower bound of Farber's topological complexity TC(X). We show that the difference between this lower bound and the classical cohomological lower bound can be arbitrarily large.

math.AT↗

arXiv2002

Phantom maps, SNT-theory, and natural filtrations on lim^1 sets

We study the so-called Gray filtration on the set of phantom maps between two spaces. Using both its algebraic characterization and the Sullivan completion approach to phantom maps, we generalize some of the recent results of Le, McGibbon and Strom. We particularly emphasize on the set of phantom maps with infinite Gray index, describing it in an original algebraic way. We furthermore introduce and study a natural filtration on SNT-sets (that is sets of homotopy types of spaces having the same n-type for all n), which appears to have the same algebraic characterization of the Gray one on phantom maps. For spaces whose rational homotopy type is that of an H-space or a co-H-space, we establish criteria permitting to determinate those subsets of this filtration which are non trivial, generalizing work of McGibbon and Moller. We finally describe algebraically the natural connection between phantom maps and SNT-theory, associating to a phantom map its homotopy fiber or cofiber. We use this description to show that this connection respect filtrations, and to find generic examples of spaces for which the filtration on the corresponding SNT-set consists of infinitely many strict inclusions.

math.AT↗