Joshua Grochow · @joshuagrochow
437 followers · 245 posts · Server mathstodon.xyz

TIL about an apparently notorious in : is there a complex structure on the 6-sphere?

The Chern character rules out complex structures on 𝑆ⁿ for n>6. Apparently 𝑆⁴ doesn't even have an almost complex structure, although 𝑆⁶ does (coming as the unit sphere in the pure imaginary IIUC).

See doi.org/10.4153/CMB-1966-003-9 for some overview and refs. Learned from twitter.com/CihanPostsThms/sta

#octonions #topology #openquestion

Last updated 2 years ago

I have been engaging my fellows at Math 4 about working together. This has led to the idea of atomic learning exercises and how they fit within a map of paths. I realized that for the sake of clarity I should distinguish what for me is not part of Math 4 Wisdom because it does not model cognitive frameworks for which I currently have evidence. So I made a map of Math for Fascination or Speculation which includes , , exceptional Lie groups, Platonic solids.

#primes #octonions #learning #wisdom

Last updated 3 years ago

Seth Axen 🪓 :julia: 🦖 · @sethaxen
697 followers · 419 posts · Server bayes.club

Octonions.jl v0.2.2 extends all complex analytic functions in the standard library to the !

Octonions are a type of hypercomplex number whose product is neither associative nor commutative. Besides their normal uses, they are also useful for testing numerical algorithms that are intended to generically work for even weird numbers.

Here we use them to check that the fallback QR and unpivoted LU decompositions in do the right thing.

github.com/JuliaGeometry/Octon

#octonions #julialang

Last updated 3 years ago

Arnoud Buzing · @arnoudbuzing
1 followers · 4 posts · Server mathstodon.xyz