Настроение:	hungry
Entry tags:	геометрия, геометрия/исключительные голономии, лытдыбр

Или вот пришёл вчера в яму -- а там пьют. Пришёл к Василью Рогову -- а там пьют. Сегодня пришёл в ИППИ -- и там пьют, какой-то подмадерный херес непосредственно от христианнейших поставщиков проф. Белошапки. Оле, Москво, мати клятвопреступления, сущии ли в тебе места, где ныне не пьют? В Стекловке не пьют: Стекловка нынче заперта на велосипедный замок. По домам пьют, наверное.

А в Стелковку я ехал на доклад самого проф. Белошапки, прочитав в анонсе, что на объекте пропускной режим, и надо написать организатору, чтобы меня внесли в списочек. Увидев это, решил, что должно быть непременно в Стекловке. Оказалось в ИППИ! Так я и пропустил доклад проф. Белошапки. А прошлый день конференции я пропустил, потому что только вчера прилетел, и всё проспал. Ну пил, конечно.

Конференция же была про комплексную динамику в КР-геометрии. Думал я вот о чём. Пусть X \to B -- коассоциативное расслоение, и v \in T_b(B) -- касательный вектор. Тогда векторное поле \widetilde{v}, перпендикулярное к слою X_b и определяющее его деформацию, имеет в G_2-метрике на X вообще говоря переменную длину. Соответственно, оператор векторного умножения на v, действующий на TX_b, будет иметь квадратом скалярный оператор, но не -Id, а -e^{2f}Id, где f -- некая вещественная функция. Если же его отнормировать, чтобы он везде имел длину 1, то соотвествующая 2-форма будет незамкнутой: невозможно умножить симплектическую форму на непостоянную функцию, чтобы произведение осталось замкнутым.

Вместе с тем, на поверхностях уровня функции f векторное умножение будет действовать как оператор честной КР-структуры. Возникают интересные вопросы: например, может ли она быть Леви-плоской? Кажется нет: возьмём максимум функции f, тогда поверхности близкого к нему уровня будут сферами, и не смогут иметь нулевую форму Леви. С другой стороны, если максимум достигается вдоль ажно подмногообразия, например двумерного тора, то соседние поверхности будут трёхмерными торами, которые спокойно могут быть Леви-плоскими. Более того, такое семейство Леви-плоских трёхмерных торов на K3-поверхностях известно, его построили два пузатые японца. Надеяться однако на такое нет возможности: замена вектора v \in T_b(B) на другой вектор действует на K3-поверхности твисторной заменой комплексной структуры, которая разрушает расслоение на Леви-плоские торы (хотя бы потому что в нашей ситуации у него будут слои, схлопывающиеся в эллиптические кривые, которые точно разрушаются при переходе к другой комплексной структуре).