Abstract:We obtain a global rigidity result for abelian partially hyperbolic higher rank actions on certain $2-$step nilmanifolds $X_{\Gamma}$. We show that, under certain natural assumptions, all such actions are $C^{\infty}-$conjugated to an affine model. As a consequence, we obtain a centralizer rigidity result, classifying all possible centralizers for any $C^{1}-$small perturbation of an irreducible, affine partially hyperbolic map on $X_{\Gamma}$. Along the way, we also prove two results of independent interest. We describe fibered partially hyperbolic diffeomorphisms on $X_{\Gamma}$ and we show that topological conjugacies between partially hyperbolic actions and higher rank affine actions are $C^{\infty}$.
What problem does this paper attempt to address?
This paper attempts to solve the global rigidity problem of some partially hyperbolic Abelian actions on certain 2 - step nilmanifolds. Specifically, the author studied partially hyperbolic actions with 1 - dimensional centers and proved that under certain natural assumptions, all such actions can be smoothly conjugated ($C^{\infty}$ - conjugated) to affine models. In addition, as a corollary, the author also obtained centralizer rigidity results and classified all possible centralizers of irreducible affine partially hyperbolic maps under any $C^1$ - small perturbations.
### Core problems of the paper
1. **Global rigidity of partially hyperbolic actions**: The main goal of the paper is to prove whether partially hyperbolic actions under specific conditions can be smoothly conjugated to an affine model. This involves two key steps:
- Prove the existence of a topological conjugation.
- Promote the topological conjugation to a smooth conjugation.
2. **Centralizer rigidity**: Through the above results, the author further explored the classification problem of centralizers, that is, which groups can be centralizers of certain partially hyperbolic maps.
### Formulas and definitions
To better understand the content of the paper, here are some key formulas and definitions:
- **Definition of partially hyperbolic maps**:
Let $M$ be a smooth closed manifold and $f\in \text{Diff}^{\infty}(M)$ be a diffeomorphism. We say that $f$ is absolutely partially hyperbolic if there exists a continuous $Df$-invariant splitting
\[
T_xM = E^s(x)\oplus E^c(x)\oplus E^u(x)
\]
and constants $\nu,\gamma,\hat{\gamma},\hat{\nu}\in(0,1)$, $n_0\in\mathbb{N}$, such that for $n\geq n_0$
\[
\|Df^n|_{E^s}\|\leq \nu^n < \gamma^n\leq \|(Df^n)^{-1}|_{E^c}\|^{-1},
\]
\[
\|Df^n|_{E^c}\|\leq \hat{\gamma}^{-n}<\hat{\nu}^{-n}\leq \|(Df^n|_{E^u})^{-1}\|^{-1}.
\]
- **Quasi - isometric leaves**:
Let $\hat{M}$ be the universal covering space of $M$, $F$ be a foliation on $M$, and $\hat{F}$ be its lifted foliation on $\hat{M}$. We say that $F$ has quasi - isometric leaves in the universal covering space if there exists a constant $Q\geq1$ such that for any $x,y\in\hat{F}(p)$
\[
d(x,y)\leq d_F(x,y)\leq Qd(x,y),
\]
where $d_F$ is the metric along $F$.
### Summary
This paper successfully solved the global rigidity problem of partially hyperbolic Abelian actions on specific manifolds by introducing new techniques and methods, and provided an important theoretical basis for future research.