что значит "ADHM" в "ADHM с яйцом"?

(Reply to this) (Thread)

(Reply to this) (Parent) (Thread)

этот ADHM, боюсь, в 1968 году ещё даже в планах не имелся.

(Reply to this) (Parent) (Thread)

само собой, я просто так описал колчан. "АДХМ-колчан" это просто заумный синоним слова "хуй", я прошу прощения.

(Reply to this) (Parent) (Thread)

оппа, а какая у него связь с инстантонами и вот этим всем?

(Reply to this) (Parent) (Thread)

ну пространство модулей инстантонов получается гамильтоновой редукцией из представлений этого колчана, на википедии написано это. просто у них стрелки обозначены буквами B_i и I, J вместо a, b, i, j на картинке.

(Reply to this) (Parent) (Thread)

"гамильтонова редукция" это такой заумный симплектический способ сказать "фактор по действию группы Ли"?

(Reply to this) (Parent) (Thread)

типа того, ага.

(Reply to this) (Parent)

а в природе есть книжка, посвящённая adhm и представлению колчанов ?

(Reply to this) (Thread)

это Вы очень общо спрашиваете. есть книжка Атьи "Геометрия и физика узлов", там приложение про инстантоны хорошее, ADHM есть, правда, по-моему, без "хуя".
или что-то более конкретное интересует?

(Reply to this) (Parent) (Thread)

Атью посмотрю, спасибо, но интересно построение решений калибровочного лагранжиана для произвольной группы, например - и как это связано с матрицами, удовлетворяющими тождествам ("представлениями колчанов")

(Reply to this) (Parent) (Thread)

если я правильно понимаю терминологию, то у Атьи как раз это и написано.
ведь "построение калибровочного лагранжиана для произвольной группы" -- это поиск антиавтодуальной связности в расслоении с произвольной структурной группой?
там такой план: такие расслоения соответствуют просто голоморфным расслоениям на некотором другом пространстве (CP^3, например, т.е. на твисторном пространстве). а голоморфные расслоения умеют классифицировать в алгебраической геометрии, как раз посредством матриц, удовлетворяющих тождествам. у Атьи всё это подробно есть.

(Reply to this) (Parent) (Thread)

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

да-а? новости для меня. ты про коциклы в H^1(X, GL_n)?

(Reply to this) (Parent) (Thread)

век живи - век учись, че. про них.
http://ium.mccme.ru/f00/bundles.html , например, целая наука.

(Reply to this) (Parent) (Thread)

хороший курс, хотя я насколько понял, полистав, там классификация с другого конца заходит: не тупо пытаемся искать коциклы, а берём рациональные сечения и пересекаем дивизоры, и пытаемся эти пересечения классифицировать.

там кузнецов ещё продолжение прочёл, кстати, про модули: http://ium.mccme.ru/s07/bundles.html

(Reply to this) (Parent)

ты в Ярославль едешь?

(Reply to this) (Parent) (Thread)

еду, а ты?

(Reply to this) (Parent) (Thread)

Круто! Я тоже (подал).

(Reply to this) (Parent)

еду

(Reply to this) (Parent)

ой, ну в смысле хочу ехать, я подал заявку.

(Reply to this) (Parent)

а ты будешь?

(Reply to this) (Parent) (Thread)

буду!

(Reply to this) (Parent)

я да

(Reply to this) (Parent)

в порядке занудства: это дополнение есть перевод ещё одной книжки Атийи, "Geometry of Yang-Mills fields". это если по-английски искать будете

(Reply to this) (Parent)