Generalized measurable Sarnak's Conjecture

About 7 years old · traced to

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 x∈Xx\in X,

lim⁡N→∞1ND∑1≤n1,…,nD≤Nχ(n1b1+⋯+nDbD)Φ(T1n1⋅…⋅TDnDx)=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.

References

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.