Кэлеров дифференциал

Кэлеровы дифференциалы представляют собой адаптацию дифференциальных форм для произвольных коммутативных колец или схем. Это понятие было введено Эрихом Келером в 1930-х.

ОпределениеПравить

Пусть $R$$R$  и $S$$S$  — коммутативные кольца и $\mathrm{\phi <!--\; \phi \; -->}:R\to <!--\; \to \; -->S$$\varphi :R\to S$  — гомоморфизм колец. Важный пример — это когда $R$$R$  является полем, а $S$$S$  — унитальной алгеброй над $R$$R$  (такой, как координатное кольцо аффинного многообразия). Кэлеровы дифференциалы формализуют то наблюдение, что производная многочлена снова является многочленом. В этом смысле понятие дифференцирования может быть выражено чисто алгебраически. Это наблюдение можно превратить в определение модуля дифференциалов

${\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}.$$\Omega _{S/R}.$ 

несколькими эквивалентными способами.

Определение при помощи дифференцированийПравить

$R$$R$ -линейное дифференцирование алгебры $S$$S$  — это гомоморфизм $R$$R$ -модулей $d:<!--\; :\; -->S\to <!--\; \to \; -->M$$d\colon S\to M$  в $S$$S$ -модуль $M$$M$ , содержащий образ $R$$R$  в своём ядре и удовлетворяющий правилу Лейбница $d(fg)=fdg+gdf$$d(fg)=f\,dg+g\,df$ . Модуль кэлеровых дифференциалов определяется как $S$$S$ -модуль ${\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}$$\Omega _{S/R}$ , для которого существует универсальное дифференцирование $d:<!--\; :\; -->S\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}$$d\colon S\to \Omega _{S/R}$ . Как и с другими универсальными свойствами, это значит, что d — это наилучшее возможное дифференцирование, в том смысле, что любое другое дифференцирование может быть получено из него при помощи композиции с гомоморфизмом $S$$S$ -модулей. Другими словами, композиция с d индуцирует, для любого $S$$S$ -модуля M, изоморфизм $S$$S$ -модулей

${\mathrm{Hom}}_S<!--\; \; -->({\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R},M)\stackrel{\cong <!--\; \cong \; -->}{\to }{\mathrm{Der}}_R<!--\; \; -->(S,M).$$\operatorname {Hom} _{S}(\Omega _{S/R},M){\xrightarrow {\cong }}\operatorname {Der} _{R}(S,M).$ 

Конструкцию Ω_S/R и d можно произвести путём построения свободного $S$$S$ -модуля с одной образующей ds для каждого $s$$s$  из $S$$S$  и факторизации по соотношениям

• dr = 0,
• d(s + t) = ds + dt,
• d(st) = s dt + t ds,

для всех $r$$r$  из $R$$R$  и всех $s$$s$  и $t$$t$  из $S$$S$ . Универсальное дифференцирование переводит $s$$s$  в $ds$$ds$ . Из соотношений следует, что универсальное дифференцирование является гомоморфизмом $R$$R$ -модулей.

Определение при помощи аугментационного идеалаПравить

Другая конструкция производится путём рассмотрения идеала $I$$I$  в тензорном произведении $S{\otimes <!--\; \otimes \; -->}_{R}S$$S\otimes _{R}S$ , определяемого как ядро отображения умножения $S{\otimes <!--\; \otimes \; -->}_{R}S\to <!--\; \to \; -->S,\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\otimes <!--\; \otimes \; -->t_i\mapsto <!--\; \mapsto \; -->\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\cdot <!--\; \cdot \; -->t_i$$S\otimes _{R}S\to S,\Sigma s_{i}\otimes t_{i}\mapsto \Sigma s_{i}\cdot t_{i}$ . Тогда модулю кэлеровых дифференциалов может быть определён как Ω_S/R = I / I², а универсальное дифференцирование — как гомоморфизм d, определяемый формулой

$ds=1\otimes <!--\; \otimes \; -->s-<!--\; -\; -->s\otimes <!--\; \otimes \; -->1.$$ds=1\otimes s-s\otimes 1.$ 

