An inverse theorem for all finite abelian groups via nilmanifolds

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Candela, Pablo, González-Sánchez, Diego, Szegedy, Balázs
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914210123874304
author Candela, Pablo
González-Sánchez, Diego
Szegedy, Balázs
author_facet Candela, Pablo
González-Sánchez, Diego
Szegedy, Balázs
contents We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.
format Preprint
id arxiv_https___arxiv_org_abs_2512_17468
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle An inverse theorem for all finite abelian groups via nilmanifolds
Candela, Pablo
González-Sánchez, Diego
Szegedy, Balázs
Dynamical Systems
Combinatorics
We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.
title An inverse theorem for all finite abelian groups via nilmanifolds
topic Dynamical Systems
Combinatorics
url https://arxiv.org/abs/2512.17468