BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Norio Iwase contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We are trying to look over the Lusternik-Schnirelmann theory (L-S theory, for short) and the Topological Complexity (TC, for short) as a natural extension of the L-S theory. In particular, we focus on the impact of the ideas originated from E. Fadell and S. Husseini on both theories. More precisely, we see how their ideas on a category weight and a relative category drive the L-S theory and the TC.
We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It is also shown that, for any open covering of a smooth CW complex, there exists a partition of unity subordinate to the open covering.
Let $G$ be a compact connected Lie group and $p : E\to ΣA$ be a principal G-bundle with a characteristic map $α: A\to G$, where $A=ΣA_{0}$ for some $A_{0}$. Let $\{K_{i}{\to} F_{i-1}{\hookrightarrow} F_{i} \,|\, 1{\le} i {\le} n,\, F_{0}{=} \{\ast\} \; F_{1}{=} Σ{K_{1}} \; \text{and}\; F_{n}{\simeq} G \}$ be a cone-decomposition of $G$ of length $m$ and $F'_{1}=Σ{K'_{1}} \subset F_{1}$ with $K'_{1} \subset K_{1}$ which satisfy $F_{i}F'_{1} \subset F_{i+1}$ up to homotopy for any $i$. Our main result is as follows: we have $\operatorname{cat}(X) \le m{+}1$, if firstly the characteristic map $α$ is compressible into $F'_{1}$, secondly the Berstein-Hilton Hopf invariant $H_{1}(α)$ vanishes in $[A, ΩF'_1{\ast}ΩF'_1]$ and thirdly $K_{m}$ is a sphere. We apply this to the principal bundle $\mathrm{SO}(9)\hookrightarrow\mathrm{SO}(10)\to S^{9}$ to determine L-S category of $\mathrm{SO}(10)$.
Apart from simply-connected spaces, a non simply-connected co-H-space is a typical example of a space X with a co-action of $Bπ_1(X)$ along $r^X : X \rightarrow Bπ_{1}(X)$ the classifying map of the universal covering. If such a space X is actually a co-H-space, then the fibrewise p-localization of $r^X$ (or the `almost' p-localization of X) is a fibrewise co-H-space (or an `almost' co-H-space, resp.) for every prime p. In this paper, we show that the converse statement is true, i.e., for a non simply-connected space X with a co-action of $Bπ_1(X)$ along $r^X$, X is a co-H-space if, for every prime p, the almost p-localization of X is an almost co-H-space.
Topological complexity $\TC{B}$ of a space $B$ is introduced by M. Farber to measure how much complex the space is, which is first considered on a configuration space of a motion planning of a robot arm. We also consider a stronger version $\TCM{B}$ of topological complexity with an additional condition: in a robot motion planning, a motion must be stasis if the initial and the terminal states are the same. Our main goal is to show the equalities $\TC{B} = \catBb{\double{B}}+1$ and $\TCM{B} = \catBB{\double{B}}+1$, where $\double{B}=B{\times}B$ is a fibrewise pointed space over $B$ whose projection and section are given by $p_{\double{B}}=\proj_{2} : B{\times}B \to B$ the canonical projection to the second factor and $s_{\double{B}}=Δ_{B} : B \to B{\times}B the diagonal. In addition, our method in studying fibrewise L-S category is able to treat a fibrewise space with singular fibres. Recently, we found a problem with the proof of Theorem 1.13 which states that for a fibrewise well-pointed space $X$ over $B$, we have $\catBB{X}$ = \catBb{X}$ and that for a locally finite simplicial complex $B$, we have $\TC{B} = \TCM{B}$. While we still conjecture that Theorem 1.13 is true, this problem means that, at present, no proof is given to exist. Alternatively, we show the difference between two invariants $\catBb{X}$ and $\catBB{X}$ is at most 1 and the conjecture is true for some cases. We give further corrections mainly in the proof of Theorem 1.12.
Suppose the spaces X and X cross A have the same Lusternik-Schnirelmann category: cat(X cross A)= cat(X). Then there is a strict inequality cat(X cross (A halfsmash B)) < cat (X) + cat(A halfsmash B) for every space B, provided the connectivity of A is large enough (depending only on X). This is applied to give a partial verification of a conjecture of Iwase on the category of products of spaces with spheres.