On Lisbon integrals

TL;DR

This paper introduces Lisbon Integrals, new complex integral transforms linked to polynomial root symmetric functions, and characterizes their associated differential systems, demonstrating their unique solutions and applications to exponential functions.

Contribution

It defines Lisbon Integrals, determines their differential equations, and explores their role as integral transforms in complex analysis and algebraic geometry.

Findings

Lisbon Integrals satisfy specific $\,\mathcal{D}$-modules.

They are the unique global solutions to these differential systems.

Application to exponential functions illustrates the transform's utility.

Abstract

We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations) the Lisbon Integrals satisfy and prove that they are their unique global solutions. If we specify a holomorphic function $f$ in the $z$-variable, our construction induces an integral transform which associates a regular holonomic module quotient of the sub-holonomic module we computed. We illustrate this correspondence in the case of a $1$-parameter family of exponentials $f_t(z) = exp(t z)$ with $t$ a complex parameter.

Equations

$${\Psi }_p(s_1,\dots ,s_k):=\sum _{P_s(z_j)=0}{z_j}^{p}f(z_j)\bar{g}(z_j)p\in [0,k-1]$$

$$Trace(z^{p}f(z)d{s}_1\wedge \cdots \wedge d{s}_{k-1}\wedge dz)=\left(\sum _{P_s(z_j)=0}\frac{{z_j}^{p}f(z_j)}{P_s^{\prime }(z_j)}\right)d{s}_1\wedge \cdots \wedge d{s}_k$$

$$s_k=(-1{)}^{k-1}\sum _{h=1}^k(-1{)}^h{s}_h{z}^{k-h}.$$

$$\pi :{\mathbb{C}}^{k+1}⟶{\mathbb{C}}^k,(s,z)\mapsto s$$

$$D{\pi }_{\ast }(B_{H|{\mathbb{C}}^{k+1}}{\stackrel{L}{\otimes }}_{{\mathcal{O}}_{{\mathbb{C}}^{k+1}}}\mathcal{L})\simeq D{\pi }_{\ast }({\mathcal{H}}_{[H]}^1(\mathcal{L}))\simeq (\pi {|}_H{)}_{\ast }{j}^{\ast }\mathcal{L}$$

$${\mathcal{L}}_f={\mathcal{D}}_{{\mathbb{C}}^{k+1}}/\mathcal{J}$$

$${\phi }_h(s):=\frac{1}{2i\pi }{\int }_{|\zeta |=R}\frac{f(\zeta ){\zeta }^{h}d\zeta }{P_s(\zeta )}.$$

$${\phi }_h(s)=\sum _{j=1}^k\frac{z_j^{h}f(z_j)}{P_s^{\prime }(z_j)}$$

$$\Phi (s)=\frac{1}{2i\pi }{\int }_{|\zeta |=R}\frac{f(\zeta )E(\zeta )d\zeta }{P_s(\zeta )}.$$

$$\Psi (s):=\frac{1}{2i\pi }{\int }_{|\zeta |=R}\frac{f(\zeta )E(\zeta )P_s^{\prime }(\zeta )d\zeta }{P_s(\zeta )}$$

$${\psi }_h(s)=\sum _{j=1}^k{z}_j^{h}f(z_j).$$

$$|{\phi }_h|⩽\frac{R^{h+1}}{(R-a{)}^{k-1}}$$

$$k{z}^{k-1}=P_s^{\prime }(z)-\sum _{h=1}^{k-1}(-1{)}^h(k-h)s_h{z}^{k-h-1}.$$

$$A:=\left(\begin{array}{cccccc}0& 1& 0& \cdots & & 0\\ 0& 0& 1& 0& \cdots & 0\\ & & & & & \\ 0& & \cdots & & & 0\\ & & & & & \\ & & & & & \\ 0& & \cdots & & 0& 1\\ (-1{)}^{k-1}{s}_k& \cdots & (-1{)}^{h-1}{s}_h& \cdots & \cdots & s_1\end{array}\right)$$

$$(-1{)}^{k+h}\frac{\partial \Phi }{\partial s_h}(s)=\frac{\partial (A^{k-h}\Phi )}{\partial s_k}(s)\forall s\in {\mathbb{C}}^k\mathrm{and}\forall h\in [1,k-1].$$

$$M:=\left(\begin{array}{cc}A& B\\ 0& A\end{array}\right).$$

$$M^p=\left(\begin{array}{cc}{A}^p& B_p\\ 0& A^p\end{array}\right)$$

$$\left(\begin{array}{cc}{A}^p& B_p\\ 0& A^p\end{array}\right)\left(\begin{array}{cc}A& B\\ 0& A\end{array}\right)=\left(\begin{array}{cc}{A}^{p+1}& A^{p}B+B_{p}A\\ 0& A^{p+1}\end{array}\right)$$

$$z^{p}E(z)=A^{p}E(z)+(-1{)}^{k-1}{P}_s(z)\frac{\partial (A^p)}{\partial s_k}E(z)$$

$${\Phi }_{zf}=A(s){\Phi }_f$$

$$P^{\prime}_{s}(z)E(z)=P^{\prime}_{s}(A)E(z)+(-1)^{k-1}P_{s}(z)\frac{\partial(P^{\prime}_{s}(A))}{\partial s_{k}}E(z).\$$

$$(-1{)}^{k-h}\frac{\partial A^p}{\partial s_h}=\frac{\partial A^p}{\partial s_k}{A}^{k-h}$$

$$(-1{)}^{k-h}\frac{\partial A^{p+1}}{\partial s_h}=(-1{)}^{k-h}\frac{\partial A^p}{\partial s_h}A+A^p(-1{)}^{k-h}\frac{\partial A}{\partial s_h}$$

$$\displaystyle\quad=\frac{\partial A^{p}}{\partial s_{k}}A^{k-h+1}+A^{p}\frac{\partial A}{\partial s_{k}}A^{k-h}=\frac{\partial A^{p+1}}{\partial s_{k}}A^{k-h}\$$

$$\frac{\partial \Phi }{\partial s_h}(s)=\frac{1}{2i\pi }{\int }_{|\zeta |=R}f(\zeta )E(\zeta )(-1{)}^{h+1}{\zeta }^{k-h}\frac{d\zeta }{P_s(\zeta {)}^2}\mathrm{and}\mathrm{in}\mathrm{particular}$$

$$\frac{\partial \Phi }{\partial s_k}(s)=\frac{1}{2i\pi }{\int }_{|\zeta |=R}f(\zeta )E(\zeta )(-1{)}^{k+1}\frac{d\zeta }{P_s(\zeta {)}^2}$$

$$\frac{\partial \Phi }{\partial s_h}=(-1{)}^{h+1}{A}^{k-h}(-1{)}^{k-1}\frac{\partial \Phi }{\partial s_k}+(-1{)}^{h+1}(-1{)}^{k-1}\frac{\partial A^{k-h}}{\partial s_k}\Phi$$

$$(-1{)}^{k+h}\frac{\partial \Phi }{\partial s_h}=\frac{\partial (A^{k-h}\Phi )}{\partial s_k}\forall h\in [1,k]$$

