graf: (Default)
graf ([personal profile] graf) wrote2010-04-02 10:38 pm

Из ненаписанных писем научнику

"Моя геометрическая интуиция подсказывает, что этот вопрос решается чисто алгебраическими средствами, но по-моему она просто отмазывается".

Кстати.

[identity profile] bellatrics.livejournal.com 2010-04-04 06:53 pm (UTC)(link)
Раз уж ты специалист по группам и алгебрам Ли... В Дубровине есть такая штука, как пример нематричной группы Ли. Мне интересно, такое встречается в "реальной жизни" или это всё-таки такая экзотика?

Re: Кстати.

[identity profile] graf-vk.livejournal.com 2010-04-04 07:57 pm (UTC)(link)
Скорее экзотика. Там просто берут и "портят" нормальную группу Ли, добавляя к ней некоторую дискретную характеристику. Обрати внимание, что локально эта группа вполне себе изоморфна матричной (и в частности ее алгебра Ли такая же как у sl(2) фактор по +-1).

Re: Кстати.

[identity profile] certus.livejournal.com 2010-04-07 09:26 pm (UTC)(link)
Я бы сказал, что ответ на этот вопрос сильно зависит от того, что понимать под «реальной жизнью». В математике не так уж и редко возникает реальная техническая необходимость перейти к универсальной накрывающей рассматриваемой группы Ли, а уже для SL(n,R), n ≥ 2 — вполне себе естественно возникающей группы — универсальная накрывающая не имеет точного конечномерного представления, т.е. не является матричной группой.

Re: Кстати.

[identity profile] bellatrics.livejournal.com 2010-04-11 06:59 pm (UTC)(link)
А можно какой-нибудь простой пример? Просто я понятия не имею, кому и зачем может такое понадобиться.


И правильно я понимаю, что замечание Графа про локальную изоморфность матричной группе остаётся в силе и здесь?

Re: Кстати.

[identity profile] graf-vk.livejournal.com 2010-04-13 05:35 am (UTC)(link)
Замечание про локальную изоморфность остается в силе: локально это будет обычная SL(n, R).

Честно говоря в том, чем занимаюсь я важны именно локальные свойства, поэтому я вообще склонен говорить не о группах Ли, а об алгебрах.