Skip to main content
expanded abbreviation, mathrm Hoch
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Deformation of the hkrHochschild-Kostant-Rosenberg isomorphism for universal enveloping algebra

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the PBWPoincaré-Birkhoff-Witt (PBW) isomorphism, inverse to that natural map from the symmetric algebra.

Let $C^{Hoch}_{*} (U\mathfrak{g})$$C^\mathrm{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the HKRHochschild-Kostant-Rosenberg (HKR) morphism induces a map of graded vector spaces, $C^{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$$C^\mathrm{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

Deformation of the hkr isomorphism for universal enveloping algebra

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the PBW isomorphism, inverse to that natural map from the symmetric algebra.

Let $C^{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the HKR morphism induces a map of graded vector spaces, $C^{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

Deformation of the Hochschild-Kostant-Rosenberg isomorphism for universal enveloping algebra

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the Poincaré-Birkhoff-Witt (PBW) isomorphism, inverse to that natural map from the symmetric algebra.

Let $C^\mathrm{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the Hochschild-Kostant-Rosenberg (HKR) morphism induces a map of graded vector spaces, $C^\mathrm{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

deleted 4 characters in body
Source Link
user108998
user108998

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the PBW isomorphism, inverse to that natural inclusion ofmap from the symmetric algebra.

Let $C^{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the HKR morphism induces a map of graded vector spaces, $C^{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the PBW isomorphism, inverse to that natural inclusion of the symmetric algebra.

Let $C^{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the HKR morphism induces a map of graded vector spaces, $C^{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the PBW isomorphism, inverse to that natural map from the symmetric algebra.

Let $C^{Hoch}_{*} (U\mathfrak{g})$ be the graded vector space underlying the standard complex computing Hochschild homology of $U\mathfrak{g}$, ie forget the differential for now. Composition of $\iota$ with the HKR morphism induces a map of graded vector spaces, $C^{Hoch}_{*} (U\mathfrak{g})\rightarrow \Omega^{*} (S\mathfrak{g})$. This respects the natural filtrations on both sides.

What I'd like to know is whether there's a nice differential on the right hand side, such that our map intertwines the Hochschild differential on the LHS with this new differential. The leading order term (wrt the filtration) for this differential should be the lie derivative wrt the Poisson-Kirillov bracket on $S(\mathfrak{g})$.

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link
user108998
user108998
Loading