D-module

Last updated

In mathematics, a D-module is a module over a ring D of differential operators. The major interest of such D-modules is as an approach to the theory of linear partial differential equations. Since around 1970, D-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial.

Contents

Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara. The methods of D-module theory have always been drawn from sheaf theory and other techniques with inspiration from the work of Alexander Grothendieck in algebraic geometry. The approach is global in character, and differs from the functional analysis techniques traditionally used to study differential operators. The strongest results are obtained for over-determined systems (holonomic systems), and on the characteristic variety cut out by the symbols, which in the good case is a Lagrangian submanifold of the cotangent bundle of maximal dimension (involutive systems). The techniques were taken up from the side of the Grothendieck school by Zoghman Mebkhout, who obtained a general, derived category version of the Riemann–Hilbert correspondence in all dimensions.

Introduction: modules over the Weyl algebra

The first case of algebraic D-modules are modules over the Weyl algebra An(K) over a field K of characteristic zero. It is the algebra consisting of polynomials in the following variables

x1, ..., xn, ∂1, ..., ∂n.

where the variables xi and ∂j separately commute with each other, and xi and ∂j commute for ij, but the commutator satisfies the relation

[∂i, xi] = ∂ixi xii = 1.

For any polynomial f(x1, ..., xn), this implies the relation

[∂i, f] = ∂f / ∂xi,

thereby relating the Weyl algebra to differential equations.

An (algebraic) D-module is, by definition, a left module over the ring An(K). Examples for D-modules include the Weyl algebra itself (acting on itself by left multiplication), the (commutative) polynomial ring K[x1, ..., xn], where xi acts by multiplication and ∂j acts by partial differentiation with respect to xj and, in a similar vein, the ring of holomorphic functions on Cn (functions of n complex variables.)

Given some differential operator P = an(x) ∂n + ... + a1(x) ∂1 + a0(x), where x is a complex variable, ai(x) are polynomials, the quotient module M = A1(C)/A1(C)P is closely linked to space of solutions of the differential equation

P f = 0,

where f is some holomorphic function in C, say. The vector space consisting of the solutions of that equation is given by the space of homomorphisms of D-modules .

D-modules on algebraic varieties

The general theory of D-modules is developed on a smooth algebraic variety X defined over an algebraically closed field K of characteristic zero, such as K = C. The sheaf of differential operators DX is defined to be the OX-algebra generated by the vector fields on X, interpreted as derivations. A (left) DX-module M is an OX-module with a left action of DX on it. Giving such an action is equivalent to specifying a K-linear map

satisfying

(Leibniz rule)

Here f is a regular function on X, v and w are vector fields, m a local section of M, [, ] denotes the commutator. Therefore, if M is in addition a locally free OX-module, giving M a D-module structure is nothing else than equipping the vector bundle associated to M with a flat (or integrable) connection.

As the ring DX is noncommutative, left and right D-modules have to be distinguished. However, the two notions can be exchanged, since there is an equivalence of categories between both types of modules, given by mapping a left module M to the tensor product M ⊗ ΩX, where ΩX is the line bundle given by the highest exterior power of differential 1-forms on X. This bundle has a natural right action determined by

ωv := Liev (ω),

where v is a differential operator of order one, that is to say a vector field, ω a n-form (n = dim X), and Lie denotes the Lie derivative.

Locally, after choosing some system of coordinates x1, ..., xn (n = dim X) on X, which determine a basis ∂1, ..., ∂n of the tangent space of X, sections of DX can be uniquely represented as expressions

, where the are regular functions on X.

In particular, when X is the n-dimensional affine space, this DX is the Weyl algebra in n variables.

Many basic properties of D-modules are local and parallel the situation of coherent sheaves. This builds on the fact that DX is a locally free sheaf of OX-modules, albeit of infinite rank, as the above-mentioned OX-basis shows. A DX-module that is coherent as an OX-module can be shown to be necessarily locally free (of finite rank).

Functoriality

D-modules on different algebraic varieties are connected by pullback and pushforward functors comparable to the ones for coherent sheaves. For a map f: XY of smooth varieties, the definitions are this:

DXY := OXf1(OY)f1(DY)

This is equipped with a left DX action in a way that emulates the chain rule, and with the natural right action of f1(DY). The pullback is defined as

f(M) := DXYf1(DY)f1(M).

