We prove that the derivative map d W Diff @ .D k / ! k SO k , defined by taking the derivative of a diffeomorphism, can induce a nontrivial map on homotopy groups. Specifically, for k D 11 we prove that the following homomorphism is nonzero:
No takes yet. Share an insight, caveat, or question.
Crowley et al. (2023) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: