WikiDer > P-кривизна

эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к Сделайте это понятным для неспециалистов, не снимая технических деталей. (Июнь 2016) (Узнайте, как и когда удалить этот шаблон сообщения)

В алгебраическая геометрия, п-искривление инвариант связь на связный пучок за схемы характерных п > 0. Это конструкция, похожая на обычную кривизна, но существует только в конечной характеристике.

Определение

Предполагать X / S это гладкий морфизм схем конечных характеристика п > 0, E векторный пучок на Икс, и ${ displaystyle nabla}$ связь на E. В п-искривление из ${ displaystyle nabla}$ это карта ${ displaystyle psi: E to E otimes Omega _ {X / S} ^ {1}}$ определяется

${ displaystyle psi (e) (D) = nabla _ {D} ^ {p} (e) - nabla _ {D ^ {p}} (e)}$

для любого происхождения D из ${ displaystyle { mathcal {O}} _ {X}}$ над S. Здесь мы используем п-я степень вывода все еще происхождение по схемам характеристики п.

По определению п-кривизна измеряет отказ карты ${ displaystyle operatorname {Der} _ {X / S} to operatorname {End} (E)}$ быть гомоморфизмом ограниченные алгебры Ли, как обычно кривизна в дифференциальная геометрия измеряет, насколько далеко это отображение является гомоморфизмом Алгебры Ли.

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

• Гипотеза Гротендика – Каца о p-кривизне
• Ограниченная алгебра Ли

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

• Кац, Н., "Нильпотентные связности и теорема монодромии", IHES Publ. Математика. 39 (1970) 175–232.
• Огус, А., "Когомологии Хиггса, п-кривизна и изоморфизм Картье », Compositio Mathematica, 140.1 (Январь 2004 г.): 145–164.