Изотро́пное многообра́зие, изотропное подмногообразие, в симплектическом многообразии – подмногообразие, на котором равен нулю обратный образ симплектической формы.
Пусть M– симплектическое многообразие, т. е. гладкое 2n-мерное многообразие, снабжённое симплектической структурой – замкнутой невырожденной дифференциальной 2-формой ω2. Подмногообразие L⊂M называется изотропным, если j∗ω2=0, где j – вложение L в M. Размерность изотропного подмногообразия не превышает n; одномерное подмногообразие всегда изотропно; изотропное подмногообразие максимальной размерности n называется лагранжевым многообразием. Пусть (α1,…,αk), k=dimL≤n, – локальные координаты на L, а (q1,…,qn,p1,…,pn) – координаты Дарбу на M, в которых симплектическая структура имеет вид:
ω2=dp1∧dq1+⋯+dpn∧dqn.Пусть вложение L в M задаётся в этих координатах формулами:
qm=Qm(α1,…,αk),pm=Pm(α1,…,αk),m=1,…,n.Тогда условие изотропности записывается как равенство нулю скобок Лагранжа:
m=1∑n(∂αs∂Pm∂αr∂Qm−∂αr∂Pm∂αs∂Qm)=0,s,r=1,…,k.
Назайкинский Владимир Евгеньевич