2025-11-10T02:58:59.381108

Non-smoothable $\mathbb{Z}/p$-actions on nuclei

Montague
In this article we construct examples of non-smoothable $\mathbb{Z}/p$-actions on indefinite spin 4-manifolds with boundary for all primes $p\geq 5$. For example, we show that for each prime $p\geq 5$ and each $n\geq 1$ there exists a locally linear $\mathbb{Z}/p$-action on the Gompf nucleus $N(2pn)$ which is not smoothable with respect to any smooth structure on $N(2pn)$. Furthermore we investigate the behavior of these actions under two different types of equivariant stabilizations with $S^{2}\times S^{2}$, namely \emph{free} and \emph{homologically trivial} stabilizations -- in particular we show that our non-smoothable $\mathbb{Z}/p$-action on $N(2pn)$ remains non-smoothable after $2n-2$ free stabilizations, and after arbitrarily many homologically trivial stabilizations. We also show that free stabilizations satisfy a Wall stabilization principle in the sense that any non-smoothable $\mathbb{Z}/p$-action becomes smoothable after some finite number free stabilizations (under certain assumptions), whereas our aforementioned result implies that homologically trivial stabilizations do not satisfy this property. The proofs of these results use equivariant $κ$-invariants defined by the author in \cite{Mon22}, calculations of equivariant $η$-invariants for the odd signature and Dirac operators on Seifert-fibered spaces, as well as an analysis of the geometric $S^{1}$-action on the Seiberg-Witten moduli spaces of Seifert-fibered spaces induced by rotation in the fibers, which may be of independent interest.
academic

核が滑らかにできない Z/p\mathbb{Z}/p-作用

基本情報

  • 論文ID: 2401.00244
  • タイトル: Non-smoothable Z/p\mathbb{Z}/p-actions on nuclei
  • 著者: Imogen Montague
  • 分類: math.GT（幾何位相幾何学）
  • 提出日時: 2023年12月30日（arXivへ）
  • 論文リンク: https://arxiv.org/abs/2401.00244

要約

本論文は、すべての素数 p≥5p\geq 5 に対して、境界を持つ不定自己双対スピン4-多様体上の滑らかにできない Z/p\mathbb{Z}/p-作用の例を構成する。特に、各素数 p≥5p\geq 5 と各 n≥1n\geq 1 に対して、Gompf核 N(2pn)N(2pn) 上の局所線形 Z/p\mathbb{Z}/p-作用が存在し、この作用は N(2pn)N(2pn) のいかなる滑らかな構造の下でも滑らかにできない。さらに、本論文はこれらの作用が2つの異なるタイプの同変安定化（自由安定化と同調自明安定化）の下での振る舞いを研究し、自由安定化がWall安定化原理を満たすことを証明する一方で、同調自明安定化はこの性質を満たさないことを示す。

研究背景と動機

問題の背景

  1. 古典的結果の拡張: Edmondsは、すべての閉じた単連結位相4-多様体が局所線形 Zp\mathbb{Z}_p-作用を許容することを証明したが、これらの作用がすべて滑らかであるわけではない。Kiyonoはフルタの10/8不等式を用いて、ある作用が滑らかにできないことを証明した。
  2. 境界を持つ場合の困難: 境界を持つ4-多様体に対して、Edmondsの結果の類似版は未知であり、これが境界を持つ場合の研究をより困難にしている。
  3. Seifert-ファイバー空間の重要性: Seifert-ファイバー空間は重要な Zp\mathbb{Z}_p-作用の例を提供し、標準作用はファイバー内の回転によって与えられる。

研究の動機

  1. 理論的空白の埋補: b2(X)>0b_2(X) > 0 を持つ境界付き4-多様体の場合、既知の結果は少なく、特に高次作用（p≥5p \geq 5）に対してそうである。
  2. 安定化現象の研究: 滑らかにできない作用が同変安定化の下でどのように振る舞うかを理解することは、4-多様体の位相的性質を理解する上で重要である。
  3. Wall安定化原理: 異なるタイプの安定化が、滑らかにできない作用を滑らかにできるようにするかどうかを研究する。