Чтобы увидеть, что эта конструкция эквивалентна предыдущей, заметим, что I является ядром проекции $S{\otimes <!--\; \otimes \; -->}_{R}S\to <!--\; \to \; -->S{\otimes <!--\; \otimes \; -->}_{R}R$$S\otimes _{R}S\to S\otimes _{R}R$ , задаваемой формулой $\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\otimes <!--\; \otimes \; -->t_i\mapsto <!--\; \mapsto \; -->\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\cdot <!--\; \cdot \; -->t_i\otimes <!--\; \otimes \; -->1$$\Sigma s_{i}\otimes t_{i}\mapsto \Sigma s_{i}\cdot t_{i}\otimes 1$ . Поэтому мы имеем:

$S{\otimes <!--\; \otimes \; -->}_{R}S\equiv <!--\; \equiv \; -->I\oplus <!--\; \oplus \; -->S{\otimes <!--\; \otimes \; -->}_{R}R.$$S\otimes _{R}S\equiv I\oplus S\otimes _{R}R.$ 

Тогда $S{\otimes <!--\; \otimes \; -->}_{R}S/S{\otimes <!--\; \otimes \; -->}_{R}R$$S\otimes _{R}S/S\otimes _{R}R$  может быть отождествлено с I путём отображения, индуцируемого дополнительной проекцией $\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\otimes <!--\; \otimes \; -->t_i\mapsto <!--\; \mapsto \; -->\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\otimes <!--\; \otimes \; -->t_i-<!--\; -\; -->\mathrm{\Sigma <!--\; \Sigma \; -->}{s}_i\cdot <!--\; \cdot \; -->t_i\otimes <!--\; \otimes \; -->1$$\Sigma s_{i}\otimes t_{i}\mapsto \Sigma s_{i}\otimes t_{i}-\Sigma s_{i}\cdot t_{i}\otimes 1$ . Это отождествляет $I$$I$  с $S$$S$ -модулем, порождённым формальными образующими $ds$$ds$  для $s$$s$  из $S$$S$ , причём $d$$d$  является гомоморфизмом $R$$R$ -модулей, переводящим любой элемент $R$$R$  в ноль. Факторизация по $I^2$$I^{2}$  в точности накладывает правило Лейбница.

Примеры и базовые свойстваПравить

Для любого коммутативного кольца R, кэлеровы дифференциалы кольца многочленов $S=R[t_1,\dots <!--\; \dots \; -->,t_n]$$S=R[t_{1},\dots ,t_{n}]$  образуют свободный S-модуль ранга n, порождённый дифференциалами переменных:

${\mathrm{\Omega <!--\; \Omega \; -->}}_{R[t_1,\dots <!--\; \dots \; -->,t_n]/R}^1=\underset{i=1}{\overset{n}{⨁<!--\; ⨁\; -->}}R[t_1,\dots <!--\; \dots \; -->t_n]d{t}_i.$$\Omega _{R[t_{1},\dots ,t_{n}]/R}^{1}=\bigoplus _{i=1}^{n}R[t_{1},\dots t_{n}]\,dt_{i}.$ 

Кэлеровы дифференциалы согласуются с расширением скаляров, в том смысле, что для второй R-алгебры R′ и для $S^{\prime }=R^{\prime }{\otimes <!--\; \otimes \; -->}_{R}S$$S'=R'\otimes _{R}S$  существует изоморфизм

${\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}{\otimes <!--\; \otimes \; -->}_S{S}^{\prime }\cong <!--\; \cong \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{S^{\prime }/R^{\prime }}.$$\Omega _{S/R}\otimes _{S}S'\cong \Omega _{S'/R'}.$ 

В частности, кэлеровы дифференциалы согласуются с локализациями, в том смысле, что если W — это мультипликативное подмножество S, то существует изоморфизм

$W^{-<!--\; -\; -->1}{\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}\cong <!--\; \cong \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{W^{-<!--\; -\; -->1}S/R}.$$W^{-1}\Omega _{S/R}\cong \Omega _{W^{-1}S/R}.$ 

Если даны два гомоморфизма $R\to <!--\; \to \; -->S\to <!--\; \to \; -->T$$R\to S\to T$ , то существует короткая точная последовательность T-модулей

${\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}{\otimes <!--\; \otimes \; -->}_{S}T\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{T/R}\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{T/S}\to <!--\; \to \; -->0.$$\Omega _{S/R}\otimes _{S}T\to \Omega _{T/R}\to \Omega _{T/S}\to 0.$ 

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

