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

Basic Information

• Paper ID: 2401.00244
• Title: Non-smoothable $\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 $\mathbb{Z}/p$-actions for all primes $p \geq 5$ on indefinite spin 4-manifolds with boundary. Specifically, 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)$ that cannot be smoothed under any smooth structure on $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 $\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 $\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 $b_2(X) > 0$, particularly for higher-order actions ($p \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 \geq 5$, constructs non-smoothable $\mathbb{Z}/p$-actions on 4-manifolds with non-empty boundary and $b_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 $S^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,\sigma) \subset \mathbb{Q}_p$ defined in Mon22, which are associated with $\mathbb{Z}_p$-equivariant spin rational homology spheres $(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 $S^1$-action lifts to irreducible solutions on the moduli space.

Key Theorem 2.1: For a line bundle $E = (e; \epsilon_1, \ldots, \epsilon_n)$ on a Seifert-fibered space $Y$, the rotation number is given by: $\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)$, and there exist at least two distinct elements $\kappa, \kappa' \in K_\pi(Y,s,\sigma)$ satisfying $|\kappa| = |\kappa'| = \kappa(Y,s)$, then $\sigma$ cannot extend to a smooth homologically trivial $t$-preserving $\mathbb{Z}_p$-action on $X$.

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,\rho_p)$ to $S^3$ equipped with generalized lens space actions

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

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

Main Results

Theorem 1.2 (Obstruction to Smooth Extension)

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

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

Theorem 1.6 (Stabilization Behavior)

For each prime $p \geq 5$ and $n \geq 1$, the non-smoothable $\mathbb{Z}_p$-actions $\tau_{p,n}$ and $\tau'_{p,n}$ remain non-smoothable after $M$ homologically trivial stabilizations and $N$ free stabilizations when $M \geq 0$ and $0 \leq N \leq 2n-2$.

Theorem 1.5 (Wall Stabilization Principle)

Under appropriate conditions, there exists $N \geq 0$ such that the $N$-fold free stabilization $\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 $S^1$-actions.

2. Equivariant Correction Term Calculation

Proposition 5.3: Provides explicit formulas for the equivariant correction term $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 $\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 $\Sigma(2,3,6n \pm 1)$:

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

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

Numerical Results

Proposition 5.5: For all primes $p \geq 5$ and $n \geq 1$: $n_{p/2}(\Sigma(2,3,12pn-1),\hat{\rho}_p,g,\nabla_\infty) = \begin{cases} \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.