AI 中文总结
本文研究幂等启发式，建立两步幂等群作用下多重遍历平均的半范数估计与极限公式，解决多维多项式与ℤ^D系统的联合遍历性猜想，同时指出两步幂等类似结论不成立并提出相关开放问题。
AI 中文摘要
我们研究幂等启发式（Nilpotent Heuristic）的表现，该理论认为保测ℤ^D系统的递归与收敛现象可推广至幂等群作用。主要结果建立了两步幂等群作用产生的多重遍历平均的半范数估计与极限公式：若T₁,…,T_ℓ是完全遍历的且生成一个两步幂等群，则对所有有界函数f₁,…,f_ℓ，在L²范数下有lim_{N→∞}(1/N)Σ_{n=1}^N T₁ⁿf₁⋯T_ℓ^{n^ℓ}f_ℓ=∏_{j=1}^ℓ∫f_j dμ成立，且对任意不同次数的多项式迭代也成立。我们还在同一框架下得到了多项式Szemerédi定理的“公共流行差”版本。此外，我们的方法可完全解决多维多项式与ℤ^D系统的联合遍历性猜想，同时给出一个例子表明，令人惊讶的是，两步幂等的类似结论不成立。最后，我们提出了关于联合遍历性、半范数估计及幂等系统结构理论的诸多开放问题。
英文摘要
We investigate manifestations of the Nilpotent Heuristic, which posits that recurrence and convergence phenomena known for measure-preserving $\mathbb{Z}^D$-systems extend to nilpotent group actions. Our main results establish seminorm estimates and limiting formulas for multiple ergodic averages arising from actions of 2-step nilpotent groups. In particular, if $T_1,\ldots,T_\ell$ are totally ergodic and generate a 2-step nilpotent group, then \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T_1^n f_1 \cdots T_\ell^{n^\ell}f_\ell = \prod_{j=1}^{\ell}\int f_j\,dμ\] in the $L^{2}$ norm for all bounded functions $f_{1},\dots,f_{\ell}$; the same holds for any distinct-degree polynomial iterates. We also obtain popular-common-difference versions of the polynomial Szemeédi theorem in the same setting. In a different direction, our approach allows us to completely resolve the joint ergodicity conjecture for multidimensional polynomials and $\mathbb Z^D$-systems; we also present an example showing that, surprisingly enough, the 2-step nilpotent analog fails. We conclude with many open problems concerning joint ergodicity, seminorm estimates, and the structure theory of nilpotent systems.
Commentsv2: Changes to Sections 1.2 and 11.3