Here M is a left DY-module, while its pullback is a left module over X. This functor is right exact, its left derived functor is denoted Lf. Conversely, for a right DX-module N,

f(N) := f(NDXDXY)

is a right DY-module. Since this mixes the right exact tensor product with the left exact pushforward, it is common to set instead

f(N) := Rf(NLDXDXY).

Because of this, much of the theory of D-modules is developed using the full power of homological algebra, in particular derived categories.

Holonomic modules

Holonomic modules over the Weyl algebra

It can be shown that the Weyl algebra is a (left and right) Noetherian ring. Moreover, it is simple, that is to say, its only two-sided ideal are the zero ideal and the whole ring. These properties make the study of D-modules manageable. Notably, standard notions from commutative algebra such as Hilbert polynomial, multiplicity and length of modules carry over to D-modules. More precisely, DX is equipped with the Bernstein filtration, that is, the filtration such that FpAn(K) consists of K-linear combinations of differential operators xαβ with |α| + |β|  p (using multiindex notation). The associated graded ring is seen to be isomorphic to the polynomial ring in 2n indeterminates. In particular it is commutative.

Finitely generated D-modules M are endowed with so-called "good" filtrations FM, which are ones compatible with FAn(K), essentially parallel to the situation of the Artin–Rees lemma. The Hilbert polynomial is defined to be the numerical polynomial that agrees with the function

n ↦ dimKFnM

for large n. The dimension d(M) of an An(K)-module M is defined to be the degree of the Hilbert polynomial. It is bounded by the Bernstein inequality

nd(M) 2n.

A module whose dimension attains the least possible value, n, is called holonomic.

The A1(K)-module M = A1(K)/A1(K)P (see above) is holonomic for any nonzero differential operator P, but a similar claim for higher-dimensional Weyl algebras does not hold.

General definition

As mentioned above, modules over the Weyl algebra correspond to D-modules on affine space. The Bernstein filtration not being available on DX for general varieties X, the definition is generalized to arbitrary affine smooth varieties X by means of order filtration on DX, defined by the order of differential operators. The associated graded ring gr DX is given by regular functions on the cotangent bundle TX.

The characteristic variety is defined to be the subvariety of the cotangent bundle cut out by the radical of the annihilator of gr M, where again M is equipped with a suitable filtration (with respect to the order filtration on DX). As usual, the affine construction then glues to arbitrary varieties.

The Bernstein inequality continues to hold for any (smooth) variety X. While the upper bound is an immediate consequence of the above interpretation of gr DX in terms of the cotangent bundle, the lower bound is more subtle.

Properties and characterizations

Holonomic modules have a tendency to behave like finite-dimensional vector spaces. For example, their length is finite. Also, M is holonomic if and only if all cohomology groups of the complex Li(M) are finite-dimensional K-vector spaces, where i is the closed immersion of any point of X.

For any D-module M, the dual module is defined by

Holonomic modules can also be characterized by a homological condition: M is holonomic if and only if D(M) is concentrated (seen as an object in the derived category of D-modules) in degree 0. This fact is a first glimpse of Verdier duality and the Riemann–Hilbert correspondence. It is proven by extending the homological study of regular rings (especially what is related to global homological dimension) to the filtered ring DX.

Another characterization of holonomic modules is via symplectic geometry. The characteristic variety Ch(M) of any D-module M is, seen as a subvariety of the cotangent bundle TX of X, an involutive variety. The module is holonomic if and only if Ch(M) is Lagrangian.

Applications

One of the early applications of holonomic D-modules was the Bernstein–Sato polynomial.

Kazhdan–Lusztig conjecture

The Kazhdan–Lusztig conjecture was proved using D-modules.

Riemann–Hilbert correspondence

The Riemann–Hilbert correspondence establishes a link between certain D-modules and constructible sheaves. As such, it provided a motivation for introducing perverse sheaves.

Geometric representation theory

D-modules are also applied in geometric representation theory. A main result in this area is the Beilinson–Bernstein localization. It relates D-modules on flag varieties G/B to representations of the Lie algebra of a reductive group G. D-modules are also crucial in the formulation of the geometric Langlands program.

Related Research Articles

Differential operator Typically linear operator defined in terms of differentiation of functions