$$\displaystyle(-1)^{h+j}\frac{\partial^{2}\Phi}{\partial s_{j}\partial s_{h}}=(-1)^{k-j}\frac{\partial}{\partial s_{k}}\big{[}\frac{\partial(A^{k-h}\Phi)}{\partial s_{j}}\big{]}$$

$$\displaystyle\qquad=(-1)^{k-j}\frac{\partial}{\partial s_{k}}\big{[}\frac{\partial A^{k-h}}{\partial s_{j}}\Phi+A^{k-h}\frac{\partial\Phi}{\partial s_{j}}\big{]}$$

$$\displaystyle\qquad=\frac{\partial}{\partial s_{k}}\big{[}\frac{\partial A^{k-h}}{\partial s_{k}}A^{k-j}\Phi+A^{k-h}\frac{\partial(A^{k-j}\Phi)}{\partial s_{k}}\big{]}$$

$$\displaystyle\qquad=\frac{\partial^{2}}{\partial s_{k}^{2}}\big{[}A^{2k-h-j}\Phi\big{]}$$

$$(-1{)}^{k-h}\frac{\partial (A\Phi )}{\partial s_h}=(-1{)}^{k-h}\frac{\partial A}{\partial s_h}\Phi +(-1{)}^{k-h}A\frac{\partial \Phi }{\partial s_h}$$

Full text

1. 1 Introduction

2. 2 Lisbon Integrals and the differential system they satisfy

3. 2.a Lisbon integrals

4. 2.b The partial differential system

5. 2.c Example: The case $k=2$

6. 3 The left action of $\Gamma(\mathbb{C},\mathscr{D}_{\mathbb{C}})$ on Lisbon integrals

7. 4 The $\mathscr{D}_{\mathbb{C}^{k}}$-module associated to Lisbon Integrals

8. 4.a An example

1. Introduction

The main purpose of this paper is to understand the behaviour of functions obtained by integration of $\mathscr{C}^{\infty}-$forms on the fibers of a holomorphic proper fibration. This has been investigated by the first author in two extreme cases: when the basis is $1-$dimensional (see [4]) and when the fibers are finite (see [5]), but also by many authors in more general settings (see for instance [6], [14], [15]).

In the present paper we look at a simple but very interesting case where the fibers are the roots of the universal monic equation of degree $k$. The general result proved in [5] says that the singularity of these functions are controlled by regular holonomic $\mathscr{D}-$modules.

Our purpose it to give a precise answer in this special context. For instance, giving two entire functions $f$ and $g$ in $\mathscr{O}(\mathbb{C})$ we want to compute the regular holonomic system whose solutions are the $k-$uples of continuous functions on $\mathbb{C}^{k}$ given by

[TABLE]

where $P_{s}(z)=\sum_{h=0}^{k}(-1)^{h}s_{h}z^{k-h}$ is the universal monic polynomial of degree $k$.

As we are interested only in holomorphic derivative in $s$, the function $g$ is irrelevant for the $\mathscr{D}-$module we are interested in, but, more surprisingly, there exists a sub-holonomic $\mathscr{D}-$module of which all these $k-$uples of (continuous functions) are solutions ( in the sense of distributions).

We determine precisely this $\mathscr{D}-$module, via formula $(@@)$, for which it is useful to consider (in the simplest form, without $g$) the complex integral representation (4) of $\Psi_{P}$.

In order to make this computation, a main step is to introduce the trace of differential forms $f(z)ds_{1}\wedge\dots\wedge ds_{k-1}\wedge dz$ corresponding to the natural holomorphic volume forms on $H:=\{(s,z)\in\mathbb{C}^{k}\times\mathbb{C}\ /\ P_{s}(z)=0\}$ identified to $\mathbb{C}^{k}$ via the map $(s,z)\mapsto(s_{1},\dots,s_{k-1},z)$. These holomorphic traces111despite the ”denominators” in the formula

$Trace(z^{p}f(z)ds_{1}\wedge\dots\wedge ds_{k-1}\wedge dz)=\left(\sum_{P_{s}(z_{j})=0}\frac{{z_{j}}^{p}f(z_{j})}{P^{\prime}_{s}(z_{j})}\right)ds_{1}\wedge\dots\wedge ds_{k}$

theses forms have no singularity on the discriminant hypersurface $\{\Delta(s)=0\}$ in $\mathbb{C}^{k}$. have a very simple integral representation via the "Lisbon integrals" (see integral representation (3) below).

Here we explicit the $\mathscr{D}$ -modules of which (3) are (the unique) solutions via formula (@) showing that they derive from a very simple one by the usual functorial operations on $\mathscr{D}$-modules (inverse image and direct image) as follows:

Note that the hypersurface $H$ is also defined by the equation

[TABLE]

Let $j:H\subset\mathbb{C}^{k+1}$ denote the closed embedding and let $B_{H|\mathbb{C}^{k+1}}$ denote the regular holonomic $\mathscr{D}_{\mathbb{C}^{k+1}}$-module of holomorphic distributions supported by $H$. Since the restriction of the projection

[TABLE]

to $H$ is proper (with finite fibers), given a coherent $\mathscr{D}_{\mathbb{C}^{k+1}}$-module $\mathscr{L}$ non characteristic for $H$, following [13] we obtain a complex in $\operatorname{\mathsf{D}}^{\mathrm{b}}_{\mathrm{coh}}(\mathscr{D}_{\mathbb{C}^{k}})$, the integral transformed of $\mathscr{L}$, given by the composition of the usual derived functors of direct image and inverse image for $\mathscr{D}$-modules,

[TABLE]

Note that $B_{H|\mathbb{C}^{k+1}}=\mathscr{H}^{1}_{[H]}(\mathscr{O}_{\mathbb{C}^{k+1}})$ and that for such a module $\mathscr{L}$, we have, thanks to Kashiwara’s equivalence theorem (cf Th 4.1 and Prop 4.2, [9]), $\mathscr{H}^{1}_{[H]}(\mathscr{L})\simeq\mathscr{H}^{0}Dj_{*}Dj^{*}\mathscr{L}\simeq j_{*}j^{*}\mathscr{L}$.

We show that the $\mathscr{D}_{\mathbb{C}^{k}}$-module determined by all vector functions $\Phi_{f}$ given by the integral transform $(3)$ ($f$ varying in the space of holomorphic functions in the $z$-variable) is obtained as an integral transform in the sense of Kashiwara and Schapira ([13]) of a coherent $\mathscr{D}_{\mathbb{C}^{k+1}}$-module $\mathscr{L}$.

In this note $\mathscr{L}$ is the quotient of $\mathscr{D}_{\mathbb{C}^{k+1}}$ by the ideal generated by the partial derivatives in $s_{i}$, $i=1,\cdots,k$, hence the sheaf of solutions of $\mathscr{L}$ is $p^{-1}\mathscr{O}_{\mathbb{C}}$ where $p(s,z)=z$.

To simplify we shall keep the notation $\pi$ also for the restriction $\pi|_{H}$ of $\pi$ to $H$.

As a consequence, we show that Lisbon Integrals (3) are exactly the global solutions of $\pi_{*}j^{*}\mathscr{L}$.

