Конечномерные алгебры и действия групп
В этом курсе изучается такой замечательный и вполне элементарный объект, как конечномерные коммутативные ассоциативные алгебры над комплексными числами. Здесь достаточно легко доказать первые структурные результаты, но получить полную классификацию едва ли возможно. Мы обсудим различные техники работы с конечномерными алгебрами (максимальные идеалы и локальные алгебры, фильтрации и градуировки, последовательность Гильберта-Самюэля и цоколь) и получим явное описание алгебр малых размерностей. Оказывается, конечномерные алгебры тесно связаны с действиями с открытой орбитой коммутативных групп матриц на аффинных и проективных пространствах. Мы объясним эту связь. В процессе объяснения естественно возникнут такие понятия как экспонента линейного оператора, представление группы и циклический модуль, алгебра Ли и ее универсальная обертывающая. На последней лекции мы поговорим о действиях с открытой орбитой коммутативных групп матриц на различных проективных многообразиях (грассманианах и многообразиях флагов, взвешенных проективных пространствах) и сформулируем несколько нерешенных проблем. Предполагается, что слушатели знакомы с комплексными числами и основами линейной алгебры. Все остальные понятия будут определены и проиллюстрированы на примерах.
Аржанцев Иван Владимирович, доктор физико-математических наук.
Летняя школа «Современная математика», г. Дубна
20-25 июля 2018 г.
Похожее
-
Александр Буфетов, Роман Авдеев
Курс посвящён обобщению понятия вращения евклидова пространства. Оказывается, что с каждым евклидовым пространством можно связать новое пространство, объекты которого называются спинорами. Между исходным пространством и пространством спиноров имеется замечательная связь: всякому вращению исходного пространства можно сопоставить преобразование пространства спиноров, определённое однозначно с точностью до знака. Получаемые таким образом преобразования пространства спиноров образуют группу, называемую спинорной группой.
-
Иван Аржанцев
Знакомая большинству из вас формула Лейбница утверждает, что (fg)′=f′g+fg′. А какие ещё операции обладают аналогичным свойством? Задавшись этим вопросом, естественно определить дифференцирование алгебры А как такое линейное отображение D из A в A, что D(fg)=D(f)g+fD(g) для любых f,g ∈ A. В этом курсе мы поговорим о дифференцированиях коммутативных алгебр, в первую очередь, алгебры многочленов от многих переменных. Хотелось бы описать все дифференцирования и изучить их свойства. Начала этой теории вполне элементарны. В то же время дифференцирования тесно связаны со сложными задачами алгебраической геометрии, теории групп преобразований и теории представлений.
-
Иван Аржанцев
Автоморфизм n-мерного аффинного пространства — это отображение (x_1,…,x_n) → (f_1,…,f_n), где f_i — многочлены от переменных x_1,…,x_n, для которого существует обратное отображение, также заданное многочленами. Мы начнем с полного описания автоморфизмов прямой, проблему якобиана. Определим ручные и дикие автоморфизмы, докажем, что все автоморфизмы плоскости являются ручными, и немного поговорим о доказательстве теоремы Шестакова и Умирбаева (2004) о том, что автоморфизм Нагаты трехмерного пространства (1972) является диким. Также мы обсудим свойство бесконечной транзитивности действия группы автоморфизмов и его связь с локально нильпотентными дифференцированиями. Будет сформулирован ряд известных открытых проблем аффинной алгебраической геометрии: проблема сокращения, проблема выпрямления, проблема линеаризации для торов и ее связь с градуировками.
-
Иван Аржанцев
Теория кодирования – это отличный повод поговорить о красивых задачах из алгебры и комбинаторики, о линейной алгебре и алгебраической геометрии над конечными полями, конечных геометриях, простых группах и алгоритмах, связанных с передачей информации. Программа курса: Основные задачи теория кодирования. Коды, исправляющие ошибки. Расстояние Хемминга и неравенство треугольника. Предварительные сведения из алгебры. Строение конечных полей. Линейная алгебра над конечными полями. Линейные коды и их характеристики. Код Хемминга. Совершенные коды. Двойственный код и тождество Мак-Вильямса. Эквивалентность кодов. Методы вычисления минимального расстояния для подпространства. Циклические коды и главные идеалы. Алгеброгеометрические коды. Грассманианы и плюккеровы координаты. Грассмановы коды и минимальные расстояния. Точки на минимальной сфере. Алгоритмы декодирования. Синдромы и минимальные представители. Коды Голея. Конечные геометрии и группы Матье.
-
Евгений Смирнов
Рассмотрим сумму двух эрмитовых матриц A и B. Это снова будет эрмитова матрица. В 1912 году Герман Вейль задался таким вопросом: что можно сказать о ее собственных значениях, если известны собственные значения матриц A и В? Во-первых, ясно, что след A+B будет равен сумме следов исходных матриц; во-вторых, наибольшее собственное значение A+B не превосходит суммы наибольших собственных значений A и B. А какие еще есть ограничения? В 1962 году Альфред Хорн выписал ряд неравенств на собственные значения матриц A, B и A+B и сформулировал гипотезу о том, что это полный набор условий. В 1999 году А.А.Клячко свел эту гипотезу к так называемой гипотезе о насыщении. Они же предложили описание неравенств Хорна при помощи диаграмм или «сот», которые имеют самое прямое отношение к теории представлений полной линейной группы GL(n).
-
Михаил Тёмкин
Приставляя тетраэдры друг к другу по граням можно получать примеры симплициальных комплексов — важного математического объекта. Раскрасим треугольники такого сооружения в чёрный и белый цвета и назовём раскраску хорошей, если каждый тетраэдр имеет поровну чёрных и белых граней. Оказывается, что в случае (стандартно симплициально разбитых) маломерных сфер множество белых треугольников оказывается объектом, достойным изучения: листом Мёбиуса или проективной плоскостью. При описании того, как именно эти объекты разбиты на треугольники у нас естественным образом возникнет икосаэдр — замечательный правильный многогранник. Исследование группы его самосовмещений позволит понять, сколько существует хороших раскрасок. По пути нам встретятся такие важные базовые понятия математики, как вышеупомянутые симплициальный комплекс и группа симметрий, действие и пр.
-
Иван Лосев
В лекциях вводятся основные сведения из теории представлений конечных групп, объясняется подход Вершика и Окунькова к представлениям симметрических групп, рассказывается о том, что происходит в положительной характеристике и при чем тут алгебры Ли. Курс должен быть понятен студентам, начиная с первого курса, хорошо освоившим курс алгебры.
-
Валерий Опойцев
Если что и даёт ясное представление о высшей математике, так это линейная алгебра. Барьер повседневности здесь преодолевается легко и просто. При этом оказывается, что удивительные вещи находятся не в туманной дали, а совсем рядом. В этом курсе: линейные задачи и векторы, линейные преобразования и матрицы, элементарные преобразования, теория определителей, системы уравнений, замена координат, собственные значения и собственные векторы, операторы на комплексной плоскости, спектральная теория, квадратичные формы, сопряжённое пространство, триангуляция Шура, функции от матриц, матричные ряды.
-
Алексей Белов
Рассмотрим s-порожденную группу (s<1) с тождеством x^n=1. Будет ли она конечна? Ответ положителен при n=2 (легкое упражнение), при n=3 (это уровень сложной задачи студенческой олимпиады), при n=4 (проблема стояла около 40 лет) при n=6 (проблема стояла около 50 лет). При n=5 ничего не известно! В середине 20 века П. С. Новиковым и С. И. Адяном было показано, что если n нечетное число ≥661 то такая группа может быть бесконечна. А. И. Мальцев рассматривал этот результат как основное событие алгебры 20 века (эту точку зрения разделяет, в частности, И. Рипс, чьи исследования были вдохновлены работами П. С. Новикова-С. И. Адяна). Недавно С. И. Адян улучшил оценку до 101.
-
Иван Лосев
Общепринятый формализм классической (гамильтоновой) механики подразумевает, что наблюдаемые образуют алгебру Пуассона, а эволюция системы задается уравнением Гамильтона. В общепринятом квантово-механическом формализме наблюдаемые — это самосопряженные операторы в гильбертовом пространстве, а эволюция задается уравнением Гейзенберга. Эти два уравнения похожи, но природа наблюдаемых совершенно разная. Это затрудняет переход как от классического к квантовому, так и обратно. По этой причине в [BFFLS] был предложен более простой (и более алгебраический) формализм для квантовой механики, в котором квантовая алгебра наблюдаемых становится деформацией классической. Я начну с того, что на примере потенциальной системы объясню возникновение скобки Пуассона и уравнения Гамильтона. Затем я поговорю о деформациях алгебр и объясню почему деформационный формализм с легкостью обеспечивает переход к квазиклассическому пределу.
Далее >>>
|
|
