English

M\"obius disjointness along ergodic sequences for uniquely ergodic actions

Dynamical Systems 2017-03-08 v1 Number Theory

Abstract

We show that there are an irrational rotation Tx=x+αTx=x+\alpha on the circle T\mathbb{T} and a continuous φ ⁣:TR\varphi\colon\mathbb{T}\to\mathbb{R} such that for each (continuous) uniquely ergodic flow S=(St)tR\mathcal{S}=(S_t)_{t\in\mathbb{R}} acting on a compact metric space YY, the automorphism Tφ,ST_{\varphi,\mathcal{S}} acting on (X×Y,μν)(X\times Y,\mu\otimes\nu) by the formula Tφ,S(x,y)=(Tx,Sφ(x)(y))T_{\varphi,\mathcal{S}}(x,y)=(Tx,S_{\varphi(x)}(y)), where μ\mu stands for Lebesgue measure on T\mathbb{T} and ν\nu denotes the unique S\mathcal{S}-invariant measure, has the property of asymptotically orthogonal powers. This gives a class of relatively weakly mixing extensions of irrational rotations for which Sarnak's conjecture on M\"obius disjointness holds for all uniquely ergodic models of Tφ,ST_{\varphi,\mathcal{S}}. Moreover, we obtain a class of "random" ergodic sequences (cn)Z(c_n)\subset\mathbb{Z} such that if μ\boldsymbol{\mu} denotes the M\"obius function, then limN1NnNg(Scny)μ(n)=0 \lim_{N\to\infty}\frac1N\sum_{n\leq N}g(S_{c_n}y)\boldsymbol{\mu}(n)=0 for all (continuous) uniquely ergodic flows S\mathcal{S}, all gC(Y)g\in C(Y) and yYy\in Y.

Keywords

Cite

@article{arxiv.1703.02347,
  title  = {M\"obius disjointness along ergodic sequences for uniquely ergodic actions},
  author = {Joanna Kułaga-Przymus and Mariusz Lemańczyk},
  journal= {arXiv preprint arXiv:1703.02347},
  year   = {2017}
}

Comments

38 pages

R2 v1 2026-06-22T18:38:20.691Z