Namespaces
Variants
Actions

Difference between revisions of "D-module"

From Encyclopedia of Mathematics
Jump to: navigation, search
(fix tex)
m (fixing spaces)
Line 11: Line 11:
 
{{TEX|done}}
 
{{TEX|done}}
  
The theory of  $  D $-
+
The theory of  $  D $-modules is an algebraic formalism of the theory of linear partial differential equations (cf. [[Linear partial differential equation|Linear partial differential equation]]). It is concerned with modules over rings of differential operators (cf. [[Module|Module]]) and has been developed by I.N. Bernstein, J.-E. Björk, M. Kashiwara, T. Kawai, B. Malgrange, Z. Mebkhout, and others. Lately the theory of  $  D $-modules has found applications in several parts of mathematics, e.g., [[Cohomology|cohomology]] of singular spaces, [[Hodge structure|Hodge structure]] on intersection cohomology, singularity theory (cf. [[Singularities of differentiable mappings|Singularities of differentiable mappings]]), [[Gauss–Manin connection|Gauss–Manin connection]], [[Representation theory|representation theory]], and Kazhdan–Lusztig conjectures. Two survey articles on the theory of  $  D $-modules are [[#References|[a10]]] and [[#References|[a14]]]. There is a very elegant theory of  $  D $-modules in case the underlying manifolds are algebraic (cf. [[#References|[a4]]]). An illuminating account of the analytic theory may be found in [[#References|[a15]]] (cf. also [[#References|[a2]]], [[#References|[a3]]]). A powerful technique is to work microlocally and introduce microdifferential operators (cf. [[#References|[a7]]], [[#References|[a9]]], [[#References|[a18]]]). However, microlocal results related to  $  D $-modules will not be presented below.
modules is an algebraic formalism of the theory of linear partial differential equations (cf. [[Linear partial differential equation|Linear partial differential equation]]). It is concerned with modules over rings of differential operators (cf. [[Module|Module]]) and has been developed by I.N. Bernstein, J.-E. Björk, M. Kashiwara, T. Kawai, B. Malgrange, Z. Mebkhout, and others. Lately the theory of  $  D $-
 
modules has found applications in several parts of mathematics, e.g., [[Cohomology|cohomology]] of singular spaces, [[Hodge structure|Hodge structure]] on intersection cohomology, singularity theory (cf. [[Singularities of differentiable mappings|Singularities of differentiable mappings]]), [[Gauss–Manin connection|Gauss–Manin connection]], [[Representation theory|representation theory]], and Kazhdan–Lusztig conjectures. Two survey articles on the theory of  $  D $-
 
modules are [[#References|[a10]]] and [[#References|[a14]]]. There is a very elegant theory of  $  D $-
 
modules in case the underlying manifolds are algebraic (cf. [[#References|[a4]]]). An illuminating account of the analytic theory may be found in [[#References|[a15]]] (cf. also [[#References|[a2]]], [[#References|[a3]]]). A powerful technique is to work microlocally and introduce microdifferential operators (cf. [[#References|[a7]]], [[#References|[a9]]], [[#References|[a18]]]). However, microlocal results related to  $  D $-
 
modules will not be presented below.
 
  
 
Henceforth, let  $  X $
 
Henceforth, let  $  X $
Line 27: Line 22:
 
generated by  $  {\mathcal O} _ {X} $
 
generated by  $  {\mathcal O} _ {X} $
 
and  $  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $,  
 
and  $  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $,  
the sheaf of  $  \mathbf C $-
+
the sheaf of  $  \mathbf C $-linear derivations. Hence on a chart  $  U \subset  X $
linear derivations. Hence on a chart  $  U \subset  X $
 
 
with coordinates  $  x _ {1} \dots x _ {n} $
 
with coordinates  $  x _ {1} \dots x _ {n} $
 
an element  $  P \in \Gamma ( U , D _ {X} ) $
 
an element  $  P \in \Gamma ( U , D _ {X} ) $
Line 37: Line 31:
 
where  $  k $
 
where  $  k $
 
is a field of characteristic zero, then  $  \Gamma ( X , D _ {X} ) = k [ x _ {1} \dots x _ {n} ] [ \partial  _ {1} \dots \partial  _ {n} ] = A _ {n} ( k) $
 
is a field of characteristic zero, then  $  \Gamma ( X , D _ {X} ) = k [ x _ {1} \dots x _ {n} ] [ \partial  _ {1} \dots \partial  _ {n} ] = A _ {n} ( k) $
is the  $  n $-
+
is the  $  n $-th [[Weyl algebra|Weyl algebra]] over  $  k $.  
th [[Weyl algebra|Weyl algebra]] over  $  k $.  
 
 
The sheaf  $  D _ {X} $
 
The sheaf  $  D _ {X} $
 
is a [[Coherent sheaf|coherent sheaf]] of non-commutative left and right Noetherian rings (cf. [[#References|[a3]]]). The structure sheaf  $  {\mathcal O} _ {X} $
 
is a [[Coherent sheaf|coherent sheaf]] of non-commutative left and right Noetherian rings (cf. [[#References|[a3]]]). The structure sheaf  $  {\mathcal O} _ {X} $
becomes in a natural way a coherent left  $  D _ {X} $-
+
becomes in a natural way a coherent left  $  D _ {X} $-module. More generally, let  $  {\mathcal V} $
module. More generally, let  $  {\mathcal V} $
 
 
be a [[Vector bundle|vector bundle]] on  $  X $
 
be a [[Vector bundle|vector bundle]] on  $  X $
 
with an integrable [[Connection|connection]]  $  \nabla $.  
 
with an integrable [[Connection|connection]]  $  \nabla $.  
The  $  {\mathcal O} _ {X} $-
+
The  $  {\mathcal O} _ {X} $-structure on  $  {\mathcal V} $
structure on  $  {\mathcal V} $
+
extends to a left  $  D _ {X} $-module structure by putting  $  \xi \cdot v = \langle  \nabla _  \xi  , v \rangle $
extends to a left  $  D _ {X} $-
 
module structure by putting  $  \xi \cdot v = \langle  \nabla _  \xi  , v \rangle $
 
 
for all local sections  $  \xi \in  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $,  
 
for all local sections  $  \xi \in  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $,  
 
$  v \in {\mathcal V} $.  
 
$  v \in {\mathcal V} $.  
Conversely, each left  $  D _ {X} $-
+
Conversely, each left  $  D _ {X} $-module whose underlying  $  {\mathcal O} _ {X} $-module is coherent is of this form.
module whose underlying  $  {\mathcal O} _ {X} $-
 
module is coherent is of this form.
 
  
Usually one considers only left  $  D _ {X} $-
+
Usually one considers only left  $  D _ {X} $-modules. This is harmless as one can freely exchange left and right  $  D _ {X} $-modules. Namely, the  $  {\mathcal O} _ {X} $-module  $  \Omega _ {X}  ^ {n} $ ($  n =  \mathop{\rm dim}  X $)  
modules. This is harmless as one can freely exchange left and right  $  D _ {X} $-
 
modules. Namely, the  $  {\mathcal O} _ {X} $-
 
module  $  \Omega _ {X}  ^ {n} $(
 
$  n =  \mathop{\rm dim}  X $)  
 
 
of highest-order differential forms on  $  X $
 
of highest-order differential forms on  $  X $
carries a natural structure of a coherent right  $  D _ {X} $-
+
carries a natural structure of a coherent right  $  D _ {X} $-module: for all  $  \omega \in \Omega _ {X}  ^ {n} $,  
module: for all  $  \omega \in \Omega _ {X}  ^ {n} $,  
 
 
$  \xi \in  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $
 
$  \xi \in  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $
 
one puts  $  \omega \cdot \xi = - L _  \xi  \omega $,  
 
one puts  $  \omega \cdot \xi = - L _  \xi  \omega $,  
Line 68: Line 51:
 
denotes the [[Lie derivative|Lie derivative]] with respect to  $  \xi $.  
 
denotes the [[Lie derivative|Lie derivative]] with respect to  $  \xi $.  
 
Then  $  \Omega _ {X}  ^ {n} \otimes _ { {\mathcal O} _ {X}  } M $
 
Then  $  \Omega _ {X}  ^ {n} \otimes _ { {\mathcal O} _ {X}  } M $
has a right  $  D _ {X} $-
+
has a right  $  D _ {X} $-structure for any left  $  D _ {X} $-module  $  M $
structure for any left  $  D _ {X} $-
 
module  $  M $
 
 
and  $  \mathop{\rm Hom} _ { {\mathcal O} _ {X}  } ( \Omega _ {X}  ^ {n} , N ) $
 
and  $  \mathop{\rm Hom} _ { {\mathcal O} _ {X}  } ( \Omega _ {X}  ^ {n} , N ) $
has a left  $  D _ {X} $-
+
has a left  $  D _ {X} $-structure for any right  $  D _ {X} $-module  $  N $.
structure for any right  $  D _ {X} $-
 
module  $  N $.
 
  
 
Let  $  ( P _ {ij} ) $
 
Let  $  ( P _ {ij} ) $
be a  $  ( p \times q ) $-
+
be a  $  ( p \times q ) $-matrix with coefficients  $  P _ {ij} \in \Gamma ( X , D _ {X} ) $
matrix with coefficients  $  P _ {ij} \in \Gamma ( X , D _ {X} ) $
+
and consider the left  $  D _ {X} $-linear mapping  $  P :  D _ {X}  ^ {p} \rightarrow D _ {X}  ^ {q} $,  
and consider the left  $  D _ {X} $-
 
linear mapping  $  P :  D _ {X}  ^ {p} \rightarrow D _ {X}  ^ {q} $,  
 
 
defined by letting the matrix  $  ( P _ {ij} ) $
 
defined by letting the matrix  $  ( P _ {ij} ) $
 
act from the right on  $  D _ {X}  ^ {p} $.  
 
act from the right on  $  D _ {X}  ^ {p} $.  
 
Then  $  M =  \mathop{\rm Coker} ( P) $
 
Then  $  M =  \mathop{\rm Coker} ( P) $
is a coherent left  $  D _ {X} $-
+
is a coherent left  $  D _ {X} $-module. Clearly,  $  \mathop{\rm Hom} _ {D _ {X}  } ( M , {\mathcal O} _ {X} ) = \{ {f \in {\mathcal O} _ {X}  ^ {q} } : {\sum _ {j=1}  ^ {q} P _ {ij} f _ {j} = 0 } \} $.  
module. Clearly,  $  \mathop{\rm Hom} _ {D _ {X}  } ( M , {\mathcal O} _ {X} ) = \{ {f \in {\mathcal O} _ {X}  ^ {q} } : {\sum _ {j=1}  ^ {q} P _ {ij} f _ {j} = 0 } \} $.  
 
 
Thus, holomorphic solutions of the linear system  $  ( P _ {ij} ) u = 0 $
 
Thus, holomorphic solutions of the linear system  $  ( P _ {ij} ) u = 0 $
can be interpreted as elements of the  $  \mathbf C $-
+
can be interpreted as elements of the  $  \mathbf C $-vector space  $  \mathop{\rm Hom} _ {D _ {X}  } ( M, {\mathcal O} _ {X} ) $,  
vector space  $  \mathop{\rm Hom} _ {D _ {X}  } ( M, {\mathcal O} _ {X} ) $,  
 
 
and vice versa. This leads one to consider the derived solution complex  $  \textrm{ R }  \mathop{\rm Hom} _ {D _ {X}  } ( M , {\mathcal O} _ {X} ) $
 
and vice versa. This leads one to consider the derived solution complex  $  \textrm{ R }  \mathop{\rm Hom} _ {D _ {X}  } ( M , {\mathcal O} _ {X} ) $
for any left  $  D _ {X} $-
+
for any left  $  D _ {X} $-module  $  M $.  
module  $  M $.  
 
 
Identifying  $  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $
 
Identifying  $  \mathop{\rm Der} _ {\mathbf C }  ( {\mathcal O} _ {X} ) $
 
with a subsheaf of  $  D _ {X} $
 
with a subsheaf of  $  D _ {X} $
Line 99: Line 73:
  
 
==Operations on  $  D $-modules.==
 
==Operations on  $  D $-modules.==
For an adequate setting of the theory of  $  D $-
+
For an adequate setting of the theory of  $  D $-modules the machinery of derived categories and derived functors is indispensable. Denote by  $  \mathop{\rm Mod} ( D _ {X} ) $ (respectively,  $  \mathop{\rm Coh} ( D _ {X} ) $)  
modules the machinery of derived categories and derived functors is indispensable. Denote by  $  \mathop{\rm Mod} ( D _ {X} ) $(
+
the category of left (respectively, coherent)  $  D _ {X} $-modules. Denote by  $  \textrm{ D } ^ {\textrm{ b } } ( D _ {X} ) $
respectively,  $  \mathop{\rm Coh} ( D _ {X} ) $)  
+
the [[Derived category|derived category]] of bounded complexes of left  $  D _ {X} $-modules. Let  $  f :  X \rightarrow Y $
the category of left (respectively, coherent)  $  D _ {X} $-
 
modules. Denote by  $  \textrm{ D } ^ {\textrm{ b } } ( D _ {X} ) $
 
the [[Derived category|derived category]] of bounded complexes of left  $  D _ {X} $-
 
modules. Let  $  f :  X \rightarrow Y $
 
 
be a holomorphic mapping between complex analytic (or smooth algebraic) manifolds. Let  $  N $
 
be a holomorphic mapping between complex analytic (or smooth algebraic) manifolds. Let  $  N $
be a left  $  D _ {Y} $-
+
be a left  $  D _ {Y} $-module. The  $  {\mathcal O} _ {X} $-module  $  f ^ { * } N = {\mathcal O} _ {X} \otimes _ {f ^ { - 1 }  {\mathcal O} _ {Y} } f ^ { - 1 } N $
module. The  $  {\mathcal O} _ {X} $-
+
carries a natural left  $  D _ {X} $-structure. One puts  $  D _ {X \rightarrow Y }  = f ^ { * } D _ {Y} $.  
module  $  f ^ { * } N = {\mathcal O} _ {X} \otimes _ {f ^ { - 1 }  {\mathcal O} _ {Y} } f ^ { - 1 } N $
 
carries a natural left  $  D _ {X} $-
 
structure. One puts  $  D _ {X \rightarrow Y }  = f ^ { * } D _ {Y} $.  
 
 
This is a left  $  D _ {X} $-,  
 
This is a left  $  D _ {X} $-,  
right  $  f ^ { - 1 } D _ {Y} $-
+
right  $  f ^ { - 1 } D _ {Y} $-bimodule. The inverse image functor  $  L f ^ { * } $
bimodule. The inverse image functor  $  L f ^ { * } $
 
 
is then given by
 
is then given by
  
Line 127: Line 93:
  
 
Using the left-right principle yields a left  $  f ^ { - 1 } D _ {Y} $-,  
 
Using the left-right principle yields a left  $  f ^ { - 1 } D _ {Y} $-,  
right  $  D _ {X} $-
+
right  $  D _ {X} $-bimodule  $  D _ {Y \leftarrow X }  $.  
bimodule  $  D _ {Y \leftarrow X }  $.  
 
 
The direct image functor  $  f _ {+} $
 
The direct image functor  $  f _ {+} $
 
is then defined as
 
is then defined as
Line 152: Line 117:
 
which preserves coherency. In fact one has the following (Kashiwara's equivalence):  $  i _ {+} $
 
which preserves coherency. In fact one has the following (Kashiwara's equivalence):  $  i _ {+} $
 
establishes an equivalence between  $  \mathop{\rm Coh} ( D _ {X} ) $
 
establishes an equivalence between  $  \mathop{\rm Coh} ( D _ {X} ) $
and the category of coherent  $  D _ {Y} $-
+
and the category of coherent  $  D _ {Y} $-modules with support contained in  $  X $.  
modules with support contained in  $  X $.  
 
 
In case of a [[Submersion|submersion]]  $  \pi :  X \rightarrow Y $
 
In case of a [[Submersion|submersion]]  $  \pi :  X \rightarrow Y $
and a  $  D _ {X} $-
+
and a  $  D _ {X} $-module  $  M \in  \mathop{\rm Mod} ( D _ {X} ) $
module  $  M \in  \mathop{\rm Mod} ( D _ {X} ) $
 
 
the complex  $  \Omega _ {X/Y} ^ { \bullet } $
 
the complex  $  \Omega _ {X/Y} ^ { \bullet } $
 
of relative differential forms gives rise to the relative de Rham complex  $  \mathop{\rm DR} _ {X/Y} ( M) $.  
 
of relative differential forms gives rise to the relative de Rham complex  $  \mathop{\rm DR} _ {X/Y} ( M) $.  
Line 164: Line 127:
 
Let  $  Z \subset  X $
 
Let  $  Z \subset  X $
 
be a closed subvariety defined by an ideal  $  I \subset  {\mathcal O} _ {X} $.  
 
be a closed subvariety defined by an ideal  $  I \subset  {\mathcal O} _ {X} $.  
For any left  $  D _ {X} $-
+
For any left  $  D _ {X} $-module  $  M $
module  $  M $
 
 
define  $  \Gamma _ {[ Z ] }  M = \lim\limits _  \rightarrow    \mathop{\rm Hom} _ { {\mathcal O} _ {X}  } ( {\mathcal O} _ {X} / I  ^ {k} , M ) $.  
 
define  $  \Gamma _ {[ Z ] }  M = \lim\limits _  \rightarrow    \mathop{\rm Hom} _ { {\mathcal O} _ {X}  } ( {\mathcal O} _ {X} / I  ^ {k} , M ) $.  
It is the  $  D _ {X} $-
+
It is the  $  D _ {X} $-submodule of  $  M $
submodule of  $  M $
 
 
consisting of the sections annihilated by some power of  $  I $.  
 
consisting of the sections annihilated by some power of  $  I $.  
It is an analogue of the usual functor "sections with support" . Its  $  i $-
+
It is an analogue of the usual functor "sections with support" . Its  $  i $-th [[Derived functor|derived functor]] is often denoted by  $  {\mathcal H} _ {[ Z] }  ^ {i} $.  
th [[Derived functor|derived functor]] is often denoted by  $  {\mathcal H} _ {[ Z] }  ^ {i} $.  
 
 
Of course, in the algebraic category  $  \Gamma _ {[} Z] = \Gamma _ {Z} $.
 
Of course, in the algebraic category  $  \Gamma _ {[} Z] = \Gamma _ {Z} $.
  
Line 178: Line 138:
 
is filtered by the order of a differential operator. The associated graded  $  \mathop{\rm gr}  D _ {X} $
 
is filtered by the order of a differential operator. The associated graded  $  \mathop{\rm gr}  D _ {X} $
 
may be identified with the sheaf of holomorphic functions on  $  T  ^ {*} X $
 
may be identified with the sheaf of holomorphic functions on  $  T  ^ {*} X $
which are polynomial in the fibres. Since a coherent  $  D _ {X} $-
+
which are polynomial in the fibres. Since a coherent  $  D _ {X} $-module  $  M $
module  $  M $
 
 
is locally of finite presentation, it carries locally a so-called good filtration; cf. [[Filtered module|Filtered module]]. This gives rise, at least locally, to a coherent ideal in  $  \mathop{\rm gr}  D _ {X} $,  
 
is locally of finite presentation, it carries locally a so-called good filtration; cf. [[Filtered module|Filtered module]]. This gives rise, at least locally, to a coherent ideal in  $  \mathop{\rm gr}  D _ {X} $,  
 
namely the annihilator of  $  \mathop{\rm gr}  M $.  
 
namely the annihilator of  $  \mathop{\rm gr}  M $.  
Line 192: Line 151:
 
The cotangent bundle  $  T  ^ {*} X $
 
The cotangent bundle  $  T  ^ {*} X $
 
has the structure of a [[Symplectic manifold|symplectic manifold]]. The following basic result was proved by microlocal analysis by Kashiwara, Kawai and M. Sato at the conference in Katata, 1971: The characteristic variety  $  \mathop{\rm SS} ( M) $
 
has the structure of a [[Symplectic manifold|symplectic manifold]]. The following basic result was proved by microlocal analysis by Kashiwara, Kawai and M. Sato at the conference in Katata, 1971: The characteristic variety  $  \mathop{\rm SS} ( M) $
of a coherent  $  D _ {X} $-
+
of a coherent  $  D _ {X} $-module  $  M \neq 0 $
module  $  M \neq 0 $
 
 
is involutive. An algebraic proof was given by O. Gabber [[#References|[a5]]]. Instead of "involutive" one uses also "co-isotropic characteristic variety of a D-moduleco-isotropic" . Recall that an involutive subvariety  $  V $
 
is involutive. An algebraic proof was given by O. Gabber [[#References|[a5]]]. Instead of "involutive" one uses also "co-isotropic characteristic variety of a D-moduleco-isotropic" . Recall that an involutive subvariety  $  V $
 
of  $  T  ^ {*} X $
 
of  $  T  ^ {*} X $
 
has  $  \mathop{\rm dim}  V \geq  \mathop{\rm dim}  X $.  
 
has  $  \mathop{\rm dim}  V \geq  \mathop{\rm dim}  X $.  
 
If equality holds,  $  V $
 
If equality holds,  $  V $
is a [[Lagrangian manifold|Lagrangian manifold]]. Now a non-zero  $  D _ {X} $-
+
is a [[Lagrangian manifold|Lagrangian manifold]]. Now a non-zero  $  D _ {X} $-module is said to be holonomic if it is coherent and its characteristic variety is Lagrangian. The zero module is also defined to be holonomic. For instance, any vector bundle  $  {\mathcal V} $
module is said to be holonomic if it is coherent and its characteristic variety is Lagrangian. The zero module is also defined to be holonomic. For instance, any vector bundle  $  {\mathcal V} $
 
 
with an integrable connection is holonomic since its characteristic variety is the zero-section of  $  T  ^ {*} X $.  
 
with an integrable connection is holonomic since its characteristic variety is the zero-section of  $  T  ^ {*} X $.  
 
Furthermore, its the Rham complex  $  \mathop{\rm DR} ( {\mathcal V} ) =  \mathop{\rm Ker} ( \nabla , {\mathcal V} ) $
 
Furthermore, its the Rham complex  $  \mathop{\rm DR} ( {\mathcal V} ) =  \mathop{\rm Ker} ( \nabla , {\mathcal V} ) $
 
is a local system on  $  X $.
 
is a local system on  $  X $.
  
The characteristic variety of a holonomic  $  D _ {X} $-
+
The characteristic variety of a holonomic  $  D _ {X} $-module  $  M $
module  $  M $
 
 
is of the form  $  \mathop{\rm SS} ( M) = \cup _  \alpha  {T _ {S _  \alpha  }  ^ {*} X } bar $,  
 
is of the form  $  \mathop{\rm SS} ( M) = \cup _  \alpha  {T _ {S _  \alpha  }  ^ {*} X } bar $,  
 
where  $  S _  \alpha  = \pi ( V _  \alpha  ) _ { \mathop{\rm reg}  } $,  
 
where  $  S _  \alpha  = \pi ( V _  \alpha  ) _ { \mathop{\rm reg}  } $,  
Line 212: Line 168:
 
and  $  \pi :  T  ^ {*} X \rightarrow X $
 
and  $  \pi :  T  ^ {*} X \rightarrow X $
 
denotes the projection. An important property of holonomic modules is the following result of Kashiwara (see, e.g., [[#References|[a7]]]), which says: The de Rham complex  $  \mathop{\rm DR} ( M) $
 
denotes the projection. An important property of holonomic modules is the following result of Kashiwara (see, e.g., [[#References|[a7]]]), which says: The de Rham complex  $  \mathop{\rm DR} ( M) $
of a holonomic  $  D _ {X} $-
+
of a holonomic  $  D _ {X} $-module  $  M $
module  $  M $
 
 
is constructible. Recall that a sheaf  $  F $
 
is constructible. Recall that a sheaf  $  F $
 
of vector spaces on  $  X $
 
of vector spaces on  $  X $
Line 220: Line 175:
 
to each stratum  $  S _  \alpha  $
 
to each stratum  $  S _  \alpha  $
 
is a local system. Denote by  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $
 
is a local system. Denote by  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $
the derived category of bounded complexes of sheaves of  $  \mathbf C $-
+
the derived category of bounded complexes of sheaves of  $  \mathbf C $-vector spaces with constructible cohomology. Also the solution complex of a holonomic  $  D _ {X} $-module  $  M $
vector spaces with constructible cohomology. Also the solution complex of a holonomic  $  D _ {X} $-
 
module  $  M $
 
 
is constructible since it is isomorphic to the Verdier dual (cf. [[Derived category|Derived category]]) of  $  \mathop{\rm DR} ( M) $.  
 
is constructible since it is isomorphic to the Verdier dual (cf. [[Derived category|Derived category]]) of  $  \mathop{\rm DR} ( M) $.  
 
(Cf. [[#References|[a12]]].)
 
(Cf. [[#References|[a12]]].)
  
 
==The Bernstein–Sato polynomial.==
 
==The Bernstein–Sato polynomial.==
The inverse image of a coherent  $  D _ {Y} $-
+
The inverse image of a coherent  $  D _ {Y} $-module  $  N $
module  $  N $
+
is not necessarily a coherent  $  D _ {X} $-module. However, if one assumes that  $  N $
is not necessarily a coherent  $  D _ {X} $-
 
module. However, if one assumes that  $  N $
 
 
is holonomic then  $  f ^ { * } N $
 
is holonomic then  $  f ^ { * } N $
 
is also holonomic and, in particular, coherent. Moreover, for each closed subvariety  $  Z \subset  X $
 
is also holonomic and, in particular, coherent. Moreover, for each closed subvariety  $  Z \subset  X $
and for every holonomic  $  D _ {X} $-
+
and for every holonomic  $  D _ {X} $-module  $  M $
module  $  M $
 
 
the local cohomology  $  H _ {[ Z ] }  ^ {j} M $
 
the local cohomology  $  H _ {[ Z ] }  ^ {j} M $
 
is holonomic for all  $  j $.  
 
is holonomic for all  $  j $.  
Closely related to this is the following statement, which has become one of the cornerstones of the theory of  $  D $-
+
Closely related to this is the following statement, which has become one of the cornerstones of the theory of  $  D $-modules. Let  $  f \in {\mathcal O} _ {X} $.  
modules. Let  $  f \in {\mathcal O} _ {X} $.  
 
 
There exists a non-zero polynomial  $  b ( s) $
 
There exists a non-zero polynomial  $  b ( s) $
 
and  $  P ( s) \in D _ {X} [ s ] $
 
and  $  P ( s) \in D _ {X} [ s ] $
 
such that  $  P ( s) f ^ { s+ 1 } = b ( s) f ^ { s } $.
 
such that  $  P ( s) f ^ { s+ 1 } = b ( s) f ^ { s } $.
  
The monic polynomial of lowest degree which satisfies this is called the Bernstein–Sato polynomial or the  $  b $-
+
The monic polynomial of lowest degree which satisfies this is called the Bernstein–Sato polynomial or the  $  b $-function  $  b _ {f} ( s) $
function  $  b _ {f} ( s) $
 
 
of  $  f $.  
 
of  $  f $.  
This result has been proved by Bernstein in the algebraic case and by Björk in the analytic case. Kashiwara proved that the roots of the  $  b $-
+
This result has been proved by Bernstein in the algebraic case and by Björk in the analytic case. Kashiwara proved that the roots of the  $  b $-function are rational numbers. If  $  f :  ( \mathbf C  ^ {n+1} , 0 ) \rightarrow ( \mathbf C , 0 ) $
function are rational numbers. If  $  f :  ( \mathbf C  ^ {n+1} , 0 ) \rightarrow ( \mathbf C , 0 ) $
 
 
is a germ of a holomorphic function, Malgrange proved that the set  $  \{ { \mathop{\rm exp} ( 2 \pi i \alpha ) } : {\alpha  \textrm{ a  root  of  }  b _ {f} ( s) } \} $
 
is a germ of a holomorphic function, Malgrange proved that the set  $  \{ { \mathop{\rm exp} ( 2 \pi i \alpha ) } : {\alpha  \textrm{ a  root  of  }  b _ {f} ( s) } \} $
contains all the eigen values of the monodromy in all dimensions. There is also the work of D. Barlet; for instance, in [[#References|[a1]]] he proves that the roots of the  $  b $-
+
contains all the eigen values of the monodromy in all dimensions. There is also the work of D. Barlet; for instance, in [[#References|[a1]]] he proves that the roots of the  $  b $-function produce poles of the meromorphic continuation of  $  | f | ^ {2 \lambda } $.  
function produce poles of the meromorphic continuation of  $  | f | ^ {2 \lambda } $.  
 
 
More precisely, if  $  \alpha $
 
More precisely, if  $  \alpha $
 
is a root of  $  b _ {f} ( s) $,  
 
is a root of  $  b _ {f} ( s) $,  
Line 257: Line 203:
 
is a pole of  $  | f | ^ {2 \lambda } $
 
is a pole of  $  | f | ^ {2 \lambda } $
 
for every non-negative integer  $  \nu $.  
 
for every non-negative integer  $  \nu $.  
Finally, the  $  b $-
+
Finally, the  $  b $-function is related to the [[Vanishing cycle|vanishing cycle]] functor of P. Deligne. For this see, e.g., [[#References|[a11]]].
function is related to the [[Vanishing cycle|vanishing cycle]] functor of P. Deligne. For this see, e.g., [[#References|[a11]]].
 
  
 
==Regular holonomic  $  D $-modules.==
 
==Regular holonomic  $  D $-modules.==
Line 273: Line 218:
 
The index  $  \chi $
 
The index  $  \chi $
 
is defined as  $  \chi ( A , {\mathcal F} ) = \sum (- 1)  ^ {i}  \mathop{\rm dim} _ {\mathbf C }  \mathop{\rm Ext} _ {D}  ^ {i} ( A , {\mathcal F} ) $.  
 
is defined as  $  \chi ( A , {\mathcal F} ) = \sum (- 1)  ^ {i}  \mathop{\rm dim} _ {\mathbf C }  \mathop{\rm Ext} _ {D}  ^ {i} ( A , {\mathcal F} ) $.  
See, for instance, [[#References|[a4]]], Chapts. 3, 4. The notion of regularity has been generalized to higher dimensions by Deligne. Generalizations to  $  D $-
+
See, for instance, [[#References|[a4]]], Chapts. 3, 4. The notion of regularity has been generalized to higher dimensions by Deligne. Generalizations to  $  D $-modules are due to Kashiwara, Mebkhout, Oshima, and J.-P. Ramis. There are various equivalent definitions of regularity in the literature, of which the following is given here: A holonomic  $  D _ {X} $-module  $  M $
modules are due to Kashiwara, Mebkhout, Oshima, and J.-P. Ramis. There are various equivalent definitions of regularity in the literature, of which the following is given here: A holonomic  $  D _ {X} $-
 
module  $  M $
 
 
is said to have regular singularities if  $  \chi ( M _ {x} , {\mathcal O} _ {X,x }  ) = \chi ( M _ {x} , \widehat{ {\mathcal O} }  _ {X ,x }  ) $
 
is said to have regular singularities if  $  \chi ( M _ {x} , {\mathcal O} _ {X,x }  ) = \chi ( M _ {x} , \widehat{ {\mathcal O} }  _ {X ,x }  ) $
 
for all  $  x \in X $.
 
for all  $  x \in X $.
Line 282: Line 225:
 
be a smooth algebraic variety and let  $  j :  X \rightarrow \overline{X}\; $
 
be a smooth algebraic variety and let  $  j :  X \rightarrow \overline{X}\; $
 
be a smooth completion. Let  $  M $
 
be a smooth completion. Let  $  M $
be a holonomic  $  D _ {X} $-
+
be a holonomic  $  D _ {X} $-module. Then  $  M $
module. Then  $  M $
 
 
is regular if and only if  $  j _ {*} M $
 
is regular if and only if  $  j _ {*} M $
 
is regular. Via GAGA this amounts to the regularity of  $  ( j _ {*} M ) ^ {\textrm{ an } } $
 
is regular. Via GAGA this amounts to the regularity of  $  ( j _ {*} M ) ^ {\textrm{ an } } $
Line 289: Line 231:
 
the underlying complex analytic manifold. In the algebraic case regularity is preserved under direct or inverse images. In the analytic case the direct image functor preserves regular holonomicity under proper mappings (cf. [[#References|[a9]]]). See [[#References|[a6]]] for a result on the non-proper case. The inverse image functor preserves regularity. For any closed subspace  $  Z \subset  X $
 
the underlying complex analytic manifold. In the algebraic case regularity is preserved under direct or inverse images. In the analytic case the direct image functor preserves regular holonomicity under proper mappings (cf. [[#References|[a9]]]). See [[#References|[a6]]] for a result on the non-proper case. The inverse image functor preserves regularity. For any closed subspace  $  Z \subset  X $
 
and any  $  M $
 
and any  $  M $
a regular holonomic  $  D _ {X} $-
+
a regular holonomic  $  D _ {X} $-module  $  H _ {[ Z] }  ^ {j} ( M) $
module  $  H _ {[ Z] }  ^ {j} ( M) $
 
 
has regular singularities for all  $  j $.
 
has regular singularities for all  $  j $.
  
Line 298: Line 239:
 
and  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $.  
 
and  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $.  
 
Here  $  \textrm{ D } _ { \mathop{\rm rh}  } ^ {\textrm{ b } } ( D _ {X} ) $
 
Here  $  \textrm{ D } _ { \mathop{\rm rh}  } ^ {\textrm{ b } } ( D _ {X} ) $
denotes the derived category of bounded complexes of  $  D _ {X} $-
+
denotes the derived category of bounded complexes of  $  D _ {X} $-modules with regular holonomic cohomology. This result is independently due to Kashiwara, Kawai (cf. [[#References|[a8]]], [[#References|[a9]]]) and Mebkhout [[#References|[a13]]]. It is tacitly assumed here that  $  X $
modules with regular holonomic cohomology. This result is independently due to Kashiwara, Kawai (cf. [[#References|[a8]]], [[#References|[a9]]]) and Mebkhout [[#References|[a13]]]. It is tacitly assumed here that  $  X $
 
 
is analytic. In the algebraic case  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $
 
is analytic. In the algebraic case  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X) $
has to replaced by  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X ^ {\textrm{ an } } ) $(
+
has to replaced by  $  \textrm{ D } _ {\textrm{ c } }  ^ {\textrm{ b } } ( X ^ {\textrm{ an } } ) $ (cf. [[#References|[a4]]]). This correspondence is one of the highlights in the theory of  $  D $-modules. It establishes a bridge between analytic objects (regular holonomic  $  D $-modules) and geometric ones (constructible sheaves).
cf. [[#References|[a4]]]). This correspondence is one of the highlights in the theory of  $  D $-
 
modules. It establishes a bridge between analytic objects (regular holonomic  $  D $-
 
modules) and geometric ones (constructible sheaves).
 
  
 
==Perverse sheaves.==
 
==Perverse sheaves.==
Line 312: Line 249:
 
and  $  \textrm{ codim  supp  } ( H  ^ {i} ( F ^ { \bullet } ) ) \geq  i $;  
 
and  $  \textrm{ codim  supp  } ( H  ^ {i} ( F ^ { \bullet } ) ) \geq  i $;  
 
2) the Verdier dual  $  ( F ^ { \bullet } )  ^ {*} $
 
2) the Verdier dual  $  ( F ^ { \bullet } )  ^ {*} $
also satisfies 1). Then the Riemann–Hilbert correspondence induces an equivalence between the category of regular holonomic  $  D _ {X} $-
+
also satisfies 1). Then the Riemann–Hilbert correspondence induces an equivalence between the category of regular holonomic  $  D _ {X} $-modules and the category of perverse sheaves on  $  X $.  
modules and the category of perverse sheaves on  $  X $.  
 
 
An example of a perverse sheaf is the intersection cohomology complex  $  I C _ {Y} ^ { \bullet } $,  
 
An example of a perverse sheaf is the intersection cohomology complex  $  I C _ {Y} ^ { \bullet } $,  
 
where  $  Y \subset  X $
 
where  $  Y \subset  X $
 
is a closed analytic subspace. In case  $  Y $
 
is a closed analytic subspace. In case  $  Y $
 
is projective it has been conjectured that the intersection cohomology groups  $  I H ^ { \bullet } ( Y) $
 
is projective it has been conjectured that the intersection cohomology groups  $  I H ^ { \bullet } ( Y) $
carry a pure Hodge structure. Using the framework of  $  D $-
+
carry a pure Hodge structure. Using the framework of  $  D $-modules this has been confirmed by M. Saito (cf. [[#References|[a16]]], [[#References|[a17]]]). He also gives an analytic proof of the decomposition theorem of Beilinson, Bernstein, Deligne, and Gabber.
modules this has been confirmed by M. Saito (cf. [[#References|[a16]]], [[#References|[a17]]]). He also gives an analytic proof of the decomposition theorem of Beilinson, Bernstein, Deligne, and Gabber.
 
  
 
====References====
 
====References====

Revision as of 06:48, 9 May 2022


The theory of $ D $-modules is an algebraic formalism of the theory of linear partial differential equations (cf. Linear partial differential equation). It is concerned with modules over rings of differential operators (cf. Module) and has been developed by I.N. Bernstein, J.-E. Björk, M. Kashiwara, T. Kawai, B. Malgrange, Z. Mebkhout, and others. Lately the theory of $ D $-modules has found applications in several parts of mathematics, e.g., cohomology of singular spaces, Hodge structure on intersection cohomology, singularity theory (cf. Singularities of differentiable mappings), Gauss–Manin connection, representation theory, and Kazhdan–Lusztig conjectures. Two survey articles on the theory of $ D $-modules are [a10] and [a14]. There is a very elegant theory of $ D $-modules in case the underlying manifolds are algebraic (cf. [a4]). An illuminating account of the analytic theory may be found in [a15] (cf. also [a2], [a3]). A powerful technique is to work microlocally and introduce microdifferential operators (cf. [a7], [a9], [a18]). However, microlocal results related to $ D $-modules will not be presented below.

Henceforth, let $ X $ denote a complex analytic manifold (cf. Complex manifold) or a smooth algebraic variety over $ \mathbf C $. Denote by $ {\mathcal O} _ {X} $ the structure sheaf of $ X $. The sheaf $ D _ {X} $ of differential operators on $ X $ is the subsheaf of $ \mathop{\rm End} _ {\mathbf C } ( {\mathcal O} _ {X} ) $ generated by $ {\mathcal O} _ {X} $ and $ \mathop{\rm Der} _ {\mathbf C } ( {\mathcal O} _ {X} ) $, the sheaf of $ \mathbf C $-linear derivations. Hence on a chart $ U \subset X $ with coordinates $ x _ {1} \dots x _ {n} $ an element $ P \in \Gamma ( U , D _ {X} ) $ can be written as a finite sum $ P = \sum a _ {i _ {1} \dots i _ {n} } \partial _ {1} ^ {i _ {1} } \dots \partial _ {n} ^ {i _ {n} } $, where $ a _ {i _ {1} \dots i _ {n} } \in \Gamma ( U , {\mathcal O} _ {X} ) $ and $ \partial _ {i} = \partial / {\partial x _ {i} } $. In particular in the algebraic case, being a bit more general, if $ X = \mathop{\rm Spec} k [ x _ {1} \dots x _ {n} ] $, where $ k $ is a field of characteristic zero, then $ \Gamma ( X , D _ {X} ) = k [ x _ {1} \dots x _ {n} ] [ \partial _ {1} \dots \partial _ {n} ] = A _ {n} ( k) $ is the $ n $-th Weyl algebra over $ k $. The sheaf $ D _ {X} $ is a coherent sheaf of non-commutative left and right Noetherian rings (cf. [a3]). The structure sheaf $ {\mathcal O} _ {X} $ becomes in a natural way a coherent left $ D _ {X} $-module. More generally, let $ {\mathcal V} $ be a vector bundle on $ X $ with an integrable connection $ \nabla $. The $ {\mathcal O} _ {X} $-structure on $ {\mathcal V} $ extends to a left $ D _ {X} $-module structure by putting $ \xi \cdot v = \langle \nabla _ \xi , v \rangle $ for all local sections $ \xi \in \mathop{\rm Der} _ {\mathbf C } ( {\mathcal O} _ {X} ) $, $ v \in {\mathcal V} $. Conversely, each left $ D _ {X} $-module whose underlying $ {\mathcal O} _ {X} $-module is coherent is of this form.

Usually one considers only left $ D _ {X} $-modules. This is harmless as one can freely exchange left and right $ D _ {X} $-modules. Namely, the $ {\mathcal O} _ {X} $-module $ \Omega _ {X} ^ {n} $ ($ n = \mathop{\rm dim} X $) of highest-order differential forms on $ X $ carries a natural structure of a coherent right $ D _ {X} $-module: for all $ \omega \in \Omega _ {X} ^ {n} $, $ \xi \in \mathop{\rm Der} _ {\mathbf C } ( {\mathcal O} _ {X} ) $ one puts $ \omega \cdot \xi = - L _ \xi \omega $, where $ L _ \xi $ denotes the Lie derivative with respect to $ \xi $. Then $ \Omega _ {X} ^ {n} \otimes _ { {\mathcal O} _ {X} } M $ has a right $ D _ {X} $-structure for any left $ D _ {X} $-module $ M $ and $ \mathop{\rm Hom} _ { {\mathcal O} _ {X} } ( \Omega _ {X} ^ {n} , N ) $ has a left $ D _ {X} $-structure for any right $ D _ {X} $-module $ N $.

Let $ ( P _ {ij} ) $ be a $ ( p \times q ) $-matrix with coefficients $ P _ {ij} \in \Gamma ( X , D _ {X} ) $ and consider the left $ D _ {X} $-linear mapping $ P : D _ {X} ^ {p} \rightarrow D _ {X} ^ {q} $, defined by letting the matrix $ ( P _ {ij} ) $ act from the right on $ D _ {X} ^ {p} $. Then $ M = \mathop{\rm Coker} ( P) $ is a coherent left $ D _ {X} $-module. Clearly, $ \mathop{\rm Hom} _ {D _ {X} } ( M , {\mathcal O} _ {X} ) = \{ {f \in {\mathcal O} _ {X} ^ {q} } : {\sum _ {j=1} ^ {q} P _ {ij} f _ {j} = 0 } \} $. Thus, holomorphic solutions of the linear system $ ( P _ {ij} ) u = 0 $ can be interpreted as elements of the $ \mathbf C $-vector space $ \mathop{\rm Hom} _ {D _ {X} } ( M, {\mathcal O} _ {X} ) $, and vice versa. This leads one to consider the derived solution complex $ \textrm{ R } \mathop{\rm Hom} _ {D _ {X} } ( M , {\mathcal O} _ {X} ) $ for any left $ D _ {X} $-module $ M $. Identifying $ \mathop{\rm Der} _ {\mathbf C } ( {\mathcal O} _ {X} ) $ with a subsheaf of $ D _ {X} $ enables one to construct the complex $ \Omega _ {X} ^ { \bullet } \otimes _ { {\mathcal O} _ {X} } M $. It is denoted by $ \mathop{\rm DR} ( M) $ and is called the de Rham complex of $ M $.

Operations on $ D $-modules.

For an adequate setting of the theory of $ D $-modules the machinery of derived categories and derived functors is indispensable. Denote by $ \mathop{\rm Mod} ( D _ {X} ) $ (respectively, $ \mathop{\rm Coh} ( D _ {X} ) $) the category of left (respectively, coherent) $ D _ {X} $-modules. Denote by $ \textrm{ D } ^ {\textrm{ b } } ( D _ {X} ) $ the derived category of bounded complexes of left $ D _ {X} $-modules. Let $ f : X \rightarrow Y $ be a holomorphic mapping between complex analytic (or smooth algebraic) manifolds. Let $ N $ be a left $ D _ {Y} $-module. The $ {\mathcal O} _ {X} $-module $ f ^ { * } N = {\mathcal O} _ {X} \otimes _ {f ^ { - 1 } {\mathcal O} _ {Y} } f ^ { - 1 } N $ carries a natural left $ D _ {X} $-structure. One puts $ D _ {X \rightarrow Y } = f ^ { * } D _ {Y} $. This is a left $ D _ {X} $-, right $ f ^ { - 1 } D _ {Y} $-bimodule. The inverse image functor $ L f ^ { * } $ is then given by

$$ L f ^ { * } N ^ { \bullet } = \ D _ {X \rightarrow Y } \otimes _ {f ^ { - 1 } D _ {Y} } ^ { L } f ^ { - 1 } N ^ { \bullet } $$

for all $ N ^ { \bullet } \in \textrm{ D } ^ {\textrm{ b } } ( D _ {Y} ) $.

Using the left-right principle yields a left $ f ^ { - 1 } D _ {Y} $-, right $ D _ {X} $-bimodule $ D _ {Y \leftarrow X } $. The direct image functor $ f _ {+} $ is then defined as

$$ f _ {+} M ^ { \bullet } = \ \textrm{ R } f _ {*} \left ( D _ {Y \leftarrow X } \otimes _ {D _ {X} } ^ { L } M ^ { \bullet } \right ) $$

for all $ M ^ { \bullet } \in \textrm{ D } ^ {\textrm{ b } } ( D _ {X} ) $.

Frequently one uses $ \int _ {f} M ^ { \bullet } $ to denote the direct image. In the algebraic category one has the following result: If $ g : Y \rightarrow Z $ is another morphism, then $ ( g f ) _ {+} = g _ {+} f _ {+} $. In the analytic category the same holds if $ f $ is proper.

In case of a closed imbedding $ i : X \rightarrow Y $ the direct image $ i _ {+} $ is an exact functor from $ \mathop{\rm Mod} ( D _ {X} ) $ to $ \mathop{\rm Mod} ( D _ {Y} ) $ which preserves coherency. In fact one has the following (Kashiwara's equivalence): $ i _ {+} $ establishes an equivalence between $ \mathop{\rm Coh} ( D _ {X} ) $ and the category of coherent $ D _ {Y} $-modules with support contained in $ X $. In case of a submersion $ \pi : X \rightarrow Y $ and a $ D _ {X} $-module $ M \in \mathop{\rm Mod} ( D _ {X} ) $ the complex $ \Omega _ {X/Y} ^ { \bullet } $ of relative differential forms gives rise to the relative de Rham complex $ \mathop{\rm DR} _ {X/Y} ( M) $. The direct image is then $ \pi _ {+} M = \textrm{ R } \pi _ {*} ( \mathop{\rm DR} _ {X/Y} ( M) ) [ d ] $, where $ d = \mathop{\rm dim} X - \mathop{\rm dim} Y $.

Let $ Z \subset X $ be a closed subvariety defined by an ideal $ I \subset {\mathcal O} _ {X} $. For any left $ D _ {X} $-module $ M $ define $ \Gamma _ {[ Z ] } M = \lim\limits _ \rightarrow \mathop{\rm Hom} _ { {\mathcal O} _ {X} } ( {\mathcal O} _ {X} / I ^ {k} , M ) $. It is the $ D _ {X} $-submodule of $ M $ consisting of the sections annihilated by some power of $ I $. It is an analogue of the usual functor "sections with support" . Its $ i $-th derived functor is often denoted by $ {\mathcal H} _ {[ Z] } ^ {i} $. Of course, in the algebraic category $ \Gamma _ {[} Z] = \Gamma _ {Z} $.

Holonomic $ D $-modules.

The sheaf $ D _ {X} $ is filtered by the order of a differential operator. The associated graded $ \mathop{\rm gr} D _ {X} $ may be identified with the sheaf of holomorphic functions on $ T ^ {*} X $ which are polynomial in the fibres. Since a coherent $ D _ {X} $-module $ M $ is locally of finite presentation, it carries locally a so-called good filtration; cf. Filtered module. This gives rise, at least locally, to a coherent ideal in $ \mathop{\rm gr} D _ {X} $, namely the annihilator of $ \mathop{\rm gr} M $. It turns out that its radical does not depend on the filtration, so patches together and yields a radical homogeneous ideal in $ {\mathcal O} _ {T ^ {*} X } $. Its locus defines a closed conic subvariety $ \mathop{\rm SS} ( M) $ of $ T ^ {*} X $, called the singular support or the characteristic variety of $ M $. Closely related is the characteristic cycle $ \mathop{\rm char} ( M) $. This is the formal linear combination of the irreducible components of $ \mathop{\rm SS} ( M) $ counted with their multiplicities.

The cotangent bundle $ T ^ {*} X $ has the structure of a symplectic manifold. The following basic result was proved by microlocal analysis by Kashiwara, Kawai and M. Sato at the conference in Katata, 1971: The characteristic variety $ \mathop{\rm SS} ( M) $ of a coherent $ D _ {X} $-module $ M \neq 0 $ is involutive. An algebraic proof was given by O. Gabber [a5]. Instead of "involutive" one uses also "co-isotropic characteristic variety of a D-moduleco-isotropic" . Recall that an involutive subvariety $ V $ of $ T ^ {*} X $ has $ \mathop{\rm dim} V \geq \mathop{\rm dim} X $. If equality holds, $ V $ is a Lagrangian manifold. Now a non-zero $ D _ {X} $-module is said to be holonomic if it is coherent and its characteristic variety is Lagrangian. The zero module is also defined to be holonomic. For instance, any vector bundle $ {\mathcal V} $ with an integrable connection is holonomic since its characteristic variety is the zero-section of $ T ^ {*} X $. Furthermore, its the Rham complex $ \mathop{\rm DR} ( {\mathcal V} ) = \mathop{\rm Ker} ( \nabla , {\mathcal V} ) $ is a local system on $ X $.

The characteristic variety of a holonomic $ D _ {X} $-module $ M $ is of the form $ \mathop{\rm SS} ( M) = \cup _ \alpha {T _ {S _ \alpha } ^ {*} X } bar $, where $ S _ \alpha = \pi ( V _ \alpha ) _ { \mathop{\rm reg} } $, the $ V _ \alpha $ are the irreducible components of $ \mathop{\rm SS} ( M) $ and $ \pi : T ^ {*} X \rightarrow X $ denotes the projection. An important property of holonomic modules is the following result of Kashiwara (see, e.g., [a7]), which says: The de Rham complex $ \mathop{\rm DR} ( M) $ of a holonomic $ D _ {X} $-module $ M $ is constructible. Recall that a sheaf $ F $ of vector spaces on $ X $ is called constructible if there exists a stratification $ X = \cup _ \alpha S _ \alpha $ such that the restriction of $ F $ to each stratum $ S _ \alpha $ is a local system. Denote by $ \textrm{ D } _ {\textrm{ c } } ^ {\textrm{ b } } ( X) $ the derived category of bounded complexes of sheaves of $ \mathbf C $-vector spaces with constructible cohomology. Also the solution complex of a holonomic $ D _ {X} $-module $ M $ is constructible since it is isomorphic to the Verdier dual (cf. Derived category) of $ \mathop{\rm DR} ( M) $. (Cf. [a12].)

The Bernstein–Sato polynomial.

The inverse image of a coherent $ D _ {Y} $-module $ N $ is not necessarily a coherent $ D _ {X} $-module. However, if one assumes that $ N $ is holonomic then $ f ^ { * } N $ is also holonomic and, in particular, coherent. Moreover, for each closed subvariety $ Z \subset X $ and for every holonomic $ D _ {X} $-module $ M $ the local cohomology $ H _ {[ Z ] } ^ {j} M $ is holonomic for all $ j $. Closely related to this is the following statement, which has become one of the cornerstones of the theory of $ D $-modules. Let $ f \in {\mathcal O} _ {X} $. There exists a non-zero polynomial $ b ( s) $ and $ P ( s) \in D _ {X} [ s ] $ such that $ P ( s) f ^ { s+ 1 } = b ( s) f ^ { s } $.

The monic polynomial of lowest degree which satisfies this is called the Bernstein–Sato polynomial or the $ b $-function $ b _ {f} ( s) $ of $ f $. This result has been proved by Bernstein in the algebraic case and by Björk in the analytic case. Kashiwara proved that the roots of the $ b $-function are rational numbers. If $ f : ( \mathbf C ^ {n+1} , 0 ) \rightarrow ( \mathbf C , 0 ) $ is a germ of a holomorphic function, Malgrange proved that the set $ \{ { \mathop{\rm exp} ( 2 \pi i \alpha ) } : {\alpha \textrm{ a root of } b _ {f} ( s) } \} $ contains all the eigen values of the monodromy in all dimensions. There is also the work of D. Barlet; for instance, in [a1] he proves that the roots of the $ b $-function produce poles of the meromorphic continuation of $ | f | ^ {2 \lambda } $. More precisely, if $ \alpha $ is a root of $ b _ {f} ( s) $, then there exists an integer $ N $ such that $ \alpha - N - \nu $ is a pole of $ | f | ^ {2 \lambda } $ for every non-negative integer $ \nu $. Finally, the $ b $-function is related to the vanishing cycle functor of P. Deligne. For this see, e.g., [a11].

Regular holonomic $ D $-modules.

The notion of regular singularities is classical in the one-dimensional case (cf. Regular singular point). Recall that a differential operator $ P = a _ {0} \partial ^ {m} + \dots + a _ {m} $, $ a _ {0} \neq 0 $, defined in a neighbourhood of 0 in $ \mathbf C $ is said to have a regular singularity at $ 0 $ if the multi-valued solutions of the differential equation $ P u = 0 $ have a moderate growth. By a classical theorem of Fuchs this is equivalent to $ \mathop{\rm ord} ( a _ {i} / a _ {0} ) \geq - i $ for all $ i $. An equivalent formulation due to Malgrange is that $ \chi ( P , {\mathcal O} ) = \chi ( P , \widehat{ {\mathcal O} } ) $, where $ \widehat{ {\mathcal O} } $ is the formal completion of $ {\mathcal O} = \mathbf C \{ z \} $. The index $ \chi $ is defined as $ \chi ( A , {\mathcal F} ) = \sum (- 1) ^ {i} \mathop{\rm dim} _ {\mathbf C } \mathop{\rm Ext} _ {D} ^ {i} ( A , {\mathcal F} ) $. See, for instance, [a4], Chapts. 3, 4. The notion of regularity has been generalized to higher dimensions by Deligne. Generalizations to $ D $-modules are due to Kashiwara, Mebkhout, Oshima, and J.-P. Ramis. There are various equivalent definitions of regularity in the literature, of which the following is given here: A holonomic $ D _ {X} $-module $ M $ is said to have regular singularities if $ \chi ( M _ {x} , {\mathcal O} _ {X,x } ) = \chi ( M _ {x} , \widehat{ {\mathcal O} } _ {X ,x } ) $ for all $ x \in X $.

Note that in the algebraic category one requires that the points "at infinity" are regular. (Cf. [a4], Chapt. 7 for a definition due to Bernstein.) Let $ X $ be a smooth algebraic variety and let $ j : X \rightarrow \overline{X}\; $ be a smooth completion. Let $ M $ be a holonomic $ D _ {X} $-module. Then $ M $ is regular if and only if $ j _ {*} M $ is regular. Via GAGA this amounts to the regularity of $ ( j _ {*} M ) ^ {\textrm{ an } } $ on $ ( \overline{X}\; ) ^ {\textrm{ an } } $, the underlying complex analytic manifold. In the algebraic case regularity is preserved under direct or inverse images. In the analytic case the direct image functor preserves regular holonomicity under proper mappings (cf. [a9]). See [a6] for a result on the non-proper case. The inverse image functor preserves regularity. For any closed subspace $ Z \subset X $ and any $ M $ a regular holonomic $ D _ {X} $-module $ H _ {[ Z] } ^ {j} ( M) $ has regular singularities for all $ j $.

The Riemann–Hilbert correspondence.

It asserts that: The de Rham functor $ \mathop{\rm DR} $ establishes an equivalence of categories between $ \textrm{ D } _ { \mathop{\rm rh} } ^ {\textrm{ b } } ( D _ {X} ) $ and $ \textrm{ D } _ {\textrm{ c } } ^ {\textrm{ b } } ( X) $. Here $ \textrm{ D } _ { \mathop{\rm rh} } ^ {\textrm{ b } } ( D _ {X} ) $ denotes the derived category of bounded complexes of $ D _ {X} $-modules with regular holonomic cohomology. This result is independently due to Kashiwara, Kawai (cf. [a8], [a9]) and Mebkhout [a13]. It is tacitly assumed here that $ X $ is analytic. In the algebraic case $ \textrm{ D } _ {\textrm{ c } } ^ {\textrm{ b } } ( X) $ has to replaced by $ \textrm{ D } _ {\textrm{ c } } ^ {\textrm{ b } } ( X ^ {\textrm{ an } } ) $ (cf. [a4]). This correspondence is one of the highlights in the theory of $ D $-modules. It establishes a bridge between analytic objects (regular holonomic $ D $-modules) and geometric ones (constructible sheaves).

Perverse sheaves.

A constructible sheaf $ F ^ { \bullet } \in \textrm{ D } _ {\textrm{ c } } ^ {\textrm{ b } } ( X) $ is called a perverse sheaf if 1) $ H ^ {i} ( F ^ { \bullet } ) = 0 $ for $ i < 0 $ and $ \textrm{ codim supp } ( H ^ {i} ( F ^ { \bullet } ) ) \geq i $; 2) the Verdier dual $ ( F ^ { \bullet } ) ^ {*} $ also satisfies 1). Then the Riemann–Hilbert correspondence induces an equivalence between the category of regular holonomic $ D _ {X} $-modules and the category of perverse sheaves on $ X $. An example of a perverse sheaf is the intersection cohomology complex $ I C _ {Y} ^ { \bullet } $, where $ Y \subset X $ is a closed analytic subspace. In case $ Y $ is projective it has been conjectured that the intersection cohomology groups $ I H ^ { \bullet } ( Y) $ carry a pure Hodge structure. Using the framework of $ D $-modules this has been confirmed by M. Saito (cf. [a16], [a17]). He also gives an analytic proof of the decomposition theorem of Beilinson, Bernstein, Deligne, and Gabber.

References

[a1] D. Barlet, "Monodromie et pôles du prolongement méromorphe de $\int_X |f|^{2\lambda}$" Bull. Soc. Math. France , 114 (1986) pp. 247–269 MR0878239 Zbl 0652.32010
[a2] J.-E. Björk, "Analytic $D$-modules" , Kluwer (1993) MR1232191
[a3] J.-E. Björk, "Rings of differential operators" , North-Holland (1979) MR0549189 Zbl 0499.13009
[a4] A. Borel, et al., "Algebraic $D$-modules" , Acad. Press (1987) MR882000
[a5] O. Gabber, "The integrability of the characteristic variety" Amer. J. Math. , 103 (1981) pp. 445–468 MR0618321 Zbl 0492.16002
[a6] C. Houzel, P. Schapira, "Images directes de modules différentiels" C.R. Acad. Paris Sér. I Math. , 298 (1984) pp. 461–464 MR0750746 Zbl 0582.14004
[a7] M. Kashiwara, "Systems of microdifferential equations" , Birkhäuser (1983) (Translated from French) MR0725502 Zbl 0521.58057
[a8] M. Kashiwara, "The Riemann–Hilbert problem for holonomic systems" Publ. Res. Inst. Math. Sci. , 20 (1984) pp. 319–365 MR0743382 Zbl 0566.32023
[a9] M. Kashiwara, T. Kawai, "On the holonomic systems of micro-differential equations III" Publ. Res. Inst. Math. Sci. , 17 (1981) pp. 813–979
[a10] D.T. Lê, Z. Mebkhout, "Introduction to linear differential systems" P. Orlik (ed.) , Singularities , Proc. Symp. Pure Math. , 40.2 , Amer. Math. Soc. (1983) pp. 31–63 MR713237 Zbl 0521.14006
[a11] B. Malgrange, "Polynômes de Bernstein–Sato et cohomologie évanescente" Astérisque. Analyse et topologie sur les espaces singuliers (II-III) , 101–102 (1983) pp. 243–267 Zbl 0528.32007
[a12] Z. Mebkhout, "Théorèmes de bidualité locale pour les $D_X$-modules holonomes" Ark. Mat. , 20 (1982) pp. 111–124 MR660129
[a13] Z. Mebkhout, "Une autre équivalence de catégories" Compos. Math. , 51 (1984) pp. 63–88 MR0734785 Zbl 0566.32021
[a14] T. Oda, "Introduction to algebraic analysis on complex manifolds" S. Iitaka (ed.) , Algebraic varieties and analytic varieties , North-Holland (1983) pp. 29–48 MR0715644 Zbl 0512.14008
[a15] F. Pham, "Singularités des systèmes différentiels de Gauss–Manin" , Birkhäuser (1979) MR553954 Zbl 0524.32015
[a16] M. Saito, "Hodge structure via filtered $D$-modules" Astérisque. Systèmes différentiels et singularités , 130 (1985) pp. 342–351
[a17] M. Saito, "Modules de Hodge polarisables" Preprint RIMS , 553 (1986) MR1000123 Zbl 0691.14007
[a18] P. Schapira, "Microdifferential systems in the complex domain" , Springer (1985) MR0774228 Zbl 0554.32022
How to Cite This Entry:
D-module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=D-module&oldid=51290
This article was adapted from an original article by M.G.M. van Doorn (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article