arXiv subjects
Publications and source records attributed to Masashi Ishida.
We compute the Yamabe invariants for a new infinite class of closed $4$-dimensional manifolds by using a "twisted" version of the Seiberg-Witten equations, the $\mathrm{Pin}^-(2)$-monopole equations. The same technique also provides a new obstruction to the existence of Einstein metrics or long-time solutions of the normalised Ricci flow with uniformly bounded scalar curvature.
Let $M$ be a closed Riemannian manifold with a family of Riemannian metrics $g_{ij}(t)$ evolving by a geometric flow $\partial_{t}g_{ij} = -2{S}_{ij}$, where $S_{ij}(t)$ is a family of smooth symmetric two-tensors. We derive several differential Harnack estimates for positive solutions to the nonlinear backward heat-type equation \begin{eqnarray*} \frac{\partial f}{\partial t} = -Δf + γf\log f +aSf \end{eqnarray*} where $a$ and $γ$ are constants and $S=g^{ij}S_{ij}$ is the trace of $S_{ij}$. Our abstract formulation provides a unified framework for some known results proved by various authors, and moreover lead to new Harnack inequalities for a variety of geometric flows.
Let $M$ be a closed Riemannian manifold with a family of Riemannian metrics $g_{ij}(t)$ evolving by geometric flow $\partial_{t}g_{ij} = -2{S}_{ij}$, where $S_{ij}(t)$ is a family of smooth symmetric two-tensors on $M$. In this paper we derive differential Harnack estimates for positive solutions to the nonlinear heat equation with potential: \begin{eqnarray*} \frac{\partial f}{\partial t} = Δf + γ(t) f\log f +aSf, \end{eqnarray*} where $γ(t)$ is a continuous function on $t$, $a$ is a constant and $S=g^{ij}S_{ij}$ is the trace of $S_{ij}$. Our Harnack estimates include many known results as special cases, and moreover lead to new Harnack inequalities for a variety geometric flows.
In this article, we produce infinite families of 4-manifolds with positive first betti numbers and meeting certain conditions on their homotopy and smooth types so as to conclude the non-vanishing of the stable cohomotopy Seiberg-Witten invariants of their connected sums. Elementary building blocks used in the earlier work of Ishida and Sasahira are shown to be included in our general construction scheme as well. We then use these families to construct the first examples of families of closed smooth 4-manifolds for which Gromov's simplicial volume is nontrivial, Perelman's lambda-bar invariant is negative, and the relevant Gromov-Hitchin-Thorpe type inequality is satisfied, yet no non-singular solution to the normalized Ricci flow for any initial metric can be obtained. Fang, Zhang and Zhang conjectured that the existence of any non-singular solution to the normalized Ricci flow on smooth 4-manifolds with non-trivial Gromov's simplicial volume and negative Perelman's lambda-bar invariant implies the Gromov-Hitchin-Thorpe type inequality. Our results in particular imply that the converse of this fails to be true for vast families of 4-manifolds.
We show that the minimal volume entropy of closed manifolds remains unaffected when nonessential manifolds are added in a connected sum. We combine this result with the stable cohomotopy invariant of Bauer-Furuta in order to present an infinite family of four-manifolds with the following properties: 1) They have positive minimal volume entropy. 2) They satisfy a strict version of the Gromov-Hitchin-Thorpe inequality, with a minimal volume entropy term. 3) They nevertheless admit infinitely many distinct smooth structures for which no compatible Einstein metric exists.
We find an obstruction to the existence of non-singular solutions to the normalized Ricci flow on four-manifolds with $b^+=1$. By using this obstruction, we study the relationship between the existence or non-existence of non-singular solutions of the normalized Ricci flow and exotic smooth structures on the topological 4-manifolds ${\mathbb C}{P}^2 # l \overline{{\mathbb C}{P}^2}$, where $5 \leq l \leq 8$.
A solution to the normalized Ricci flow is called non-singular if it exists for all time with uniformly bounded sectional curvature. By using the techniques developed by the present authors, we study the existence or non-existence of non-singular solutions of the normalized Ricci flow on 4-manifolds with non-trivial fundamental group and the relation with the smooth structures. For example, we prove that, for any finite cyclic group ${\mathbb Z}_{d}$, where $d>1$, there exists a compact topological 4-manifold $X$ with fundamental group ${\mathbb Z}_{d}$, which admits at least one smooth structure for which non-singular solutions of the normalized Ricci flow exist, but also admits infinitely many distinct smooth structures for which {\it no} non-singular solution of the normalized Ricci flow exists. Related non-existence results on non-singular solutions are also proved. Among others, we show that there are no non-singular $\ZZ_d-$equivariant solutions to the normalized Ricci flow on appropriate connected sums of $\bcp ^2$s and $\cpb $s ($d>1$).
In this article, we shall investigate the relationship between the existence or non-existence of non-singular solutions to the normalized Ricci flow and smooth structures on closed 4-manifolds, where non-singular solutions to the normalized Ricci flow are solutions which exist for all time $t \in [0, \infty)$ with uniformly bounded sectional curvature. In dimension 4, there exist many compact topological manifolds admitting distinct smooth structures, i.e., exotic smooth structures. Interestingly, in this article, the difference between existence and non-existence of non-singular solutions to the normalized Ricci flow on 4-manifolds turns out to strictly depend on the choice of smooth structure. In fact, we shall prove that, for every natural number $\ell$, there exists a compact topological 4-manifold $X_{\ell}$ which admits smooth structures for which non-singular solutions of the normalized Ricci flow exist, but also admits smooth structures for which no non-singular solution of the normalized Ricci flow exists. Hence, in dimension 4, smooth structures become definite obstructions to the existence of non-singular solutions to the normalized Ricci flow.
We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds with non-trivial stable cohomotopy Seiberg-Witten invariants and it also gives a partial, but strong affirmative answer to a conjecture concerning non-vanishing of the invariant. Various new applications of the non-vanishing theorem are also given. For example, we shall introduce variants $\barλ_k$ of Perelman's $\barλ$ invariants for real numbers $k$ and compute the values for a large class of 4-manifolds including connected sums of certain K{ä}hler surfaces. The non-vanishing theorem is also used to construct the first examples of 4-manifolds with non-zero simplicial volume and satisfying the strict Gromov-Hitchin-Thorpe inequality, but admitting infinitely many distinct smooth structures for which no compatible Einstein metric exists. Moreover, we are able to prove a new result on the existence of exotic smooth structures.
In his study of Ricci flow, Perelman introduced a smooth-manifold invariant called lambda-bar. We show here that, for completely elementary reasons, this invariant simply equals the Yamabe invariant, alias the sigma constant, whenever the latter is non-positive. On the other hand, the Perelman invariant just equals + infinity whenever the Yamabe invariant is positive.
We consider several differential-topological invariants of compact 4-manifolds which directly arise from Riemannian variational problems. Using recent results of Bauer and Furuta, we compute these invariants in many cases that were previously intractable. In particular, we are now able to calculate the Yamabe invariant for certain connected sums of complex surfaces.
We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy refinement of the Seiberg-Witten invariant, in conjunction with curvature estimates previously proved by the second author. These methods also easily allow one to construct examples of topological 4-manifolds which admit an Einstein metric for one smooth structure, but which have infinitely many other smooth structures for which no Einstein metric can exist.