Moreover, once an entire function $f$ is fixed, we can consider the regular holonomic $\mathscr{D}_{\mathbb{C}^{k+1}}$-module (denoted by $\mathscr{L}_{f}$) it defines:

[TABLE]

where $\mathscr{J}$ is the coherent ideal of $\mathscr{D}_{\mathbb{C}^{k+1}}$ of operators $P$ such that $Pf=0$; hence, according to [11, Th. 8.1], $\pi_{*}j^{*}\mathscr{L}_{f}$ is regular holonomic. We explicit this module in the case of the family $f_{t}(z)=e^{tz}$ where $t$ is a complex parameter.

*Since integrals (3) and (4) are strongly related as explained below, for the sake of simplicity we call both Lisbon Integrals.

We also prove that Lisbon integrals (4) are global solutions of another $\mathscr{D}_{\mathbb{C}^{k}}$-module $\widetilde{\mathscr{N}}$ which shares with the first this very simple relation:

Let $A(s)$ be the $(k,k)-$matrix companion of the unitary polynomial $P_{s}(z)$. Then if $\Phi$ is a solution of $\pi_{*}j^{*}\mathscr{L}$ then $\Psi=P^{\prime}_{s}(A(s)).\Phi$, where $P^{\prime}_{s}$ denotes the partial derivative of $P_{s}$ with respect to $z$, is a solution of $\widetilde{\mathscr{N}}$. Furthermore, this correspondence $\Phi\leftrightarrow\Psi$ is a bijection when restricting to the complementary of the discriminant hypersurface $\{\Delta(s)=0\}$.

Important features of the scalar components of Lisbon integrals are the following:

• •

They are common solutions of a particular sub-holonomic system. This aspect will be developed in another paper by the first author. Here we compute only the simplest case $k=2$.

• •

Each entire function $f$ determines a solution of $\widetilde{\mathscr{N}}$ which scalar component of order $h$ is the trace with respect to $\pi$ in the holomorphic sense of the function $f(z)z^{h}$ on $H$.

Last but not the least, these computations illustrate the fact that it is not so easy, even in a rather simple situation, to follow explicitly the computations hidden in the “yoga” of $\mathscr{D}$-module theory.

We warmly thank the referee for the many pertinent comments contributing to clarify this work.

2. Lisbon Integrals and the differential system they satisfy

2.a. Lisbon integrals

For $(z_{1},\dots,z_{k})\in\mathbb{C}^{k}$ denote $s_{1},\dots,s_{k}$ the elementary symmetric functions of $z_{1},\dots,z_{k}$. We shall consider in the sequel $s_{1},\dots,s_{k}$ as coordinates on \mathbb{C}^{k}\simeq\mathbb{C}^{k}\big{/}\mathfrak{S}_{k}, isomorphism given by the standard symmetric function theorem.

We shall denote $P_{s}(z):=\prod_{j=1}^{k}(z-z_{j})=\sum_{h=0}^{k}(-1)^{h}s_{h}z^{k-h}$ with the convention $s_{0}\equiv 1$.

We shall often write $P(s,z)$ instead of $P_{s}(z)$ with no risk of ambiguity.

The discriminant $\Delta(s)$ of $P_{s}$ is the polynomial in $s$ corresponding to the symmetric polynomial $\prod_{1\leqslant i<j\leqslant k}(z_{i}-z_{j})^{2}$ via the symmetric function theorem.

Lemma 2.1**.**

For $h\in\mathbb{N}$ and $f\in\mathscr{O}(\mathbb{C})$ any entire holomorphic function, let us define, for $R\gg||s||$,

[TABLE]

Then $\varphi_{h}(s)$ is independent of the choice of $R$ large enough and defines a holomorphic function on $\mathbb{C}^{k}$. For $\Delta(s)\not=0$ we have

[TABLE]

where $z_{1},\dots,z_{k}$ are the roots of $P_{s}(z)$.

Proof.

The independence on $R$ large enough when $s$ stays in a compact set of $\mathbb{C}^{n}$ is clear. For $s$ in the interior of a compact set, $P_{s}(\zeta)$ does not vanish on $\{|\zeta|=R\}$ for $R$ large enough, so we obtain the holomorphy of $\varphi_{h}$ near any point in $\mathbb{C}^{k}$. The formula $(2)$ is given by a direct application of the Residue’s theorem. $\hfill\blacksquare$

In fact, it will be convenient to consider the $k$ functions $\varphi_{0},\dots,\varphi_{k-1}$ as the component of a vector valued function $\Phi:=\begin{pmatrix}\varphi_{0}\\ \varphi_{1}\\ \dots\\ \varphi_{k-1}\end{pmatrix}$. Defining $E(z):=\begin{pmatrix}1\\ z\\ \dots\\ z^{k-1}\end{pmatrix}$ we obtain

[TABLE]

Definition 2.2**.**

We call $\Phi$ (sometimes also denoted by $\Phi_{f}$ when precision is required) the Lisbon Integral associated to $f$. The scalar components of $\Phi$, denoted by $\varphi_{h}$, $h=0,\cdots,k-1$, are called the scalar Lisbon Integrals. One also denote by $\varphi_{h}$ the functions constructed by the same formula, with $h\in\mathbb{N}$, still denominated by "scalar Lisbon Integrals".

It will be also interesting to introduce another type of integrals, still called Lisbon Integrals for the sake of simplicity:

[TABLE]

$\Psi$ will also be noted below by $\Psi_{f}$ when precision is required.

It is easy to see that this is again a vector valued holomorphic function on $\mathbb{C}^{k}$ and the Residue’s theorem entails that, for $\Delta(s)\not=0$, the component $\psi_{h}$ of $\Psi$ is given by:

[TABLE]

Proposition 2.3**.**

If $f$ is not identically zero then $\Phi$ and $\Psi$ are non zero vector-valued holomorphic functions on $\mathbb{C}^{k}$.

Proof.

Suppose that $f$ is non identically zero. Then the statement follows as an immediate consequence of the non vanishing of the Van der Monde determinant of $z_{1},\dots,z_{k}$ when these complex numbers are pair-wise distinct.$\hfill\blacksquare$

An example.

Take $f\equiv 1$. Then formula (5) shows that $\psi_{h}(s)$ is the $h-$th Newton symmetric functions of the roots of the polynomial $P_{s}$. So it is a quasi-homogeneous polynomial in $s$ of weight $h$ (the weight of $s_{j}$ is $j$ by definition).

Let us show that we have $\varphi_{h}(s)\equiv 0$ for $h\in[0,k-2]$ and $\varphi_{k-1}(s)\equiv 1$ in this case. For $h\in[0,k-2]$ the formula (1) gives the estimate (with $f\equiv 1$)

[TABLE]

if each root of $P_{s}$ is in the disc $\{|z|\leqslant a\}$ when $R>a>0$. When $R\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}+\infty$ this gives $\varphi_{h}(s)\equiv 0$ for $h\in[0,k-2]$.

For $h=k-1$ write

[TABLE]

This gives, using the previous case and formula (2), that $\varphi_{k-1}(s)\equiv 1$.

2.b. The partial differential system

Let us introduce the $(k,k)$ matrix $A$ (the companion matrix) associated to the polynomial $P_{s}$:

[TABLE]

