The uniform geometric K-homology conjecture

From papers

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 EME\to M of bounded geometry, and a suitably uniform map f:MXf:M\to X. Let Ku,geo(X)K^{u,\mathrm{geo}}_*(X) be the resulting uniform geometric K-homology, and let Ku(X)K^u_*(X) be uniform analytic K-homology.

Uniform geometric K-homology conjecture. The natural map

Ku,geo(X)Ku(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.

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

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

Solutions 0

No solutions have been posted yet.