Калибровочная дифференциальная форма

Материал из testwiki
Перейти к навигации Перейти к поиску

Калибровочная формадифференциальная форма на римановом многообразии. Инструмент в теории минимальных поверхностей позволяющий доказать минимальность площади.

Определение

Замкнутая k-форма ϕ на римановом многообразии (M,g) назыетеся калибровочной если для любой ортонормированной системы из k векторов e1,,ek выполняется неравенство

ϕ(e1ek)1.

При этом если для k-мерного подмногообразие L в (M,g) достигается равенство

ϕ(e1ek)=1.

для ортонормированного базиса в каждом касательном пространстве к L, то говорят, что L калибруется ϕ.

Свойства

Если k-мерного подмногообразие L в (M,g) калибруется формой ϕ, то L минимизирует площадь среди всех ему гомологичных подмногообразий. Действительно, предположим L гомологично L, тогда

volk(L)=Lφ=Lφvolk(L).

где первое равенство держится, потому что L калибруется ϕ, второе равенство — по теореме теореме Стокса, а последнее неравенство справедливо, поскольку ϕ — калибровочная форма.

Примеры

Ссылки