Conjecture on decomposing CD-affine needles under a zero-mean constraint

At least 11 years old · documented by

Let f535f535 be a probability measure on f535f535 that is a CD(κ,N+1)CD(\kappa,N+1)-needle, where N∈(0,+∞]N\in(0,+\infty] and κ≥0\kappa\geq0. Let φ:R→R\varphi:\mathbb R\to\mathbb R be continuous and μ\mu-integrable, with

∫Rφ dμ=0.\int_{\mathbb R}\varphi\,d\mu=0.

A CD(κ,N+1)CD(\kappa,N+1)-affine needle is a one-dimensional CD(κ,N+1)CD(\kappa,N+1)-needle satisfying the affine equality case described in the source. CD-affine needle decomposition conjecture. There should exist a probability measure ν\nu on a set Ω\Omega and probability measures {μα}α∈Ω\{\mu_\alpha\}_{\alpha\in\Omega} on R\mathbb R such that μ(A)=∫Ωμα(A) dν(α)\mu(A)=\int_\Omega\mu_\alpha(A)\,d\nu(\alpha) for every Lebesgue-measurable A⊆RA\subseteq\mathbb R, and, for ν\nu-almost every α\alpha, μα\mu_\alpha is either supported on a singleton or is a CD(κ,N+1)CD(\kappa,N+1)-affine needle satisfying ∫Rφ dμα=0\int_{\mathbb R}\varphi\,d\mu_\alpha=0. Such a decomposition would refine one-dimensional CD(κ,N)CD(\kappa,N) localization into explicit affine needles; the source presents it as a proposed extension, and no resolution is supplied.

References

Primary source

Bo'az Klartag, “Needle decompositions in Riemannian geometry”, arXiv:1408.6322 (2014).

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.