Teoría de álgebras asociativas sobre anillos.
En matemáticas , la homología (y cohomología) de Hochschild es una teoría de homología para álgebras asociativas sobre anillos . También existe una teoría para la homología de Hochschild de ciertos functores . La cohomología de Hochschild fue introducida por Gerhard Hochschild (1945) para álgebras sobre un campo , y Henri Cartan y Samuel Eilenberg (1956) la extendieron a álgebras sobre anillos más generales.
Definición de homología de álgebras de Hochschild
Sea k un campo, A una k - álgebra asociativa y M un A - bimódulo . El álgebra envolvente de A es el producto tensorial de A con su álgebra opuesta . Los bimódulos sobre A son esencialmente los mismos que los módulos sobre el álgebra envolvente de A , por lo que, en particular, A y M pueden considerarse como A e -módulos. Cartan y Eilenberg (1956) definieron el grupo de homología y cohomología de Hochschild de A con coeficientes en M en términos del functor Tor y el functor Ext por![{\displaystyle A^{e}=A\otimes A^{o}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH_{n}(A,M)=\operatorname {Tor} _ {n}^{A^{e}}(A,M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH^{n}(A,M)=\operatorname {Ext} _{A^{e}}^{n}(A,M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
complejo de hochschild
Sea k un anillo, A una k - álgebra asociativa que es un módulo k proyectivo y M un A - bimódulo . Escribiremos para el producto tensor de n veces de A sobre k . El complejo de cadenas que da lugar a la homología de Hochschild está dado por![{\displaystyle A^{\otimes n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{n}(A,M):=M\otimes A^{\otimes n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con operador de frontera definido por![{\ Displaystyle d_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}d_{0}(m\otimes a_{1}\otimes \cdots \otimes a_{n})&=ma_{1}\otimes a_{2}\cdots \otimes a_{ n}\\d_{i}(m\otimes a_{1}\otimes \cdots \otimes a_{n})&=m\otimes a_{1}\otimes \cdots \otimes a_{i}a_{i+ 1}\otimes \cdots \otimes a_{n}\\d_{n}(m\otimes a_{1}\otimes \cdots \otimes a_{n})&=a_{n}m\otimes a_{1} \otimes \cdots \otimes a_{n-1}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde está en A para todos y . si dejamos![{\ Displaystyle a_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1\leq i\leq n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m\en M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b_{n}=\sum _ {i=0}^{n}(-1)^{i}d_{i},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces , también lo es un complejo de cadenas llamado complejo de Hochschild , y su homología es la homología de Hochschild de A con coeficientes en M. De ahora en adelante escribiremos simplemente .![{\displaystyle b_{n-1}\circ b_{n}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (C_ {n} (A, M), b_ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle b_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Observación
Los mapas son mapas de caras que hacen de la familia de módulos un objeto simplicial en la categoría de k -módulos, es decir, un funtor Δ o → k -mod, donde Δ es la categoría simplex y k -mod es la categoría de k -módulos. Aquí Δ o es la categoría opuesta de Δ. Los mapas de degeneración están definidos por
![{\displaystyle (C_{n}(A,M),b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s_{i}(a_{0}\otimes \cdots \otimes a_{n})=a_{0}\otimes \cdots \otimes a_{i}\otimes 1\otimes a_{i+1}\ otimes \cdots \otimes a_ {n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La homología de Hochschild es la homología de este módulo simplicial.
Relación con el complejo de Colegios de Abogados
Hay un complejo de apariencia similar llamado complejo de Bar que formalmente se parece mucho al complejo de Hochschild [1] páginas 4-5 . De hecho, el complejo Hochschild se puede recuperar del complejo Bar como![{\displaystyle B(A/k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH(A/k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH(A/k)\cong A\otimes _ {A\otimes A^{op}}B(A/k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como una autointersección derivada
Hay otra interpretación útil del complejo de Hochschild en el caso de anillos conmutativos y, de manera más general, para haces de anillos conmutativos: se construye a partir de la autointersección derivada de un esquema (o incluso de un esquema derivado) sobre algún esquema base . Por ejemplo, podemos formar el producto de fibra derivada.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times _ {S}^{\mathbf {L} }X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{X}\otimes _ {{\mathcal {O}}_{S}}^{\mathbf {L} }{\mathcal {O}}_{X}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta :X\to X\times _ {S}^{\mathbf {L} }X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH(X/S):=\Delta ^{*}({\mathcal {O}}_{X}\otimes _ {{\mathcal {O}}_{X}\otimes _ {{\ mathcal {O}}_{S}}^{\mathbf {L} }{\mathcal {O}}_{X}}^{\mathbf {L} }{\mathcal {O}}_{X}) }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
diferenciales de Kählercomplejo cotangente![{\displaystyle \Omega _ {X/S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {L} _ {X/S}^{\bullet }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S={\text{Especificación}}(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X={\text{Especificación}}(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
casi isomorfo![{\displaystyle HH(A/k)\simeq _{qiso}A\otimes _{A\otimes _{k}^{\mathbf {L} }A}^{\mathbf {L} }A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\otimes _ {k}^{\mathbf {L} }A\cong A\otimes _ {k}A\cong A\otimes _ {k}A^{op}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Homología de Hochschild de functores
El círculo simplicial es un objeto simplicial en la categoría de conjuntos finitos puntiagudos, es decir, un funtor. Por lo tanto, si F es un funtor , obtenemos un módulo simplicial componiendo F con .![{\displaystyle S^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _ {*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta ^{o}\to \operatorname {Fin} _{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\colon \operatorname {Fin} \to k-\mathrm {mod} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Delta ^{o}{\overset {S^{1}}{\longrightarrow }}\operatorname {Fin} _{*}{\overset {F}{\longrightarrow }}k{\text{- modificación}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La homología de este módulo simplicial es la homología de Hochschild del funtor F. La definición anterior de homología de Hochschild de álgebras conmutativas es el caso especial donde F es el functor de Loday .
functor loday
Los objetos dan un esqueleto para la categoría de conjuntos puntiagudos finitos.
![{\displaystyle n_{+}=\{0,1,\ldots ,n\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde 0 es el punto base y los morfismos son los mapas de conjuntos que preservan el punto base. Sea A un k-álgebra conmutativa y M un A -bimódulo simétrico [ se necesita más explicación ] . El functor Loday está dado en objetos en por![{\displaystyle L(A,M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _ {*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n_{+}\mapsto M\otimes A^{\otimes n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un morfismo
![{\ Displaystyle f: m_ {+} \ a n_ {+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
se envía al morfismo dado por![{\displaystyle f_{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f_{*}(a_{0}\otimes \cdots \otimes a_{m})=b_{0}\otimes \cdots \otimes b_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
![{\displaystyle \forall j\in \{0,\ldots ,n\}:\qquad b_{j}={\begin{cases}\prod _{i\in f^{-1}(j)}a_ {i}&f^{-1}(j)\neq \emptyset \\1&f^{-1}(j)=\emptyset \end{cases}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otra descripción de la homología de álgebras de Hochschild.
La homología de Hochschild de un álgebra conmutativa A con coeficientes en un bimódulo A simétrico M es la homología asociada a la composición
![{\displaystyle \Delta ^{o}{\overset {S^{1}}{\longrightarrow }}\operatorname {Fin} _ {*}{\overset {{\mathcal {L}}(A,M)} {\longrightarrow }}k{\text{-mod}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y esta definición concuerda con la anterior.
Ejemplos
Los ejemplos de cálculos de homología de Hochschild se pueden estratificar en varios casos distintos con teoremas bastante generales que describen la estructura de los grupos de homología y el anillo de homología para un álgebra asociativa . Para el caso de las álgebras conmutativas, hay una serie de teoremas que describen los cálculos sobre la característica 0 y que permiten una comprensión sencilla de lo que calculan la homología y la cohomología.![{\displaystyle HH_{*}(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Característica conmutativa 0 caso
En el caso de álgebras conmutativas donde , la homología de Hochschild tiene dos teoremas principales relacionados con álgebras suaves y álgebras no planas más generales ; pero el segundo es una generalización directa del primero. En el caso suave, es decir, para un álgebra suave , el teorema de Hochschild-Kostant-Rosenberg [2] páginas 43-44 establece que existe un isomorfismo![{\displaystyle A/k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} \subseteq k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Omega _{A/k}^{n}\cong HH_{n}(A/k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\,db_{1}\wedge \cdots \wedge db_{n}\mapsto \sum _{\sigma \in S_{n}}\operatorname {sign} (\sigma )a\otimes b_{\ sigma (1)}\otimes \cdots \otimes b_{\sigma (n)}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
complejo cotangente![{\displaystyle A/k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{\bullet }\a A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {L} _{A/k}^{i}=\Omega _{P_{\bullet }/k}^{i}\otimes _{P_{\bullet }}A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{\bullet }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH_{n}(A/k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {F_{i}}{F_{i+1}}}\cong \mathbb {L} _{A/k}^{i}[+i].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A=R/I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R=k[x_{1},\dotsc,x_{n}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I/I^{2}\to \Omega _{R/k}^{1}\otimes _{k}A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Anillos polinomiales sobre los racionales.
Un ejemplo sencillo es calcular la homología de Hochschild de un anillo polinómico de con -generadores. El teorema de HKR da el isomorfismo![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH_{*}(\mathbb {Q} [x_{1},\ldots ,x_{n}])=\mathbb {Q} [x_{1},\ldots ,x_{n}]\otimes \Lambda (dx_{1},\dotsc,dx_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
producto de cuña![{\displaystyle \bigwedge (dx_{1},\ldots,dx_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}dx_{i}\cdot dx_{j}&=-dx_{j}\cdot dx_{i}\\dx_{i}\cdot dx_{i}&=0\end{ alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\neq j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Característica conmutativa caso p
En el caso de la característica p, existe un contraejemplo útil del teorema de Hochschild-Kostant-Rosenberg que aclara la necesidad de una teoría más allá de las álgebras simplistas para definir la homología de Hochschild. Considere el -álgebra . Podemos calcular una resolución de álgebras graduadas diferenciales libres![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} \xrightarrow {\cdot p} \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}\cong \mathbb {F} _{p} [\varepsilon ]/(\varepsilon ^{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{grados}}(\varepsilon )=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _{p}\otimes _{\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbb {L} }\mathbb {F} _ p}}^{\mathbb {L}}\mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}[\varepsilon ]/(\varepsilon ^{2})\to \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
fuerzas . Esto da el término de grado cero del complejo. Luego, debido a que tenemos que resolver el núcleo , podemos tomar una copia de desplazado en grado y hacer que se asigne a , con el núcleo en grado. Podemos realizar esto de forma recursiva para obtener el módulo subyacente del álgebra de potencia dividida.![{\displaystyle \varepsilon \mapsto 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}={\text{Ker} }({\displaystyle \mathbb {F} _{p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}}\to {\displaystyle \varepsilon \ cdot \mathbb {F} _{p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\mathbb {F} _ {p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _ {p})\langle x\rangle ={\frac {(\mathbb {F} _{p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p})[x_{1},x_{2}, \ldots ]}{x_{i}x_{j}={\binom {i+j}{i}}x_{i+j}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle dx_{i}=\varepsilon \cdot x_{i-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |x_{i}|=2i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}\otimes _ {\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH_{*}(\mathbb {F} _{p})=\mathbb {F} _{p}\langle x\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[3]espectro de la esfera![{\displaystyle \varepsilon }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} _ {p}\langle x\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{p}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Homología topológica de Hochschild
La construcción anterior del complejo de Hochschild se puede adaptar a situaciones más generales, concretamente reemplazando la categoría de (complejos de) -módulos por una categoría ∞ (equipada con un producto tensorial) y por un álgebra asociativa en esta categoría. Aplicando esto a la categoría de espectros , y siendo el espectro de Eilenberg-MacLane asociado a un anillo ordinario, se obtiene la homología topológica de Hochschild , denotada . La homología (no topológica) de Hochschild introducida anteriormente se puede reinterpretar en este sentido, tomando como categoría derivada de -módulos (como una categoría ∞).![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}={\textbf {Espectros}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle THH(R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}=D(\mathbb {Z} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reemplazar los productos tensoriales sobre el espectro de la esfera por productos tensoriales sobre (o el espectro de Eilenberg-MacLane ) conduce a un mapa de comparación natural . Induce un isomorfismo en grupos de homotopía en grados 0, 1 y 2. Sin embargo, en general son diferentes y tiende a producir grupos más simples que HH. Por ejemplo,![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle THH(R)\a HH(R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle THH}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle THH(\mathbb {F} _{p})=\mathbb {F} _{p}[x],}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle HH(\mathbb {F} _{p})=\mathbb {F} _{p}\langle x\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es el anillo polinómico (con x en grado 2), comparado con el anillo de potencias divididas en una variable.
Lars Hesselholt (2016) demostró que la función zeta de Hasse-Weil de una variedad adecuada suave se puede expresar utilizando determinantes regularizados que involucran homología topológica de Hochschild.![{\displaystyle \mathbb {F} _ {p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ Mañana, Mateo. "Homología topológica de Hochschild en geometría aritmética" (PDF) . Archivado (PDF) desde el original el 24 de diciembre de 2020.
- ^ Ginzburg, Víctor (29 de junio de 2005). "Conferencias sobre geometría no conmutativa". arXiv : matemáticas/0506603 .
- ^ "Sección 23.6 (09PF): Resoluciones de la Tate: el proyecto Stacks". pilas.math.columbia.edu . Consultado el 31 de diciembre de 2020 .
- Cartan, Henri ; Eilenberg, Samuel (1956), Álgebra homológica, Princeton Mathematical Series, vol. 19, Prensa de la Universidad de Princeton , ISBN 978-0-691-04991-5, señor 0077480
- Govorov, VE; Mikhalev, AV (2001) [1994], "Cohomología de álgebras", Enciclopedia de Matemáticas , EMS Press
- Hesselholt, Lars (2016), Homología topológica de Hochschild y función zeta de Hasse-Weil , Matemáticas contemporáneas, vol. 708, págs. 157–180, arXiv : 1602.01980 , doi : 10.1090/conm/708/14264, ISBN 9781470429119, S2CID 119145574
- Hochschild, Gerhard (1945), "Sobre los grupos de cohomología de un álgebra asociativa", Annals of Mathematics , Segunda Serie, 46 (1): 58–67, doi :10.2307/1969145, ISSN 0003-486X, JSTOR 1969145, MR 0011076
- Jean-Louis Loday , Homología cíclica , Grundlehren der mathematischen Wissenschaften vol. 301, Springer (1998) ISBN 3-540-63074-0
- Richard S. Pierce, Álgebras asociativas , Textos de posgrado en matemáticas (88), Springer, 1982.
- Pirashvili, Teimuraz (2000). "Descomposición de Hodge para homología de Hochschild de orden superior". Annales Scientifiques de l'École Normale Supérieure . 33 (2): 151-179. doi :10.1016/S0012-9593(00)00107-5.
enlaces externos
Artículos introductorios
- Dylan GL Allegretti, Formas diferenciales en espacios no conmutativos. Una introducción elemental a la geometría no conmutativa que utiliza la homología de Hochschild para generalizar formas diferenciales).
- Ginzburg, Víctor (2005). "Conferencias sobre geometría no conmutativa". arXiv : matemáticas/0506603 .
- Homología topológica de Hochschild en geometría aritmética
- Cohomología de Hochschild en el n Lab
Caso conmutativo
- Antieau, Benjamín; Bhatt, Bhargav; Mateo, Akhil (2019). "Contraejemplos de Hochschild – Kostant – Rosenberg en la característica p ". arXiv : 1909.11437 [matemáticas.AG].
Caso no conmutativo
- Ricardo, Lionel (2004). "Homología y cohomología de Hochschild de algunas álgebras polinómicas no conmutativas clásicas y cuánticas". Revista de Álgebra Pura y Aplicada . 187 (1–3): 255–294. arXiv : matemáticas/0207073 . doi : 10.1016/S0022-4049(03)00146-4 .
- Quddus, Safdar (2020). "Estructuras de Poisson no conmutativas en orbifolds de toro cuántico". arXiv : 2006.00495 [matemáticas.KT].
- Yashinski, Allan (2012). "La conexión Gauss-Manin y los toros no conmutativos". arXiv : 1210.4531 [matemáticas.KT].