$I/I^2\stackrel{[f]\mapsto <!--\; \mapsto \; -->df\otimes <!--\; \otimes \; -->1}{\to }{\mathrm{\Omega <!--\; \Omega \; -->}}_{S/R}{\otimes <!--\; \otimes \; -->}_{S}T\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{T/R}\to <!--\; \to \; -->0.$$I/I^{2}{\xrightarrow {[f]\mapsto df\otimes 1}}\Omega _{S/R}\otimes _{S}T\to \Omega _{T/R}\to 0.$ 

Кэлеровы дифференциалы для схемПравить

Так как кэлеровы дифференциалы согласованы с локализацией, их можно построить на общей схеме, применяя любое из приведённых выше определений для аффинных схем и склеивая. Однако второе определение имеет геометрическую интерпретацию, которая глобализуется немедленно. В этой интерпретации I представляет идеал, задающий диагональ в расслоенном произведении Spec(S) на себя над Spec(S) → Spec(R). Эта конструкция более геометрична, в том смысле, что она отражает понятие первой инфинитезимальной окрестности диагонали, при помощи зануляющихся на ней функций по модулю функций, зануляющихся во втором порядке. Более того, это можно обобщить на произвольный морфизм схем $f:<!--\; :\; -->X\to <!--\; \to \; -->Y$$f\colon X\to Y$ , определяя $\mathcal{I}$$\mathcal{I}$  как идеал диагонали в расслоенном произведении $X{\times <!--\; \times \; -->}_{Y}X$$X\times _{Y}X$ . Кокасательный пучок ${\mathrm{\Omega <!--\; \Omega \; -->}}_{X/Y}=\mathcal{I}/{\mathcal{I}}^2$$\Omega _{X/Y}={\mathcal {I}}/{\mathcal {I}}^{2}$ , вместе с дифференцированием $d:<!--\; :\; -->{\mathcal{O}}_X\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{X/Y}$$d\colon {\mathcal {O}}_{X}\to \Omega _{X/Y}$ , определяющимся аналогично предыдущему, является универсальным среди $f^{-<!--\; -\; -->1}{\mathcal{O}}_Y$$f^{-1}{\mathcal {O}}_{Y}$ -линейных дифференцирований ${\mathcal{O}}_X$${\mathcal {O}}_{X}$ -модулей. Если U — открытая аффинная подсхема X, образ которой в Y содержится в открытой аффинной подсхеме V, то кокасательный пучок ограничивается на пучок на U, который также универсален. Следовательно, это пучок, ассоциированный с модулем кэлеровых дифференциалов для колец, соответствующих U и V.

Аналогично коммутативно-алгебраическому случаю, существуют точные последовательности, ассоциированные с морфизмами схем. Если даны морфизмы схем $f:X\to <!--\; \to \; -->Y$$f:X\to Y$  и $g:Y\to <!--\; \to \; -->Z$$g:Y\to Z$ , то существует точная последовательность пучков на $X$$X$ 

$f^{\ast <!--\; \ast \; -->}{\mathrm{\Omega <!--\; \Omega \; -->}}_{Y/Z}\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{X/Z}\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{X/Y}\to <!--\; \to \; -->0$$f^{*}\Omega _{Y/Z}\to \Omega _{X/Z}\to \Omega _{X/Y}\to 0$ 

Также, если $Z\subset <!--\; \subset \; -->X$$Z\subset X$  — это замкнутая подсхема, заданная пучком идеалов $\mathcal{I}$$\mathcal{I}$ , то существует точная последовательность пучков

$\frac{\mathcal{I}}{{\mathcal{I}}^2}\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{X/Y}\otimes <!--\; \otimes \; -->{\mathcal{O}}_Z\to <!--\; \to \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}_{Z/Y}\to <!--\; \to \; -->0$${\frac {\mathcal {I}}{{\mathcal {I}}^{2}}}\to \Omega _{X/Y}\otimes {\mathcal {O}}_{Z}\to \Omega _{Z/Y}\to 0$ 

на $Z$$Z$ 

ЛитератураПравить

• Хартсхорн Р. Алгебраическая геометрия / пер. с англ. В. А. Исковских. — М.: Мир, 1981.