Theorem 2.b.1**.**

The vector valued holomorphic function $\Phi$ on $\mathbb{C}^{k}$ satisfies the following differential system

[TABLE]

Moreover, this system is integrable222We shall explain in the proof what we mean here. and if $\Phi$ is a solution of this system, so is $A\Phi$.

The proof of this result will use several lemmas.

Lemma 2.4**.**

Let $A$ be a $(k,k)$ matrix with entries in $\mathbb{C}[x]$ and put $B:=\lambda\frac{\partial A}{\partial x}$ where $\lambda$ is a complex number. Let $M$ be the $(2k,2k)$ matrix given by

[TABLE]

Then for each $p\in\mathbb{N}$ we have

[TABLE]

where $B_{p}:=\lambda\frac{\partial(A^{p})}{\partial x}$.

Proof.

As the relation $({a})$ is clear for $p=0,1$ let us assume that it has been proved for $p$ and let us prove it for $p+1$. We have:

[TABLE]

which allows to conclude.$\hfill\blacksquare$

Corollary 2.b.2**.**

For each integer $p\in[0,k-1]$ the following equality holds in the module \mathbb{C}^{k}\otimes_{\mathbb{C}}\mathbb{C}[s_{1},\dots,s_{k},z]\big{/}(P^{2}) over the $\mathbb{C}-$algebra \mathbb{C}[s_{1},\dots,s_{k},z]\big{/}(P^{2})

[TABLE]

In particular, for any entire function $f$ (of the variable $z$), we have

[TABLE]

Moreover the following identity in the module \mathbb{C}^{k}\otimes_{\mathbb{C}}\mathbb{C}[s_{1},\dots,s_{k},z]\big{/}(P^{2}) holds

[TABLE]

Proof.

In the basis $1,z,\cdots,z^{k-1},P_{s}(z),zP_{s}(z),\cdots,z^{k-1}P_{s}(z)$ of this algebra which is a free rank $2k$ module on $\mathbb{C}[s_{1},\dots,s_{k}]$, the multiplication by $z$ is given by the matrix $M$ of the previous lemma with $A$ as in (6) and with $B:=(-1)^{k-1}\frac{\partial A}{\partial s_{k}}$. This proves equality (7).

As $P^{\prime}_{s}(z)=\sum_{h=0}^{k-1}(-1)^{h}(k-h)z^{k-h-1}$ does not depend on $s_{k}$ it is enough to sum up the previous equalities with $p=k-h-1$ with the convenient coefficients to obtain the equality (8). $\hfill\blacksquare$

Lemma 2.5**.**

For any $h\in[1,k]$ and any $p\in\mathbb{N}$ the matrix $A$ in $(6)$ satisfies the relation:

[TABLE]

Proof.

The case $p=1$ of $(\ref{E2})$ is an easy direct computation on the matrix $A$. Assume that the assertion is proved for $p\geqslant 1$. Then Leibnitz’s rule gives:

[TABLE]

concluding the proof of (9).$\hfill\blacksquare$

Proof of the theorem 2.b.1.

By derivation inside the integral in (3) we obtain:

[TABLE]

Now for $h\in[1,k-1]$ we use the formula of corollary 2.b.2 to obtain:

[TABLE]

that is to say, we obtain $(@)$ as desired:

[TABLE]

By the integrability of the system $(@)$ we mean that for any $\Phi$ such that $(@)$ holds, then the computation of the partial derivatives $\frac{\partial^{2}\Phi}{\partial s_{h}\partial s_{j}}$ using the system $(@)$ gives a symmetric result in $(h,j)$ for any pair $(h,j)$ in $[1,k]$. Note that if $h$ or $j$ is equal to $k$ the assertion is trivial.

So consider a couple $(h,j)\in[1,k-1]^{2}$. Thanks to Lemma 2.5 we have :

[TABLE]

which is symmetric in $(h,j)$.

To finish the proof of the theorem we have to show that $A\Phi$ is a solution of $(@)$ when $\Phi$ is a solution of $(@)$. This is given by the following computation

[TABLE]

which also uses Lemma 2.5.$\hfill\blacksquare$

Remark.

A consequence of our computation on the integrability of the system $(@)$ is the fact that for any solution $\Phi$ and any pair $(h,j)\in[1,k]$ the second order partial derivative $\frac{\partial^{2}\Phi}{\partial s_{j}\partial s_{h}}$ only depends on $h+j$. This implies that any scalar Lisbon integral $\varphi_{h}$ satisfies

[TABLE]

Let us denote by $\Delta$ the discriminant hypersurface $\Delta=\{\Delta(s)=0\}$. An easy calculation shows that away of $\Delta$ the matrix $P^{\prime}_{s}(A(s))$ is invertible.

The next corollary of theorem 2.b.1 gives an analogous system to $(@)$ for the vector function $\Psi$ defined in $(4)$ which is singular along $\Delta$.

Corollary 2.b.3**.**

1. (1)

The vector valued holomorphic function $\Psi$ on $\mathbb{C}^{k}$ satisfies the following differential system:

[TABLE]

$\forall\,h\in[1,k-1]$, which is singular along the discriminant hyperdurface

[TABLE] 2. (2)

If $\Psi$ is any solution of $(@@)$ then $A\Psi$ is also a solution of $(@@)$. 3. (3)

If $\Phi$ is any solution of $(@)$ then $\Psi=P^{\prime}_{s}(A)\Phi$ is a solution of $(@@)$. 4. (4)

If $\Psi$ is any solution of $(@@)$ on $\mathbb{C}^{k}\smallsetminus\Delta$ then $\Phi:=P^{\prime}_{s}(A(s))^{-1}\Psi$ is a solution of $(@)$ on $\mathbb{C}^{k}\smallsetminus\Delta$.

Statement $(1)$ follows by (8) in Corollary 2.b.2.

Statement $(3)$ follows by direct computation:

For such a $\Psi=P^{\prime}_{s}(A)\Phi$, for each $h\in[1,k-1]$

[TABLE]

and using now the fact that $A^{k-p-1}\Phi$ is solution of $(@)$ we obtain

[TABLE]

which gives the formula $(@@)$.

Since $P^{\prime}_{s}(A)$ commutes with $A$, the assertion $(2)$ is easy.$\hfill\blacksquare$

The proof of $(4)$ is a simple consequence of $(\ref{E2})$ in Lemma 2.5.

2.c. Example: The case $k=2$

In this example we will explicit the system $(@)$ and also a partial differential operators in the Weyl algebra $\mathbb{C}[s_{1},s_{2}]\langle\partial_{s_{1}},\partial_{s_{2}}\rangle$, which annihilates the scalar components of its solutions. The left ideals in $\mathscr{D}_{\mathbb{C}^{k}}$ of differential operators annihilating respectively the scalar components of the solutions of $(@)$ and of $(@@)$ for arbitrary $k$ are described in [3].

Here we use the notations $s:=s_{1}$ and $p:=s_{2}.$ In that case, with $\Phi=(\varphi_{0},\varphi_{1})$, the differential system (@) becomes:

[TABLE]

[TABLE]

corresponding to the matrix $A:=\begin{pmatrix}0&1\\ -p&s\end{pmatrix}$. Differentiating (12) with respect to $p$ we obtain, after substituting via (11)

