We study a generalization of the Svarc genus of a fiber map. For an arbitrary collection E of spaces and a map f:X-->Y, we define a numerical invariant, the E-sectional category of f, in terms of open covers of Y. We obtain several basic features of E-sectional category, including those dealing with homotopy domination and homotopy pushouts. We then give three simple properties which characterize the E-sectional category. In the final section we obtain inequalities for the E-sectional category of a composition and inequalities relating the E-sectional category to the Fadell-Husseini category of a map and the Clapp-Puppe category of a map.
Extending a result of Félix-Halperin-Lemaire on Lusternik-Schnirelmann category of products, we prove additivity of a rational approximation for Schwarz's sectional category with respect to products of fibrations.
We introduce the notion of fibrewise sectional category via a Whitehead-Ganea construction. Fibrewise sectional category is the analogue of the ordinary sectional category in the fibrewise setting and also the natural generalization of the fibrewise unpointed LS category in the sense of Iwase-Sakai. On the other hand the fibrewise pointed version is the generalization of the fibrewise pointed LS category in the sense of James-Morris. After giving their main properties we also establish some comparisons between such two versions.
We prove that the sectional category of the universal fibration with fibre X, for X any space that satisfies a well-known conjecture of Halperin, equals one after rationalization.
We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches its cohomological lower bound and give a method to compute higher topological complexity of formal spaces in terms of their cohomology.
Félix, Halperin, and Lemaire have shown that the rational module category Mcat and the rational Toomer invariant $e_0$ coincide for simply connected Poincaré duality complexes. We establish an analogue of this result for the sectional category of a fibration.
We give bounds for the module sectional category of products of maps which generalise a theorem of Jessup for Lusternik-Schnirelmann category. We deduce also a proof of a Ganea type conjecture for topological complexity. This is a first step towards proving the Ganea conjecture for topological complexity in the rational context.
We give a simple algebraic characterisation of the sectional category of rational maps admitting a homotopy retraction. As a particular case we get the Félix-Halperin theorem for rational Lusternik-Schnirelmann category and prove the conjecture of Jessup-Murillo-Parent on rational topological complexity. We also give a characterisation for relative category in the sense of Doeraene-El Haouari.
We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical notion. As a result, the same conclusions hold for the abstract Lusternik-Schnirelmann category and the abstract topological complexity of a space.
This survey is a guide for the non specialist on how to use rational homotopy theory techniques to get approximations of Farber's topological complexity, in particular, and of Schwarz's sectional category, in general.
We give a characterization of relative category in the sense of Doeraene-El Haouari by using open covers. We also prove that relative category and sectional category can be defined by taking arbitrary covers (not necessarily open) when dealing with ANR spaces.
We develop a theory of generalized Hopf invariants in the setting of sectional category. In particular we show how Hopf invariants for a product of fibrations can be identified as shuffle joins of Hopf invariants for the factors. Our results are applied in the study of Farber's topological complexity for 2-cell complexes, as well as in the construction of a counter-example to the analogue for topological complexity of Ganea's conjecture on Lusternik-Schnirelmann category.
For a Hausdorff space $X$, we exhibit an unexpected connection between the sectional number of the Fadell-Neuwirth fibration $π_{2,1}^X:F(X,2)\to X$, and the fixed point property (FPP) for self-maps on $X$. Explicitly, we demonstrate that a space $X$ has the FPP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a continuous local section for $π_{2,1}^X$. This characterization connects a standard problem in fixed point theory to current research trends in topological robotics.
By analogy with the invariant Q-category defined by Scheerer, Stanley and Tanré, we introduce the notions of Q-sectional category and Q-topological complexity. We establish several properties of these invariants. We also obtain a formula for the behaviour of the sectional category with respect to a fibration which generalizes the classical formulas for Lusternik-Schnirelmann category and topological complexity.
On the $m$-dimensional sectional category and induced invariants
Indian Institute of Science Education and Research Pune（印度科学教育研究所浦那分校）；Indian Institute of Technology Madras（印度理工学院马德拉斯分校）；Indian Statistical Institute（印度统计研究所）
If a map $f$ has a homotopy retraction, then Doeraene and El Haouari conjectured that the sectional category and the relative category of $f$ are the same. In this work we discuss this conjecture for some lower bounds of these invariants. In particular, when we consider the diagonal map, we obtain results supporting Iwase-Sakai's conjecture which asserts that the topological complexity is the monoidal topological complexity.
In this paper some axiomatic generalization (function of open subsets) of the relative Lyusternik-Schnirelmann category is considered, incorporating the sectional category and the Schwarz genus as well. For this function and a given continuous map of the underlying space to a finite-dimensional metric space some lower bounds on the value of this function on the (neighborhood of) preimage of some point are given.
Let $X$ be a two-cell complex with attaching map $α\colon S^q\to S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\to X\times X$. It is shown that the topological complexity (${\rm TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\rm cat}$) of $C_X$ in the (almost stable) range $q\leq2p-1$. In addition, the equality ${\rm TC}(X)={\rm cat}(C_X)$ is proved in the (strict) metastable range $2p-1<q\leq3(p-1)$ under fairly mild conditions by making use of the Hopf invariant techniques recently developed by the authors in their study of the sectional category of arbitrar…
In this paper, we study the Lusternik-Schnirelmann category of a simplicial map between simplicial complexes, generalizing the simplicial category of a complex to that of a map. Several properties of this new invariant are shown, including its relevance to products and fibrations. We relate this category of a map to the classical Lusternik-Schnirelmann category of a map between finite topological spaces. Finally, we show how the simplicial category of a map may be used to define and study a simplicial version of the essential category weight of J. Strom.
Given a map $f: M \to N$ of degree 1 of closed manifolds. Is it true that the Lusternik--Schnirelmann category of the range of the map is not more that the category of the domain? We discuss this and some related questions.
In this article we study thick ideals defined by periodic self maps in the stable motivic homotopy category over $\mathbb{C}$. In addition, we extend some results of Ruth Joachimi about the relation between thick ideals defined by motivic Morava K-theories and the preimages of the thick ideals in the stable homotopy category under Betti realization.
In this paper, we introduce relative LS category of a map and study some of its properties. Then we introduce `higher topological complexity' of a map, a homotopy invariant. We give a cohomological lower bound and compare it with previously known `topological complexity' of a map. Moreover, we study the relation between Lusternik-Schnirelmann category and topological complexity of two closed oriented manifolds connected by a degree one map.
In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty,2)$-category for an $\infty$-operad $\mathcal{O}^{\otimes}$. We show that the endomorphism mapping $\infty$-category of a map $\mathcal{O}$-monoidale is a coCartesian $(Δ^{\rm op},\mathcal{O})$-duoidal $\infty$-category. After that, we introduce a convolution product on the mapping $\infty$-category from an $\mathcal{O}$-comonoidale to an $\mathcal{O}$-monoidale. We show that the $\mathcal{O}$-monoidal structure on the duoidal endomorphism mapping $\i…
Bökstedt and Madsen defined an infinite loop map from the embedded $d$-dimensional cobordism category of Galatius, Madsen, Tillmann and Weiss to the algebraic $K$-theory of $BO(d)$ in the sense of Waldhausen. The purpose of this paper is to establish two results in relation to this map. The first result is that it extends the universal parametrized $A$-theory Euler characteristic of smooth bundles with compact $d$-dimensional fibers, as defined by Dwyer, Weiss and Williams. The second result is that it actually factors through the canonical unit map $Q(BO(d)_+) \to A(BO(d))$.
The aim of this paper is to use the so-called Cayley transform to compute the LS category of Lie groups and homogeneous spaces by giving explicit categorical open coverings. When applied to U(n), $U(2n)/Sp(n)$ and $U(n)/O(n)$ this method is simpler than those formerly known. We also show that the Cayley transform is related to height functions in Lie groups, allowing to give a local linear model of the set of critical points. As an application we give an explicit covering of $Sp(2)$ by categorical open sets. The obstacles to generalize these results to $Sp(n)$ are discussed.
Fix a suitably convex, exact symplectic manifold M. We consider the stable oo-category Lag(M) of non-compact Lagrangians whose (higher) morphisms are (higher) Lagrangian cobordisms between them. We show that this oo-category pairs with the Fukaya category Fuk(M) of compact branes. In fact, we also show that there is a subcategory of Lag(M) which pairs with the wrapped Fukaya category of M. This is a first step in a project to enrich wrapped Fukaya categories over cobordism spectra. As a corollary, we show that cobordant compact branes are equivalent in the Fukaya category. We will also mention…
The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-algebras. In this setting there is a forgetful functor from the homotopy category of $T$-algebras to the category of homotopy $T$-algebras. Under suitable hypotheses we provide an obstruction theory, in t…
