WikiDer > Кэлер дифференциал

В математика, Дифференциалы Kähler обеспечить адаптацию дифференциальные формы произвольно коммутативные кольца или же схемы. Это понятие было введено Эрих Келер в 1930-е гг. Он был принят в качестве стандарта в коммутативная алгебра и алгебраическая геометрия несколько позже, когда возникла необходимость адаптировать методы из исчисление и геометрия над сложные числа в контекстах, где такие методы недоступны.

Определение

Позволять р и S коммутативные кольца и φ : р → S быть гомоморфизм колец. Важный пример для р а поле и S единый алгебра над р (такой как координатное кольцо из аффинное разнообразие). Кэлеровы дифференциалы формализуют наблюдение, что производные многочленов снова являются полиномами. В этом смысле дифференцирование - это понятие, которое может быть выражено в чисто алгебраических терминах. Это наблюдение можно превратить в определение модуля

${ displaystyle Omega _ {S / R}}$

дифференциалов разными, но равнозначными способами.

Определение с использованием производных

An р-линейный происхождение на S является р-модульный гомоморфизм ${ displaystyle d: S to M}$ для S-модуль M с изображением р в своем ядре, удовлетворяющее Правило Лейбница ${ Displaystyle d (fg) = f , dg + g , df}$. В модуль кэлеровых дифференциалов определяется как S-модуль ${ displaystyle Omega _ {S / R}}$ для которого существует универсальный вывод ${ displaystyle d: S to Omega _ {S / R}}$. Как и другие универсальные свойства, это означает, что d это лучший из возможных производное в том смысле, что любое другое производное может быть получено из него путем композиции с S-модульный гомоморфизм. Другими словами, сочинение с d обеспечивает для каждого S-модуль M, S-модульный изоморфизм

${ displaystyle operatorname {Hom} _ {S} ( Omega _ {S / R}, M) { xrightarrow { cong}} operatorname {Der} _ {R} (S, M).}$

Одна конструкция Ω_S/р и d поступает путем строительства бесплатного S-модуль с одним формальным генератором ds для каждого s в S, и навязывая отношения

• доктор = 0,
• d(s + т) = ds + dt,
• d(ул) = s dt + т ds,

для всех р в р и все s и т в S. Универсальное происхождение посылает s к ds. Из соотношений следует, что универсальный вывод является гомоморфизмом р-модули.

Определение с использованием идеала увеличения

Другое строительство продолжается за счет сдачи в аренду я быть идеалом в тензорное произведение ${ displaystyle S otimes _ {R} S}$ определяется как ядро карты умножения

${ displaystyle { begin {cases} S otimes _ {R} S to S сумма s_ {i} otimes t_ {i} mapsto sum s_ {i} cdot t_ {i} end {случаи}}}$

Тогда модуль кэлеровых дифференциалов S может быть эквивалентно определено как^[1]

${ displaystyle Omega _ {S / R} = I / I ^ {2},}$

а универсальный вывод - это гомоморфизм d определяется

${ displaystyle ds = 1 otimes s-s otimes 1.}$

Эта конструкция эквивалентна предыдущей, потому что я ядро проекции

${ displaystyle { begin {cases} S otimes _ {R} S to S otimes _ {R} R сумма s_ {i} otimes t_ {i} mapsto sum s_ {i} cdot t_ {i} otimes 1 end {cases}}}$

Таким образом, мы имеем:

${ Displaystyle S otimes _ {R} S Equiv I oplus S otimes _ {R} R.}$

потом ${ displaystyle S otimes _ {R} S / S otimes _ {R} R}$ можно отождествить с я отображением, индуцированным дополнительной проекцией

${ displaystyle sum s_ {i} otimes t_ {i} mapsto sum s_ {i} otimes t_ {i} - sum s_ {i} cdot t_ {i} otimes 1.}$

Это определяет я с S-модуль, порожденный формальными генераторами ds за s в S, при условии d являясь гомоморфизмом р-модули, которые отправляют каждый элемент р до нуля. Принимая частное на я² точно налагает правило Лейбница.

Примеры и основные факты

Для любого коммутативного кольца р, кэлеровы дифференциалы кольцо многочленов ${ Displaystyle S = R [t_ {1}, dots, t_ {n}]}$ свободны S-модуль ранга п порождаемые дифференциалами переменных:

${ displaystyle Omega _ {R [t_ {1}, dots, t_ {n}] / R} ^ {1} = bigoplus _ {i = 1} ^ {n} R [t_ {1}, точки t_ {n}] , dt_ {i}.}$

