leblon: (Default)
leblon ([personal profile] leblon) wrote2009-03-15 06:30 pm

(no subject)

Имеется гипотеза такого рода. Рассмотрим какую-нибудь супергруппу G (например GL(n|m)). Пусть V - нечетная часть ее супералгебры Ли. Это векторное пространство, на которое действует четная часть супергруппы (назовем ее H). Мне кажется, что должно быть какое-то соответствие между представлениями G и H-эквивариантными когерентными пучками (или комплексами пучков) на V, где V теперь понимается просто как (четное) аффинное многообразие.

[identity profile] sasha-br.livejournal.com 2009-03-16 06:07 am (UTC)(link)
Интересно -- надо подумать. Вроде получается, что это буквально так если G чисто чётная, а если G чисто нечётная, то это так на уровне производной
категории -- надо применить кошулеву двойственность. Ты это имел в виду?

[identity profile] leblon.livejournal.com 2009-03-16 06:25 am (UTC)(link)
Как это супергруппа может быть чисто нечетной?

Я прикидывал для GL(1|1), там для каких-то специальных представлений можно воспользоваться кошулевой двойственностью. А в общем случае - непонятно. Может, неоднородная кошулева двойственность поможет. Но там вроде модули над CDG-алгеброй появляются. А я таких не ожидаю.

[identity profile] sasha-br.livejournal.com 2009-03-16 07:24 am (UTC)(link)
Очень просто: в этом случае группа=алгебра Ли, а чисто нечётная алгебра Ли -- это нечётное векторное пр-во с тривиальной скобкой.
Соответственно представления -- это модули над внешней алгеброй этого пр-ва, что (после взятия производной категории) есть то же самое,
что модули над симметрической алгеброй двойственного пространства. Правда, чтобы это работало буквально, надо бы потребовать
чтобы все модули были градуированные.

[identity profile] avzel.livejournal.com 2009-03-16 11:57 am (UTC)(link)
У Веры Сергановой спросить не пробовали? У меня смутное (вполне возможно, неправильное) ощущение, что у нее было что-то похожее.

[identity profile] leblon.livejournal.com 2009-03-16 02:45 pm (UTC)(link)
У нее была работа с Лейтесом по моделям представлений классических супергрупп. Вроде, пока больше ничего похожего я не нашел. Но спросить можно.