Related papers: Implications of the Ganea Condition

A criterion to determine the L-S category of a total space of a sphere-bundle over a sphere is given in terms of homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we…

Let $X$ be a proper CAT($0$) space and $G$ a cocompact group of isometries of $X$ without fixed point at infinity. We prove that if $\partial X$ contains an invariant subset of circumradius $\pi/2$, then $X$ contains a quasi-dense, closed…

In this paper we estimate the Lusternik-Schnirelmann category of the connected sum of two manifolds through their categories. We achieve a more general result regarding the category of a quotient space X/A where A is a suitable subspace of…

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…

Let $F \hookrightarrow X \to B$ be a fibre bundle with structure group $G$, where $B$ is $(d{-}1)$-connected and of finite dimension, $d \geq 1$. We prove that the strong L-S category of $X$ is less than or equal to $m + \frac{\dim B}{d}$,…

For a k-flat F inside a locally compact CAT(0)-space X, we identify various conditions that ensure that F bounds a (k+1)-dimensional half flat in X. Our conditions are formulated in terms of the ultralimit of X. As applications, we obtain…

We prove the formula \begin{equation*} \text{cat}_G(X\vee Y)=\max\{\text{cat}_G(X),\text{cat}_G(Y)\} \end{equation*} for the equivariant category of the wedge $X\vee Y$. As a direct application, we have that the wedge $\bigvee_{i=1}^m X_i$…

Given a CAT(0) cube complex X, we show that if Aut(X) $\neq$ Isom(X) then there exists a full subcomplex of X which decomposes as a product with $\mathbb{R}^n$. As applications, we prove that if X is $\delta$-hyperbolic, cocompact and…

The partial transpose map is a linear map widely used quantum information theory. We study the equality condition for a matrix inequality generated by partial transpose, namely $\rank(\sum^K_{j=1} A_j^T \otimes B_j)\le K \cdot…

We extend Lusternik-Schnirelmann theory to pairs $(f, \phi)$, where $\phi$ is a homotopy equivalence of a space $X$, $f$ is a function on $X$ which decreases along $\phi$ and $(f, \phi)$ satisfies a discrete analog of the Palais-Smale…

We define and study the categorical sequence of a space, which is a new formalism that streamlines the computation of the Lusternik-Schnirelmann category of a space X by induction on its CW skeleta. The k-th term in the categorical sequence…

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…

In this paper, we give a new simplified calculation of the Lusternik-Schnirelmann category of closed 3-manifolds. We also describe when 3-manifolds have detecting elements and prove that 3-manifolds satisfy the equality of the Ganea…

We reduced Rudyak's conjecture that a degree one map between closed manifolds cannot raise the Lusternik-Schnirelmann category to the computation of the category of the product of two lens spaces $L^n_p\times L_q^n$ with relatively prime…

For a twisted partial action \Theta of a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A X_\Theta G is proved to be associative. Given a G-graded k-algebra B =…

The following inequality \cat X\le \cat Y+\lceil\frac{hd(X)-r}{r+1}\rceil holds for every locally trivial fibration between $ANE$ spaces $f:X\to Y$ which admits a section and has the $r$-connected fiber where $hd(X)$ is the homotopical…

This work solves the problem of elaborating Ganea and Whitehead definitions for the tangential category of a foliated manifold. We develop these two notions in the category $\Tops$ of stratified spaces, that are topological spaces $X$…

We show that the geometry of a Riemannian manifold (M,g) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted cat_{LS}(M). Here we introduce a Riemannian analogue of…

Reiner, Shaw and van Willigenburg showed that if two skew Schur functions s_A and s_B are equal, then the skew shapes A and B must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a…

We use generalised cross--ratios to prove the Ptolemaean inequality and the Theorem of Ptolemaeus in the setting of the boundary of symmetric Riemannian spaces of rank 1 and of negative curvature.