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

Basic Information

  • Paper ID: 2401.00244
  • Title: Non-smoothable Z/p\mathbb{Z}/p-actions on nuclei
  • Author: Imogen Montague
  • Classification: math.GT (Geometric Topology)
  • Submission Date: December 30, 2023 to arXiv
  • Paper Link: https://arxiv.org/abs/2401.00244

Abstract

This paper constructs examples of non-smoothable Z/p\mathbb{Z}/p-actions for all primes p≥5p \geq 5 on indefinite spin 4-manifolds with boundary. Specifically, for each prime p≥5p \geq 5 and each n≥1n \geq 1, there exists a locally linear Z/p\mathbb{Z}/p-action on the Gompf nucleus N(2pn)N(2pn) that cannot be smoothed under any smooth structure on N(2pn)N(2pn). Furthermore, the paper investigates the behavior of these actions under two different types of equivariant stabilization (free stabilization and homologically trivial stabilization), proving that free stabilization satisfies the Wall stabilization principle, while homologically trivial stabilization does not.

Research Background and Motivation

Problem Background

  1. Extension of Classical Results: Edmonds proved that every closed simply-connected topological 4-manifold admits a locally linear Zp\mathbb{Z}_p-action, but not all such actions are smooth. Kiyono used Furuta's 10/8 inequality to prove that certain actions are non-smoothable.
  2. Challenges in the Boundary Case: For 4-manifolds with boundary, the analogous version of Edmonds' result is unknown, making the boundary case significantly more difficult to study.
  3. Importance of Seifert-Fibered Spaces: Seifert-fibered spaces provide important examples of Zp\mathbb{Z}_p-actions, with the standard action given by rotations in the fibers.

Research Motivation

  1. Filling Theoretical Gaps: Few results are known in the case of 4-manifolds with boundary where b2(X)>0b_2(X) > 0, particularly for higher-order actions (p≥5p \geq 5).
  2. Study of Stabilization Phenomena: Understanding the behavior of non-smoothable actions under equivariant stabilization is important for understanding the topological properties of 4-manifolds.
  3. Wall Stabilization Principle: Investigating whether different types of stabilization can make non-smoothable actions smoothable.

Core Contributions

  1. Construction of Non-smoothable Actions: For all primes p≥5p \geq 5, constructs non-smoothable Z/p\mathbb{Z}/p-actions on 4-manifolds with non-empty boundary and b2(X)>0b_2(X) > 0.
  2. Analysis of Stabilization Behavior: Proves that free stabilization satisfies the Wall stabilization principle, while homologically trivial stabilization does not.
  3. Application of Equivariant κ\kappa-Invariants: Uses the equivariant κ\kappa-invariants defined by the author in Mon22 to obstruct the existence of smooth extensions.
  4. Geometric Action on Seiberg-Witten Moduli Spaces: Analyzes the geometric action of the S1S^1-action induced by fiber rotations on Seifert-fibered spaces on Seiberg-Witten moduli spaces.

Detailed Methodology

Core Technical Framework

1. Equivariant κ\kappa-Invariants

The author uses equivariant κ\kappa-invariants K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p defined in Mon22, which are associated with Zp\mathbb{Z}_p-equivariant spin rational homology spheres (Y,s,σ)(Y,s,\sigma).

2. Seiberg-Witten Theory

The paper provides a detailed analysis of Seiberg-Witten moduli spaces on Seifert-fibered spaces, particularly how the standard S1S^1-action lifts to irreducible solutions on the moduli space.

Key Theorem 2.1: For a line bundle E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) on a Seifert-fibered space YY, the rotation number is given by: 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. Equivariant Relative 10/8 Inequality

Proposition 3.5: If Manolescu's relative 10/8 inequality is sharp for (Y,s,X,t)(Y,s,X,t), and there exist at least two distinct elements κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma) satisfying ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s), then σ\sigma cannot extend to a smooth homologically trivial tt-preserving Zp\mathbb{Z}_p-action on XX.

Construction Methods

1. Construction of Locally Linear Actions

Using methods of Edmonds and Kwasik-Lawson, through the following steps:

  • Begin with standard locally linear actions on closed simply-connected topological 4-manifolds
  • Construct equivariant homology cobordisms from (Y,ρp)(Y,\rho_p) to S3S^3 equipped with generalized lens space actions

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

Proposition 4.10: For p≥5p \geq 5 and all n≥1n \geq 1, there exists a topological Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-cobordism from Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) to L(p;−2,3)L(p;-2,3).

Main Results

Theorem 1.2 (Obstruction to Smooth Extension)

For the following cases, effective smooth Zp\mathbb{Z}_p-actions cannot extend to homologically trivial smooth Zp\mathbb{Z}_p-actions:

  1. p≥3p \geq 3, XX homeomorphic to Gompf nucleus N(2n)N(2n) or its stabilization
  2. p≥3p \geq 3, XX homeomorphic to P(2n)P(2n) or its stabilization
  3. p≥3,p≠5p \geq 3, p \neq 5, XX homeomorphic to Milnor fiber M(2,3,11)M(2,3,11)
  4. p≥3p \geq 3, XX homeomorphic to Milnor fiber M(2,3,7)M(2,3,7)

