Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-09T18:40:32.525Z Has data issue: false hasContentIssue false

Infinite-step nilsystems, independence and complexity

Published online by Cambridge University Press:  09 December 2011

PANDENG DONG
Affiliation:
Wu Wen-Tsun Key Laboratory of Mathematics, USTC, Chinese Academy of Sciences, University of Science and Technology of China, Hefei, Anhui, 230026, PR China Department of Mathematics, University of Science and Technology of China, Hefei, Anhui, 230026, PR China (email: dopandn@mail.ustc.edu.cn, songshao@ustc.edu.cn, yexd@ustc.edu.cn)
SEBASTIÁN DONOSO
Affiliation:
Centro de Modelamiento Matemático and Departamento de Ingeniería Matemática, Universidad de Chile, Av. Blanco Encalada 2120, Santiago, Chile (email: sdonoso@dim.uchile.cl, amaass@dim.uchile.cl)
ALEJANDRO MAASS
Affiliation:
Centro de Modelamiento Matemático and Departamento de Ingeniería Matemática, Universidad de Chile, Av. Blanco Encalada 2120, Santiago, Chile (email: sdonoso@dim.uchile.cl, amaass@dim.uchile.cl)
SONG SHAO
Affiliation:
Department of Mathematics, University of Science and Technology of China, Hefei, Anhui, 230026, PR China (email: dopandn@mail.ustc.edu.cn, songshao@ustc.edu.cn, yexd@ustc.edu.cn)
XIANGDONG YE
Affiliation:
Department of Mathematics, University of Science and Technology of China, Hefei, Anhui, 230026, PR China (email: dopandn@mail.ustc.edu.cn, songshao@ustc.edu.cn, yexd@ustc.edu.cn)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

An ∞-step nilsystem is an inverse limit of minimal nilsystems. In this article, it is shown that a minimal distal system is an ∞-step nilsystem if and only if it has no non-trivial pairs with arbitrarily long finite IP-independence sets. Moreover, it is proved that any minimal system without non-trivial pairs with arbitrarily long finite IP-independence sets is an almost one-to-one extension of its maximal ∞-step nilfactor, and each invariant ergodic measure is isomorphic (in the measurable sense) to the Haar measure on some ∞-step nilsystem. The question if such a system is uniquely ergodic remains open. In addition, the topological complexity of an ∞-step nilsystem is computed, showing that it is polynomial for each non-trivial open cover.

Information

Type
Research Article
Copyright
Copyright © Cambridge University Press 2013