核心的貢献

  1. 滑らかにできない作用の構成: すべての素数 p≥5p \geq 5 に対して、空でない境界と b2(X)>0b_2(X) > 0 を持つ4-多様体上の滑らかにできない Z/p\mathbb{Z}/p-作用を構成する。
  2. 安定化振る舞いの分析: 自由安定化がWall安定化原理を満たすことを証明し、同調自明安定化がこの性質を満たさないことを示す。
  3. 同変 κ\kappa-不変量の応用: Mon22で定義された同変 κ\kappa-不変量を用いて、滑らかな拡張の存在を阻止する。
  4. Seiberg-Witten模空間の幾何作用: Seifert-ファイバー空間上のファイバー回転によって誘導される S1S^1-作用がSeiberg-Witten模空間上でどのように幾何的に作用するかを分析する。

方法の詳細

核心的技術フレームワーク

1. 同変 κ\kappa-不変量

著者はMon22で定義された同変 κ\kappa-不変量 K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p を使用する。これらの不変量は Zp\mathbb{Z}_p-同変スピン有理ホモロジー球 (Y,s,σ)(Y,s,\sigma) に関連付けられている。

2. Seiberg-Witten理論

本論文はSeifert-ファイバー空間上のSeiberg-Witten模空間を深く分析し、特に標準 S1S^1-作用が模空間上の既約解に基づいてどのように持ち上がるかを調べる。

主要定理2.1: Seifert-ファイバー空間 YY 上の直線束 E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) に対して、回転数は以下の公式で与えられる： rot(E)=1ℓ(g−e+n−22−∑i=1n2ϵi+12αi)\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)

3. 同変相対10/8不等式

命題3.5: Manolescuの相対10/8不等式が (Y,s,X,t)(Y,s,X,t) に対して鋭い場合、かつ ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s) を満たす異なる元 κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma) が少なくとも2つ存在する場合、σ\sigma は XX 上の滑らかな同調自明 tt-保存 Zp\mathbb{Z}_p-作用に拡張できない。

構成方法

1. 局所線形作用の構成

Edmondsおよび Kwasik-Lawsonの方法を使用し、以下のステップを通じて：

  • 閉じた単連結位相4-多様体上の標準局所線形作用から開始
  • 一般化されたレンズ空間作用を備えた S3S^3 への (Y,ρp)(Y,\rho_p) からの同変ホモロジー配境を構成

2. Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-配境

命題4.10: p≥5p \geq 5 とすべての n≥1n \geq 1 に対して、Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) から L(p;−2,3)L(p;-2,3) への位相的 Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-配境が存在する。

主要な結果

定理1.2（滑らかな拡張の阻止）

以下の場合に、有効な滑らかな Zp\mathbb{Z}_p-作用は同調自明な滑らかな Zp\mathbb{Z}_p-作用に拡張できない：

  1. p≥3p \geq 3、XX がGompf核 N(2n)N(2n) またはその安定化と同相
  2. p≥3p \geq 3、XX が P(2n)P(2n) またはその安定化と同相
  3. p≥3,p≠5p \geq 3, p \neq 5、XX がMilnor繊維 M(2,3,11)M(2,3,11) と同相
  4. p≥3p \geq 3、XX がMilnor繊維 M(2,3,7)M(2,3,7) と同相

定理1.6（安定化振る舞い）

各素数 p≥5p \geq 5 と n≥1n \geq 1 に対して、滑らかにできない Zp\mathbb{Z}_p-作用 τp,n\tau_{p,n} と τp,n′\tau'_{p,n} は、MM 回の同調自明安定化と NN 回の自由安定化を経た後、M≥0M \geq 0 かつ 0≤N≤2n−20 \leq N \leq 2n-2 のとき依然として滑らかにできない。

定理1.5（Wall安定化原理）

適切な条件の下で、N≥0N \geq 0 が存在し、NN-重自由安定化 τN\tau_N は安定化多様体上のある滑らかな構造に対して滑らかである。

技術的革新点

1. 回転数の計算

本論文はSeifert-ファイバー空間上のSeiberg-Witten解の回転数の明示的な公式を提供し、これは幾何的 S1S^1-作用を理解する上で重要である。

2. 同変補正項の計算

命題5.3: 同変補正項 nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty) の明示的な公式を与え、Dedekind和およびDedekind-Rademacher和を含む。

