Полученный Голдшмидтом и Стернбергом классический результат, связыва-ющий морфизм Якоби с гессианом для теорий поля первого порядка, обобщает-ся на калибровочно-естественные теории поля высшего порядка. В частности, определен обобщенный калибровочно-естественный морфизм Якоби, где вари-ационные векторные поля являются производными Ли сечений калибровочно-естественного расслоения по отношению к калибровочно-естественным подъ-емам инфинитезимальных главных автоморфизмов, и установлена связь с гес-сианом. Гессиан также очень просто связан с обобщенным морфизмом Бергман-на-Бианки, ядро которого дает необходимое и достаточное условие существова-ния глобальных канонических суперпотенциалов. Получено, что гамильтоновы уравнения для гамильтоновой связности, ассоциированной с соответствующим образом определенным ковариантным сильно сохраняющимся током, тожде-ственно удовлетворяются; их можно интерпретировать как обобщенные тожде-ства Бергманна-Бианки и, таким образом, охарактеризовать в терминах обра-щения гессиана в нуль.Ключевые слова: струи, калибровочно-естественное расслоение, вторая вариацион-ная производная, обобщенный морфизм Якоби.
ВВЕДЕНИЕНесколько формулировок исчисления вариаций на пространстве струй (см., на-пример, работы [1]- [9]) были предложены с целью перевести этот важный аспект ма-тематики в область дифференциальной геометрии. Пространства струй в действи-тельности задают естественный контекст для дифференциальных уравнений в диф-ференциальной геометрии. При такой формулировке оказывается, что дифферен-циальный оператор, преобразующий лагранжианы в выражения Эйлера-Лагранжа, является не чем иным, как пучковым морфизмом некоторой последовательности пучков [9]- [13], чем определяются два связанных контекста [14]: вариационные би-комплексы бесконечного порядка и вариационные последовательности Крупки ко-нечного порядка. Подход, основанный на струях бесконечного порядка, является во * Department of Mathematics, University of Torino, via C. Alberto 10, 10123 Torino, Italy. E-mail: marcella.palese@unito.it, ekkehart.winterroth@unito.it 377 378 М. ПАЛЕЗЕ, Е. УИНТЕРРОТ многих отношениях более простым и элегантным, поскольку сразу приводит к ре-зультатам, справедливым для любого порядка; рассматривающий конечные поряд-ки подход применяется, когда важным может оказаться сохранение фиксированного порядка, и при этом существенна получающаяся полиномиальная структура вари-ационных объектов.В рамках вариационных последовательностей конечного порядка мы характе-ризуем вторую вариацию калибровочно-естественного инвариантного лагранжиана произвольного порядка в общем случае n независимых переменных и m неизвестных функций и применяем полученный результат для специализации теорем Нётер и со-ответствующих сохраняющихся токов и суперпотенциалов. В работе [15] Бергманн ввел так называемые обобщенные тождества Бианки для геометрических теорий поля, что позволило получить (после интегрирования по частям) самосогласованное уравнение, включающее локальные дивергенции в первой вариационной формуле.Хорошо известно, что согласно...