$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

技術要約：連結和およびトーラス和の3次元多様体における $\mathbb{Z}_2$-調和スピノルおよび1形式

問題設定
本論文は、閉じた向き付けられたリーマン3次元多様体における $\mathbb{Z}_2$-調和スピノルおよび $\mathbb{Z}_2$-調和1形式の明示的な構成例の構築に取り組んでいる。これらの対象は、セイバーグ・ウィッテン方程式や $SL(2, \mathbb{C})$ 表現多様体の研究を含む、様々なゲージ理論的方程式の特異な極限解として現れる。DoanとWalpuski [DW21] は、$b_1(Y) > 1$ である多様体に対する一般的な存在定理を確立したが、その証明は非構成的であった。さらに、明示的な例は以前は乏しく、主に対称的なケースに限定されていた。主要な技術的障壁は、これらの対象に関連する特異なディラック作用素が、特異集合 $Z$ に関連する無限次元の障害のために、標準的な関数空間上でフレドホルム性を失うことである。加えて、$\mathbb{Z}_2$-調和1形式の振る舞いは $L^2$-ホッジ理論によって制約されており、これがスピノルの場合と区別される点となっている。

手法
著者らは、構成多様体上の解から、連結和 ($Y_1 \# Y_2$) およびトーラス和 ($Y_1 \natural Y_2$) 上の解を構成するために、グルーイング（接合）引数を採用している。核心となる技術的枠組みは、この問題に固有の「正則性の喪失」を扱うために必要な、Donaldson [Don21] および Parker [Par26] によって確立された、パラメータ化されたナッシュ・モーザーの陰関数定理に基づいている。

手法は以下の3つの主要な段階で進行する：

1. 近似解: 著者らは、構成要素となる多様体上の解をパッチワークすることで、グルーイングされた多様体上の近似解を構成する。
   • 連結和におけるスピノルについては、スピン・ディラック作用素の共形不変性と、「ネックの長さ $T \to \infty$」とする「ネック伸長（neck-stretching）」構成を利用する。
   • 1形式およびトーラス和については、共形不変性が成立しない。代わりに、モデル計量（球面またはトーラス型）を用いた「ネック絞り（neck-pinching）」の議論を用い、閉鎖条件 ($d\nu = 0$) が維持されるように、局所的に完全な形式（原始形式）を用いて近似解を構成する。
2. 一様推定とパラメトリック・パッチング: 著者らは、退化するディラック作用速のネック領域における一様な楕円推定を確立する。これには、円筒状の端（球面またはトーラス型）上のモデル作用素の解析が含まれ、各成分の逆作用素をネック上の逆作用素とパッチングすることによってパラメトリクス（近似逆作用素）を構築する。重要な構成要素は、スペクトルフローの解析と特異集合付近での作用素の振る舞いであり、これにより無限次元の障害が明らかになる。
3. ナッシュ・モーザー理論による補正: 近似解を真の解へと補正するために、著者らはタメ（tame）なフレシェ多様体の圏においてナッシュ・モーザーの陰関数定理を適用する。これにより、特異集合 $Z$ を変形し、無限次元の障害を相殺するための有限次元の摂動（パラメータ）を導入することが可能になる。この定理は、特定の開近傍におけるパラメータに対して、真の解が存在することを保証する。

主な貢献および結果

• グルーイング定理:

  • 定理 1.3 (連結和): $Y_1$ および $Y_2$ 上の滑らかで弱非退化な $\mathbb{Z}_2$-調和スピノル（または1形式）が与えられたとき、著者らは $Y_1 \# Y_2$ 上の $\mathbb{Z}_2$-調和スピノルを構成する。特異集合は元の特異集合の非交和であり、解は元のスピノルの線形結合となる。
  • 定理 1.5 (トーラス和): スピノルの場合、著者らは（結び目の近傍を同一視して形成される）トーラス和 $Y_1 \natural Y_2$ 上の解を構成する。これにはスピン構造とフレーミングのマッチングが必要である。この結果は、二重分岐被覆の $L^2$-コホモロジーに関する位相的な制約のため、一般には1-形式には成立しない。

• セイフェルトファイバー空間における豊富さ:

  • セイフェルトファイバー多様体を構成要素として用いることで、著者らは定理 1.7を証明し、任意の $k \geq 1$ に対して、特異集合が互いに素なファイバーからなる、滑らかで非退化な $\mathbb{Z}_2$-調和スピノルを許容する計量が満たされることを示す。
  • 系 1.8は、$S^3$（ホップ・リンク）、$S^1 \times S^2$、およびポアンカレ・ホモロジー球における明示的な例を提供する。

• 大域的存在性とアイソトピー類:

  • 系 1.10: グルーイングの結果とBärの調和スピノルに関する定理を組み合わせることで、著者らは、あらゆる閉じた向き付けられた3次元多様体が、滑らかで非退化な $\mathbb{Z}_2$-調和スピノルを与える無限個のパラメータを持つことを証明する。決定的なことに、特異集合は、埋め込まれたリンクの無限個の異なるアイソトピー類を表す。これは、$b_1(Y) > 1$ という制限を取り除き、明示的な構成を提供することで、Doan-Walpuskiの存在結果を強化するものである。
  • 系 1.11: トーラス和を用いることで、特異集合が非自明なホモロジー類（具体的には、$2k$ 個の離れた結び目 $K$ のコピー）を表す例を構成する。

• セイバーグ・ウィッテン理論への応用:

  • 系 1.12: 著者らは、$b_1(Y) > 0$ である場合、2つのスピノルによるセイバーグ・ウィッテン方程式の解のモジュライ空間が非空かつ非コンパクトとなるような $\text{Spin}^c$ 構造が $Y$ 上に無限に存在することを示す。これは、負の形式次元においてモジュライ空間が通常空であるか、あるいはコンパクトである標準的なセイバーグ・ウィッテン理論とは対照的である。

• 1-形式および $L^2$-コホモロジーに関する結果:

  • 本論文は、スピノルと1-形式の間の根本的な違いを強調している。スピノルは自由にグルーイングできるが、1-形式は二重分岐被覆の $L^2$-コホモロジーによって制約を受ける。
  • 命題 1.13は、特定の位相的条件（例：$n \geq 4$ のブリークノンのホモロジー球）を満たす、セイフェルトファイバー空間上の $\mathbb{Z}_2$-調和1-形式を構成する。
  • 予想 1.14: 著者らは、非自明な特異集合を持つ $\mathbb{Z}_2$-調和1-形式は、$SL(2, \mathbb{C})$ 特性多様体が0次元である多様体（例：$S^3$）上には存在しないと予想している。
  • 定理 1.15: 1-形式の連結和の振る舞いを $L^2$-コホモロジーの観点から記述し、二重被覆のコホモロジーにおける追加の $\mathbb{R}$ 因子の存在を示しており、これは表現多様体の新しい境界層に対応する。

意義
本論文は、一般的な3次元多様体において、明示的かつ豊富な $\mathbb{Z}_2$-調和スピノルおよび1-形式を構成するための最初の体系的な手法を提供すると主張している。非構成的な存在証明や対称的な例を超えて、この研究は、これらの特異な対象と多様体の大域的な位相との関係を解明するものである。

具体的には、以下の結果が得られる：

1. 存在定理の強化: $\mathbb{Z}_2$-調和スピノルの存在を、$b_1 > 1$ だけでなく、すべての閉じた3次元多様体にまで拡張する。
2. モジュライ空間の構造の解明: 2つのスピノルによるセイバーグ・ウィッテン方程式のモジュライ空間が、無限個の $\text{Spin}^c$ 構造に対して非コンパクトになり得ることを明らかにする。これは、$SL(2, \mathbb{C})$ 表現多様体の非コンパクト性と関連している。
3. スピノルと1-形式の振る舞いの区別: スピノルはグルーイングに対して頑健であるが、1-形式はホッジ理論および二重分岐被覆の構造に由来するより厳格な位相的制約を受けることを、厳密に示している。
4. 将来の研究のための枠組みの提供: 異なるアイソトピー類を表す特異集合の明示的な構成は、ゲージ理論的モジュライ空間および表現多様体のコンパクト化を調査するための新しいツールを提供する。