3. 安定化不変性

補題5.1: S⃗(X,τ)\vec{S}(X,\tau) が同調自明安定化と自由安定化の下での不変性を証明する。

実験的検証

具体的計算例

本論文はBrieskorn球面族 Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1) 上の同変 κ\kappa-不変量の具体的な計算を提供する：

命題3.2: Σ(2,3,12n−5)\Sigma(2,3,12n-5) と Σ(2,3,12n−1)\Sigma(2,3,12n-1) に対して、完全な同変 κ\kappa-不変量集合の記述を与え、以下を含む：

  • (Y,ρp)(Y,\rho_p) がFloer KGp∗K\mathcal{G}_p^*-分裂である場合の単点集合
  • 非分裂の場合の多元素集合

数値結果

命題5.5: すべての素数 p≥5p \geq 5 と n≥1n \geq 1 に対して：

\frac{p^2 \mp 14p + 13}{144p} & \text{if } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{if } p \equiv \pm 5 \pmod{12} \end{cases}$$ ## 関連研究 ### 歴史的発展 1. **Edmonds (1987)**: 閉じた単連結位相4-多様体上の局所線形 $\mathbb{Z}_p$-作用の存在を証明 2. **Kiyono (2011)**: フルタ不等式を用いてある作用が滑らかにできないことを証明 3. **Konno-Miyazawa-Taniguchi (2021)**: $p=2$ の場合の滑らかにできない対合を研究 ### 関連技術 1. **Baraglia-Hekmati (2022)**: Seifert-ファイバーホモロジー球面上の標準 $\mathbb{Z}_p$-作用がある4-多様体上に拡張できないことを証明 2. **Anvari-Hambleton (2016)**: 可縮4-多様体上の滑らかにできない作用の例を提供 ## 結論と議論 ### 主要な結論 1. すべての素数 $p \geq 5$ に対して、境界を持つ4-多様体上の滑らかにできない $\mathbb{Z}/p$-作用を構成した 2. 同調自明安定化がWall安定化原理を満たさないことを証明した 3. 自由安定化はWall安定化原理を満たすが、安定化の数は任意に大きくなる可能性がある ### 制限事項 1. **例外的な場合**: $(n,p) = (1,5)$ の例外的な場合は特別な処理が必要 2. **計算の複雑性**: 同変補正項の計算は複雑な数論的和を含む 3. **境界条件**: 方法は主に特定のタイプのSeifert-ファイバー境界に適用される ### 今後の方向性 1. **一般的な境界の場合**: より一般的な境界を持つ4-多様体上の滑らかにできない作用を研究する 2. **低次素数**: $p = 2, 3$ の場合に拡張する 3. **応用の拡張**: 技術を他の幾何学的問題に応用する ## 深い評価 ### 利点 1. **技術的深さ**: Seiberg-Witten理論、同変K理論、4-多様体位相幾何学を巧妙に組み合わせている 2. **完全性**: 理論的構成から具体的な計算までの完全なフレームワークを提供 3. **革新性**: 高次群作用の安定化振る舞いを初めて体系的に研究 4. **計算の正確さ**: 具体的な数値公式と計算方法を提供 ### 不足点 1. **技術的敷居の高さ**: 微分位相幾何学とゲージ理論の深い背景が必要 2. **特殊性**: 結果は主に特定のSeifert-ファイバー境界の場合に限定される 3. **計算の複雑さ**: 実際の応用における計算は非常に複雑 ### 影響力 1. **理論的貢献**: 4-多様体上の群作用の研究に新しい道具を提供 2. **方法論**: 同変 $\kappa$-不変量の応用は広い見通しを持つ 3. **問題解決**: この分野の重要な未解決問題を解決 ### 適用可能なシナリオ この方法は特に以下に適用可能： 1. Seifert-ファイバー境界を持つ4-多様体上の群作用の研究 2. 位相4-多様体の滑らか化問題の分析 3. 同変安定化現象の理解 ## 参考文献 本論文は42の関連文献を引用しており、4-多様体位相幾何学、Seiberg-Witten理論、群作用など複数の分野の重要な研究をカバーし、研究に堅実な理論的基礎を提供している。