Adjunción tensorial-hom

En matemáticas , la adjunción tensorial-hom es que el producto tensorial y hom-functor forman un par adjunto : ${\displaystyle -\o veces X}$ ${\displaystyle \operatorname {Hom} (X,-)}$

${\displaystyle \operatorname {Hom} (Y\otimes X,Z)\cong \operatorname {Hom} (Y,\operatorname {Hom} (X,Z)).}$

Esto se explica con más precisión a continuación. El orden de los términos en la frase "adjunción tensor-hom" refleja su relación: tensor es el adjunto izquierdo, mientras que hom es el adjunto derecho.

Digamos que R y S son anillos (posiblemente no conmutativos) y consideremos las categorías del módulo derecho (una afirmación análoga se aplica a los módulos izquierdos):

${\displaystyle {\mathcal {C}}=\mathrm {Mod} _{S}\quad {\text{y}}\quad {\mathcal {D}}=\mathrm {Mod} _{R}.}$

Arreglar un -bimódulo y definir funtores de la siguiente manera: ${\estilo de visualización (R,S)}$${\estilo de visualización X}$${\displaystyle F\colon {\mathcal {D}}\rightarrow {\mathcal {C}}}$${\displaystyle G\colon {\mathcal {C}}\rightarrow {\mathcal {D}}}$

${\displaystyle F(Y)=Y\otimes _{R}X\quad {\text{para }}Y\in {\mathcal {D}}}$

${\displaystyle G(Z)=\operatorname {Hom} _{S}(X,Z)\quad {\text{para }}Z\in {\mathcal {C}}}$

Entonces es adjunto por la izquierda de . Esto significa que hay un isomorfismo natural${\estilo de visualización F}$${\estilo de visualización G}$

${\displaystyle \operatorname {Hom} _{S}(Y\otimes _{R}X,Z)\cong \operatorname {Hom} _{R}(Y,\operatorname {Hom} _{S}(X,Z)).}$

En realidad, se trata de un isomorfismo de grupos abelianos . Más precisamente, si es un -bimódulo y es un -bimódulo, entonces se trata de un isomorfismo de -bimódulos. Este es uno de los ejemplos motivadores de la estructura en una bicategoría cerrada . ^[1]${\estilo de visualización Y}$${\estilo de visualización (A,R)}$${\estilo de visualización Z}$${\estilo de visualización (B,S)}$${\estilo de visualización (B,A)}$

Como todas las adjunciones, la adjunción tensorial-hom puede describirse mediante sus transformaciones naturales counit y unit . Utilizando la notación de la sección anterior, la counit

${\displaystyle \varepsilon :FG\to 1_{\mathcal {C}}}$

tiene componentes

${\displaystyle \varepsilon _{Z}:\operatorname {Hom} _{S}(X,Z)\otimes _{R}X\to Z}$

dado por evaluación: Para

${\displaystyle \phi \in \operatorname {Hom} _{S}(X,Z)\quad {\text{y}}\quad x\in X,}$

${\displaystyle \varepsilon (\phi \otimes x)=\phi (x).}$

Los componentes de la unidad

${\displaystyle \eta :1_{\mathcal {D}}\to GF}$

${\displaystyle \eta _{Y}:Y\to \nombre del operador {Hom} _{S}(X,Y\otimes _{R}X)}$

se definen de la siguiente manera: Para en , ${\estilo de visualización y}$${\estilo de visualización Y}$

${\displaystyle \eta _{Y}(y)\in \operatorname {Hom} _{S}(X,Y\otimes _{R}X)}$

es un homomorfismo de módulo derecho dado por ${\estilo de visualización S}$

${\displaystyle \eta _{Y}(y)(t)=y\otimes t\quad {\text{para }}t\en X.}$

Ahora es posible verificar explícitamente las ecuaciones de counit y de unidad . Para en , ${\estilo de visualización Y}$${\displaystyle {\mathcal {D}}}$

${\displaystyle \varepsilon _{FY}\circ F(\eta _{Y}):Y\otimes _{R}X\to \operatorname {Hom} _{S}(X,Y\otimes _{R}X)\otimes _{R}X\to Y\otimes _{R}X}$

se da en tensores simples de por ${\displaystyle Y\o veces X}$

${\displaystyle \varepsilon _{FY}\circ F(\eta _{Y})(y\otimes x)=\eta _{Y}(y)(x)=y\otimes x.}$

Asimismo,

${\displaystyle G(\varepsilon _{Z})\circ \eta _{GZ}:\nombredeloperador {Hom} _{S}(X,Z)\to \nombredeloperador {Hom} _{S}(X,\nombredeloperador {Hom} _{S}(X,Z)\otimes _{R}X)\to \nombredeloperador {Hom} _{S}(X,Z).}$

Para en ,${\estilo de visualización \phi}$${\displaystyle \operatorname {Hom}_{S}(X,Z)}$

${\displaystyle G(\varepsilon _ {Z})\circ \eta _ {GZ}(\phi)}$

es un homomorfismo de módulo derecho definido por ${\estilo de visualización S}$

${\displaystyle G(\varepsilon _{Z})\circ \eta _{GZ}(\phi )(x)=\varepsilon _{Z}(\phi \otimes x)=\phi (x)}$

y por lo tanto

${\displaystyle G(\varepsilon _{Z})\circ \eta _{GZ}(\phi )=\phi .}$

El funtor Hom conmuta con límites arbitrarios, mientras que el funtor producto tensorial conmuta con colímites arbitrarios que existen en su categoría de dominio. Sin embargo, en general, no conmuta con colímites ni con límites; esta falla ocurre incluso entre límites o colímites finitos. Esta falla en preservar secuencias cortas y exactas motiva la definición del funtor Ext y del funtor Tor . ${\displaystyle \hom(X,-)}$${\displaystyle -\o veces X}$${\displaystyle \hom(X,-)}$${\displaystyle -\o veces X}$

• Zurra
• La dualidad de Eckmann-Hilton
• Función ext.
• Función Tor
• Cambio de anillos

• Bourbaki, Nicolas (1989), Elementos de matemáticas, Álgebra I , Springer-Verlag, ISBN 3-540-64243-9