Theorem 1.6 (Stabilization Behavior)

For each prime p≥5p \geq 5 and n≥1n \geq 1, the non-smoothable Zp\mathbb{Z}_p-actions τp,n\tau_{p,n} and τp,n′\tau'_{p,n} remain non-smoothable after MM homologically trivial stabilizations and NN free stabilizations when M≥0M \geq 0 and 0≤N≤2n−20 \leq N \leq 2n-2.

Theorem 1.5 (Wall Stabilization Principle)

Under appropriate conditions, there exists N≥0N \geq 0 such that the NN-fold free stabilization τN\tau_N is smooth relative to some smooth structure on the stabilized manifold.

Technical Innovations

1. Rotation Number Calculation

The paper provides explicit formulas for the rotation numbers of Seiberg-Witten solutions on Seifert-fibered spaces, which is crucial for understanding geometric S1S^1-actions.

2. Equivariant Correction Term Calculation

Proposition 5.3: Provides explicit formulas for the equivariant correction term nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty), involving Dedekind sums and Dedekind-Rademacher sums.

3. Stabilization Invariance

Lemma 5.1: Proves the invariance of S⃗(X,τ)\vec{S}(X,\tau) under homologically trivial stabilization and free stabilization.

Experimental Verification

Concrete Computational Examples

The paper provides concrete calculations of equivariant κ\kappa-invariants on families of Brieskorn spheres Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1):

Proposition 3.2: For Σ(2,3,12n−5)\Sigma(2,3,12n-5) and Σ(2,3,12n−1)\Sigma(2,3,12n-1), provides complete descriptions of the equivariant κ\kappa-invariant sets, including:

  • Singleton cases when (Y,ρp)(Y,\rho_p) is Floer KGp∗K\mathcal{G}_p^*-split
  • Multi-element sets in non-split cases

Numerical Results

Proposition 5.5: For all primes p≥5p \geq 5 and 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}$$ ## Related Work ### Historical Development 1. **Edmonds (1987)**: Proved the existence of locally linear $\mathbb{Z}_p$-actions on closed simply-connected topological 4-manifolds 2. **Kiyono (2011)**: Used Furuta's inequality to prove non-smoothability of certain actions 3. **Konno-Miyazawa-Taniguchi (2021)**: Studied non-smoothable involutions in the $p=2$ case ### Related Techniques 1. **Baraglia-Hekmati (2022)**: Proved that standard $\mathbb{Z}_p$-actions on Seifert-fibered homology spheres cannot extend to certain 4-manifolds 2. **Anvari-Hambleton (2016)**: Provided examples of non-smoothable actions on contractible 4-manifolds ## Conclusions and Discussion ### Main Conclusions 1. For all primes $p \geq 5$, constructs non-smoothable $\mathbb{Z}/p$-actions on 4-manifolds with boundary 2. Proves that homologically trivial stabilization does not satisfy the Wall stabilization principle 3. Free stabilization satisfies the Wall stabilization principle, but the number of stabilizations can be arbitrarily large ### Limitations 1. **Exceptional Cases**: The exceptional case $(n,p) = (1,5)$ requires special treatment 2. **Computational Complexity**: Calculation of equivariant correction terms involves complex number-theoretic sums 3. **Boundary Conditions**: The method primarily applies to 4-manifolds with specific types of Seifert-fibered boundaries ### Future Directions 1. **General Boundary Cases**: Study non-smoothable actions on 4-manifolds with more general boundaries 2. **Lower-Order Primes**: Extend results to the cases $p = 2, 3$ 3. **Application Extensions**: Apply techniques to other geometric problems ## In-Depth Evaluation ### Strengths 1. **Technical Depth**: Skillfully combines Seiberg-Witten theory, equivariant K-theory, and 4-manifold topology 2. **Completeness**: Provides a complete framework from theoretical construction to concrete calculations 3. **Innovation**: First systematic study of stabilization behavior for higher-order group actions 4. **Computational Precision**: Provides concrete numerical formulas and computational methods ### Weaknesses 1. **High Technical Threshold**: Requires deep background in differential topology and gauge theory 2. **Specificity**: Results are primarily limited to 4-manifolds with specific Seifert-fibered boundaries 3. **Computational Complexity**: Actual applications involve very complex calculations ### Impact 1. **Theoretical Contribution**: Provides new tools for studying group actions on 4-manifolds 2. **Methodology**: The application of equivariant $\kappa$-invariants has broad prospects 3. **Problem Resolution**: Resolves an important open problem in the field ### Applicable Scenarios This method is particularly suitable for: 1. Studying group actions on 4-manifolds with Seifert-fibered boundaries 2. Analyzing smoothing problems for topological 4-manifolds 3. Understanding equivariant stabilization phenomena ## References The paper cites 42 relevant references covering multiple fields including 4-manifold topology, Seiberg-Witten theory, and group actions, providing a solid theoretical foundation for the research.