Skip to main content
Log in

The structure theory of nilspaces I

  • Published:
Journal d'Analyse Mathématique Aims and scope

Abstract

This paper forms the first part of a series by the authors [GMV16a, GMV16b] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space X together with closed collections of cubes Cn(X) ⊑ X2n, n = 1, 2,... satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics.

This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.

We also make some modest innovations and extensions to this theory. In particular, we consider a class ofmaps thatwe term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy; andwe formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. O. A. Camarena and B. Szegedy, Nilspaces, nilmanifolds and their morphisms, preprint, arXiv:1009.3825v3[math.DS]

  2. P. Candela, Notes on compact nilspaces, Discrete Analysis 16 (2017).

  3. P. Candela, Notes on nilspaces-algebraic aspects, Discrete Analysis 15 (2017).

  4. G. Friedman, Survey article: An elementary illustrated introduction to simplicial sets, Rocky Mountain J. Math. 42 (2012), 353–423.

    Article  MathSciNet  Google Scholar 

  5. Y. Gutman, F. Manners and P. P. Varjú, The structure theory of nilspaces II: Representation as nilmanifolds, Trans. Amer.Math. Soc. 371 (2019), 4951–4992. THE STRUCTURE THEORY OF NILSPACES I 71

    Article  MathSciNet  Google Scholar 

  6. Y. Gutman, F. Manners, and P. P. Varjú, The structure theory of nilspaces III: Inverse limit representations and topological dynamics, Advances inMathematics 365 (2020), 107059.

    MathSciNet  Google Scholar 

  7. B. Green, Higher-order Fourier analysis I, Notes available from the author, 2015.

    Google Scholar 

  8. B. Green and T. Tao, An inverse theorem for the Gowers U3(G) norm, Proc. Edinb. Math. Soc. (2) 51 (2008), 73–153.

    Article  MathSciNet  Google Scholar 

  9. B. Green and T. Tao, Linear equations in primes, Ann. ofMath. (2) 171 (2010), 1753–1850.

    Article  MathSciNet  Google Scholar 

  10. B. Green and T. Tao, The quantitative behaviour of polynomial orbits on nilmanifolds, Ann. of Math. (2) 175 (2012), 465–540.

    Article  MathSciNet  Google Scholar 

  11. B. Host and B. Kra, Nonconventional ergodic averages and nilmanifolds, Ann. of Math. (2) 161 (2005), 397–488.

    Article  MathSciNet  Google Scholar 

  12. B. Host and B. Kra, Parallelepipeds, nilpotent groups and Gowers norms, Bull. Soc. Math. France 136 (2008), 405–437.

    Article  MathSciNet  Google Scholar 

  13. B. Host, B. Kra and A. Maass, Nilsequences and a structure theorem for topological dynamical systems, Adv. Math. 224 (2010), 103–129.

    Article  MathSciNet  Google Scholar 

  14. B. Host and A. Maass, Nilsystèmes d'ordre 2 et parallélépipèdes, Bull. Soc. Math. France 135 (2007), 367–405.

    Article  MathSciNet  Google Scholar 

  15. W. Magnus, A. Karrass and D. Solitar, Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations, John Wiley & Sons, New York-London- Sydney, 1966.

    Google Scholar 

  16. D. J. Rudolph, Eigenfunctions of T x S and the Conze-Lesigne algebra, in Ergodic Theory and its Connections with Harmonic Analysis, Cambridge University Press, Cambridge, 1995, pp. 369–432.

    MATH  Google Scholar 

  17. B. Szegedy, Structure of finite nilspaces and inverse theorems for the gowers norms in bounded exponent groups, preprint, arXiv:1011.1057v1 [math.CO]

  18. B. Szegedy, On higher order fourier analysis, preprint, arXiv:1203.2260v1[math.CO]

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yonatan Gutman.

Additional information

YG was partially supported by the ERC Grant Approximate Algebraic Structures and Applications and the NCN (National Science Center, Poland) grant 2016/22/E/ST1/00448.

PPV was supported by the Royal Society.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gutman, Y., Manners, F. & Varjú, P.P. The structure theory of nilspaces I. JAMA 140, 299–369 (2020). https://doi.org/10.1007/s11854-020-0093-8

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11854-020-0093-8

Navigation