The uniform geometric K-homology conjecture

Less than 1 year old · traced to

Let XX be a metric space. A uniform geometric cycle is a triple (M,E,f)(M,E,f) consisting of a spinc^c manifold MM of bounded geometry, a vector bundle E→ME\to M of bounded geometry, and a suitably uniform map f:M→Xf:M\to X. Let K∗u,geo(X)K^{u,\mathrm{geo}}_*(X) be the resulting uniform geometric K-homology, and let K∗u(X)K^u_*(X) be uniform analytic K-homology.

Uniform geometric K-homology conjecture. The natural map

K∗u,geo(X)⟶K∗u(X),[M,E,f]⟼f∗[\slashedDE]K^{u,\mathrm{geo}}_*(X)\longrightarrow K^u_*(X),\qquad [M,E,f]\longmapsto f_*[\slashed{D}_E]

is an isomorphism for reasonable spaces XX.

This conjecture is the uniform analogue of the identification of geometric and analytic K-homology. The source explains why the map should respect bordism and vector bundle modification but gives no resolution status.

References

Primary source

Matti Lyko, “Uniformly elliptic boundary value problems”, arXiv:2602.22748 (2026).

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.