Эрмитова метрика
Эрми́това ме́трика, 1) эрмитова метрика в комплексном векторном пространстве – положительно определённая эрмитова форма в . Пространство , снабжённое эрмитовой метрикой, называется унитарным (или комплексно евклидовым, или эрмитовым векторным) пространством, а эрмитова метрика в нём – эрмитовым скалярным произведением. Любые две эрмитовы метрики в переводятся друг в друга автоморфизмом пространства . Таким образом, множество всех эрмитовых метрик в является однородным пространством группы и отождествляется где .
Комплексное векторное пространство можно рассматривать как вещественное векторное пространство , снабжённое оператором комплексной структуры . Если – эрмитова метрика в , то форма является евклидовой метрикой (скалярным произведением) в , а форма – невырожденной кососимметрической билинейной формой в . При этом , , . Любая из форм , однозначно определяет .
2) Эрмитова метрика в комплексном векторном расслоении – функция на базе , сопоставляющая точке эрмитову метрику в слое расслоения и удовлетворяющая следующему условию гладкости: для любых гладких локальных сечений , расслоения функция является гладкой.
В любом комплексном векторном расслоении существует эрмитова метрика. Связность в комплексном векторном расслоении называется согласованной с эрмитовой метрикой , если и оператор комплексной структуры в слоях расслоения ковариантно постоянны (т. е. ), иначе говоря, если соответствующий параллельный перенос слоёв расслоения вдоль кривых на базе является изоморфизмом слоёв как унитарных пространств. Для любой эрмитовой метрики существует согласованная с ней связность, которая, вообще говоря, не единственна. В случае когда есть голоморфное векторное расслоение над комплексным многообразием (см. в статье Векторное аналитическое расслоение), существует единственная связность расслоения , согласованная с данной эрмитовой метрикой и удовлетворяющая следующему условию: ковариантная производная любого голоморфного сечения расслоения относительно любого антиголоморфного комплексного векторного поля на M равна нулю (каноническая эрмитова связность). Форму кривизны этой связности можно рассматривать как 2-форму типа на со значением в расслоении эндоморфизмов векторного расслоения . Каноническую связность можно рассматривать также как связность в главном -расслоении , ассоциированном с голоморфным расслоением комплексной размерности . Она характеризуется как единственная связность в , горизонтальные подпространства которой являются комплексными подпространствами касательных пространств комплексного многообразия .