Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper constructs finite $T_0$-spaces to investigate the relationship between weak, stable, and ordinary Lusternik-Schnirelmann categories, denoted $\operatorname{cat}_w(X)\leq \operatorname{cat}_s(X)\leq \operatorname{cat}(X)$. A novel construction involving weakly contractible spaces with specific maximal points yields examples where these inequalities are simultaneously strict, specifically a twelve-point space with category triple $(1,2,m)$ and constant ordinary category $2$ after barycentric subdivision. The work also establishes conditions for realizing arbitrary category triples $(a,b,c)$ under disjoint unions, addressing open questions about simultaneous strictness.
Finite spaces with simultaneously strict weak, stable, and ordinary Lusternik-Schnirelmann categories are explicitly constructed, resolving a long-standing open problem.
The weak, stable, and ordinary Lusternik--Schnirelmann categories of a finite $T_0$-space $X$ satisfy $\operatorname{cat}_w(X)\leq \operatorname{cat}_s(X)\leq \operatorname{cat}(X)$. We give a general construction answering the simultaneous-strictness question of Cárdenas, Flores, Quintero, and Villar-Liñán. If $P$ is weakly contractible but noncontractible and the deletion of one point makes $P$ contractible, then adjoining $m\geq 2$ incomparable maximal points produces a connected finite space with category triple $(1,2,m)$. Moreover, after any positive number of barycentric subdivisions its ordinary category is equal to $2$. Applying the construction to a nine-point space yields examples on $m+9$ points and, in particular, a twelve-point example for which both inequalities are strict. Using additivity under disjoint unions, we also realize every triple $(a,b,c)$ with $1\leq a<b\leq 2a$ and $c\geq b$, as well as every triple $(a,a,c)$ with $2\leq a\leq c$. We conclude with questions concerning connected realizations and the minimum cardinality of a finite space exhibiting simultaneous strictness.