Skip to main content
MathOverflow

Return to Answer

added 20 characters in body
Source Link
asv
asv
  • 21.8k
  • 6
  • 54
  • 122

A possible way to describe the relation is as follows.

Let $G$ be a complex semi-simple group with the Lie algebra $\mathfrak{g}$, $B\subset G$ be a Borel subgroup, $X=G/B$ be the flag variety. Let $\mathcal{D}_X$ be the sheaf of rings of differential operators on $X$.

We have the $G$-equivariant moment map $\pi\colon T^*X\to \mathfrak{g}^*$. Let $M$ be a finitely generated $\mathfrak{g}$-module with trivial central character. Let $\mathcal{M}$ be the Beilinson-Bernstein localization of $M$; thus $\mathcal{M}$ is a sheaf of $\mathcal{D}_X$-modules. Then the characteristic variety $Ch(\mathcal{M})$ of $\mathcal{M}$ is a subvariety of $T^*X$, and the associated variety $V(M)$ of $M$ is a subvariety of $\mathfrak{g}^*$. The claim is that $$\pi(Ch(\mathcal{M}))=V(M).$$

This result can be found in Corollary in Section 1.9 of the paper Borho, W.; Brylinski, J.-L.; Differential operators on homogeneous spaces. III. Characteristic varieties of Harish-Chandra modules and of primitive ideals. Invent. Math. 80 (1985), no. 1, 1–68.

This paper contains also other relations between the two notions.

A possible way to describe the relation is as follows.

Let $G$ be a complex semi-simple group with the Lie algebra $\mathfrak{g}$, $B\subset G$ be a Borel subgroup, $X=G/B$ be the flag variety. Let $\mathcal{D}_X$ be the sheaf of rings of differential operators on $X$.

We have the $G$-equivariant moment map $\pi\colon T^*X\to \mathfrak{g}^*$. Let $M$ be a finitely generated $\mathfrak{g}$-module with trivial central character. Let $\mathcal{M}$ be the localization of $M$; thus $\mathcal{M}$ is a sheaf of $\mathcal{D}_X$-modules. Then the characteristic variety $Ch(\mathcal{M})$ of $\mathcal{M}$ is a subvariety of $T^*X$, and the associated variety $V(M)$ of $M$ is a subvariety of $\mathfrak{g}^*$. The claim is that $$\pi(Ch(\mathcal{M}))=V(M).$$

This result can be found in Corollary in Section 1.9 of the paper Borho, W.; Brylinski, J.-L.; Differential operators on homogeneous spaces. III. Characteristic varieties of Harish-Chandra modules and of primitive ideals. Invent. Math. 80 (1985), no. 1, 1–68.

This paper contains also other relations between the two notions.

A possible way to describe the relation is as follows.

Let $G$ be a complex semi-simple group with the Lie algebra $\mathfrak{g}$, $B\subset G$ be a Borel subgroup, $X=G/B$ be the flag variety. Let $\mathcal{D}_X$ be the sheaf of rings of differential operators on $X$.

We have the $G$-equivariant moment map $\pi\colon T^*X\to \mathfrak{g}^*$. Let $M$ be a finitely generated $\mathfrak{g}$-module with trivial central character. Let $\mathcal{M}$ be the Beilinson-Bernstein localization of $M$; thus $\mathcal{M}$ is a sheaf of $\mathcal{D}_X$-modules. Then the characteristic variety $Ch(\mathcal{M})$ of $\mathcal{M}$ is a subvariety of $T^*X$, and the associated variety $V(M)$ of $M$ is a subvariety of $\mathfrak{g}^*$. The claim is that $$\pi(Ch(\mathcal{M}))=V(M).$$

This result can be found in Corollary in Section 1.9 of the paper Borho, W.; Brylinski, J.-L.; Differential operators on homogeneous spaces. III. Characteristic varieties of Harish-Chandra modules and of primitive ideals. Invent. Math. 80 (1985), no. 1, 1–68.

This paper contains also other relations between the two notions.

Source Link
asv
asv
  • 21.8k
  • 6
  • 54
  • 122

A possible way to describe the relation is as follows.

Let $G$ be a complex semi-simple group with the Lie algebra $\mathfrak{g}$, $B\subset G$ be a Borel subgroup, $X=G/B$ be the flag variety. Let $\mathcal{D}_X$ be the sheaf of rings of differential operators on $X$.

We have the $G$-equivariant moment map $\pi\colon T^*X\to \mathfrak{g}^*$. Let $M$ be a finitely generated $\mathfrak{g}$-module with trivial central character. Let $\mathcal{M}$ be the localization of $M$; thus $\mathcal{M}$ is a sheaf of $\mathcal{D}_X$-modules. Then the characteristic variety $Ch(\mathcal{M})$ of $\mathcal{M}$ is a subvariety of $T^*X$, and the associated variety $V(M)$ of $M$ is a subvariety of $\mathfrak{g}^*$. The claim is that $$\pi(Ch(\mathcal{M}))=V(M).$$

This result can be found in Corollary in Section 1.9 of the paper Borho, W.; Brylinski, J.-L.; Differential operators on homogeneous spaces. III. Characteristic varieties of Harish-Chandra modules and of primitive ideals. Invent. Math. 80 (1985), no. 1, 1–68.

This paper contains also other relations between the two notions.