The CkC^k-map versus ring-homomorphism conjecture

Let XX and YY be CkC^k-manifolds and let EE be a complex CkC^k vector bundle of rank rr on XX. Given a correspondence

φ:Ck(Y)Ck(EndC(E)),\varphi^{\sharp}:C^k(Y)\longrightarrow C^k(\operatorname{End}_{\Bbb C}(E)),

The CkC^k-map versus ring-homomorphism conjecture. The following statements are equivalent: (1) φ\varphi^{\sharp} is a ring-homomorphism over RC{\Bbb R}\hookrightarrow{\Bbb C}; (2) φ\varphi^{\sharp} is a weakly CkC^k-admissible ring-homomorphism over RC{\Bbb R}\hookrightarrow{\Bbb C}; and (3) φ\varphi^{\sharp} is a CkC^k-admissible ring-homomorphism over RC{\Bbb R}\hookrightarrow{\Bbb C}. Thus, any of these equivalent types of correspondence defines the same notion of a CkC^k-map (X ⁣A ⁣z,E)Y(X^{\!A\!z},E)\to Y.

Sources & referencesView supporting material

Primary source

Chien-Hao Liu and Shing-Tung Yau, “Further studies on the notion of differentiable maps from Azumaya/matrix manifolds, I. The smooth case”, arXiv:1508.02347 (2015).

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.