[TABLE]

Differentiating (12) with respect to $s$ we obtain, after substituting via (11)

[TABLE]

Then the second order differential operator of weight $-2$

[TABLE]

anihilates $\varphi_{0}$ and $\varphi_{1}$ for any solution $\Phi$ of the system ((11), (12)).

A direct proof that $\Theta$ anihilates scalar Lisbon Integrals for all $m\in\mathbb{N}$.

We have, for any entire function $f:\mathbb{C}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathbb{C}$ and for $R\gg\max\{|s|,|p|\}$:

[TABLE]

This gives:

[TABLE]

Now it is easy to check that $(d)+s(e)+p(f)+2(c)=0$.

3. The left action of $\Gamma(\mathbb{C},\mathscr{D}_{\mathbb{C}})$ on Lisbon integrals

For each entire function $f$ of the variable $z$ we shall henceforward denote by $\Phi_{f}$ the associated Lisbon integral (previously generically denoted by $\Phi$). Clearly the assignement

[TABLE]

is $\mathbb{C}$-linear and, according to Proposition 2.3, it is injective.

Lemma 3.1**.**

Let $f$ be an entire function on $\mathbb{C}$ and let $\Phi_{f}$ the corresponding Lisbon integral.

1. (1)

Let $g$ be an entire function of $z$. Then $\Phi_{gf}=g(A(s))\Phi_{f}$. In particular $\Phi_{f}=f(A(s))\Phi_{1}$. 2. (2)

We have the identity

[TABLE]

where $\nabla$ is the constant $(k,k)$ matrix $\begin{pmatrix}0&0&0&\dots&0\\ 1&0&0&\dots&0\\ 0&2&0&\dots&0\\ 0&0&&\dots&0\\ 0&\dots&0&k-1&0\end{pmatrix}$.

Proof.

When $g$ is a polynomial on $z$, statement $(1)$ follows easily in Corollary 2.b.2. For an arbitrary entire function $g$, it is a consequence of [7, Lem 3.1.8].

Let us prove $(2)$: Consider the Lisbon integral

[TABLE]

Integration by parts gives, as $\partial_{z}(E)(z)=\nabla E(z)$ :

[TABLE]

Now, using the equalities $P^{\prime}_{s}(\zeta)=\sum_{h=0}^{k-1}(-1)^{h}(k-h)s_{h}\zeta^{k-h-1}$ and

[TABLE]

we obtain the formula of the lemma.$\hfill\blacksquare$

Remark.

From formula $(^{*})$ and according to $(\ref{E7-bis})$ we obtain also the formula

[TABLE]

Note that the formula $\Phi_{(z.f)^{\prime}}=\Phi_{f}+\Phi_{zf^{\prime}}$ corresponding to the usual relation $\partial_{z}z-z\partial_{z}=1$ follows from the linearity of the map $f\mapsto\Phi_{f}$ and the Leibniz rule $(zf)^{\prime}=f+zf^{\prime}$.

It is not obvious that when $\Phi$ is solution of the system $(@)$, then

[TABLE]

(given by the formula $(^{**})$) is also a solution of the same system. A direct verification of this fact is consequence of the formula given in the lemma below.

Lemma 3.2**.**

We have the following identity:

[TABLE]

Proof.

Let check the case $p=1$ first. It is an easy computation to obtain that $\nabla A-A\nabla+Id$ is the matrix which have all lines equal to [math] excepted its last one which is given by $(x_{1},\dots,x_{k})$ with $x_{h}=(-1)^{k-h}hs_{k-h}$ for $h\in[1,k]$ with $s_{0}\equiv 0$. On the other hand, the matrix $(-1)^{k-1}\partial_{s_{k}}A$ has only a non zero term at the place $(k,1)$ which equal to $1$, so it is quite easy to see that $(-1)^{k-1}(\partial_{s_{k}}A)A^{p}$ has only a non zero term at the place $(k,p+1)$ with value $(-1)^{k-1}$. According to the computation of $(-1)^{k-1}\partial_{s_{k}}(A)P^{\prime}_{s}(A)$ we conclude the desired formula for $p=1$

Now we shall make an induction on $p\geqslant 1$ to prove the general case. Then assume $p\geqslant 2$ and the formula proved for $p-1$. Then write

[TABLE]

Using the induction hypothesis and the case $p=1$ gives

[TABLE]

Now we shall make the direct verification that $\Phi$ solution of $(@)$ implies that

[TABLE]

is also solution of $(@)$ :

[TABLE]

thanks to the previous lemma. Also, using the fact that $P^{\prime}_{s}(A)\Phi$ is a simple linear combination of solutions of $(@)$ (with non constant coefficients, but very simple), we obtain the formula :

[TABLE]

Then:

[TABLE]

and $-X+(-1)^{k-1}Y=0$, as desired.$\hfill\blacksquare$

4. The $\mathscr{D}_{\mathbb{C}^{k}}$-module associated to Lisbon Integrals

We shall begin by recalling some basic facts on $\mathscr{D}$-modules and by fixing notations.

For a morphism of manifolds $f:Y\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}X$, we use the notation of [12]

[TABLE]

and

[TABLE]

the associated canonical morphisms of vector bundles.

We recall that a conic involutive submanifold $V$ of the cotangent bundle $T^{*}Z$ of a manifold $Z$ (real or complex) is $\mathit{regular}$ if the restriction $\omega|_{V}$ of the canonical $1$-form $\omega$ on $T^{*}Z$ never vanishes outside the $0-$section. Recall also that if $(x_{1},\cdots,x_{n},\xi_{1},\cdots,\xi_{n})$ are canonical symplectic coordinates on $T^{*}Z$, then $\omega(x,\xi)=\sum_{i=1}^{n}\xi_{i}dx_{i}$.

Let us fix some $k\in\mathbb{N}$, $k\geqslant 2$. In $\mathbb{C}^{k+1}=\mathbb{C}^{k}\times\mathbb{C}$ we consider the coordinates $(s_{1},\cdots,s_{k},z)$. As in the previous sections we set

[TABLE]

Obviously

[TABLE]

where $s_{0}=1$. We note $s=(s_{1},\cdots,s_{k})$ and $s^{\prime}:=(s_{1},\cdots,s_{k-1})$.

Let $H$ be the smooth hypersurface of $\mathbb{C}^{k+1}$ given by the zeros of $P(s,z)$.

Let us denote by $\mathscr{L}$ the $\mathscr{D}_{\mathbb{C}^{k+1}}$-module with one generator $u$ defined by the equations $\partial u/\partial{s_{1}}=\cdots=\partial u/\partial{s_{k}}=0$. Such module is an example of a so called partial de Rham systems, which have the feature, among others, that their characteristic varieties are non singular regular involutive. In our case we have

[TABLE]

Since $H\subset\mathbb{C}^{k+1}$ is defined by the equation

[TABLE]

$T^{*}_{H}\mathbb{C}^{k+1}$ is the subbundle of $T^{*}\mathbb{C}^{k+1}|_{H}$ described by

[TABLE]

