Quantum groups under very strong axioms

We study the intermediate quantum groups HN ⸦ G ⸦ U+N. The basic examples are HN, KN, ON, UN, H+N, K+N, O+N, U+N, which form a cube. Any other example G sits inside the cube, and by using standard operations, namely intersection ∩ and generation <, >, can be projected on the faces and edges. We prove that under the strongest possible axioms, namely (1) easiness, (2) uniformity, and (3) geometric coherence of the various projection operations, the eight basic solutions are the only ones.

---

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).