Assertion: hyperkähler manifold | /r/HasProperty | calabi–yau manifolds
Facets:
Source sentences:
text: All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds (this can be easily seen by noting that Sp(k) is a subgroup of the special unitary group SU(2k)).