This means that $P(s,z)=0$ and that their exists $\lambda\in\mathbb{C}$ with $\eta_{h}=\lambda(-1)^{h}z^{k-h}$ for each $h\in[1,k]$ and that $\tau=\lambda P^{\prime}(s,z)$. Hence as $\eta_{k}=\lambda(-1)^{k}$ and this implies:

[TABLE]

(as usual, $T^{*}_{\mathbb{C}^{k+1}}\mathbb{C}^{k+1}$ denotes the zero section of $T^{*}\mathbb{C}^{k+1}$), in other words $H$ is non characteristic for $\mathscr{L}$. Let us denote by $j:H\hookrightarrow\mathbb{C}^{k+1}$ the closed embedding. By Kashiwara’s classical results (which can be found in [10]) it follows that the induced system $Dj^{*}\mathscr{L}$ by $\mathscr{L}$ on $H$ is concentrated in degree zero and $\mathscr{N}:=\mathscr{H}^{0}Dj^{*}\mathscr{L}$ is a $\mathscr{D}_{\mathbb{C}_{H}}$-coherent module whose characteristic variety is exactly

[TABLE]

Recall that

[TABLE]

and in this non-characteristic case

[TABLE]

We have

[TABLE]

which is isomorphic as a $\mathscr{D}_{H}$-module to

[TABLE]

where $\partial_{s_{i}}$ stands for the derivation $\partial/\partial s_{i}$ on $\mathscr{O}_{H}$ and $\partial_{z}$ as a derivation on $\mathscr{O}_{H}$ is the class of $\partial_{z}$ in the quotient above.

In particular $\mathscr{N}$ is sub-holonomic and it is a partial de Rham system similarly to $\mathscr{L}$.

Let us now determine the image of $\mathscr{N}$ under the morphism $\pi:\mathbb{C}^{k}\simeq H\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathbb{C}^{k}$ given by $(s^{\prime},z)\mapsto(s^{\prime},s_{k})$. Clearly $\pi$ is proper surjective with finite fibers.

Recall that one denotes by $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}$ the transfer $(\pi^{-1}\mathscr{D}_{\mathbb{C}^{k}},\mathscr{D}_{H})$-bimodule

[TABLE]

Recall also that, according to the properness and the fiber finiteness of $\pi$, we have

[TABLE]

where we abusively use the notation $\pi_{*}$ for the direct image functor in the categoy of $\mathscr{D}$-modules in the two left terms and for the direct image functor for sheaves in the right term. According to [10, Th. 4.25 and 4.27] (see also the comments in loc.cit. before Theorem 4.27), one knows that $D\pi_{*}\mathscr{N}$ is concentrated in degree zero and that

[TABLE]

So we may henceforward denote for short $\pi_{*}\mathscr{N}:=D\pi_{*}\mathscr{N}$ without ambiguity.

Let $\Delta$ as above be the zero set of the discriminant of $P$, which can also be defined as the image by $\pi$ of the subset of $H$ defined by $\{P^{\prime}(s,z)=0\}$.

Since $\pi_{d}$ is given by the $k\times k$ matrix

[TABLE]

we conclude that $\operatorname{Char}\pi_{*}\mathscr{N}$ is the image by $\pi_{\pi}$ of the set

[TABLE]

so it is given by the set

[TABLE]

Then $\operatorname{Char}\pi_{*}\mathscr{N}$ is an involutif analytic subset of $T^{*}\mathbb{C}^{k}$ with codimension $k-1$ which proves the following:

Lemma 4.1**.**

$\pi_{*}\mathscr{N}$* is a subholonomic $\mathscr{D}_{\mathbb{C}^{k+1}}$-module.*

Remark 4.2**.**

Let $\widetilde{\mathscr{N}}$ denote the $\mathscr{D}_{\mathbb{C}^{k}}$-module associated to $(@@)$. Then $\widetilde{\mathscr{N}}$ is clearly not subholonomic.

Proposition 4.3**.**

The $\mathscr{D}_{\mathbb{C}^{k}}$-module $\pi_{*}\mathscr{N}$ is the quotient of $\mathscr{D}_{\mathbb{C}^{k}}^{k}\simeq\mathscr{D}_{\mathbb{C}^{k}}\otimes_{\mathbb{C}}\mathbb{C}^{k}$ by the action of

[TABLE]

Moreover the action of $z$ and $\partial_{z}$ on $\pi_{*}\mathscr{N}$ deduced from the action of $\mathscr{D}_{H}$ on $\mathscr{N}$333Note that $z$ and $\partial_{z}$ commute with $\partial_{s_{h}}$ for $h\in[1,k-1]$ in $\mathscr{D}_{H}$. are given respectively by

[TABLE]

where we put $P^{\prime}_{s}(z):=(\partial_{z}(P_{s}(z))$ and $\nabla:=\begin{pmatrix}0&0&\dots&0\\ 1&0&\dots&0\\ 0&2&0&\dots\\ \dots&\dots&\dots&\dots\\ 0&\dots&k-1&0\end{pmatrix}$

Proof.

Our goal is to explicit $\pi_{*}\mathscr{N}$ and to check that it coincides with the $\mathscr{D}_{\mathbb{C}^{k}}$-module associated to the system (@) in Theorem 2.b.1.

In a first step we explicit the transfer-module

[TABLE]

as a $(\pi^{-1}\mathscr{D}_{\mathbb{C}^{k}},\mathscr{D}_{H})$-bimodule.

The next step is to determine the cokernel of

[TABLE]

[TABLE]

The last step is to apply $\pi_{*}$.

Let us denote for short

[TABLE]

the generator of the line bundle $\pi^{-1}\Omega_{\mathbb{C}^{k}}^{\otimes^{-1}}\otimes_{\pi^{-1}\mathscr{O}_{\mathbb{C}^{k}}}\Omega_{H}$.

Recall that $\mathscr{O}_{H}=\mathscr{O}_{\mathbb{C}^{k+1}}/\mathscr{J}$, where $\mathscr{J}$ is the ideal generated by $P(s,z)$. Hence $\mathscr{O}_{H}$ is a $\pi^{-1}\mathscr{O}_{\mathbb{C}^{k}}$-free module with rank $k$ since each section $a(s^{\prime},z)$ of $\mathscr{O}_{H}$ is equivalent, by Weierstrass Division Theorem, to a unique polynomial $\,\sum_{j=0}^{k-1}a_{j}(s^{\prime},s_{k})z^{j}$ modulo $P(s,z)$, for some sections $a_{j}$ of $\mathscr{O}_{\mathbb{C}^{k}}$.

Hence $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}$ is a left $\pi^{-1}\mathscr{D}_{\mathbb{C}^{k}}$-free module of rank $k$ generated by the $k-$sections

$(1\otimes z^{j}\sigma)_{j=0,\cdots,k-1}$. Since the right action of each operator in $\mathscr{D}_{H}$ is $\pi^{-1}\mathscr{D}_{\mathbb{C}^{k}}$-linear, it is sufficient to calculate each $(1\otimes z^{j}\sigma)\partial_{s_{i}},i=1,\cdots,k-1,\,j=0,\cdots,k-1$.