Дифференциалы Kähler совместимы с расширение скаляров, в том смысле, что на секунду р-алгебра р′ и для ${ displaystyle S '= R' otimes _ {R} S}$, существует изоморфизм

${ displaystyle Omega _ {S / R} otimes _ {S} S ' cong Omega _ {S' / R '}.}$

Как частный случай этого, дифференциалы Келлера совместимы с локализации, что означает, что если W это мультипликативный набор в S, то существует изоморфизм

${ displaystyle W ^ {- 1} Omega _ {S / R} cong Omega _ {W ^ {- 1} S / R}.}$

Для двух гомоморфизмов колец ${ displaystyle R to S to T}$, Существует короткая точная последовательность из Т-модули

${ displaystyle Omega _ {S / R} otimes _ {S} T to Omega _ {T / R} to Omega _ {T / S} to 0.}$

Если ${ displaystyle T = S / I}$ для некоторого идеала я, период, термин ${ displaystyle Omega _ {T / S}}$ обращается в нуль, и последовательность можно продолжить слева следующим образом:

${ Displaystyle I / I ^ {2} { xrightarrow {[f] mapsto df otimes 1}} Omega _ {S / R} otimes _ {S} T to Omega _ {T / R} до 0.}$

Обобщение этих двух коротких точных последовательностей дается котангенс комплекс.

Последняя последовательность и приведенное выше вычисление для кольца многочленов позволяет вычислить кэлеровы дифференциалы конечно порожденных р-алгебры ${ displaystyle T = R [t_ {1}, ldots, t_ {n}] / (f_ {1}, ldots, f_ {m})}$. Вкратце, они порождаются дифференциалами переменных и имеют отношения, вытекающие из дифференциалов уравнений. Например, для одного полинома от одной переменной,

${ Displaystyle Omega _ {(R [t] / (f)) / R} cong (R [t] , dt otimes R [t] / (f)) / (df) cong R [t ] / (f, df) , dt.}$

Дифференциалы Кэлера для схем

Поскольку кэлеровы дифференциалы совместимы с локализацией, они могут быть построены по общей схеме, выполняя одно из двух приведенных выше определений для аффинных открытых подсхем и склейки. Однако второе определение имеет геометрическую интерпретацию, которая сразу же глобализируется. В этой интерпретации я представляет идеал, определяющий диагональ в волокнистый продукт из Спецификация (S) с собой над Спецификация (S) → Спец (р). Таким образом, эта конструкция имеет более геометрический оттенок в том смысле, что понятие первая бесконечно малая окрестность диагонали захватывается через функции, обращающиеся в нуль по модулю функции, равные нулю хотя бы до второго порядка (см. котангенс пространство по смежным понятиям). Более того, он распространяется на общий морфизм схем ${ displaystyle f: от X до Y}$ установив ${ displaystyle { mathcal {I}}}$ быть идеалом диагонали в волокнистом продукте ${ displaystyle X times _ {Y} X}$. В котангенциальный пучок ${ displaystyle Omega _ {X / Y} = { mathcal {I}} / { mathcal {I}} ^ {2}}$вместе с выводом ${ displaystyle d: { mathcal {O}} _ {X} to Omega _ {X / Y}}$ определяется аналогично ранее, универсален среди ${ displaystyle f ^ {- 1} { mathcal {O}} _ {Y}}$-линейные выводы ${ displaystyle { mathcal {O}} _ {X}}$-модули. Если U открытая аффинная подсхема Икс чей образ в Y содержится в открытой аффинной подсхеме V, то котангенсный пучок ограничивается связкой на U который так же универсален. Таким образом, это пучок, связанный с модулем кэлеровых дифференциалов для колец, лежащих в основе U и V.

Как и в случае коммутативной алгебры, существуют точные последовательности, связанные с морфизмами схем. Данные морфизмы ${ displaystyle f: от X до Y}$ и ${ displaystyle g: Y to Z}$ схем есть точная последовательность пучков на ${ displaystyle X}$

${ displaystyle f ^ {*} Omega _ {Y / Z} to Omega _ {X / Z} to Omega _ {X / Y} to 0}$

Кроме того, если ${ Displaystyle Z подмножество X}$ замкнутая подсхема, заданная пучком идеалов ${ displaystyle { mathcal {I}}}$ есть точная последовательность пучков на ${ displaystyle Z}$

${ displaystyle { frac { mathcal {I}} {{ mathcal {I}} ^ {2}}} to Omega _ {X / Y} otimes { mathcal {O}} _ {Z} to Omega _ {Z / Y} to 0}$

Примеры

Конечные отделимые расширения поля

Если ${ displaystyle K / k}$ конечное расширение поля, то ${ displaystyle Omega _ {K / k} ^ {1} = 0}$ если и только если ${ displaystyle K / k}$ отделима. Следовательно, если ${ displaystyle K / k}$ является конечным сепарабельным расширением поля и ${ displaystyle pi: Y to operatorname {Spec} (K)}$ - гладкое многообразие (или схема), то относительная последовательность котангенса

${ displaystyle pi ^ {*} Omega _ {K / k} ^ {1} to Omega _ {Y / k} ^ {1} to Omega _ {Y / K} ^ {1} до 0}$

доказывает ${ Displaystyle Omega _ {Y / k} ^ {1} cong Omega _ {Y / K} ^ {1}}$.

Котангенсные модули проективного многообразия

Учитывая проективную схему ${ displaystyle X in operatorname {Sch} / mathbb {k}}$, его котангенсный пучок может быть вычислен из пучка модуля котангенса на лежащей в основе градуированной алгебре. Например, рассмотрим сложную кривую

${ displaystyle { text {Proj}} left ({ frac { mathbb {C} [x, y, z]} {(x ^ {n} + y ^ {n} -z ^ {n}) }} right) = { text {Proj}} (R)}$

то мы можем вычислить модуль котангенса как

${ Displaystyle Omega _ {R / mathbb {C}} = { frac {R cdot dx oplus R cdot dy oplus R cdot dz} {nx ^ {n-1} dx + ny ^ { n-1} dy-nz ^ {n-1} dz}}}$

Потом,

${ displaystyle Omega _ {X / mathbb {C}} = { widetilde { Omega _ {R / mathbb {C}}}}}$

Морфизмы схем

Рассмотрим морфизм

${ Displaystyle X = OperatorName {Spec} left ({ frac { mathbb {C} [t, x, y]} {(xy-t)}} right) = operatorname {Spec} (R) to operatorname {Spec} ( mathbb {C} [t]) = Y}$

в ${ displaystyle operatorname {Sch} / mathbb {C}}$. Затем, используя первую последовательность, мы видим, что

${ displaystyle { widetilde {R cdot dt}} to { widetilde { frac {R cdot dt oplus R cdot dx oplus R cdot dy} {ydx + xdy-dt}}} to Omega _ {X / Y} to 0}$

следовательно

${ displaystyle Omega _ {X / Y} = { widetilde { frac {R cdot dx oplus R cdot dy} {ydx + xdy}}}}$

Высшие дифференциальные формы и алгебраические когомологии де Рама

комплекс де Рама

Как и раньше, исправить карту ${ Displaystyle от X до Y}$. Дифференциальные формы высшей степени определяются как внешние силы (над ${ displaystyle { mathcal {O}} _ {X}}$),

${ displaystyle Omega _ {X / Y} ^ {n}: = bigwedge ^ {n} Omega _ {X / Y}.}$

Вывод ${ Displaystyle { mathcal {O}} _ {X} to Omega _ {X / Y}}$ естественным образом продолжается до последовательности отображений

${ displaystyle 0 to { mathcal {O}} _ {X} { xrightarrow {d}} Omega _ {X / Y} ^ {1} { xrightarrow {d}} Omega _ {X / Y } ^ {2} { xrightarrow {d}} cdots}$

удовлетворение ${ displaystyle d circ d = 0.}$ Это коцепьевой комплекс известный как комплекс де Рама.

Комплекс де Рама обладает дополнительной мультипликативной структурой: клин

${ displaystyle Omega _ {X / Y} ^ {n} otimes Omega _ {X / Y} ^ {m} to Omega _ {X / Y} ^ {n + m}.}$

Это превращает комплекс де Рама в коммутативный дифференциальная градуированная алгебра. Он также имеет коалгебра структура, унаследованная от структуры внешней алгебры.^[2]

когомологии де Рама

В гиперкогомология комплекса пучков де Рама называется алгебраические когомологии де Рама из Икс над Y и обозначается ${ Displaystyle Н _ { текст {dR}} ^ {п} (X / Y)}$ или просто ${ Displaystyle H _ { текст {dR}} ^ {n} (X)}$ если Y ясно из контекста. (Во многих ситуациях Y - спектр поля характеристика нуль.) Алгебраические когомологии де Рама были введены Гротендик (1966) Ошибка harvtxt: несколько целей (2 ×): CITEREFGrothendieck1966 (помощь). Это тесно связано с кристаллические когомологии.

Как известно из когерентные когомологии других квазикогерентных пучков вычисление когомологий де Рама упрощается, когда Икс = Спецификация S и Y = Спецификация р являются аффинными схемами. В этом случае, поскольку аффинные схемы не имеют высших когомологий, ${ Displaystyle Н _ { текст {dR}} ^ {п} (X / Y)}$ можно вычислить как когомологии комплекса абелевых групп

${ displaystyle 0 to S { xrightarrow {d}} Omega _ {S / R} ^ {1} { xrightarrow {d}} Omega _ {S / R} ^ {2} { xrightarrow {d }} cdots}$

что, почленно, есть глобальные сечения пучков ${ displaystyle Omega _ {X / Y} ^ {r}}$.

Чтобы взять очень частный пример, предположим, что ${ displaystyle X = operatorname {Spec} mathbb {Q} left [x, x ^ {- 1} right]}$ мультипликативная группа над ${ displaystyle mathbb {Q}.}$ Поскольку это аффинная схема, гиперкогомологии сводятся к обычным когомологиям. Алгебраический комплекс де Рама равен

${ displaystyle mathbb {Q} [x, x ^ {- 1}] { xrightarrow {d}} mathbb {Q} [x, x ^ {- 1}] , dx.}$

Дифференциал d подчиняется обычным правилам исчисления, то есть ${ displaystyle d (x ^ {n}) = nx ^ {n-1} , dx.}$ Ядро и коядро вычисляют алгебраические когомологии де Рама, поэтому

${ displaystyle { begin {align} H _ { text {dR}} ^ {0} (X) & = mathbb {Q} H _ { text {dR}} ^ {1} (X) & = mathbb {Q} cdot x ^ {- 1} dx end {выровнено}}}$

а все остальные алгебраические группы когомологий де Рама равны нулю. Для сравнения алгебраические группы когомологий де Рама ${ displaystyle Y = operatorname {Spec} mathbb {F} _ {p} left [x, x ^ {- 1} right]}$ намного больше, а именно

${ Displaystyle { begin {align} H _ { text {dR}} ^ {0} (Y) & = bigoplus _ {k in mathbb {Z}} mathbb {F} _ {p} cdot x ^ {kp} H _ { text {dR}} ^ {1} (Y) & = bigoplus _ {k in mathbb {Z}} mathbb {F} _ {p} cdot x ^ {kp-1} , dx end {выровнено}}}$

Поскольку числа Бетти этих групп когомологий не соответствуют ожидаемым, кристаллические когомологии был разработан, чтобы исправить эту проблему; он определяет теория когомологий Вейля над конечными полями.

Теорема сравнения Гротендика

Если Икс сглаживается ${ displaystyle Y = operatorname {Spec} mathbb {C},}$ есть естественная карта сравнения

${ displaystyle Omega _ {X / mathbb {C}} ^ {r} (X) to Omega _ {X ^ { text {an}}} ^ {r} (X ^ { text {an }})}$

между кэлеровыми (т.е. алгебраическими) дифференциальными формами на Икс а гладкие (т.е. имеющие производные всех порядков) дифференциальные формы на ${ displaystyle X ^ { text {an}}}$, то комплексное многообразие связано с Икс. Это отображение не обязательно должно быть изоморфизмом. Однако когда Икс является аффинным многообразием, индуцированное отображение

${ displaystyle H _ { text {dR}} ^ {r} (X / mathbb {C}) to H _ { text {dR}} ^ {r} (X ^ { text {an}})}$

между алгебраическим и гладким когомологии де Рама является изоморфизмом, как было впервые показано Гротендик (1966) Ошибка harvtxt: несколько целей (2 ×): CITEREFGrothendieck1966 (помощь). Для гладких, но не обязательно аффинных многообразий существует изоморфизм, связывающий гиперкогомология алгебраического комплекса де Рама к сингулярным когомологиям. Доказательство этого результата сравнения с использованием концепции Когомологии Вейля был дан Cisinski & Déglise (2013).

Контрпримеры в особом случае можно найти с недюбуа-особенностями, такими как градуированное кольцо ${ Displaystyle к [х, у] / (у ^ {2} -x ^ {3})}$ с ${ displaystyle y}$ куда ${ Displaystyle deg (y) = 3}$ и ${ Displaystyle deg (х) = 2}$.^[3] Другие контрпримеры можно найти в алгебраических плоских кривых с изолированными особенностями, у которых числа Милнора и Тюриной не равны.^[4]

Приложения

Канонический делитель

Если Икс гладкое многообразие над полем k,^{[требуется разъяснение]} тогда ${ displaystyle Omega _ {X / k}}$ это векторный набор (т.е. локально свободный ${ displaystyle { mathcal {O}} _ {X}}$-модуль) ранга равного измерение из Икс. Это означает, в частности, что

${ Displaystyle omega _ {X / k}: = bigwedge ^ { dim X} Omega _ {X / k}}$

это линейный пакет или, что то же самое, делитель. Это называется канонический делитель. Канонический дивизор, как оказывается, дуализирующий комплекс и поэтому появляется в различных важных теоремах алгебраической геометрии, таких как Двойственность Серра или же Двойственность Вердье.

Классификация алгебраических кривых

В геометрический род гладкой алгебраическое многообразие Икс из измерение d над полем k определяется как размер

${ displaystyle g: = dim H ^ {0} (X, Omega _ {X / k} ^ {d}).}$

Для кривых это чисто алгебраическое определение согласуется с топологическим определением (для ${ Displaystyle к = mathbb {C}}$) как "количество ручек" Риманова поверхность связано с Икс. Существует довольно резкая трихотомия геометрических и арифметических свойств в зависимости от рода кривой, так как грамм будучи 0 (рациональные кривые), 1 (эллиптические кривые) и больше единицы (гиперболические римановы поверхности, включая гиперэллиптические кривые), соответственно.

Касательное расслоение и теорема Римана – Роха

В касательный пучок гладкой разновидности Икс по определению двойственен кокасательному пучку ${ displaystyle Omega _ {X / k}}$. В Теорема Римана – Роха и его далеко идущее обобщение, Теорема Гротендика – Римана – Роха., содержат в качестве важнейшего ингредиента Тодд класс касательного пучка.

Неразветвленные и гладкие морфизмы

Пучок дифференциалов связан с различными алгебро-геометрическими понятиями. Морфизм ${ displaystyle f: от X до Y}$ схем неразветвленный если и только если ${ displaystyle Omega _ {X / Y}}$ равно нулю.^[5] Частным случаем этого утверждения является то, что для поля k, ${ Displaystyle К: = к [т] / е}$ является отделяемый над k если только ${ displaystyle Omega _ {K / k} = 0}$, что также можно прочитать из приведенного выше вычисления.

Морфизм ж конечного типа является гладкий морфизм если это плоский и если ${ displaystyle Omega _ {X / Y}}$ это локально бесплатно ${ displaystyle { mathcal {O}} _ {X}}$-модуль соответствующего ранга. Расчет ${ Displaystyle Omega _ {R [t_ {1}, ldots, t_ {n}] / R}}$ выше показывает, что проекция из аффинное пространство ${ displaystyle mathbb {A} _ {R} ^ {n} to operatorname {Spec} (R)}$ гладко.

Периоды

Периоды являются, в широком смысле, интегралами определенных арифметически определенных дифференциальных форм.^[6] Самый простой пример периода: ${ displaystyle 2 pi i}$, которая возникает как

${ displaystyle int _ {S ^ {1}} { frac {dz} {z}} = 2 pi i.}$

Алгебраические когомологии де Рама используются для построения периодов следующим образом:^[7] Для алгебраического многообразия Икс определяется по ${ displaystyle mathbb {Q},}$ вышеупомянутая совместимость с заменой базы дает естественный изоморфизм

${ displaystyle H _ { text {dR}} ^ {n} (X / mathbb {Q}) otimes _ { mathbb {Q}} mathbb {C} = H _ { text {dR}} ^ { n} (X otimes _ { mathbb {Q}} mathbb {C} / mathbb {C}).}$

С другой стороны, правая группа когомологий изоморфна когомологиям де Рама группы комплексное многообразие ${ displaystyle X ^ { text {an}}}$ связано с Икс, обозначенный здесь ${ displaystyle H _ { text {dR}} ^ {n} (X ^ { text {an}}).}$ Еще один классический результат. теорема де Рама, утверждает изоморфизм последней группы когомологий с особые когомологии (или когомологии пучка) с комплексными коэффициентами, ${ Displaystyle Н ^ {п} (Х ^ { текст {ан}}, mathbb {C})}$, что по теорема об универсальном коэффициенте в свою очередь изоморфна ${ displaystyle H ^ {n} (X ^ { text {an}}, mathbb {Q}) otimes _ { mathbb {Q}} mathbb {C}.}$ Составление этих изоморфизмов дает два рациональный векторные пространства, которые после тензорной ${ displaystyle mathbb {C}}$ становятся изоморфными.Выбирая основы этих рациональных подпространств (также называемых решетками), определитель матрицы замены базы является комплексным числом, хорошо определенным с точностью до умножения на рациональное число. Такие числа периоды.

Алгебраическая теория чисел

В алгебраическая теория чисел, Дифференциалы Кэлера могут быть использованы для изучения разветвление в расширении поля алгебраических чисел. Если L / K является конечным расширением с кольцами целых чисел О и о соответственно тогда другой идеал δ_{L / K}, который кодирует данные ветвления, является аннигилятором О-модуль Ω_О/о:^[8]

${ displaystyle delta _ {L / K} = {x in O: x , dy = 0 { text {для всех}} y in O }.}$

Связанные понятия

Гомологии Хохшильда является теорией гомологии ассоциативных колец, которая оказывается тесно связанной с дифференциалами Кэлера. Это из-за теоремы Хохшильда-Костанта-Розенберга, которая утверждает, что гомологии Хохшильда ${ displaystyle HH _ { bullet} (R)}$ алгебры гладкого многообразия изоморфна комплексу де Рама ${ displaystyle Omega _ {R / k} ^ { bullet}}$ за ${ displaystyle k}$ поле характеристики ${ displaystyle 0}$. Существует производное усиление этой теоремы, которое утверждает, что гомологии Хохшильда dga изоморфны производному комплексу де Рама.

В комплекс де Рама – Витта в очень грубой форме представляет собой усиление комплекса де Рама для кольца Векторы Витта.

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

• Цисинский, Дени-Шарль; Деглиз, Фредерик (2013), "Смешанные когомологии Вейля", Успехи в математике, 230 (1): 55–130, arXiv:0712.3291, Дои:10.1016 / j.aim.2011.10.021
• Гротендик, Александр (1966), "О когомологиях де Рама алгебраических многообразий", Публикации Mathématiques de l'IHÉS, 29 (29): 95–103, Дои:10.1007 / BF02684807, ISSN 0073-8301, МИСТЕР 0199194 (Письмо к Майкл Атья, 14 октября 1963 г.)
• Гротендик, Александр (1966), Письмо Джону Тейту (PDF).
• Гротендик, Александр (1968), "Кристаллы и когомологии схем де Рама" (PDF), в Жиро, Жан; Гротендик, Александр; Клейман, Стивен Л.; и другие. (ред.), Dix Exposés sur la Cohomologie des Schémas, Углубленное изучение чистой математики, 3, Амстердам: Северная Голландия, стр. 306–358, МИСТЕР 0269663
• Джонсон, Джеймс (1969), "Кэлеровы дифференциалы и дифференциальная алгебра", Анналы математики, 89 (1): 92–98, Дои:10.2307/1970810, JSTOR 1970810, Zbl 0179.34302
• Хартсхорн, Робин (1977), Алгебраическая геометрия, Тексты для выпускников по математике, 52, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-90244-9, МИСТЕР 0463157
• Мацумура, Хидеюки (1986), Коммутативная теория колец, Издательство Кембриджского университета
• Нойкирх, Юрген (1999). Алгебраическая теория чисел. Grundlehren der Mathematischen Wissenschaften. 322. Берлин: Springer-Verlag. ISBN 978-3-540-65399-8. МИСТЕР 1697859. Zbl 0956.11021.
• Розенлихт, М. (1976), «К теории элементарных функций Лиувилля» (PDF), Тихоокеанский математический журнал, 65 (2): 485–492, Дои:10.2140 / pjm.1976.65.485, Zbl 0318.12107
• Фу, Гофэн; Халас, Мирослав; Ли, Циминг (2011), "Некоторые замечания о дифференциалах Кэлера и обычных дифференциалах в нелинейных управляемых системах", Системы и контрольные письма, 60: 699–703, Дои:10.1016 / j.sysconle.2011.05.006

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

• Примечания на p-адических алгебраических когомологиях де-Рама - дает много вычислений над характеристикой 0 в качестве мотивации
• А нить посвящена соотношению на алгебраических и аналитических дифференциальных формах
• Дифференциалы (проект Stacks)