Матрица Манина - Manin matrix
В математике Матрицы Манина, названный в честь Юрий Манин который представил их в 1987–1988 гг.,[1][2][3] являются классом матрицы с элементами в необязательно коммутативный звенеть, которые в определенном смысле ведут себя как матрицы, элементы которых коммутируют. В частности, существует естественное определение детерминант для них и большинства линейная алгебра теоремы вроде Правило Крамера, Теорема Кэли – Гамильтона и т. д. справедливо для них. Любая матрица с коммутирующими элементами является матрицей Манина. Эти матрицы находят применение в теория представлений в частности Личность Капелли, Янгиан и квантовые интегрируемые системы.
Матрицы Манина являются частными примерами общей конструкции Манина «некоммутативных симметрий», которые могут быть применены к любой алгебре. С этой точки зрения они являются «некоммутативными эндоморфизмами» алгебры полиномов. C[Икс1, ...Иксп]. Взяв (q) - (супер) -коммутирующие переменные, получим (q) - (супер) -аналоги матриц Манина, которые тесно связаны с квантовыми группами. На произведения Манина оказали влияние квантовая группа Он открыл, что квантованная алгебра функций Веселоq(GL) может быть определено требованием, чтобы Т и Тт одновременно являются q-матрицами Манина. В этом смысле следует подчеркнуть, что (q) -матрицы Манина определяются только половина отношений связанной квантовой группы Веселоq(GL), и этих соотношений достаточно для многих теорем линейной алгебры.
Определение
Контекст
Матрицы с типичными некоммутативными элементами не допускают естественного построения определителя со значениями в основном кольце, и основные теоремы линейной алгебры не выполняются. Существует несколько модификаций теории детерминантов: Определитель Дьедонне который принимает значения в абелианизация K*/[K*, K*] мультипликативной группы K* заземляющего кольца K; и теория квазидетерминанты. Но аналогия между этими определителями и коммутативными определителями не является полной. С другой стороны, если рассматривать определенные конкретные классы матриц с некоммутативными элементами, то есть примеры, в которых можно определить определитель и доказать теоремы линейной алгебры, которые очень похожи на их коммутативные аналоги. Примеры включают: квантовые группы и q-детерминант; Матрица Капелли и Определитель Капелли; супер-матрицы и Березинский.
Матрицы Манина - это общий и естественный класс матриц с необязательно коммутативными элементами, которые допускают естественное определение определителя и обобщения теорем линейной алгебры.
Формальное определение
An п к м матрица M с записями Mij над кольцом р (не обязательно коммутативная) является матрицей Манина, если все элементы в данном столбце коммутируют и если для всех я,j,k,л он считает, что [Mij,Mkl] = [MкДж,Mil]. Здесь [а,б] обозначает (ab − ба) коммутатор из а и б.[3]
Определение лучше видно из следующих формул: Прямоугольная матрица M называется матрицей Манина, если для любой подматрицы 2 × 2, состоящей из строк я и k, и столбцы j и л:
справедливы следующие коммутационные соотношения
Вездесущность матриц Манина 2 × 2
Ниже приведены некоторые примеры появления свойства Манина в различных очень простых и естественных вопросах, касающихся матриц 2 × 2. Общая идея заключается в следующем: рассмотрите хорошо известные факты линейной алгебры и посмотрите, как ослабить предположение о коммутативности матричных элементов, чтобы результаты остались верными. Ответ: если и только если M матрица Манина.[3] Доказательства всех наблюдений - прямая проверка в одну строку.
Рассмотрим матрицу 2 × 2
Наблюдение 1. Совместное действие в самолете.
Рассмотрим кольцо многочленов C[Икс1, Икс2], и предположим, что матричные элементы а, б, c, d ездить с Икс1, Икс2.Определять у1, у2 к
потом у1, у2 ездить между собой если и только если M матрица Манина.
Доказательство:
Требуя, чтобы это было равно нулю, мы получаем отношения Манина.
Наблюдение 2. Совместное действие на суперплоскости.
Рассмотрим алгебру Грассмана C[ψ1, ψ2], и предположим, что матричные элементы а, б, c, d ездить с ψ1, ψ2.Определять φ1, φ2 к
потом φ1, φ2 являются грассмановыми переменными (т.е. антикоммутируют между собой и φя2=0) если и только если M матрица Манина.
Наблюдения 1,2 верны для общих п × м Матрицы Манина. Они демонстрируют оригинальный подход Манина, описанный ниже (обычные матрицы следует рассматривать как гомоморфизмы колец полиномов, а матрицы Манина - более общие «некоммутативные гомоморфизмы»). Обратите внимание, что генераторы алгебры полиномов представлены в виде векторов-столбцов, в то время как алгебра Грассмана как векторы-строки, то же самое можно обобщить на произвольную пару двойственных по Кошулям алгебр и связанных с ними общих матриц Манина.
Замечание 3. Правило Крамера.Обратная матрица дается стандартной формулой
если и только если M матрица Манина.
Доказательство:
Замечание 4. Теорема Кэли – Гамильтона.Равенство
держит если и только если M матрица Манина.
Наблюдение 5. Мультипликативность определителей.
Detстолбец(MN) = detстолбец(M) det (N) выполняется для всех комплекснозначных матриц N если и только если M матрица Манина.
Где детстолбец матрицы 2 × 2 определяется как объявление − cb, т.е. элементы из первого столбца (а,c) стоит на первом месте в продукции.
Концептуальное определение. Понятие «некоммутативные симметрии»
По словам Ю. Согласно идеологии Манина, любой алгебре можно сопоставить некую биалгебру ее «некоммутативных симметрий (т.е. эндоморфизмов)». В более общем смысле к паре алгебр А, B можно связать его алгебру «некоммутативных гомоморфизмов» между А и BЭти идеи естественным образом связаны с идеями некоммутативная геометрия Рассматриваемые здесь матрицы Манина являются примерами этой общей конструкции, применяемой к алгебрам полиномов. C[Икс1, ...Иксп].
Сфера геометрии касается пространств, в то время как сфера алгебры, соответственно, алгебр, мост между двумя сферами - это ассоциация с каждым пространством алгебры функций на нем, которая является коммутативной алгеброй. Многие концепции геометрии могут быть переделаны на этом языке. алгебр и наоборот.
Идея симметрии грамм пространства V можно рассматривать как действие грамм на V, т.е. наличие карты G × V -> VЭту идею можно перевести на алгебраический язык как существование гомоморфизма Веселье (G) Веселье (V) <- Веселье (V) (как обычно карты между функциями и пространствами идут в противоположных направлениях) .Также могут быть составлены карты из пространства в себя (они образуют полугруппу), следовательно, двойственный объект Веселье (G) это биалгебра.
Наконец, можно взять эти два свойства за основу и дать чисто алгебраическое определение «симметрии», которое может быть применено к произвольной алгебре (не обязательно коммутативной):
Определение. Алгебра некоммутативных симметрий (эндоморфизмов) некоторой алгебры А это биалгебра Конец (A), такие, что существуют гомоморфизмы, называемые сотрудничество:
что естественным образом совместимо с коумножением. Конец (A) требуется для удовлетворения Только отношения, которые вытекают из вышеизложенного, никаких других отношений, т.е. это универсальная коактирующая биалгебра для А.
Кооперацию следует рассматривать как двойственное действие G × V -> V, поэтому его называют coдействие. Совместимость карты коумножения с картой сотрудничества двойственна g (h v) = (gh) v. Легко написать эту совместимость.
Несколько удивительным фактом является то, что эта конструкция применима к алгебре многочленов C[Икс1, ..., Иксп] даст не обычную алгебру матриц Матп (точнее, алгебра функций на нем), но гораздо большая некоммутативная алгебра матриц Манина (точнее алгебра, порожденная элементами MijТочнее справедливы следующие простые утверждения.
Предложение. Рассмотрим алгебру полиномов Pol = C[Икс1, ..., Иксп] и матрица M с элементами в некоторой алгебре EndPol.Элементы коммутируют между собой тогда и только тогда, когда M является матрицей Манина.
Следствие. Карта является гомоморфизмом из Pol к EndPol Pol. Он определяет сотрудничество.
В самом деле, чтобы убедиться, что отображение является гомоморфизмом, единственное, что нам нужно проверить, это то, что уя ездят между собой.
Предложение. Определим карту коумножения по формуле .Тогда это коассоциативный и согласовано с коакцией на алгебре многочленов, определенной в предыдущем предложении.
Из двух приведенных выше предложений следует, что алгебра, порожденная элементами матрицы Манина, является биалгеброй, коактирующей на алгебре полиномов. Если не налагать других соотношений, получается алгебра некоммутативных эндоморфизмов алгебры многочленов.
Характеристики
Элементарные примеры и свойства
- Любая матрица с коммутирующими элементами является матрицей Манина.
- Любая матрица, элементы которой из разных строк коммутируют между собой (такие матрицы иногда называют Картье -Foata matrices) - это матрица Манина.
- Любая подматрица матрицы Манина является матрицей Манина.
- Можно менять местами строки и столбцы в матрице Манина, результат также будет матрицей Манина. Можно добавить строку или столбец, умноженные на центральный элемент, в другую строку или столбец, и результатом снова будет матрица Манина. Т.е. элементарные преобразования можно производить с ограничением центральным множителем.
- Рассмотрим две матрицы Манина M,N такие, что все их элементы коммутируют, то сумма M + N и продукт MN также будут матрицы Манина.
- Если матрица M и одновременно транспонировать матрицу Mт - матрицы Манина, то все элементы M ездить друг с другом.
- Факты о запретах: Mk не является матрицей Манина в целом (кроме k= -1 обсуждается ниже); ни дет (M), ни Tr (M) являются центральными в алгебре, порожденной Mij вообще (в этом отношении матрицы Манина отличаются от квантовых групп); det (еM) ≠ еТр (M); журнал (det (M)) ≠ Tr (log (M)).
- Рассмотрим алгебру полиномов C[Иксij] и обозначим через операторы дифференцирования по
Иксij, формируем матрицы X, D с соответствующими элементами. Также рассмотрим переменную z и соответствующий дифференциальный оператор . Ниже приводится пример матрицы Манина, которая важна для Личности Капелли:
Можно заменить Икс, D любыми матрицами, элементы которых удовлетворяют соотношению: Иксij Dkl - Dkl Иксij = δikδkl, то же самое о z и его производная.
Вычисление определителя этой матрицы двумя способами: прямым и через формулу дополнения Шура по существу дает Личность Капелли и это обобщение (см. раздел 4.3.1,[4] на основе[5]).
Определитель = определитель столбца
Определитель матрицы Манина можно определить по стандартной формуле с предписанием, что элементы из первых столбцов идут первыми в продукте.
Теоремы о линейной алгебре
Много линейная алгебра Утверждения справедливы для матриц Манина даже тогда, когда R не коммутативно. В частности, детерминант можно определить стандартным способом, используя перестановки и это удовлетворяет Правило Крамера.[3] Теорема Мак-Магона Мастер справедливо для матриц Манина и фактически для их обобщений (супер), (q) и т. д. аналогов.
Предложение. Правило Крамера (Видеть[2] или раздел 4.1.[3]) Обратная матрица Манина M можно определить по стандартной формуле:где Mприл является сопряженная матрица заданный стандартной формулой - его (i, j) -й элемент является определителем столбца матрицы (n - 1) × (n - 1), которая получается в результате удаления строки j и столбец я M и умножением на (-1)я + j.
Единственное отличие от коммутативного случая состоит в том, что следует обратить внимание на то, что все определители вычисляются как определители столбцов, а также смежная матрица стоит справа, а коммутативная обратная определителю M стоит слева, т.е. из-за некоммутативности важен порядок.
Предложение. Обратный тоже Манин. (См. Раздел 4.3.[3]) Предположим двустороннюю обратную матрицу Манина M существует, то это тоже будет матрица Манина. det (M−1) = (det (M))−1.
Это предложение несколько нетривиально, из него следует результат Энрикеса-Рубцова и Бабелона-Талона в теории квантовых интегрируемых систем (см. Раздел 4.2.1.[4]).
Предложение. Теорема Кэли – Гамильтона (См. Раздел 7.1.[3])
Где σя - коэффициенты характеристического полинома.
Предложение. Тождества Ньютона (См. Раздел 7.2.1.[3])
Где σя - коэффициенты характеристического полинома, и по соглашению σя= 0, для я> п, куда п размер матрицы M.
Предложение. Определитель через Дополнение Шура(См. Раздел 5.2.[3]) Предположим, что блочная матрица ниже является матрицей Манина и имеет двустороннюю обратную матрицу M−1, А−1, D−1 существовать, тогда
Кроме того, Шур дополняет - матрицы Манина.
Предложение. Теорема Мак-Магона Мастер
Примеры и приложения
Матрица Капелли как матрица Манина, а центр U (glп)
В Личность Капелли из 19 века дает один из первых примеров определителей для матриц с некоммутирующими элементами. Матрицы Манина дают новый взгляд на эту классическую тему. Этот пример связан с алгеброй Ли glп и служит прототипом для более сложных приложений для зацикливания алгебры Ли для glп, Янгиан и интегрируемые системы.
Брать Eij - матрицы с единицей в позиции (я, j) и нули везде. Сформируем матрицу E с элементами Eij в позиции (я, j). Это матрица с элементами в кольце матриц Матп. Это не матрица Манина, однако существуют модификации, которые преобразуют ее в матрицу Манина, как описано ниже.
Введите формальную переменную z которые ездят с Eij, соответственно д / дз оператор дифференцирования в z. Единственное, что будет использоваться, что коммутатор этих операторов равно 1.
Наблюдение. Матрица матрица Манина.
Здесь Идентификатор - единичная матрица.
Пример 2 × 2:
Поучительно проверить требование коммутативности столбцов:.
Наблюдение. Матрица матрица Манина.
Единственный факт, требуемый от Eij для этих наблюдений состоит в том, что они удовлетворяют коммутационным соотношениям [Eij, Ekl] = δjkEil - δЛиEкДж. Итак, наблюдения верны, если Eij являются генераторами универсальная обертывающая алгебра алгебры Ли glп, или его изображения в любом представлении. Например, можно взять
Здесь ψ - Переменные Грассмана.
Наблюдение.
В правой части этого равенства признается Определитель Капелли (или, точнее, характеристический многочлен Капелли), а в левой части находится матрица Манина с ее естественным определителем. Таким образом, матрицы Манина дают новый взгляд на определитель Капелли. Более того, тождество Капелли и его обобщение могут быть получены методами матриц Манина, а также дают простой способ доказать, что это выражение принадлежит центру матрицы. универсальная обертывающая алгебра U (glп), что далеко не тривиально. Действительно, достаточно проверить инвариантность относительно действия группы GLп по спряжению. . Итак, единственное свойство, используемое здесь, это то, что что верно для любой матрицы Манина M и любая матрица грамм с центральными (например, скалярными) элементами.
Алгебра петель для glп, Соответствие Ленглендса и матрица Манина
Матрицы янгианского типа как матрицы Манина
Наблюдение.Позволять Т (г) - порождающая матрица Янгиан за glп.Тогда матрица ехр (-d / dz) T (z) матрица Манина.
Квантовый детерминант янгиана можно определить как ехр (п д / дз)Detстолбец(ехр (-d / dz) T (z)). Обратите внимание, что ехр (-d / dz) можно отменить, поэтому выражение от него не зависит. Таким образом, определитель в теории Янгиана имеет естественную интерпретацию через матрицы Манина.
Для квантовых интегрируемых систем важно построение коммутативных подалгебр в янгиане. Хорошо известно, что в классических предельных выражениях Tr (Tk(z)) порождают коммутативную подалгебру Пуассона. Правильное квантование этих выражений было впервые предложено путем использования тождеств Ньютона для матриц Манина:
Предложение. Коэффициенты Тр (Т (z + k-1) T (z + k-2) ... T (z)) для всех k ездят между собой. Они порождают коммутативную подалгебру в янгиане. Та же подалгебра, что и коэффициенты характеристического многочлена detстолбец(1-ехр (-d / dz) T (z)) .
(Подалгебру иногда называют подалгеброй Бете, поскольку Бете анзац это метод поиска своих совместных пар.)
Дальнейшие вопросы
История
Манин предложил общую конструкцию «некоммутативных симметрий» в,[1]частный случай, который называется матрицей Манина, обсуждается в[2] где были обозначены некоторые основные свойства. Основная мотивация этих работ заключалась в том, чтобы по-другому взглянуть на квантовые группы. Квантовые матрицы Веселоq(GLп) можно определить как такие матрицы, которые Т и одновременно Тт являются q-матрицами Манина (т.е. являются некоммутативными симметриями q-коммутирующих многочленов Икся Иксj = q xj ИксяПосле оригинальных работ Манина до 2003 года было всего несколько работ по матрицам Манина, но примерно и после этой даты матрицы Манина появились в нескольких не совсем связанных областях:[6] получил некое некоммутативное обобщение мастер-тождества Мак-Магона, которое использовалось в теории узлов; в приложениях к квантовым интегрируемым системам были найдены алгебры Ли;[4] Обобщения тождества Капелли с матрицами Манина появились в.[7]Направления, предложенные в этих документах, получили дальнейшее развитие.
Рекомендации
- ^ а б Манин Юрий (1987), «Несколько замечаний об алгебрах Кошуля и квантовых группах», Annales de l'Institut Fourier, 37 (4): 191–205, Дои:10.5802 / aif.1117, Zbl 0625.58040
- ^ а б c Манин Ю. (1988). «Квантовые группы и некоммутативная геометрия». Université de Montréal, Centre de Recherches Mathématiques: 91 страниц. ISBN 978-2-921120-00-5. Zbl 0724.17006.
- ^ а б c d е ж грамм час я А. Червов; Г. Фальки; В. Рубцов (2009). «Алгебраические свойства матриц Манина I». Успехи в прикладной математике. Эльзевир. 43 (3): 239–315. arXiv:0901.0235. Дои:10.1016 / j.aam.2009.02.003. ISSN 0196-8858. Zbl 1230.05043.
- ^ а б c А. Червов; Дж. Фальки (2008). «Матрицы Манина и формула Талалаева». Журнал физики А. 41 (19): 239–315. arXiv:0711.2236. Bibcode:2008JPhA ... 41s4006C. Дои:10.1088/1751-8113/41/19/194006. Zbl 1151.81022.
- ^ Мухин, Э .; Тарасов, В .; Варченко, А. (2006), Обобщение тождества Капелли, arXiv:математика / 0610799, Bibcode:2006математика ..... 10799M
- ^ а б Гаруфалидис, Ставрос; Le, T. T. Q .; Зейлбергер, Дорон (2006), «Квантовая основная теорема Мак-Магона», Proc. Natl. Акад. Sci. СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ., 103 (38): 13928–13931, arXiv:математика / 0303319, Bibcode:2006PNAS..10313928G, Дои:10.1073 / pnas.0606003103, ЧВК 1599890, PMID 16966614
- ^ Караччоло, Серджио; Спортиелло, Андреа; Сокал, Алан Д. (2009), «Некоммутативные детерминанты, формулы Коши – Бине и тождества типа Капелли. I. Обобщения тождеств Капелли и Тернбулла» (Исследовательская работа), Электрон. J. Comb., 16 (1, номер R103): 43, arXiv:0809.3516, Bibcode:2008arXiv0809.3516C, ISSN 1077-8926, Zbl 1192.15001
- В. Рубцов; Д. Талалаев; А. Силантьев (2009). "Матрицы Манина, квантовые эллиптические коммутативные семейства и характеристический многочлен эллиптической модели Годена". СИГМА. 5: 110. arXiv:0908.4064. Bibcode:2009SIGMA ... 5..110R. Дои:10.3842 / SIGMA.2009.110. Zbl 1190.37079.
- Суэми Родригес-Ромо, Эрл Тафт (2002). «Некоторые квантовоподобные алгебры Хопфа, которые остаются некоммутативными при q = 1». Lett. Математика. Phys. 61: 41–50. Дои:10.1023 / А: 1020221319846.CS1 maint: использует параметр авторов (связь)
- Суэми Родригес-Ромо, Эрл Тафт (2005). «Левая квантовая группа». J. Алгебра. 286: 154–160. Дои:10.1016 / j.jalgebra.2005.01.002.CS1 maint: использует параметр авторов (связь)
- С. Ван (1998). «Квантовые группы симметрий конечных пространств». Comm. Математика. Phys. 195 (1): 195–211. arXiv:математика / 9807091. Bibcode:1998CMaPh.195..195W. Дои:10.1007 / s002200050385.CS1 maint: использует параметр авторов (связь)
- Теодор Баника, Жюльен Бишон, Бенуа Коллинз (2007). «Некоммутативный гармонический анализ с приложениями к вероятности». Квантовые группы перестановок: обзор. Banach Center Publ. 78. Варшава. С. 13–34. arXiv:математика / 0612724. Bibcode:2006математика ..... 12724B.CS1 maint: использует параметр авторов (связь)
- Матяз Конвалинка (2007). «Обобщение фундаментального преобразования Фоаты и его приложений к правой квантовой алгебре». arXiv:математика / 0703203. Bibcode:2007 математика ...... 3203K. Цитировать журнал требует
| журнал =
(помощь)CS1 maint: использует параметр авторов (связь) - Конвалинка, Матяж (2007). «Некоммутативное детерминантное тождество Сильвестра». Электрон. J. Combin. 14 (1). # R42. arXiv:математика / 0703213. Bibcode:2007математика ...... 3213K. ISSN 1077-8926.