Pengguna:Klasüo/bak pasir/Arsip 37

Dalam aljabar, kompleks Amitsur adalah kompleks alami yang terkait dengan homomorfisme gelanggang. Kompleks Amitsur diperkenalkan oleh Shimshon Amitsur (1959). Ketika homomorfisme adalah rata tepat, sehingga kompleks Amitsur adalah eksak (yang menentukan resolusi) dasar dari teori penurunan rata tepat.

Gagasan tersebut harus dianggap sebagai mekanisme untuk melampaui konvensional lokalisasi gelanggang dan modul.

Definisi

Misal $\theta \colon R\to S$ adalah homomorfisme dari gelanggang (tidak-perlu-komutatif). Pertama-tama tentukan himpunan sederhana $C^{\bullet }=S^{\otimes \bullet +1}$ (dimana $\otimes$ merujuk pada $\otimes _{R}$, bukan $\otimes _{\mathbb {Z} }$). Definisikan sisi peta $d^{i}\colon S^{\otimes {n+1}}\to S^{\otimes n+2}$ dengan menyisipkan 1 pada titik ke-i :

$d^{i}(x_{0}\otimes \cdots \otimes x_{n})=x_{0}\otimes \cdots \otimes x_{i-1}\otimes 1\otimes x_{i}\otimes \cdots \otimes x_{n}.$

Tentukan degenerasi $s^{i}\colon S^{\otimes n+1}\to S^{\otimes n}$ dengan mengalikan ke-i dan titik-(i' ' + 1):

$s^{i}(x_{0}\otimes \cdots \otimes x_{n})=x_{0}\otimes \cdots \otimes x_{i}x_{i+1}\otimes \cdots \otimes x_{n}.$

Mereka memenuhi identitas sederhana "jelas" dan dengan demikian $S^{\otimes \bullet +1}$ adalah himpunan sederhana. Kemudian menentukan kompleks dengan augumentasi $\theta$ pada kompleks Amitsur:

$0\to R\,{\overset {\theta }{\to }}\,S\,{\overset {\delta ^{0}}{\to }}\,S^{\otimes 2}\,{\overset {\delta ^{1}}{\to }}\,S^{\otimes 3}\to \cdots$

dimana $\delta ^{n}=\sum _{i=0}^{n+1}(-1)^{i}d^{i}.$

Ketepatan kompleks Amitsur

Kasus rata tepat

Dalam notasi di atas, jika $\theta$ adalah rata tepat kanan, maka teorema Alexander Grothendieck menyatakan bahwa kompleks (imbuhan) $0\to R{\overset {\theta }{\to }}S^{\otimes \bullet +1}$ adalah eksak dan karenanya adalah resolusi. Lebih umum, jika $\theta$ adalah rata tepat kanan, maka M untuk setiap modul kiri-R,

$0\to M\to S\otimes _{R}M\to S^{\otimes 2}\otimes _{R}M\to S^{\otimes 3}\otimes _{R}M\to \cdots$

adalah eksak.

Bukti:

Langkah 1: Pernyataan benar jika $\theta \colon R\to S$ terbagi sebagai homomorfisme gelanggang.

Bahwa "terbagi $\theta$" adalah menyatakan $\rho \circ \theta =\operatorname {id} _{R}$ untuk beberapa homomorfisme $\rho \colon S\to R$ ($\rho$ merupakan retraksi dan terbagi $\theta$). Diberikan $\rho$ sebagai

$h\colon S^{\otimes n+1}\otimes M\to S^{\otimes n}\otimes M$

oleh

${\begin{aligned}&h(x_{0}\otimes m)=\rho (x_{0})\otimes m,\\&h(x_{0}\otimes \cdots \otimes x_{n}\otimes m)=\theta (\rho (x_{0}))x_{1}\otimes \cdots \otimes x_{n}\otimes m.\end{aligned}}$

Perhitungan yang mudah menunjukkan identitas berikut: dengan $\delta ^{-1}=\theta \otimes \operatorname {id} _{M}\colon M\to S\otimes _{R}M$,

$h\circ \delta ^{n}+\delta ^{n-1}\circ h=\operatorname {id} _{S^{\otimes n+1}\otimes M}$.

Hal ini untuk menyebutkan bahwa h adalah operator homotopi dan dengan demikian $\operatorname {id} _{S^{\otimes n+1}\otimes M}$ sebagai menentukan nol peta pada kohomologi: yaitu, kompleksnya adalah eksak.

Langkah 2: Pernyataan tersebut benar secara umum.

Kami berkomentar bahwa $S\to T:=S\otimes _{R}S,\,x\mapsto 1\otimes x$ adalah bagian dari $T\to S,\,x\otimes y\mapsto xy$. Jadi, Langkah 1 yang diterapkan pada homomorfisme gelanggang terbagi $S\to T$ menyatakan:

$0\to M_{S}\to T\otimes _{S}M_{S}\to T^{\otimes 2}\otimes _{S}M_{S}\to \cdots ,$

dimana $M_{S}=S\otimes _{R}M$ adalah eksak. Karena $T\otimes _{S}M_{S}\simeq S^{\otimes 2}\otimes _{R}M$, dsg., dengan "rata tepat" maka urutan aslinya adalah eksak. $\square$

Kasus topologi busur

Bhargav Bhatt and Peter Scholze (2019, §8) tunjukkan bahwa kompleks Amitsur eksak jika R dan S adalah gelanggang sempurna (komutatif), dan peta harus menjadi peliputan pada topologi busur (yang merupakan kondisi yang lebih lemah daripada peliputan pada topologi datar).

Bibliografi

• Artin, Michael (1999), Noncommutative rings (Berkeley lecture notes) (PDF) 
• Amitsur, Shimshon (1959), "Simple algebras and cohomology groups of arbitrary fields", Transactions of the American Mathematical Society, 90 (1): 73–112 
• Bhatt, Bhargav; Scholze, Peter (2019), Prisms and Prismatic Cohomology, arXiv:1905.08229  
• Amitsur complex di nLab