Кошульская двойственность - Википедия - Koszul duality

В математика, Кошульская двойственность, названный в честь французского математика Жан-Луи Кошул, является любой из различных двойственностей, обнаруженных в теории представлений Алгебры Ли, абстрактные алгебры (полупростая алгебра )^[1] а также топология (например, эквивариантные когомологии^[2]). Пример прототипа, благодаря Джозеф Бернштейн, Израиль Гельфанд, и Сергей Гельфанд,^[3] грубая двойственность между производная категория из симметрическая алгебра и что из внешняя алгебра. Важность этого понятия основывается на подозрении, что двойственность Кошуля кажется вездесущей по своей природе.^{[нужна цитата ]}

Двойственность Кошуля для модулей над алгебрами Кошуля

Самый простой и в некотором смысле прототипический случай двойственности Кошуля возникает следующим образом: для одномерного векторного пространства V над полем k, с двойное векторное пространство ${ Displaystyle V ^ {*}}$, то внешняя алгебра из V имеет две нетривиальные компоненты, а именно

${ Displaystyle bigwedge ^ {1} V = V, bigwedge ^ {0} V = k.}$

Эта внешняя алгебра и симметрическая алгебра из ${ Displaystyle V ^ {*}}$, ${ displaystyle Sym (V ^ {*})}$, служат для построения двухступенчатой цепной комплекс

${ Displaystyle V otimes _ {k} Sym (V ^ {*}) to k otimes _ {k} Sym (V ^ {*})}$

дифференциал которого индуцирован естественным оценочным отображением

${ displaystyle V otimes _ {k} V ^ {*} to k, v otimes varphi mapsto varphi (v).}$

Выбор основы V, ${ displaystyle Sym (V ^ {*})}$ можно отождествить с кольцо многочленов в одной переменной, ${ Displaystyle к [т]}$, а предыдущий цепной комплекс становится изоморфным комплексу

${ Displaystyle к [т] { stackrel {т} { то}} к [т]}$

дифференциал которого умножается на т. Это вычисление показывает, что когомологии указанного выше комплекса равны 0 в левом члене и равны k в правильном сроке. Другими словами, k (рассматриваемый как цепной комплекс, сосредоточенный в одной степени) квазиизоморфный с указанным выше комплексом, который обеспечивает тесную связь между внешней алгеброй V и симметрическая алгебра двойственного ему.

Кошул, двойственный к кошулевой алгебре

Кошулева двойственность, трактуемая Александр Бейлинсон, Виктор Гинзбург, и Вольфганг Зергель^[4] можно сформулировать, используя понятие Кошуля алгебра. Пример такой алгебры Кошуля А это симметрическая алгебра ${ Displaystyle S (V)}$ на конечномерном векторном пространстве. В более общем смысле можно показать, что любая алгебра Кошуля является квадратичная алгебра, т. е. вида

${ Displaystyle А = Т (В) / Р,}$

куда ${ Displaystyle T (V)}$ это тензорная алгебра на конечномерном векторном пространстве, и ${ displaystyle R}$ является подмодулем ${ displaystyle T ^ {2} (V) = V otimes V}$. В Кошул двойной то совпадает с квадратичной двойственной

${ displaystyle A ^ {!}: = T (V ^ {*}) / R '}$

куда ${ Displaystyle V ^ {*}}$ это (k-линейный) дуальный и ${ Displaystyle R ' подмножество V ^ {*} время V ^ {*}}$ состоит из тех элементов, на которых элементы р (т.е. отношения в А) исчезают. Кошул, двойственный к ${ Displaystyle A = S (V)}$ дан кем-то ${ Displaystyle A ^ {!} = Lambda (V ^ {*})}$, то внешняя алгебра на двойном V. В общем, двойственная алгебра Кошуля снова является алгеброй Кошуля. Его противоположное кольцо дается градуированным кольцом самообучения.расширения основного поля k, думали как А-модуль:

${ displaystyle (A ^ {!}) ^ { text {opp}} = operatorname {Ext} _ {A} ^ {*} (k, k).}$

Кошульская двойственность

Если алгебра ${ displaystyle A}$ является кошулем, существует эквивалентность между некоторыми подкатегориями производные категории из оцененный ${ displaystyle A}$- и ${ displaystyle A ^ {!}}$-модули. Эти подкатегории определяются некоторыми условиями ограниченности градуировки относительно когомологической степени комплекса.

Варианты

В качестве альтернативы переходу к определенным подкатегориям производных категорий ${ displaystyle A}$ и ${ displaystyle A ^ {!}}$ чтобы получить эквивалентности, вместо этого можно получить эквивалентности между определенными факторами гомотопических категорий.^[5] Обычно эти факторы больше, чем производная категория, поскольку они получаются путем выделения некоторой подкатегории категории ациклических комплексов, но они имеют то преимущество, что каждый комплекс модулей определяет некоторый элемент категории без необходимости налагать условия ограниченности. Другая переформулировка дает эквивалентность производной категории ${ displaystyle A}$ и «кодообразная» категория коалгебры ${ displaystyle (A ^ {!}) ^ {*}}$.

Расширение двойственности Кошуля на D-модули утверждает аналогичную эквивалентность производных категорий между dg-модулями над dg-алгебра ${ displaystyle Omega _ {X}}$ из Дифференциалы Kähler на гладком алгебраическое многообразие Икс и ${ displaystyle D_ {X}}$-модули.^[6][7][8]

Кошульская двойственность для опер

Расширение упомянутого выше понятия двойственности Кошуля было сформулировано Гинзбургом и Капрановым, которые ввели понятие квадратичной операда и определил квадратичный двойник такой операды.^[9] Грубо говоря, операда - это алгебраическая структура, состоящая из объекта п-очень операции для всех п. Алгебра над операдой - это объект, на котором эти п- акт об операциях. Например, есть операда под названием ассоциативная операда чьи алгебры являются ассоциативными алгебрами, то есть, в зависимости от конкретного контекста, некоммутативными кольцами (или, в зависимости от контекста, некоммутативными градуированными кольцами, дифференциальными градуированными кольцами). Алгебры над так называемыми коммутативная операда являются коммутативными алгебрами, т.е. коммутативными (возможно, градуированными, дифференциально градуированными) кольцами. Еще один пример - Ложь операда чьи алгебры Алгебры Ли. Упомянутая выше квадратичная двойственность такова, что ассоциативная операда самодуальна, а коммутативная операда и операда Ли соответствуют друг другу при этой двойственности.

Двойственность Кошуля для операд устанавливает эквивалентность алгебр над дуальными операдами. Частный случай ассоциативных алгебр возвращает функтор ${ Displaystyle A mapsto A ^ {!}}$ упомянутый выше.

Смотрите также

• Алгебра Зинбиеля

Примечания

Рекомендации

• Придди, Стюарт Б. Кошульские резолюции. Труды Американского математического общества 152 (1970), 39–60.

внешняя ссылка

• http://www.math.harvard.edu/~lurie/282ynotes/LectureXXIII-Koszul.pdf
• http://people.mpim-bonn.mpg.de/geordie/Soergel.pdf
• http://arxiv.org/pdf/1109.6117v1.pdf