Timeline for Hochschild Homology and Formal Geometry
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2019 at 17:49 | comment | added | Bombyx mori | @EBz: Yes, the paper is analytic. But it uses the theory of microlocal sheaves, which I do not know whether will be helpful to your research. | |
| Feb 16, 2019 at 17:34 | comment | added | user108998 | thx for the comments. Pretty sure I've looked at that paper and it works in the analytic topology, maybe i wasn't clear that I'm trying to make an argument like that work in an alg setting. This is kind of what GK formal geom is designed to do but I dont see it in this case. | |
| Feb 16, 2019 at 16:38 | comment | added | Bombyx mori | @EBz: Also, thanks for the link! | |
| Feb 16, 2019 at 16:36 | comment | added | Bombyx mori | @EBz: Try to take a look at Getzler and Brylinski's paper on this. They proved a Poincare lemma and used the same localization technique to prove similar theorem for PsiDOs. For PsiDOs, they still need some type of deformation quantization argument and pass to the spectral sequence. I do not think this is necessary for ring of differential operators. | |
| Feb 16, 2019 at 10:46 | comment | added | user108998 | Re ur answer, I don't know what u mean by an hkr theorem in this context. I'm happy to assume X affine right from the start, as in my question. The point is that whilst hkr type theorems allow localization on the base, and thus reduction to the simple case of a formal disc, the non linearity implies we can't do this for diff operators. | |
| Feb 16, 2019 at 10:42 | comment | added | user108998 | Re other query, top wedge power of symp form gives vol form thus perfect pairing between diff forms of complementary dimensions. This interchanges poisson hom differential and de rham differential when poisson form is symplectic. | |
| Feb 16, 2019 at 10:39 | comment | added | user108998 | I've added a link to an answer on this website in lieu of a proper reference for the 6 functors pov. Idea is that d mods on product rep functors of d mods via Fourier mukai integral kernel construction. Delta functions along diagonal rep identify functor do need to compute ext of this and proj formula tells u how. | |
| Feb 16, 2019 at 6:22 | history | answered | Bombyx mori | CC BY-SA 4.0 |