Быстрый вопрос: форма кривизны соединения на тривиальном расслоении [закрыто]

Позволять л "=" р 2 × U ( 1 ) быть тривиальным U ( 1 ) -связывать р 2 . Определить соединение "=" г + А где А "=" ф г Икс + г г у является р ценится 1 - форма на л . То есть, дает распределение ЧАС на л - горизонтальное распределение.

Распространение ЧАС получается как график А как линейная карта из р 2 р . Горизонтальный подъемник Икс ~ векторного поля Икс на р 2 дан кем-то Икс ~ "=" ( Икс , А ( Икс ) ) .

Позволять α быть проекцией на вертикальное направление на л то есть кер ( α ) "=" ЧАС , и определить кривизну 2 -форма Ом связи к

Ом ( Икс , Д ) "=" α ( [ Икс ~ , Д ~ ] )

Ожидается, что следующее будет правдой

Ом "=" г А ?

Вот мое замешательство:

Позволять г — локальная вертикальная координата, Икс "=" Икс и Д "=" у . Затем Икс ~ "=" ф г + Икс и Д ~ "=" г г + у . И

г А ( Икс , Д ) "=" Икс ( А ( Д ) + Д ( А ( Икс ) ) + А ( [ Икс , Д ] ) "=" Икс г + у ф
пока
[ Икс ~ , Д ~ ] "=" ( ф ( г г ) г ( г ф ) Икс г + у ф ) г
поэтому
Ом ( Икс , Д ) "=" α ( [ Икс ~ , Д ~ ] ) "=" ф ( г г ) г ( г ф ) Икс г + у ф .
Где ошибка?

Кажется, это чисто математический вопрос.
У меня нет времени заниматься этим прямо сейчас, поэтому я не знаю, вызовет ли это какие-либо проблемы или нет, но А должны иметь мнимую оценку. Алгебра Ли U ( 1 ) является я р , причина, по которой векторный потенциал реален в КЭД, заключается в том, что вы берете А "=" я д А , где А это связь и А — векторный потенциал.
Ответ есть на physicsoverflow.org/36782 .

Ответы (1)

ф и г определяются в базовом пространстве для начала. Вам нужно будет расширить функции на общем пространстве, чтобы определить взятие г .