Cheeger's measurable non-degeneracy conjecture for coordinate charts

About 15 years old · traced to

Let (X,ρ,μ)(X,\rho,\mu), {Xn}n=1∞\{X_n\}_{n=1}^\infty and ξn:X→Rk(n)\xi^n: X \to \mathbb{R}^{k(n)} be as in the paper's differentiability theorem. Here XnX^n is the corresponding coordinate-chart domain, ξn(Xn)\xi^n(X^n) is its image, and Hk(n)\mathcal{H}^{k(n)} denotes k(n)k(n)-dimensional Hausdorff measure.

Cheeger's conjecture.

Hk(n)(ξn(Xn))>0.\mathcal{H}^{k(n)}(\xi^n(X^n)) > 0.

The conjecture asserts that coordinate-chart images are measurably non-degenerate. If true, it would allow Cheeger's rectifiability theorem to apply globally to these images; the supplied text gives no resolution status.

References

Primary source

Jasun Gong, “Rigidity of Derivations in the Plane and in Metric Measure Spaces”, arXiv:1110.4282 (2011).

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.