I'm not nearly smart enough to state this confidently, but doesn't [1] imply that exotic embeddings can always be replaced by larger Euclidean embeddings?
[1] https://en.wikipedia.org/wiki/Nash_embedding_theorems
Is anyone using this? It's from 2019.
I always wondered why bother with quaternions and abstruse math when at the end of the day they behave like some matrices of floats.
I'm not nearly smart enough to state this confidently, but doesn't [1] imply that exotic embeddings can always be replaced by larger Euclidean embeddings?
[1] https://en.wikipedia.org/wiki/Nash_embedding_theorems