Quasi-free divisors and duality (Q1433387): Difference between revisions
From MaRDI portal
Latest revision as of 17:05, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-free divisors and duality |
scientific article |
Statements
Quasi-free divisors and duality (English)
0 references
15 June 2004
0 references
Let us denote \(X= \mathbb{C}^n\) and \({\mathcal O}={\mathcal O}_X\) the sheaf of holomorphic, functions on \(X\). Let \(D\subset X\) be a divisor (i.e. a hypersurface) and \(p\in X\). Denote by \(\text{Der}({\mathcal O}_p)\) the \({\mathcal O}_p\)-module of \(\mathbb{C}\)-derivations of \({\mathcal O}_p\) (the elements in \(\text{Der}({\mathcal O}_p)\) are called vector fields). A vector field \(\delta\in\text{Der}({\mathcal O}_p)\) is said to be logarithmic with respect to \(D\) if \(\delta(f) =af\) for some \(a\in{\mathcal O}_p\), where \(f\) is a local equation of the germ \((D,p)\subset(X, p)\). The \({\mathcal O}_p\)-module of logarithmic vector fields is denoted by \(\text{Der}(-\log D)_p\) and it is a Lie algebra under the bracket product \([-,-]\). A divisor \(D\subset X\) is said to be locally quasihomogeneous (or simply LQH) if for all \(q\in D\) there exists a system of local coordinates \((V; x_1,\dots, x_n)\) centered at \(q\) such that \(D\cap V\) has a (strictly) weighted homogeneous defining equation with respect to \((x_1,\dots, x_n)\). Let us denote by \({\mathcal D}={\mathcal D}_X\) the sheaf of rings of linear differential operators with holomorphic coefficients on \(X\). A germ of divisor \((D,0)\) in \((\mathbb{C}^n,0)\) is called quasi-free if there exists an \({\mathcal O}\)-submodule \(\Theta(D)\subset\text{Der}(-\log D)\) of rank \(n\) satisfying: (a) \(\Theta(D)\) is a subalgebra of \(\text{Der}(-\log D)\); (b) there exists a basis \(\delta_1,\dots,\delta_n\), of \(\Theta(D)\) such that \(\delta_i= \sum_i a_{ij}\partial_j\) then \(\text{det}((a_{ij}))\) is an equation of \((D,0)\); (c) \({\mathcal D}\Theta(D)={\mathcal D}\text{\,Der}(-\log D)\). Suppose that there exists a free \({\mathcal O}\)-submodule of \(\text{Der}(-\log D)\) satisfying conditions (a) and (b). As \(\Theta(D)\) is also a Lie algebra one has a complex (of Spencer type) of \({\mathcal D}\)-modules denoted \((\text{Sp}^\bullet(\Theta(D)),\nabla)\). We denote by \(M^{\Theta(D)}={\mathcal D}/{\mathcal D}\Theta(D))\). The divisor \((D,0)\) is said to be of Spencer type (or just Spencer divisor) with respect to \(\Theta(D)\) if the following conditions hold: (i) The \({\mathcal D}\)-module \(M^{\Theta(D)}\) is holonomic; (ii) The Spencer complex \((\text{Sp}^\bullet(\Theta(D)),\nabla)\) is a free resolution of \(M^{\Theta(D)}\). The authors announce the following three theorems: 1. Let \((D,0)\subset (\mathbb{C}^n, 0)\) be a germ of Spencer divisor with respect to a free \({\mathcal O}\)-submodule \(\Theta(D)\) of \(\text{Der}(-\log D)\) satisfying conditions (a) and (b). Suppose \(f= f_1\cdots f_r\) is the decomposition of a reduced equation \(f\) of \((D,0)\) in irreducible factors. Let \(\{\delta_1,\dots, \delta_n\}\) be a basis of \(\Theta(D)\) where \(\delta_i= \sum^n_{k=1} a_{ik}\partial_k\) for some \(a_{ik}\in{\mathcal O}\). We denote \((a_{ik})= A\). \(\text{det}(A)= f^\alpha\) for some \(\alpha= (\alpha_1,\dots, \alpha_r)\in \mathbb{N}^r\), \(\alpha_i\geq 1\). \(\delta_i(f^\alpha)\), \(m_i\in {\mathcal O}\). \([\delta_i,\delta_j]= \sum^n_{k=1} c^{ij}_k\delta_k\), with \(c^{ij}_k\in {\mathcal O}\). Then \((M^{\Theta(D)})^*\simeq M^{\widetilde\Theta(f^\alpha)}\). (Here the dual \(M^*\) of a holonomic \({\mathcal D}\)-module \(M\) is the left \({\mathcal D}\)-module associated to the right \({\mathcal D}\)-module \(\text{Ext}^n_{\mathcal D}(M,{\mathcal D})\)). 2. If \(D\) is a LQH quasi-free divisor, then it is Spencer. 3. If \(D\equiv (f=0)\subset\mathbb{C}^n\) is a LQH quasi-free divisor, then the natural morphism \(\phi_{f^\alpha}:\widetilde M^{\log f^\alpha}\to {\mathcal D}{1\over f^\alpha}\) is an isomorphism. In particular \(M^{\log D}\) and \(\widetilde M^{\log f^\alpha}\) are regular holonomic.
0 references
logarithmic \(D\)-modules
0 references
duality
0 references
0 references