Searcharxiv⌕ Search

arXiv subjects

Mitsunobu Tsutaya

Publications and source records attributed to Mitsunobu Tsutaya.

At least 19 recordsLinked to original sources

Uniform Lefschetz fixed-point theory

We develop a Lefschetz fixed-point theory for uniformly continuous self-maps of noncompact manifolds of bounded geometry. For a uniform, simply-connected, complete Riemannian manifold $M$ of bounded geometry and a uniformly continuous map $f\colon M\to M$ satisfying $d(f,1)<\infty$, we define a uniform Lefschetz class $\mathscr{L}(f)$ and show that $\mathscr{L}(f)=0$ if and only if $f$ is uniformly homotopic to a map having neither fixed points nor fixed points at infinity; an analogous obstruction class characterizes the existence of a nonvanishing bounded uniformly continuous vector field on $M$. Both classes take values in the $0$-th uniformly finite homology of Block and Weinberger, and hence vanish automatically when $M$ is nonamenable. When $M$ is a Galois covering of a closed manifold, we further establish a Lefschetz-Hopf-type formula for $\mathscr{L}(f)$ and an extension of the Poincaré-Hopf theorem for vector fields. The key new tool is \emph{uniform bounded cohomology}, a variant of Gromov's bounded cohomology for metric spaces satisfying uniform homotopy invariance, excision and Poincaré duality. As a further application, we show that uniform and Lipschitz homotopy theory coincide for uniform simplicial complexes; combined with our obstruction theory, this allows us to obtain Lipschitz analogues of the above results.

math.AT↗

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

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.

math.AT↗

Homotopy commutativity in quasitoric manifolds

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.

math.AT↗

Morse inequalities for noncompact manifolds

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.

math.GT↗

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

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)$.

math.AT↗

Vector fields on non-compact manifolds

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.

math.GT↗

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

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.

math.AT↗

Higher homotopy normalities in topological groups

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.

math.AT↗

Tverberg's theorem for cell complexes

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.

math.AT↗

Hilbert bundles with ends

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.

math.KT↗

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

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.

math.GR↗

$G$-index, topological dynamics and marker property

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.

math.DS↗

A short proof for tc(K) = 4

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.

math.AT↗

Higher homotopy commutativity in localized Lie groups and gauge groups

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.

math.AT↗

Coincidence Reidemeister trace and its generalization

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.

math.AT↗

Mapping spaces from projective spaces

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.

math.AT↗

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

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$.

math.AT↗

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

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$.

math.AT↗