Skip to main content
TeXified it
Source Link

Complex powers of line bundles are classes in H^{1,1}$H^{1,1}$, or equivalently sheaves of twisted differential operators (TDO)    (let's work in the complex topology). This maps to H^2$H^2$ with C$\mathbb{C}$ coefficients, or modding out by Z$\mathbb{Z}$-cohomology, to H^2$H^2$ with C^x coefficients (sorry don't know how to tex here.$\mathbb{C}^\times$ coefficients.) The The latter classifies C^x$\mathbb{C}^\times$ gerbes, ie gerbes with a flat connection (usual gerbes can be described by H^2(X,O^x)$H^2(X,\mathcal{O}^\times)$). Note Note that honest line bundles give the trivial gerbe. In

In fact the category of modules over a TDO only depends on the TDO up to tensoring with line bundles --- ie it only depends on the underlying gerbe, and can be described as ordinary D$\mathcal{D}$-modules on the gerbe. Or if you prefer, regular holonomic modules over a TDO are the same as perverse sheaves on the underlying gerbe. This is explained eg in the encyclopedic Chapter 7 of Beilinson-Drinfeld's Quantization of Hitchin Hamiltonians document, or I think also in a paper of Kashiwara eg in the 3-volume Asterisque on singularities and rep theory (and maybe even his recent D$\mathcal{D}$-modules book). B&D talk in terms of crystalline O^x$\mathcal{O}^\times$ gerbes rather than C^x$\mathbb{C}^\times$ gerbes but the story is the same.

Complex powers of line bundles are classes in H^{1,1}, or equivalently sheaves of twisted differential operators (TDO)  (let's work in the complex topology). This maps to H^2 with C coefficients, or modding out by Z-cohomology, to H^2 with C^x coefficients (sorry don't know how to tex here..) The latter classifies C^x gerbes, ie gerbes with a flat connection (usual gerbes can be described by H^2(X,O^x)). Note that honest line bundles give the trivial gerbe. In fact the category of modules over a TDO only depends on the TDO up to tensoring with line bundles --- ie it only depends on the underlying gerbe, and can be described as ordinary D-modules on the gerbe. Or if you prefer, regular holonomic modules over a TDO are the same as perverse sheaves on the underlying gerbe. This is explained eg in the encyclopedic Chapter 7 of Beilinson-Drinfeld's Quantization of Hitchin Hamiltonians document, or I think also in a paper of Kashiwara eg in the 3-volume Asterisque on singularities and rep theory (and maybe even his recent D-modules book). B&D talk in terms of crystalline O^x gerbes rather than C^x gerbes but the story is the same.

Complex powers of line bundles are classes in $H^{1,1}$, or equivalently sheaves of twisted differential operators (TDO)  (let's work in the complex topology). This maps to $H^2$ with $\mathbb{C}$ coefficients, or modding out by $\mathbb{Z}$-cohomology, to $H^2$ with $\mathbb{C}^\times$ coefficients. The latter classifies $\mathbb{C}^\times$ gerbes, ie gerbes with a flat connection (usual gerbes can be described by $H^2(X,\mathcal{O}^\times)$). Note that honest line bundles give the trivial gerbe.

In fact the category of modules over a TDO only depends on the TDO up to tensoring with line bundles --- ie it only depends on the underlying gerbe, and can be described as ordinary $\mathcal{D}$-modules on the gerbe. Or if you prefer, regular holonomic modules over a TDO are the same as perverse sheaves on the underlying gerbe. This is explained eg in the encyclopedic Chapter 7 of Beilinson-Drinfeld's Quantization of Hitchin Hamiltonians document, or I think also in a paper of Kashiwara eg in the 3-volume Asterisque on singularities and rep theory (and maybe even his recent $\mathcal{D}$-modules book). B&D talk in terms of crystalline $\mathcal{O}^\times$ gerbes rather than $\mathbb{C}^\times$ gerbes but the story is the same.

Source Link
David Ben-Zvi
  • 24k
  • 1
  • 84
  • 106

Complex powers of line bundles are classes in H^{1,1}, or equivalently sheaves of twisted differential operators (TDO) (let's work in the complex topology). This maps to H^2 with C coefficients, or modding out by Z-cohomology, to H^2 with C^x coefficients (sorry don't know how to tex here..) The latter classifies C^x gerbes, ie gerbes with a flat connection (usual gerbes can be described by H^2(X,O^x)). Note that honest line bundles give the trivial gerbe. In fact the category of modules over a TDO only depends on the TDO up to tensoring with line bundles --- ie it only depends on the underlying gerbe, and can be described as ordinary D-modules on the gerbe. Or if you prefer, regular holonomic modules over a TDO are the same as perverse sheaves on the underlying gerbe. This is explained eg in the encyclopedic Chapter 7 of Beilinson-Drinfeld's Quantization of Hitchin Hamiltonians document, or I think also in a paper of Kashiwara eg in the 3-volume Asterisque on singularities and rep theory (and maybe even his recent D-modules book). B&D talk in terms of crystalline O^x gerbes rather than C^x gerbes but the story is the same.