[論文レビュー] Highly connected 7-manifolds and non-negative curvature

Sebastian Goette, Martin Kerin+1 more|arXiv (Cornell University)|May 16, 2017

Geometric Analysis and Curvature Flows参考文献 52被引用数 6

ひとこと要約

本論文は、10次元の共型数1の多様体からの商構成を用いて、非負の断面曲率を持つSO(3)-不変計量を備えた、高接続性の7次元多様体の6パラメータ族を構成する。Eells-Kuiper不変量を明示的に計算し、すべての奇抜7次元球面がこのような計量を備えることを証明した。これは、非負曲率のリーマン幾何学における長年の未解決問題を解決する。

ABSTRACT

In this article, a six-parameter family of highly connected 7-manifolds which admit an SO(3)-invariant metric of non-negative sectional curvature is constructed and the Eells-Kuiper invariant of each is computed. In particular, it follows that all exotic spheres in dimension 7 admit an SO(3)-invariant metric of non-negative curvature.

研究の動機と目的

• SO(3)-不変で非負の断面曲率をもつ6パラメータ族の7次元、高接続性多様体の構成。
• Eells-Kuiper不変量の計算により、これらの多様体の微分同相型を同定すること。
• すべての奇抜7次元球面が非負の断面曲率計量を備えることを証明し、以前の双剰分類および共型数1作用に関する結果を拡張すること。
• Grove-ZillerによるS³-バンドル上S⁴への非負曲率計量の構成を、より広いクラスの7次元多様体へ一般化すること。
• Eells-Kuiper不変量とq不変量を用いて、これらの多様体の微分同相型を完全に分類すること。

提案手法

• 6つの整数a₁,a₂,a₃,b₁,b₂,b₃でパラメータ化された、S⁴上への主(S³×S³)-バンドルとして10次元の共型数1多様体P¹⁰_{a,b}を構成する。
• 自由かつ等長なS³作用の存在を保証するため、条件gcd(a₁,a₂±a₃)=gcd(b₁,b₂±b₃)=1およびaᵢ,bᵢ≡1 mod 4を課す。
• 商M⁷_{a,b} = P¹⁰_{a,b}/S³を形成し、誘導計量を備えることで、SO(3)-不変で非負曲率をもつ7次元多様体を得る。
• 断面曲率の非負性を保証するアディアバティック極限公式を用い、奇数符号作用素の符号数と小さな固有値からの寄与を含むEells-Kuiper不変量を計算する。
• Seifertファイブレーションπ: M⁷_{a,b} → B⁴_{a,b}に対してLeray-Serreスペクトル系列を用い、極めて小さな固有値からの寄与を計算する。
• Eells-Kuiper不変量の閉形式表現を導出：μ(M⁷_{a,b}) = (|n| − a₁²b₁²m²)/(2⁵·7·n) − D(a) + D(b) mod 1、ここでn = 1/8·aᵢ², bᵢ²の2×2行列の行列式。

実験結果

リサーチクエスチョン

• RQ1 すべての奇抜7次元球面にSO(3)-不変で非負の断面曲率をもつ計量を備えることができるか？
• RQ2 10次元の共型数1多様体の商として構成された7次元、高接続性多様体の微分同相型は何か？
• RQ3 このような多様体のEells-Kuiper不変量は、整数パラメータaᵢ, bᵢにどのように依存するか？
• RQ4 S³-バンドル上S⁴を超える範囲に、同じ曲率および対称性性質をもつ非自明な7次元多様体を含めるようにこの構成を一般化できるか？
• RQ5 Eells-Kuiper不変量の正確な式はパラメータaとbの関数としてどのように表され、微分同相型を区別するか？

主な発見

• すべての奇抜7次元球面がSO(3)-不変なリーマン計量を備え、非負の断面曲率をもつことを確認し、非負曲率幾何学における主要な予想を解決した。
• 構成された7次元多様体のEells-Kuiper不変量は、μ(M⁷_{a,b}) = (|n| − a₁²b₁²m²)/(2⁵·7·n) − D(a) + D(b) mod 1で与えられ、D(a)およびD(b)はρ(x) = 1 if x≡1 mod 3, −1 if x≡2 mod 3のRamanujan和を用いて定義される。
• n ≠ 0のとき、コホモロジーはH⁴(M⁷_{a,b};ℤ) = ℤ_|n|を満たし、n = 0のときH³およびH⁴はともにℤであるため、位相的複雑性は行列式パラメータnに依存する。
• a₁ = b₁ = 1のとき、この構成はすべてのMilnor球面を特別な場合として含み、この場合に得られる多様体はS³-バンドル上S⁴と微分同相である。
• Eells-Kuiper不変量の式はℚ/ℤに属し、分母が28を割るため、同相型28種すべてを区別可能である。
• 極めて小さな固有値からの寄与は正確に|n|/(2⁵·7·n)であり、これは7次元多様体上でのdξのファイバーに沿った積分から導出される。ここでξは非ゼロのファイバー積分をもつ3形式である。