Related papers: Cohomological Dimension, Connectivity, and Lustern…
We prove that $$ \cat X\le cd(\pi_1(X))+\bigg\lceil\frac{\dim X-1}{2}\bigg\rceil$$ for every CW complex $X$ where $cd(\pi_1(X))$ denotes the cohomological dimension of the fundamental group of $X$.
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…
We prove that $$ \cat X\le \frac{\cd(\pi_1(X))+\dim X}{2}$$ for every CW complex $X$ where $\cd(\pi_1(X))$ denotes the cohomological dimension of the fundamental group of $X$. We obtain this as a corollary of the inequality $$ \cat…
In this paper we study a new topological invariant $\Cat(X,\xi)$, where $X$ is a finite polyhedron and $\xi\in H^1(X;\R)$ is a real cohomology class. $\Cat(X,\xi)$ is defined using open covers of $X$ with certain geometric properties; it is…
We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, \omega)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This…
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…
Given a closed manifold M, we prove the upper bound of (n+d)/2 for the length of a product of systoles that can form a curvature-free lower bound for the total volume of M, in the spirit of M. Gromov's systolic inequalities. Here n is the…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
Let $\pi$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(\pi)$, the equivariant geometric dimension ${\sf gd}_G(\pi)$, and the equivariant…
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological…
Let $X$ be a simply connected rational elliptic space of formal dimension $n$ and let $\E(X)$ denote the group of homotopy classes of self-equivalences of $X$. If $X^{[k]}$ denotes the $k^{\text{th}}$ Postikov section of $X$ and $X^{k}$…
We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension $\ExD(X)$ was introduced by…
In their theorem from 2006, A. Dranishnikov and J. Smith prove that if $f:G\to H$ is a group homomorphism, then the following formula for asymptotic dimension is true: $\operatorname{asdim} G \leq \operatorname{asdim} H +…
Let $X$ be a finite simply connected CW complex of dimension $n$. The loop space homology $H\_*(\Omega X;\mathbb Q)$ is the universal enveloping algebra of a graded Lie algebra $L\_X$ isomorphic with $ pi\_{*-1} (X)\otimes \mathbb Q$. Let…
Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…
In this article we study a homotopy invariant cat(X,B,\xi) on a pair of finite CW complexes with respect to a continuous closed 1-form. This is a generalisation of a Lusternik-Schnirelmann category developed by Farber, studying the topology…
We prove that the topological connectivity of a graph homomorphism complex Hom($G,K_m$) is at least $m-D(G)-2$, where $\displaystyle D(G)=\max_{H\subseteq G}\delta(H)$. This is a strong generalization of a theorem of Cuki\'{c} and Kozlov,…
Lusternik-Schnirelmann category (LS-category) of a topological space is the least integer $n$ such that there is a covering of $X$ by $n+1$ open sets, each of them being contractible in $X$. The cone length is the minimum number of…
We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…