En álgebra, el complejo de Amitsur es un complejo natural asociado a un homomorfismo de anillo . Fue introducido por Shimshon Amitsur (1959). Cuando el homomorfismo es fielmente plano , el complejo de Amitsur es exacto (determinando así una resolución), lo cual es la base de la teoría del descenso fielmente plano .
La noción debería considerarse como un mecanismo para ir más allá de la localización convencional de anillos y módulos .
Definición
Sea un homomorfismo de anillos (no necesariamente conmutativos). Primero defina el conjunto cosimplicial (donde se refiere a , no a ) de la siguiente manera. Defina los mapas de caras insertando en el lugar: [a]
![{\displaystyle C^{\bullet }=S^{\otimes \bullet +1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \otimes}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \otimes _ {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \otimes _ {\mathbb {Z} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d^{i}:S^{\otimes {n+1}}\to S^{\otimes n+2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 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}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Defina las degeneraciones multiplicando los puntos ésimo y ésimo:![{\displaystyle s^{i}:S^{\otimes n+1}\to S^{\otimes n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (i+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s^{i}(x_{0}\otimes \cdots \otimes x_{n})=x_{0}\otimes \cdots \otimes x_{i}x_{i+1}\otimes \cdots \ veces x_ {n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Satisfacen las identidades cosimpliciales "obvias" y, por tanto, son un conjunto cosimplicial. Luego determina el complejo con la aumentación , el complejo de Amitsur : ![{\displaystyle S^{\otimes \bullet +1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \theta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to R\,{\overset {\theta }{\to }}\,S\,{\overset {\delta ^{0}}{\to }}\,S^{\otimes 2 }\,{\overset {\delta ^{1}}{\to }}\,S^{\otimes 3}\to \cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde![{\displaystyle \delta ^{n}=\sum _{i=0}^{n+1}(-1)^{i}d^{i}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Exactitud del complejo de Amitsur
Caja fielmente plana
En las notaciones anteriores, si es fielmente plano, entonces un teorema de Alexander Grothendieck establece que el complejo (aumentado) es exacto y, por tanto, es una resolución. De manera más general, si la derecha es fielmente plana, entonces, para cada módulo izquierdo ,![{\displaystyle \theta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to R{\overset {\theta }{\to }}S^{\otimes \bullet +1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \theta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to M\to S\otimes _{R}M\to S^{\otimes 2}\otimes _{R}M\to S^{\otimes 3}\otimes _{R}M\ a \cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es exacto.
Prueba :
Paso 1 : La afirmación es verdadera si se divide como un homomorfismo de anillo.![{\displaystyle \theta :R\a S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Que " se divide" es decir por algún homomorfismo ( es una retracción y una sección). Dado tal , defina![{\displaystyle \theta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho \circ \theta =\operatorname {id} _ {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \rho :S\to R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\rho}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \theta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\rho}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h:S^{\otimes n+1}\otimes M\to S^{\otimes n}\otimes M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
por
![{\displaystyle {\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}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un cálculo sencillo muestra la siguiente identidad: con ,![{\displaystyle \delta ^{-1}=\theta \otimes \operatorname {id} _{M}:M\to S\otimes _{R}M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Es decir, es un operador de homotopía y por tanto determina el mapa cero en cohomología: es decir, el complejo es exacto.![{\displaystyle h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {id} _{S^{\otimes n+1}\otimes M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Paso 2 : La afirmación es cierta en general.
Observamos que es una sección de . Por lo tanto, el Paso 1 aplicado al homomorfismo de anillo dividido implica:![{\displaystyle S\to T:=S\otimes _ {R}S,\,x\mapsto 1\otimes x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T\to S,\,x\otimes y\mapsto xy}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S\a T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to M_{S}\to T\otimes _{S}M_{S}\to T^{\otimes 2}\otimes _{S}M_{S}\to \cdots ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde , es exacto. Dado que , etc., por "fielmente plano", la secuencia original es exacta.![{\ Displaystyle M_ {S} = S \ otimes _ {R} M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T\otimes _ {S}M_{S}\simeq S^{\otimes 2}\otimes _ {R}M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \cuadrado }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Caso de topología de arco
Bhargav Bhatt y Peter Scholze (2019, §8) muestran que el complejo de Amitsur es exacto si y son anillos perfectos (conmutativos) , y se requiere que el mapa sea una cobertura en la topología del arco (que es una condición más débil que ser una cobertura). en la topología plana ).![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Notas
- ^ La referencia (M. Artin) parece tener un error tipográfico y esta debería ser la fórmula correcta; ver el cálculo de y en la nota.
![{\ Displaystyle s_ {0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Citas
Referencias
- Artin, Michael (1999), Anillos no conmutativos (notas de conferencias de Berkeley) (PDF)
- Amitsur, Shimshon (1959), "Álgebras simples y grupos de cohomología de campos arbitrarios", Transactions of the American Mathematical Society , 90 (1): 73–112
- Bhatt, Bhargav ; Scholze, Peter (2019), Prismas y cohomología prismática , arXiv : 1905.08229
- Complejo Amitsur en el n Lab