Showing 1–20 of 20 results for author: Tsutaya, M

Morse inequalities for noncompact manifolds

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function. We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function. △ Less

Submitted 7 February, 2025; v1 submitted 7 November, 2024; originally announced November 2024.

Comments: 28 pages, the definition of a fundamental domain is modified

MSC Class: 57R19; 58E05

Homotopy commutativity in quasitoric manifolds

Authors: Sho Hasui, Daisuke Kishimoto, Yichen Tong, Mitsunobu Tsutaya

Abstract: We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(Δ^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. Quasitoric manifolds over $(Δ^3)^n$ include generalized Bott manifolds, and we also construct an infinite family of homotopy nonequivalent generalized Bott manifolds over… ▽ More We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(Δ^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. Quasitoric manifolds over $(Δ^3)^n$ include generalized Bott manifolds, and we also construct an infinite family of homotopy nonequivalent generalized Bott manifolds over $(Δ^3)^n$, only half of them have homotopy commutative loop spaces. In particular, for each $n\ge 2$, there are infinitely many homotopy types in $6n$-dimensional quasitoric manifolds having homotopy (non)commutative loop spaces. △ Less

Submitted 5 March, 2025; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: 14 pages, small expository changes from the first version

MSC Class: 57S12; 55P35; 55Q15

The space of commuting elements in a Lie group and maps between classifying spaces

Authors: Daisuke Kishimoto, Masahiro Takeda, Mitsunobu Tsutaya

Abstract: Let $π$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $Θ\colon\mathrm{Hom}(π,G)_0\to\mathrm{map}_*(Bπ,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $π$ a surface group, and showed that it is surjective in rational… ▽ More Let $π$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $Θ\colon\mathrm{Hom}(π,G)_0\to\mathrm{map}_*(Bπ,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $π$ a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map $Θ$ is surjective in rational cohomology for $π=\mathbb{Z}^m$ and the classical group $G$ except for $SO(2n)$, and that it is not surjective for $π=\mathbb{Z}^m$ with $m\ge 3$ and $G=SO(2n)$ with $n\ge 4$. As an application, we consider the surjectivity of the map $Θ$ in rational cohomology for $π$ a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map $Θ$ in rational homotopy groups for $π=\mathbb{Z}^m$ and the classical groups $G$ except for $SO(2n)$. △ Less

Submitted 17 October, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

MSC Class: 55R37; 57T10

Vector fields on non-compact manifolds

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincaré-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an application, we show that such a vector field must have infinitely many zeros whenever $G$ is amenable and the Euler characteristic of $M/G$ is non-zero. Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincaré-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an application, we show that such a vector field must have infinitely many zeros whenever $G$ is amenable and the Euler characteristic of $M/G$ is non-zero. △ Less

Submitted 24 September, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 10 pages

MSC Class: 57R25; 58K45

Journal ref: Algebr. Geom. Topol. 24 (2024) 3985-3996

Higher homotopy normalities in topological groups

Authors: Mitsunobu Tsutaya

Abstract: The purpose of this paper is to introduce $N_k(\ell)$-maps ($1\le k,\ell\le\infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An $N_k(\ell)$-map is defined with higher homotopical conditions. It is shown that a homomorphism is an $N_k(\ell)$-map if and only if there exists fiberwise maps between fiberwise projective spaces with some properties.… ▽ More The purpose of this paper is to introduce $N_k(\ell)$-maps ($1\le k,\ell\le\infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An $N_k(\ell)$-map is defined with higher homotopical conditions. It is shown that a homomorphism is an $N_k(\ell)$-map if and only if there exists fiberwise maps between fiberwise projective spaces with some properties. Also, the homotopy quotient of an $N_k(k)$-map is shown to be an $H$-space if its LS category is not greater than $k$. As an application, we investigate when the inclusions $\operatorname{SU}(m)\to\operatorname{SU}(n)$ and $\operatorname{SO}(2m+1)\to\operatorname{SO}(2n+1)$ are $p$-locally $N_k(\ell)$-maps. △ Less

Submitted 11 January, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 22 pages, 4 figures

MSC Class: 55P45 (primary); 55R70 (secondary)

Journal ref: J. Topol. 16 (2023), 234-263

Hilbert bundles with ends

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed basis also defines unitary operators of finite propagation, and these operators preserve an end of a Hilbert space. Then, we can define a Hilbert bundle with end… ▽ More Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed basis also defines unitary operators of finite propagation, and these operators preserve an end of a Hilbert space. Then, we can define a Hilbert bundle with end, which lightens up new structures of Hilbert bundles. In a special case, we can define characteristic classes of Hilbert bundles with ends, which are new invariants of Hilbert bundles. We show Hilbert bundles with ends appear in natural contexts. First, we generalize the pushforward of a vector bundle along a finite covering to an infinite covering, which is a Hilbert bundle with end under a mild condition. Then we compute characteristic classes of some pushforwards along infinite coverings. Next, we will show the spectral decompositions of nice differential operators give rise to Hilbert bundles with ends, which elucidate new features of spectral decompositions. The spectral decompositions we will consider are the Fourier transform and the harmonic oscillators. △ Less

Submitted 23 August, 2021; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 31 pages

MSC Class: 57R20; 57R22; 46L80; 46C05; 34K08

De Rham cohomology of the weak stable foliation of the geodesic flow of a hyperbolic surface

Authors: Hirokazu Maruhashi, Mitsunobu Tsutaya

Abstract: We compute the de Rham cohomology of the weak stable foliation of the geodesic flow of a connected orientable closed hyperbolic surface with various coefficients. For most of the coefficients, we also give certain "Hodge decompositions" of the corresponding de Rham complexes, which are not obtained by the usual Hodge theory of foliations. These results are based on unitary representation theory of… ▽ More We compute the de Rham cohomology of the weak stable foliation of the geodesic flow of a connected orientable closed hyperbolic surface with various coefficients. For most of the coefficients, we also give certain "Hodge decompositions" of the corresponding de Rham complexes, which are not obtained by the usual Hodge theory of foliations. These results are based on unitary representation theory of $\mathrm{PSL}(2,\mathbb{R})$. As an application we obtain an answer to a problem considered by Haefliger and Li around 1980. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 90 pages, 2 figures

Homotopy type of the unitary group of the uniform Roe algebra on $\mathbb{Z}^n$

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: We study the homotopy type of the space of the unitary group $\U_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\U_1(C^\ast_u(|\mathbb{Z}^n|))\to\U_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\U_1(C^\ast_u(|\mathbb{Z}^n|))$, which is t… ▽ More We study the homotopy type of the space of the unitary group $\U_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\U_1(C^\ast_u(|\mathbb{Z}^n|))\to\U_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\U_1(C^\ast_u(|\mathbb{Z}^n|))$, which is the product of the unitary group $\U_1(C^\ast(|\mathbb{Z}^n|))$ (having the homotopy type of $\U_\infty(\mathbb{C})$ or $\mathbb{Z}\times B\U_\infty(\mathbb{C})$ depending on the parity of $n$) of the Roe algebra $C^\ast(|\mathbb{Z}^n|)$ and rational Eilenberg--MacLane spaces. △ Less

Submitted 3 July, 2025; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: 15 pages

Journal ref: J. Topol. Anal.15(2023), no.2, 495-512

Tverberg's theorem for cell complexes

Authors: Sho Hasui, Daisuke Kishimoto, Masahiro Takeda, Mitsunobu Tsutaya

Abstract: The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We al… ▽ More The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We also discuss the atomicity of the Tverberg property. △ Less

Submitted 17 February, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 10 pages, results substantially improved

MSC Class: 52A37; 55R80

$G$-index, topological dynamics and marker property

Authors: Masaki Tsukamoto, Mitsunobu Tsutaya, Masahiko Yoshinaga

Abstract: Given an action of a finite group $G$, we can define its index. The $G$-index roughly measures a size of the given $G$-space. We explore connections between the $G$-index theory and topological dynamics. For a fixed-point free dynamical system, we study the $\mathbb{Z}_p$-index of the set of $p$-periodic points. We find that its growth is at most linear in $p$. As an application, we construct a fr… ▽ More Given an action of a finite group $G$, we can define its index. The $G$-index roughly measures a size of the given $G$-space. We explore connections between the $G$-index theory and topological dynamics. For a fixed-point free dynamical system, we study the $\mathbb{Z}_p$-index of the set of $p$-periodic points. We find that its growth is at most linear in $p$. As an application, we construct a free dynamical system which does not have the marker property. This solves a problem which has been open for several years. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 23 pages

MSC Class: 37B05; 55M35

Homotopy type of the space of finite propagation unitary operators on $\mathbb{Z}$

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $π_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation… ▽ More The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $π_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation unitary operators on the Hilbert space of square summable $\mathbb{C}$-valued $\mathbb{Z}$-sequences, so we can determine its homotopy groups. We also study the space of (end-)periodic finite propagation unitary operators. △ Less

Submitted 8 June, 2023; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: 27 pages, 2 figures

MSC Class: 55Q52 (Primary); 81R10; 46L80 (Secondary)

Journal ref: Homology, Homotopy Appl. 25 (2023), 375-400

A short proof for tc(K) = 4

Authors: Norio Iwase, Michihiro Sakai, Mitsunobu Tsutaya

Abstract: We show a method to determine topological complexity from the fibrewise view point, which provides an alternative proof for tc(K) = 4, where K denotes Klein bottle. We show a method to determine topological complexity from the fibrewise view point, which provides an alternative proof for tc(K) = 4, where K denotes Klein bottle. △ Less

Submitted 20 July, 2018; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 7 pages, 2 figures

MSC Class: Primary 54H25; Secondary 55P50; 55T10

Higher homotopy commutativity in localized Lie groups and gauge groups

Authors: Sho Hasui, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: The first aim of this paper is to study the $p$-local higher homotopy commutativity of Lie groups in the sense of Sugawara. The second aim is to apply this result to the $p$-local higher homotopy commutativity of gauge groups. Although the higher homotopy commutativity of Lie groups in the sense of Williams is already known, the higher homotopy commutativity in the sense of Sugawara is necessary f… ▽ More The first aim of this paper is to study the $p$-local higher homotopy commutativity of Lie groups in the sense of Sugawara. The second aim is to apply this result to the $p$-local higher homotopy commutativity of gauge groups. Although the higher homotopy commutativity of Lie groups in the sense of Williams is already known, the higher homotopy commutativity in the sense of Sugawara is necessary for this application. The third aim is to resolve the $5$-local higher homotopy non-commutativity problem of the exceptional Lie group $\mathrm{G}_2$, which has been open for a long time. △ Less

Submitted 12 June, 2018; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 19 pages

Journal ref: Homology, Homotopy Appl. 21 (2019), 107-128

Coincidence Reidemeister trace and its generalization

Authors: Mitsunobu Tsutaya

Abstract: We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which coincides with the Hurewicz image of Koschorke's stabilized bordism invariant. To define it, we use a kind of shriek maps appearing string topology. As an application,… ▽ More We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which coincides with the Hurewicz image of Koschorke's stabilized bordism invariant. To define it, we use a kind of shriek maps appearing string topology. As an application, we compute the coincidence Reidemeister trace for the self-coincidence of the projections of $S^1$-bundles on $\mathbb{C}P^n$. We also mention how to relate our construction to the string topology operation called the loop coproduct. △ Less

Submitted 10 August, 2016; v1 submitted 23 June, 2016; originally announced June 2016.

Comments: 25 pages, the description using Thom spectra is added, the generalization of the Reidemeister trace for three or more maps is deleted

MSC Class: 54H25 (primary); 55P50; 55T10 (secondary)

Infiniteness of $A_\infty$-types of gauge groups

Authors: Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is proved by Crabb--Sutherland and the second author that the number of $A_n$-types of the gauge groups of $P$ is finite if $n<\infty$ and $K$ is a finite complex.… ▽ More Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is proved by Crabb--Sutherland and the second author that the number of $A_n$-types of the gauge groups of $P$ is finite if $n<\infty$ and $K$ is a finite complex. We show that the number of $A_\infty$-types of the gauge groups of $P$ is infinite if $K$ is a sphere and there are infinitely many $P$. △ Less

Submitted 3 July, 2015; v1 submitted 10 February, 2015; originally announced February 2015.

Comments: 12 pages, accepted for publication by J. Topol

MSC Class: Primary 57S05; Secondary 55P48

Journal ref: J Topology (2016) 9 (1): 181-191

Mapping spaces from projective spaces

Authors: Mitsunobu Tsutaya

Abstract: We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G'$ a well-pointed grouplike topological monoid. We prove the weak equivalence between the pointed mapping space $\mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G'$. This fact has… ▽ More We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G'$ a well-pointed grouplike topological monoid. We prove the weak equivalence between the pointed mapping space $\mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G'$. This fact has several applications. As the first application, we show that the connecting map $G\rightarrow\mathrm{Map}_0(B_nG,BG)$ of the evaluation fiber sequence $\mathrm{Map}_0(B_nG,BG)\rightarrow\mathrm{Map}(B_nG,BG)\rightarrow BG$ is delooped. As other applications, we consider higher homotopy commutativity, $A_n$-types of gauge groups, $T_k^f$-spaces by Iwase--Mimura--Oda--Yoon and homotopy pullback of $A_n$-maps. In particular, we show that the $T_k^f$-space and the $C_k^f$-space are exactly the same concept and give some new examples of $T_k^f$-spaces. △ Less

Submitted 19 October, 2015; v1 submitted 8 August, 2014; originally announced August 2014.

Comments: 26 pages, 3 figures; the appendix in v3 is deleted since its argument was incomplete

MSC Class: 54C35 (primary); 18D50; 55P45 (secondary)

Journal ref: Homology, Homotopy Appl. 18 (2016), 173-203

Samelson products in p-regular SO(2n) and its homotopy normality

Authors: Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the… ▽ More A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion $\mathrm{SO}(2n-1)\to\mathrm{SO}(2n)$ in the sense of James at any prime $p$. △ Less

Submitted 10 July, 2015; v1 submitted 1 May, 2014; originally announced May 2014.

Comments: 9 pages, some results on homotopy normality are added

MSC Class: 55Q15

Journal ref: Glasg. Math. J. 60 (2018), no. 1, 165-174

Homotopy pullback of $A_n$-spaces and its applications to $A_n$-types of gauge groups

Authors: Mitsunobu Tsutaya

Abstract: We construct the homotopy pullback of $A_n$-spaces and show some universal property of it. As the first application, we review the Zabrodsky's result which states that for each prime $p$, there is a finite CW complex which admits an $A_{p-1}$-form but no $A_p$-form. As the second application, we investigate $A_n$-types of gauge groups. In particular, we give a new result on $A_n$-types of the gaug… ▽ More We construct the homotopy pullback of $A_n$-spaces and show some universal property of it. As the first application, we review the Zabrodsky's result which states that for each prime $p$, there is a finite CW complex which admits an $A_{p-1}$-form but no $A_p$-form. As the second application, we investigate $A_n$-types of gauge groups. In particular, we give a new result on $A_n$-types of the gauge groups of principal $\mathrm{SU}(2)$-bundles over $S^4$, which is a complete classification when they are localized away from 2. △ Less

Submitted 7 February, 2014; v1 submitted 31 October, 2012; originally announced October 2012.

Comments: 24 pages, made many corrections, separated Section 8 into Section 8 and 9

Journal ref: Topology Appl. 187 (2015), 1-25

Finiteness of $A_n$-equivalence types of gauge groups

Authors: Mitsunobu Tsutaya

Abstract: Let $B$ be a finite CW complex and $G$ a compact connected Lie group. We show that the number of gauge groups of principal $G$-bundles over $B$ is finite up to $A_n$-equivalence for $n<\infty$. As an example, we give a lower bound of the number of $A_n$-equivalence types of gauge groups of principal $\SU(2)$-bundles over $S^4$. Let $B$ be a finite CW complex and $G$ a compact connected Lie group. We show that the number of gauge groups of principal $G$-bundles over $B$ is finite up to $A_n$-equivalence for $n<\infty$. As an example, we give a lower bound of the number of $A_n$-equivalence types of gauge groups of principal $\SU(2)$-bundles over $S^4$. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 17 pages, 10 figures

Journal ref: J. London Math. Soc. (2012) 85 (1): 142-164

A note on homotopy types of connected components of Map(S^4,BSU(2))

Authors: Mitsunobu Tsutaya

Abstract: Connected components of $\Map(S^4,B\SU(2))$ are the classifying spaces of gauge groups of principal $\SU(2)$-bundles over $S^4$. Tsukuda [Tsu01] has investigated the homotopy types of connected components of $\Map(S^4,B\SU(2))$. But unfortunately, the proof of Lemma 2.4 in [Tsu01] is not correct for $p=2$. In this paper, we give a complete proof. Moreover, we investigate the further divisibility o… ▽ More Connected components of $\Map(S^4,B\SU(2))$ are the classifying spaces of gauge groups of principal $\SU(2)$-bundles over $S^4$. Tsukuda [Tsu01] has investigated the homotopy types of connected components of $\Map(S^4,B\SU(2))$. But unfortunately, the proof of Lemma 2.4 in [Tsu01] is not correct for $p=2$. In this paper, we give a complete proof. Moreover, we investigate the further divisibility of $ε_i$ defined in [Tsu01]. In [Tsu], it is shown that divisibility of $ε_i$ have some information about $A_i$-equivalence types of the gauge groups. △ Less

Submitted 22 January, 2011; originally announced January 2011.

Journal ref: J. Pure Appl. Algebra 216 (4) (2012), 826-832