(no subject)

[leblon]

А вот такой есть интересный вопрос. Категорию конечномерных представлений группы Ли можно продеформировать в сплетенную моноидальную, получив категорию представлений квантовой группы. С другой стороны, можно рассматривать категорию конечномерных представлений как категорию эквивариантных когерентных пучков на точке, и тогда естественно задать вопрос: для каких комплексных (или даже аффинных) многообразий с действием комплексной (или даже аффинной) группы Ли эквивариантная (производная) категория когерентных пучков допускает подобную деформацию? Я поначалу думал, что для этого многообразие должно быть симплектическим, а действие группы - гамильтоновым. Но теперь мне кажется, что это не так. Например, кажется, что в качестве многообразия можно взять алгебру Ли самой группы (ну, это еще куда ни шло, на ней хоть пуассонова структура есть), или даже саму группу (а это уже совсем странно), с присоединенным действием.

Comments

[leblon.livejournal.com]

Your question deconfused me. Sometimes some wires cross in my head and I confuse the convolution monoidal structure with the tensor product one. This probably happens because in my paper both appear, in slightly different circumstances (depending on which object in the 2-category of boundary conditions in the 3d TFT I consider, I may get either convolution or tensor product monoidal structures). In the case of G/G I need to start with the convolution monoidal structure in order to be able to deform it. On the other hand, if I take instead of G some complex symplectic manifold X with a hamiltonian G-action, then the tensor product on the G-equivariant derived category of coherent sheaves on X can be deformed into a braided monoidal structure. Problem resolved!

[hippie57.livejournal.com]

It could be that Langlands duality interchanges the (deformed) convolution tensor product and the (deformed) coherent sheaf one. This is ot easy to imagine, but on the other hand, if the duality is of Fourier transform flavour, this could happen.

[hippie57.livejournal.com]

E.g. that's what happens for G=T, the torus.