A Kahleri-féle sokaság három egymással kompatibilis szerkezettel: egy komplex szerkezettel , egy Riemann-metrikával és egy szimplektikus formával .
Erich Köhler német matematikusról kapta a nevét .
Szimplektikus sokaságként: A Kähleri-féle sokaság egy szimplektikus sokaság , amelynek integrálható, majdnem összetett szerkezete összhangban van a szimlektikus formával .
Összetett sokaságként: A Kähleri sokaság egy hermitiánus sokaság zárt hermitiánus alakkal. Az ilyen hermitikus formát Kählerinek nevezik.
Legyen egy hermitikus forma , egy szimplektikus forma és egy majdnem összetett szerkezet . A következetesség azt jelenti, hogy a forma :
Riemann-féle; vagyis pozitív határozott. A struktúrák közötti kapcsolat az azonossággal fejezhető ki:
Egy összetett sokaságon minden szigorúan többharmonikus függvény Kähler-formát generál
Ebben az esetben a függvényt az alak Kähler-potenciáljának nevezzük .
Helyben ennek az ellenkezője igaz. Pontosabban, a Kähleri-sokaság minden pontjához létezik egy szomszédság és egy olyan függvény
.Ezt hívják az űrlap helyi Kähler-potenciáljának .