In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.

Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. Classically, the theory dealt with the question of explicit description of polynomial functions that do not change, or are invariant, under the transformations from a given linear group. For example, if we consider the action of the special linear group SLn on the space of n by n matrices by left multiplication, then the determinant is an invariant of this action because the determinant of A X equals the determinant of X, when A is in SLn.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

Linear differential equation Differential equations that are linear with respect to the unknown function and its derivatives

In mathematics, a linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form

In abstract algebra, the Weyl algebra is the ring of differential operators with polynomial coefficients, namely expressions of the form

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, the Bernstein–Sato polynomial is a polynomial related to differential operators, introduced independently by Joseph Bernstein (1971) and Mikio Sato and Takuro Shintani, Sato (1990). It is also known as the b-function, the b-polynomial, and the Bernstein polynomial, though it is not related to the Bernstein polynomials used in approximation theory. It has applications to singularity theory, monodromy theory, and quantum field theory.

In mathematics, and more specifically in analysis, a holonomic function is a smooth function of several variables that is a solution of a system of linear homogeneous differential equations with polynomial coefficients and satisfies a suitable dimension condition in terms of D-modules theory. More precisely, a holonomic function is an element of a holonomic module of smooth functions. Holonomic functions can also be described as differentiably finite functions, also known as D-finite functions. When a power series in the variables is the Taylor expansion of a holonomic function, the sequence of its coefficients, in one or several indices, is also called holonomic. Holonomic sequences are also called P-recursive sequences: they are defined recursively by multivariate recurrences satisfied by the whole sequence and by suitable specializations of it. The situation simplifies in the univariate case: any univariate sequence that satisfies a linear homogeneous recurrence relation with polynomial coefficients, or equivalently a linear homogeneous difference equation with polynomial coefficients, is holonomic.

In commutative algebra, the Hilbert function, the Hilbert polynomial, and the Hilbert series of a graded commutative algebra finitely generated over a field are three strongly related notions which measure the growth of the dimension of the homogeneous components of the algebra.

In the mathematical field of representation theory, a Kazhdan–Lusztig polynomial is a member of a family of integral polynomials introduced by David Kazhdan and George Lusztig (1979). They are indexed by pairs of elements y, w of a Coxeter group W, which can in particular be the Weyl group of a Lie group.

In mathematics, the term Riemann–Hilbert correspondence refers to the correspondence between regular singular flat connections on algebraic vector bundles and representations of the fundamental group, and more generally to one of several generalizations of this. The original setting appearing in Hilbert's twenty-first problem was for the Riemann sphere, where it was about the existence of systems of linear regular differential equations with prescribed monodromy representations. First the Riemann sphere may be replaced by an arbitrary Riemann surface and then, in higher dimensions, Riemann surfaces are replaced by complex manifolds of dimension > 1. There is a correspondence between certain systems of partial differential equations and possible monodromies of their solutions.

In mathematics, Hochschild homology is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Henri Cartan and Samuel Eilenberg (1956).

The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independent vector fields called a tetrad or vierbein. It is a special case of the more general idea of a vielbein formalism, which is set in (pseudo-)Riemannian geometry. This article as currently written makes frequent mention of general relativity; however, almost everything it says is equally applicable to (pseudo-)Riemannian manifolds in general, and even to spin manifolds. Most statements hold simply by substituting arbitrary for . In German, "vier" translates to "four", and "viel" to "many".

In mathematics the cotangent complex is roughly a universal linearization of a morphism of geometric or algebraic objects. They are defined in certain derived categories of sheaves for a space , or a morphism of spaces and control their deformation theory. Cotangent complexes were originally defined in special cases by a number of authors. Luc Illusie, Daniel Quillen, and M. André independently came up with a definition that works in all cases.

Noncommutative algebraic geometry

Noncommutative algebraic geometry is a branch of mathematics, and more specifically a direction in noncommutative geometry, that studies the geometric properties of formal duals of non-commutative algebraic objects such as rings as well as geometric objects derived from them.

In algebra, the Gelfand–Kirillov dimension of a right module M over a k-algebraA is:

In algebraic geometry, a derived scheme is a pair consisting of a topological space X and a sheaf of commutative ring spectra on X such that (1) the pair is a scheme and (2) is a quasi-coherent -module. The notion gives a homotopy-theoretic generalization of a scheme.

In algebra, the fixed-point subring of an automorphism f of a ring R is the subring of the fixed points of f:

In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics.

References