Yoneda product

In algebra, the Yoneda product (named after Nobuo Yoneda) is the pairing between Ext groups of modules:

\operatorname {Ext} ^{n}(M,N)\otimes \operatorname {Ext} ^{m}(L,M)\to \operatorname {Ext} ^{n+m}(L,N)

induced by

\operatorname {Hom} (N,M)\otimes \operatorname {Hom} (M,L)\to \operatorname {Hom} (N,L),\,f\otimes g\mapsto g\circ f.

Specifically, for an element $\xi \in \operatorname {Ext} ^{n}(M,N)$ , thought of as an extension

\xi :0\rightarrow N\rightarrow E_{0}\rightarrow \cdots \rightarrow E_{n-1}\rightarrow M\rightarrow 0

,

and similarly

\rho :0\rightarrow M\rightarrow F_{0}\rightarrow \cdots \rightarrow F_{m-1}\rightarrow L\rightarrow 0\in \operatorname {Ext} ^{m}(L,M)

,

we form the Yoneda (cup) product

\xi \smile \rho :0\rightarrow N\rightarrow E_{0}\rightarrow \cdots \rightarrow E_{n-1}\rightarrow F_{0}\rightarrow \cdots \rightarrow F_{m-1}\rightarrow L\rightarrow 0\in \operatorname {Ext} ^{m+n}(L,N)

.

Note that the middle map $E_{n-1}\rightarrow F_{0}$ factors through the given maps to $M$ .

We extend this definition to include $m,n=0$ using the usual functoriality of the $\operatorname {Ext} ^{*}(\_,\_)$ groups.

Applications

Ext Algebras

Given a commutative ring $R$ and a module $M$ , the Yoneda product defines a product structure on the groups ${\text{Ext}}^{\bullet }(M,M)$ , where ${\text{Ext}}^{0}(M,M)={\text{Hom}}_{R}(M,M)$ is generally a non-commutative ring. This can be generalized to the case of sheaves of modules over a ringed space, or ringed topos.

Grothendieck duality

In Grothendieck's duality theory of coherent sheaves on a projective scheme $i:X\hookrightarrow \mathbb {P} _{k}^{n}$ of pure dimension $r$ over an algebraically closed field $k$ , there is a pairing

${\text{Ext}}_{{\mathcal {O}}_{X}}^{p}({\mathcal {O}}_{X},{\mathcal {F}})\times {\text{Ext}}_{{\mathcal {O}}_{X}}^{r-p}({\mathcal {F}},\omega _{X}^{\bullet })\to k$

where $\omega _{X}$ is the dualizing complex $\omega _{X}={\mathcal {Ext}}_{{\mathcal {O}}_{\mathbb {P} }}^{n-r}(i_{*}{\mathcal {F}},\omega _{\mathbb {P} })$ and $\omega _{\mathbb {P} }={\mathcal {O}}_{\mathbb {P} }(-(n+1))$ given by the Yoneda pairing.[1]

Deformation theory

The Yoneda product is useful for understanding the obstructions to a deformation of maps of ringed topoi.[2] For example, given a composition of ringed topoi

$X\xrightarrow {f} Y\to S$

and an $S$ -extension $j:Y\to Y'$ of $Y$ by an ${\mathcal {O}}_{Y}$ -module $J$ , there is an obstruction class

$\omega (f,j)\in {\text{Ext}}^{2}(\mathbf {L} _{X/Y},f^{*}J)$

which can be described as the yoneda product

$\omega (f,j)=f^{*}(e(j))\cdot K(X/Y/S)$

where

${\begin{aligned}K(X/Y/S)&\in {\text{Ext}}^{1}(\mathbf {L} _{X/Y},\mathbf {L} _{Y/S})\\f^{*}(e(j))&\in {\text{Ext}}^{1}(f^{*}\mathbf {L} _{Y/S},f^{*}J)\end{aligned}}$

and $\mathbf {L} _{X/Y}$ corresponds to the cotangent complex.

References

Altman; Kleiman (1970). Grothendieck Duality. Lecture Notes in Mathematics. 146. p. 5. doi:10.1007/BFb0060932. ISBN 978-3-540-04935-7.
Illusie, Luc. "Complexe cotangent; application a la theorie des deformations" (PDF). p. 163.

May, J. Peter. "Notes on Tor and Ext" (PDF).

External links

Universality of Ext functor using Yoneda extensions

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Altman; Kleiman (1970). Grothendieck Duality. Lecture Notes in Mathematics. 146. p. 5. doi:10.1007/BFb0060932. ISBN 978-3-540-04935-7.

[2] Illusie, Luc. "Complexe cotangent; application a la theorie des deformations" (PDF). p. 163.