Skip to main content
added 244 characters in body
Source Link

The first complex, from Weibel, is a projective resolution of the trivial $\mathfrak g$-module $k$ as a $\mathcal U(\mathfrak g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,k)$, where $k$ is the trivial $\mathfrak g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(\mathfrak g)}(k,k)$, also known as $H^\bullet(\mathfrak g,k)$, the Lie algebra cohomology of $\mathfrak g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(\mathfrak g)\otimes \Lambda^\bullet \mathfrak g$, apply the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,\mathfrak g)$, where $\mathfrak g$ is the adjoint $\mathfrak g$-module, and compute cohomology to get $H^\bullet(\mathfrak g,\mathfrak g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(\mathfrak g,\mathfrak g)$ classifies infinitesimal deformations, $H^3(\mathfrak g,\mathfrak g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

By the way, the original paper [Chevalley, Claude; Eilenberg, Samuel Cohomology theory of Lie groups and Lie algebras. Trans. Amer. Math. Soc. 63, (1948). 85--124.] serves as an incredibly readable introduction to Lie algebra cohomology.

The first complex, from Weibel, is a projective resolution of the trivial $\mathfrak g$-module $k$ as a $\mathcal U(\mathfrak g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,k)$, where $k$ is the trivial $\mathfrak g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(\mathfrak g)}(k,k)$, also known as $H^\bullet(\mathfrak g,k)$, the Lie algebra cohomology of $\mathfrak g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(\mathfrak g)\otimes \Lambda^\bullet \mathfrak g$, apply the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,\mathfrak g)$, where $\mathfrak g$ is the adjoint $\mathfrak g$-module, and compute cohomology to get $H^\bullet(\mathfrak g,\mathfrak g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(\mathfrak g,\mathfrak g)$ classifies infinitesimal deformations, $H^3(\mathfrak g,\mathfrak g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

The first complex, from Weibel, is a projective resolution of the trivial $\mathfrak g$-module $k$ as a $\mathcal U(\mathfrak g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,k)$, where $k$ is the trivial $\mathfrak g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(\mathfrak g)}(k,k)$, also known as $H^\bullet(\mathfrak g,k)$, the Lie algebra cohomology of $\mathfrak g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(\mathfrak g)\otimes \Lambda^\bullet \mathfrak g$, apply the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,\mathfrak g)$, where $\mathfrak g$ is the adjoint $\mathfrak g$-module, and compute cohomology to get $H^\bullet(\mathfrak g,\mathfrak g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(\mathfrak g,\mathfrak g)$ classifies infinitesimal deformations, $H^3(\mathfrak g,\mathfrak g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

By the way, the original paper [Chevalley, Claude; Eilenberg, Samuel Cohomology theory of Lie groups and Lie algebras. Trans. Amer. Math. Soc. 63, (1948). 85--124.] serves as an incredibly readable introduction to Lie algebra cohomology.

\mathfrakify
Source Link

The first complex, from Weibel, is a projective resolution of the trivial $g$$\mathfrak g$-module $k$ as a $\mathcal U(g)$$\mathcal U(\mathfrak g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(g)}(\mathord-,k)$$\hom_{\mathcal U(\mathfrak g)}(\mathord-,k)$, where $k$ is the trivial $g$$\mathfrak g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(g)}(k,k)$$\mathrm{Ext}_{\mathcal U(\mathfrak g)}(k,k)$, also known as $H^\bullet(g,k)$$H^\bullet(\mathfrak g,k)$, the Lie algebra cohomology of $g$$\mathfrak g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(g)\otimes \Lambda^\bullet g$$\mathcal U(\mathfrak g)\otimes \Lambda^\bullet \mathfrak g$, apply the functor $\hom_{\mathcal U(g)}(\mathord-,g)$$\hom_{\mathcal U(\mathfrak g)}(\mathord-,\mathfrak g)$, where $g$$\mathfrak g$ is the adjoint $g$$\mathfrak g$-module, and compute cohomology to get $H^\bullet(g,g)$$H^\bullet(\mathfrak g,\mathfrak g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(g,g)$$H^2(\mathfrak g,\mathfrak g)$ classifies infinitesimal deformations, $H^3(g,g)$$H^3(\mathfrak g,\mathfrak g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

The first complex, from Weibel, is a projective resolution of the trivial $g$-module $k$ as a $\mathcal U(g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(g)}(\mathord-,k)$, where $k$ is the trivial $g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(g)}(k,k)$, also known as $H^\bullet(g,k)$, the Lie algebra cohomology of $g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(g)\otimes \Lambda^\bullet g$, apply the functor $\hom_{\mathcal U(g)}(\mathord-,g)$, where $g$ is the adjoint $g$-module, and compute cohomology to get $H^\bullet(g,g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(g,g)$ classifies infinitesimal deformations, $H^3(g,g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

The first complex, from Weibel, is a projective resolution of the trivial $\mathfrak g$-module $k$ as a $\mathcal U(\mathfrak g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,k)$, where $k$ is the trivial $\mathfrak g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(\mathfrak g)}(k,k)$, also known as $H^\bullet(\mathfrak g,k)$, the Lie algebra cohomology of $\mathfrak g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(\mathfrak g)\otimes \Lambda^\bullet \mathfrak g$, apply the functor $\hom_{\mathcal U(\mathfrak g)}(\mathord-,\mathfrak g)$, where $\mathfrak g$ is the adjoint $\mathfrak g$-module, and compute cohomology to get $H^\bullet(\mathfrak g,\mathfrak g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(\mathfrak g,\mathfrak g)$ classifies infinitesimal deformations, $H^3(\mathfrak g,\mathfrak g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.

Source Link

The first complex, from Weibel, is a projective resolution of the trivial $g$-module $k$ as a $\mathcal U(g)$-module; I am sure Weibel says so!

Your second complex is obtained from the first by applying the functor $\hom_{\mathcal U(g)}(\mathord-,k)$, where $k$ is the trivial $g$-module. It therefore computes $\mathrm{Ext}_{\mathcal U(g)}(k,k)$, also known as $H^\bullet(g,k)$, the Lie algebra cohomology of $g$ with trivial coefficients.

The connection with deformation theory is explained at length in Gerstenhaber, Murray; Schack, Samuel D. Algebraic cohomology and deformation theory. Deformation theory of algebras and structures and applications (Il Ciocco, 1986), 11--264, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 247, Kluwer Acad. Publ., Dordrecht, 1988.

In particular neither of your two complexes 'computes' deformations: you need to take the projective resolution $\mathcal U(g)\otimes \Lambda^\bullet g$, apply the functor $\hom_{\mathcal U(g)}(\mathord-,g)$, where $g$ is the adjoint $g$-module, and compute cohomology to get $H^\bullet(g,g)$, the Lie algebra cohomology with coefficients in the adjoint representation. Then $H^2(g,g)$ classifies infinitesimal deformations, $H^3(g,g)$ is the target for obstructions to extending partial deformations, and so on, exactly along the usual yoga of formal deformation theory à la Gerstenhaber.