Generalized measurable Sarnak's Conjecture

Let K=(K,OK,D,B={b1,,bD})\boldsymbol{K}=(K,\mathcal{O}_{K},D,\mathcal{B}=\{b_{1},\dots,b_{D}\}) be an integral tuple and χMKa\chi\in\mathcal{M}^{a}_{K}. Let (X,μ,T1,,Td)(X,\mu,T_{1},\dots,T_{d}) be a measure-preserving system with commuting transformations T1,,TdT_{1},\dots,T_{d}, and let ΦL(μ)\Phi\in L^{\infty}(\mu). Generalized measurable Sarnak's conjecture. For μ\mu-almost every xXx\in X,

limN1ND1n1,,nDNχ(n1b1++nDbD)Φ(T1n1TDnDx)=0.\lim_{N\to\infty}\frac{1}{N^{D}}\sum_{1\leq n_{1},\dots,n_{D}\leq N}\chi(n_{1}b_{1}+\dots+n_{D}b_{D})\Phi(T_{1}^{n_{1}}\cdot\ldots\cdot T_{D}^{n_{D}}x)=0.

Unlike the topological formulation, this conjecture makes no assumption on entropy. It asks for Möbius-type disjointness in the measure-theoretic setting over an arbitrary number field; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Wenbo Sun, “Sarnak's Conjecture for nilsequences on arbitrary number fields and applications”, arXiv:1902.09712 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.