Table of Contents
Fetching ...

Infinitesimal rigidity of collapsed gradient steady Ricci solitons in dimension three

Huai-Dong Cao, Chenxu He

Abstract

The only known example of collapsed three-dimensional complete gradient steady Ricci solitons so far is the 3D cigar soliton $N^2\times \mathbb{R}$, the product of Hamilton's cigar soliton $N^2$ and the real line $\mathbb{R}$ with the product metric. R. Hamilton has conjectured that there should exist a family of collapsed positively curved three-dimensional complete gradient steady solitons, with $\mathsf{S}^1$-symmetry, connecting the 3D cigar soliton. In this paper, we make the first initial progress and prove that the infinitesimal deformation at the 3D cigar soliton is non-essential. In Appendix A, we show that the 3D cigar soliton is the unique complete nonflat gradient steady Ricci soliton in dimension three that admits two commuting Killing vector fields.

Infinitesimal rigidity of collapsed gradient steady Ricci solitons in dimension three

Abstract

The only known example of collapsed three-dimensional complete gradient steady Ricci solitons so far is the 3D cigar soliton , the product of Hamilton's cigar soliton and the real line with the product metric. R. Hamilton has conjectured that there should exist a family of collapsed positively curved three-dimensional complete gradient steady solitons, with -symmetry, connecting the 3D cigar soliton. In this paper, we make the first initial progress and prove that the infinitesimal deformation at the 3D cigar soliton is non-essential. In Appendix A, we show that the 3D cigar soliton is the unique complete nonflat gradient steady Ricci soliton in dimension three that admits two commuting Killing vector fields.

Paper Structure

This paper contains 5 sections, 11 theorems, 105 equations.

Key Result

Theorem 1.1

Let $(M(t),g(t), f(t))$ ($0\leq t < \varepsilon$) be a deformation of the 3D cigar soliton $N^2 \times \mathbb{R}$ satisfying the circle symmetry conditions for all $t\in [0, \varepsilon)$. Then the associated infinitesimal deformation $h = g'(0)$ is non-essential.

Theorems & Definitions (29)

  • Theorem 1.1
  • Remark 1.2
  • Remark 1.3
  • Theorem 2.1
  • proof
  • Example 2.2
  • Definition 2.3
  • Proposition 2.4
  • proof
  • Theorem 2.5
  • ...and 19 more