In mathematics, a nilsequence is a type of numerical sequence playing a role in ergodic theory and additive combinatorics. The concept is related to nilpotent Lie groups and almost periodicity. The name arises from the part played in the theory by compact nilmanifolds of the type G / Γ {\displaystyle G/\Gamma } where G {\displaystyle G} is a nilpotent Lie group and Γ {\displaystyle \Gamma } a lattice in it. The idea of a basic nilsequence defined by an element g {\displaystyle g} of G {\displaystyle G} and continuous function f {\displaystyle f} on G / Γ {\displaystyle G/\Gamma } is to take b ( n ) {\displaystyle b(n)} , for n {\displaystyle n} an integer, as f ( g n Γ ) {\displaystyle f(g^{n}\Gamma )} . General nilsequences are then uniform limits of basic nilsequences. For the statement of conjectures and theorems, technical side conditions and quantifications of complexity are introduced. Much of the combinatorial importance of nilsequences reflects their close connection with the Gowers norm. As explained by Host and Kra, nilsequences originate in evaluating functions on orbits in a "nilsystem"; and nilsystems are "characteristic for multiple correlations".
Case of the circle group The circle group arises as the special case of the real line and its subgroup of the integers. It has nilpotency class equal to 1, being abelian, and the requirements of the general theory are to generalise to nilpotency class s > 1. {\displaystyle s>1.} The semi-open unit interval [0,1) is a fundamental domain, and for that reason the fractional part function is involved in the theory. Functions involving the fractional part { { x } } {\displaystyle \{\{x\}\}} of the variable in the circle group occur, under the name "bracket polynomials". Since the theory is in the setting of Lipschitz functions, which are a fortiori continuous, the discontinuity of the fractional part at 0 has to be managed. That said, the sequences { { α n } } {\displaystyle \{\{\alpha n\}\}} , where α {\displaystyle \alpha } is a given irrational real number, and n {\displaystyle n} an integer, and studied in diophantine approximation, are simple examples for the theory. Their construction can be thought of in terms of the skew product construction in ergodic theory, adding one dimension.
Polynomial sequences The imaginary exponential function e ( x ) {\displaystyle e(x)} maps the real numbers to the circle group (see Euler's formula#Topological interpretation). A numerical sequence e ( P ( n ) ) {\displaystyle e(P(n))} where P {\displaystyle P} is a polynomial function with real coefficients, and n {\displaystyle n} is an integer variable, is a type of trigonometric polynomial, called a "polynomial sequence" for the purposes of the nilsequence theory. The generalisation to nilpotent groups that are not abelian relies on the Hall–Petresco identity from group theory for a workable theory of polynomials. In particular the polynomial sequence comes with a definite degree.
… excerpt ends here. Continue reading the full article.
