Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let me begin by giving the relevant definitions. A set $A \subset \mathbb{N}$ is said to be central if and only if there exists a topological system $(X,T)$ (with $X$ a compact metric space, $T$ a continuous map on $X$) and a pair of points $x,y \in X$ with $y$ uniformly recurrent and proximal to $x$, such that for some neighbourhood $U$ of $y$ one has $A = \{n \in \mathbb{N} \ : \ T^n(x) \in U \}$. That $x$ and $y$ are supposed to be proximal means that there is a sequence $n_i \to \infty $ such that $d(T^{n_i}x,T^{n_i}y) \to 0$. That $y$ is uniformly recurrent means that for any neighbourhood $U$ of $y$, the set $\{n \in \mathbb{N} \ : \ T^n(y) \in U \}$ is syndetic (has bounded gaps).

Quite amazingly the above definition of centrality turns out to be equivalent to $A$ being a member of a minimal idempotent ultrafilter in $\beta \mathbb{N}$. A good reference for more details is this article by Vitaly Bergelson. Let me give some details. The ultrafilters $\beta \mathbb{N}$ are a compact left-topological semigroup (meaning, addition is continuous in the left argument; and of course some authors have the reverse convention). Any such group has a unique minimal two-sided ideal, call it $K$, and an ultrafilter is miniamal if and only if it belongs to $K$. An ultrafilter $p$ is idempotent if and only if $p+p = p$. One of course needs some work to get the whole theory up and running, but it can be done.

It is not hard to verify that if $A$ is central then so is $dA$ for a positive integer $d$. For this, replace $X$ by $X' := X_1 \cup \dots \cup X_2 \cup X_d$, with $X_i = X\times\{i\}$ a copy of $X$, and define $T'$ by $T'(x,i) = (x,i+1)$ for $i < d$, and $T'(x,d) = (T(x),1)$, and finally let $x',\ y' = (x,1),\ (y,1)$. Likewise, it can be shown that $A/d = \{n \ : \ nd \in A\}$ is central by considering the system $(X,T^d)$, and the same points. Of course, there are a few things to check along the way that I skipped. Because centrality is a notion of largeness, in the sense that if $A$ is central and $A \subset B$ then $B$ is central, it is clear that also the set $\{ \lfloor \frac{n}{d} \rceil \ : \ n \in A \}$ is again central, because it contains $A/d$ ($\lfloor x\rceil$ stands for the closest integer).

Given the above, it appears to be reasonable that if $A$ is a central set, then central is also the set$\{ \lfloor \alpha n \rceil \ : \ n \in A \}$, where $\alpha \in \mathbb{R}^+$ is a real number. I think a possible way to attack the problem is by considering the "suspended" system $X' = X \times \mathbb{T}$ ($\mathbb{T} = \mathbb{R}/\mathbb{Z}$) with $T'(x,t) = (T^{\lfloor \alpha + t \rfloor}(x), \{ \alpha + t \} )$, $A' = A \times \mathbb{T}$, $x',\ y' = (x,0),\ (y,0)$. However, I can't quite seem to work out the details in a way that I would find convincing (and they say that oneself is the easiest to fool...).

Question: If $A$ is a central, then does $\{ \lfloor \alpha n \rceil \ : \ n \in A \}$ need to be central?

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.