Cheeger's measurable non-degeneracy conjecture for coordinate charts

From papers

Let (X,ρ,μ)(X,\rho,\mu), {Xn}n=1\{X_n\}_{n=1}^\infty and ξn:XRk(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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.