Polynomial Szemerédi theorems for countable modules over integral domains and finite fields (Q2565921): Difference between revisions

An early and classical result of van der Waerden concerned the presence of arithmetic progressions in arbitrary unbounded sequences of integers. It has been extended to the presence of polynomial sequences (of higher degree than one, as in the original result) and has been treated by probability theoretic methods. For the main ergodic-theoretic result of the paper, \({ \mathbf V } \) and \({ \mathbf W } \) are finite dimensional vector spaces over an infinite field \({ \mathbf F } \), \({ \mathbf U } \) is a measure preserving action of \({ \mathbf W } \) on a probability measure space \( ( { \mathbf X }, { \mathbf B } { \mathbf B }, { \mu } ) \), \({ \mathbf P } \) is a finite family of polynomials \( { \mathbf V } \rightarrow { \mathbf W } \) having zero constant term and the result concerns the set \( { \Xi} ( B, c) \) ( \( B \) is in \({ \mathbf B } { \mathbf B }\) and \( c \) is positive real) of \( u \) in \({ \mathbf V } \) for which, for all \( { \phi } \) in \({ \mathbf P } \), \( { \mu } \{ { \mathbf U } ( { \phi } ( u ) ) B \} > c \). It is that for any \( B \) in \({ \mathbf B } { \mathbf B } \) for which \( { \mu } ( B ) > 0 \) there exists a \( c > 0 \) such that finitely many shifts of \( { \Xi} ( B, c) \) cover \( { \mathbf V } \). The main thrust of the paper is towards extension of the results to structures more general than polynomials.