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

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

基本信息

  • 论文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)的任何光滑结构下都不可光滑化。此外，文章研究了这些作用在两种不同类型的等变稳定化（自由稳定化和同调平凡稳定化）下的行为，证明了自由稳定化满足Wall稳定化原理，而同调平凡稳定化不满足此性质。

研究背景与动机

问题背景

  1. 经典结果的拓展: Edmonds证明了每个闭的单连通拓扑4-流形都允许局部线性Zp\mathbb{Z}_p-作用，但这些作用并非都是光滑的。Kiyono使用Furuta的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)是锐利的，且存在至少两个不同的元素κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma)满足∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s)，那么σ\sigma不能扩张为XX上的光滑同调平凡tt-保持Zp\mathbb{Z}_p-作用。

构造方法

1. 局部线性作用的构造

使用Edmonds和Kwasik-Lawson的方法，通过以下步骤：

  • 从闭单连通拓扑4-流形上的标准局部线性作用开始
  • 构造从(Y,ρp)(Y,\rho_p)到配备广义透镜空间作用的S3S^3的等变同调配边

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)**: 使用Furuta不等式证明某些作用不可光滑化 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理论、群作用等多个领域的重要工作，为研究提供了坚实的理论基础。