BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Norio Iwase appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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.
The idea of a space with smooth structure is a generalization of an idea of a manifold. K. T. Chen introduced such a space as a differentiable space in his study of a loop space to employ the idea of iterated path integrals \cite{Chen:73,Chen:75,Chen:77,Chen:86}. Following the pattern established by Chen, J. M. Souriau \cite{Souriau:80} introduced his version of a space with smooth structure, which is called a diffeological space. These notions are strong enough to include all the topological spaces. However, if one tries to show de Rham theorem, he must encounter a difficulty to obtain a partition of unity and thus the Mayer-Vietoris exact sequence in general. In this paper, we introduce a new version of differential forms to obtain a partition of unity, the Mayer-Vietoris exact sequence and a version of de Rham theorem in general. In addition, if we restrict ourselves to consider only CW complexes, we obtain de Rham theorem for a genuine de Rham complex, and hence the genuine de Rham cohomology coincides with the ordinary cohomology for a CW complex.
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.