Now recall that $H$ is defined in $\mathbb{C}^{k+1}$ by the equation $s_{k}=(-1)^{k-1}\sum_{h=0}^{k-1}(-1)^{h}s_{h}z^{k-h}$ with the convention $s_{0}=1$ and so $s_{1},\dots,s_{k-1},z$ are global coordinates on $H$. Then we have in $H$

[TABLE]

where $P^{\prime}_{s}(z)$ does not depend on $s_{k}$.

Let $F:=1\otimes E(z)\sigma$ denote the basis $(1\otimes z^{j}\sigma),j\in[0,k-1]$ of the free rank $k$ left $\pi^{-1}(\mathscr{D}_{\mathbb{C}^{k}})-$module $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}$. Recall that, according to [10, Rem. 4.18], in view of the generators described above, the action of $\mathscr{D}_{H}$ in $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}$ is defined by the following formulas, where we consider $F$ as a $k-$vector and use the usual matrix product

[TABLE]

where we have used the equalities $zE(z)=A(s)E(z)$ and $\partial_{z}(E(z))=\nabla E(z)$.

Summing up:

• •

For $g\in\mathscr{O}_{H}$ represented by   $\sum_{r=0}^{k-1}g_{r}(s)z^{r},$  the $(k\times k)$ matrix $G$ of the

$\pi^{-1}\mathscr{D}_{\mathbb{C}^{k}}$-linear morphism defined by $g$ on $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}$ is given by

$G:=\sum_{r=0}^{k-1}g_{r}(s)A(s)^{r}$

• •

Let us consider the $\mathscr{D}_{\mathbb{C}^{k}}$-linear morphism $\alpha:(\mathscr{D}_{\mathbb{C}^{k}}^{k})^{(k-1)}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathscr{D}_{\mathbb{C}^{k}}^{k}$ defined by the following $k-1$ $(k,k)-$matrices

[TABLE]

Let $\Phi$ be in $\mathscr{O}_{\mathbb{C}^{k}}^{k}$. In view of the relation $(2^{*})$, the map $(1\otimes z^{h}\sigma)\mapsto\Phi_{h}$, for $h\in[0,k-1]$ will induce an element of $\operatorname{\mathscr{H}\mathit{om}}_{D_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N},\mathscr{O}_{\mathbb{C}^{k}})$, that is to say a solution of $\pi_{*}\mathscr{N}$, if and only if we have $\partial_{s_{h}}(\Phi)=(-1)^{k-h}\partial_{s_{k}}(A^{k-h}\Phi)$, that is, in and only if $\Phi$ satisfies (@), since the generator of $\pi_{*}\mathscr{N}$ is anihilated by the action of $\partial_{s_{h}}$ for each $h\in[1,k-1]$.

In conclusion:

[TABLE]

by the finitness of the fibers of $\pi$. $\hfill\blacksquare$

Remark 4.4**.**

$\mathscr{N}$ is naturally endowed with a structure of right $\Gamma(\mathbb{C};\mathscr{D}_{\mathbb{C}})-$module. By functoriality $\pi_{*}\mathscr{N}$ is also a right $\Gamma(\mathbb{C};\mathscr{D}_{\mathbb{C}})-$module and its structure coincides with the induced by the right $\mathscr{D}_{\mathbb{C}}$ action defined by $(1^{*})$ and $(3^{*})$ on $\mathscr{D}_{\mathbb{C}^{k}\leftarrow H}\otimes_{\mathscr{D}_{H}}\mathscr{N}$, since it commutes with each $\partial_{s_{i}}$, for $i=1,\cdots,k-1$. Therefore we obtain a natural left action of $\Gamma(\mathbb{C},\mathscr{D}_{\mathbb{C}})$ on $\operatorname{\mathscr{H}\mathit{om}}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N},\mathscr{O}_{\mathbb{C}^{k}})$.

We also conclude, according to Lemma 3.1:

Proposition 4.5**.**

The left action of $\Gamma(\mathbb{C};\mathscr{D}_{\mathbb{C}})$ defined by the above Remark 4.4 on $\operatorname{\mathscr{H}\mathit{om}}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N},\mathscr{O}_{\mathbb{C}^{k}})$ coincides with the left action of $\Gamma(\mathbb{C};\mathscr{D}_{\mathbb{C}})$ on Lisbon integrals.

If $\Phi$ is a solution of $\pi_{*}\mathscr{N}$, replacing in the formula $(3^{*})$ the second term thanks to the equality obtained for $\Phi$ after applying $(2^{*})$ or equivalently (@), we also derive a right action of $\partial_{z}$ which is given by the formula

[TABLE]

Our next goal is to conclude in Proposition 4.7 below that there are no global holomorphic solutions of $\pi_{*}\mathscr{N}$ other than those of the form $\Phi_{f}$, for some holomorphic function $f$ only depending on $z$. Since $j$ is non-characteristic we have an isomorphism

[TABLE]

According to Theorem 4.33 (2) of [10], making $X=H,Y=\mathbb{C}^{k},f=\pi,\mathscr{N}=\mathscr{O}_{\mathbb{C}^{k}}$ in loc.cit, we obtain

Theorem 4.6**.**

For any open subset $\Omega$ of $\mathbb{C}^{k}$ we have an isomorphism functorial on $\mathscr{N}$ compatible with restrictions to open subsets

[TABLE]

Recall that this isomorphism uses as a tool the "trace morphism": $\pi_{*}\mathscr{O}_{H}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathscr{O}_{\mathbb{C}^{k}}$ constructed in [10, Prop. 4.34].

Since for any open subset $\Omega$ and any $\mathscr{D}_{H}$-module $\mathscr{P}$, $\Gamma(\Omega;\cdot)$ and $\operatorname{\mathscr{H}\mathit{om}}_{\mathscr{D}_{H}}(\mathscr{P},\cdot)$ are left exact functors, since if $\Omega$ is a Stein open set and if $\mathscr{P}$ admits a global resolution by free $\mathscr{D}_{H}$-modules of finite rank, then $R\mathscr{H}\!om_{\mathscr{D}_{H}}(\mathscr{P},\mathscr{O})$ is represented by a complex in degrees $\geqslant 0$ with $\Gamma(\Omega,\cdot)$-acyclic entries, we conclude that

[TABLE]

[TABLE]

therefore Theorem 4.6 entails a $\mathbb{C}$-linear isomorphism

[TABLE]

Proposition 4.7**.**

The correspondence

[TABLE]

defines a $\mathbb{C}$-linear isomorphism

[TABLE]

Moreover, this isomorphism are also $\Gamma(\mathbb{C},\mathscr{D}_{\mathbb{C}}$)-left linear.

Proof.

The last statement is clear from Proposition 4.5 and Lemma 3.1.

The remaining of the statement is equivalent to prove that $\Phi:f\mapsto\Phi_{f}$ defines an isomorphism $\operatorname{Hom}_{\mathscr{D}_{H}}(\mathscr{N},\mathscr{O}_{H})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N},\mathscr{O}_{\mathbb{C}^{k}})$.

We already know that $\Phi$ is injective. It remains to prove that $\Phi$ is surjective. For each $f\in\Gamma(\mathbb{C},\mathscr{O}_{\mathbb{C}})$, we introduce the regular holonomic $\mathscr{D}_{\mathbb{C}}$-module $\mathscr{M}_{f}$ (a regular flat holomorphic connection on $\mathbb{C}$) of which the constant sheaf $\mathbb{C}f$ in degree zero is the complex of holomorphic solutions.

Note that $\mathscr{N}\simeq\mathscr{O}_{\mathbb{C}^{k-1}}\boxtimes\mathscr{D}_{\mathbb{C}}$ where we consider $\mathbb{C}^{k-1}$ endowed with the coordinates $(s_{1},\cdots,s_{k-1})$ and $\mathbb{C}$ with the coordinate $z$. We denote by $\mathscr{N}_{f}$ the regular holonomic $\mathscr{D}_{H}$-module (a regular flat holomorphic connection on $H$)

[TABLE]

It is clear that $\mathscr{N}_{f}$ is a quotient of $\mathscr{N}$, and, by the left exactness of $\pi_{*}$, $\pi_{*}\mathscr{N}_{f}$ is a quotient of $\pi_{*}\mathscr{N}$. Moreover, according to Proposition 4.5 and Lemma 3.1, $\Phi_{f}$ belongs to $\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}})$. According to Theorem 4.6, for each $f$ we have a $\mathbb{C}$-linear isomorphism $T_{f}:\operatorname{Hom}_{\mathscr{D}_{H}}(\mathscr{N}_{f},\mathscr{O}_{H})\simeq\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}})$ which makes this last one a one dimensional $\mathbb{C}$-vector space. Moreover, by left exactness of $\operatorname{Hom}$ and the exactness of $\pi_{*}$, we have monomorphisms $\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}}){\subset}\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N},\mathscr{O}_{\mathbb{C}^{k}})$ and, by functoriality, we have $T(f)=T_{f}(f)$.

We shall use the following result:

Lemma 4.8**.**

Suppose that $f\neq 0$. Then $\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}})$ is a one dimensional $\mathbb{C}$-vector space generated by $\Phi_{f}$.

Proof.

The result follows by Proposition 2.3 since $\Phi_{f}$ is a non zero element of $\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}})$ hence it is a generator as a $\mathbb{C}$-vector space. $\hfill\blacksquare$

Let us now end the proof of Proposition 4.7.

Clearly $\operatorname{Hom}_{\mathscr{D}_{H}}(\mathscr{N},\mathscr{O}_{H})=\sum_{f}\operatorname{Hom}_{\mathscr{D}_{H}}(\mathscr{N}_{f},\mathscr{O}_{H})$ and, according to Lemma 4.8, for each $f$, $\operatorname{Hom}_{\mathscr{D}_{\mathbb{C}^{k}}}(\pi_{*}\mathscr{N}_{f},\mathscr{O}_{\mathbb{C}^{k}})$ is the $\mathbb{C}$-vector space spanned by $\Phi_{f}$; hence $T(f)=\lambda\Phi_{f}$ for some $\lambda\in\mathbb{C}^{*}$. Since $\Phi_{\lambda f}=\lambda\Phi_{f}$ we conclude that $\Phi$ is surjective which gives the desired result. $\hfill\blacksquare$

As a consequence, isomorphism $\Phi$ explicits isomorphism of Theorem 4.6 since they coincide up to the multiplication by a constant $\lambda\neq 0$.

4.a. An example

To conclude this article, let us give an interesting example of choice of the entire function $f$ on $\mathbb{C}$ for which we explicit the regular holonomic system on $\mathbb{C}^{k}$ associated to the corresponding Lisbon integrals.

The case $f_{t}(z):=e^{tz}$.

Let us fix a parameter $t\in\mathbb{C}^{*}$ and consider the entire function $f_{t}(z):=e^{tz}$.

First remark that according to Lemma 3.1, we have $\frac{\partial E(z)}{\partial z}=\nabla E(z)$ where $\nabla$ is the $(k,k)$ matrix given by

[TABLE]

We have 444Remember that $t$ is a fixed complex parameter

[TABLE]

and, according to the linearity of $\Phi_{(\cdot)}$, we also have

[TABLE]

which, applying $(^{\ast\ast})$, entails

[TABLE]

Hence

[TABLE]

This also implies the following equation for $\Psi_{f_{t}}$ away of the discriminant hypersurface $\Delta$:

[TABLE]

for

[TABLE]

Combining $(\ref{E6})$ with the system $(@)$ it is easy to see that we obtain a meromorphic integrable connexion on the trivial vector bundle of rank $k$ on $\mathbb{C}^{k}$ with a pole along the discriminant hypersurface.

The regularity of this meromorphic connexion is then consequence of the regularity of the $\mathscr{D}_{H}-$module $\mathscr{N}_{e^{tz}}=\mathscr{D}_{H}u$ which is given by the equations

[TABLE]

which is clearly regular holonomic on $H$. So its direct image by $\pi$ (as a $\mathscr{D}_{\mathbb{C}^{k}}-$module) is regular holonomic on $\mathbb{C}^{k}$ (see [11, Th. 8.1]).

Reference.

[3] D. Barlet On partial differential operators annihilating trace functions, to appear.

[4] D. Barlet Développement asymptotique des fonctions obtenues par intégration sur les fibres, Invent. Math. 68, 1, 129-174 (1982).

[5] D. Barlet Fonctions de type trace, Ann. Inst. Fourier 33, 2, 43-76 (1983).

[6] D. Barlet ; H.-M. Maire Asymptotique des intégrales-fibres, Ann. Inst. Fourier 43, 5, 1267-1299 (1993).

[7]

D. Barlet and J. Magnússon Cycles analytiques complexes I: théorèmes de préparation des cycles, Cours Spécialisés 22, Société Mathématique de France (2014).

[8]

J-E Bjork Analytical $\mathscr{D}$-Modules and Applications, Mathematics and Its Applications, Kluwer Academic Publishers 247 (1993).

[9]

M. Kashiwara, On the holonomic systems of linear differential equations II, Invent. Math. 49, 121-135 (1978).

[10]

M. Kashiwara, $\mathscr{D}$-modules and microlocal calculus, Translations of Mathematical Monographs 217, American Math. Soc. (2003).

[11]

M. Kashiwara, The Riemann-Hilbert problem for holonomic systems,  Publ. RIMS, Kyoto University 20, 319-365 (1984).

[12]

M. Kashiwara and P. Schapira, Sheaves on Manifolds, Grundlehren der Math. Wiss. 292, Springer-Verlag (1990).

[13]

M. Kashiwara and P. Schapira Moderate and formal cohomology associated with constructible sheaves, Mémoires de la SMF 64, Société Mathématique de France (1996).

[14] F. Loeser Fonctions zêta locales d’Igusa à plusieurs variables, intégration dans les fibres, et discriminants, Ann. Sci. École Norm. Sup. 22, 3, 435-471 (1989).

[15] C. Sabbah Proximité évanescente. II. Équations fonctionnelles pour plusieurs fonctions analytiques, Compositio Math. 64, 2, 213-241 (1987).

The research of T. Monteiro Fernandes was supported by Fundação para a Ciência e a Tecnologia, UID/MAT/04561/2019.

email: *daniel.barlet@univ-lorraine.fr

*email : mtfernandes@fc.ul.pt