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 \(\mathscr {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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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 [2]) and when the fibers are finite (see [3]), but also by many authors in more general settings (see for instance [4, 12, 13]).
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 [3] 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
where \(P_{s}(z) = \sum _{h=0}^k (-1)^hs_hz^{k-h}\) is the universal monic polynomial of degree k.
As we are interested only in holomorphic derivatives 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 \cdots \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, \ldots , s_{k-1}, z)\). These holomorphic tracesFootnote 1 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
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
to H is proper (with finite fibers), given a coherent \(\mathscr {D}_{\mathbb {C}^{k+1}}\)-module \(\mathscr {L}\) non characteristic for H, following [11] we obtain a complex in \({{\,\mathrm{\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,
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 Theorem 4.1 and Proposition 4.2, [7]), \(\mathscr {H}^1_{[H]}(\mathscr {L})\simeq \mathscr {H}^0Dj_*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 [11] 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,\ldots , 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:
where \(\mathscr {J}\) is the coherent ideal of \(\mathscr {D}_{\mathbb {C}^{k+1}}\) of operators P such that \(Pf=0\); hence, according to [9, Theorem 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)\). If \(\Phi \) is a solution of \(\pi _*j^{*}\mathscr {L}\) then \(\Psi :=P'_s(A(s))\Phi \), where \(P'_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.1 Lisbon integrals
For \((z_{1}, \ldots , z_{k}) \in \mathbb {C}^{k}\) denote \(s_{1}, \ldots , s_{k}\) the elementary symmetric functions of \(z_{1}, \ldots , z_{k}\). Let \(\mathfrak {S}_{k}\) denote the k-symmetric group, that is, the group of bijections of \(\{1,\ldots , k\}\). We shall consider in the sequel \(s_{1}, \ldots , 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 \vert \vert s\vert \vert \),
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
where \(z_{1}, \ldots , 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 \(\{ \vert \zeta \vert = 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. \(\square \)
In fact, it will be convenient to consider the k functions \(\varphi _{0}, \ldots , \varphi _{k-1}\) as the component of a vector valued function \(\Phi := \begin{pmatrix} \varphi _{0}\\ \varphi _{1}\\ \cdots \\ \varphi _{k-1}\end{pmatrix}\). Defining \(E(z) := \begin{pmatrix} 1 \\ z \\ \cdots \\ z^{k-1} \end{pmatrix}\) we obtain
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,\ldots ,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:
\(\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:
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}, \ldots , z_{k}\) when these complex numbers are pairwise distinct. \(\square \)
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\))
if each root of \(P_{s}\) is in the disc \(\{ \vert z \vert \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
This gives, using the previous case and formula (2), that \(\varphi _{k-1}(s) \equiv 1\).
2.2 The partial differential system
Let us introduce the (k, k) matrix A (the companion matrix) associated to the polynomial \(P_{s}\):
Theorem 2.b. 1
The vector valued holomorphic function \(\Phi \) on \(\mathbb {C}^{k}\) satisfies the following differential system
Moreover, this system is integrableFootnote 2 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
Then for each \(p \in \mathbb {N}\) we have
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:
which allows to conclude. \(\square \)
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}, \ldots , s_{k}, z]\big /(P^{2})\) over the \(\mathbb {C}\)-algebra \(\mathbb {C}[s_{1}, \ldots , s_{k}, z]\big /(P^{2})\)
In particular, for any entire function f (of the variable z), we have
Moreover the following identity in the module \(\mathbb {C}^{k}\otimes _{\mathbb {C}} \mathbb {C}[s_{1}, \ldots , s_{k}, z]\big /(P^{2})\) holds
Proof
In the basis \(1, z, \ldots , z^{k-1}, P_{s}(z), zP_{s}(z), \ldots , z^{k-1}P_{s}(z)\) of this algebra which is a free rank 2k module on \(\mathbb {C}[s_{1}, \ldots , 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'_{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). \(\square \)
Lemma 2.5
For any \(h \in [1, k]\) and any \(p \in \mathbb {N}\) the matrix A in (6) satisfies the relation:
Proof
The case \(p=1\) of (9) is an easy direct computation on the matrix A. Assume that the assertion is proved for \(p \geqslant 1\). Then Leibnitz’s rule gives:
concluding the proof of (9). \(\square \)
Proof of the Theorem 2.b. 1
By derivation inside the integral in (3) we obtain:
Now for \(h \in [1, k-1]\) we use the formula of corollary 2.b.2 to obtain:
that is to say, we obtain (@) as desired:
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 :
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
which also uses Lemma 2.5.\(\square \)
Remark 2.6
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
Let us denote by \(\Delta \) the discriminant hypersurface \(\Delta =\{ \Delta (s) = 0 \}\). An easy calculation shows that away of \(\Delta \) the matrix \(P'_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)
The vector valued holomorphic function \(\Psi \) on \(\mathbb {C}^{k}\) satisfies the following differential system:
$$\begin{aligned} (-1)^{k+h}\frac{\partial \Psi }{{\partial {s}}_{h}}(s) = \frac{\partial (A^{k-h}\Psi )}{{\partial {s}}_{k}}(s) + (-1)^{k}(k-h)A^{k-h-1}P'_{s}(A)^{-1}\Psi (s) \end{aligned}$$(@@)\(\forall h \in [1, k-1]\), which is singular along the discriminant hyperdurface
$$\begin{aligned} \Delta := \{ s \in \mathbb {C}^{k}; \Delta (s) = 0 \}. \end{aligned}$$ -
(2)
If \(\Psi \) is any solution of (@@) then \(A\Psi \) is also a solution of (@@).
-
(3)
If \(\Phi \) is any solution of (@) then \(\Psi =P'_s(A)\Phi \) is a solution of (@@).
-
(4)
If \(\Psi \) is any solution of (@@) on \(\mathbb {C}^k \smallsetminus \Delta \) then \(\Phi :=P'_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'_s(A)\Phi \), for each \(h \in [1, k-1]\)
and using now the fact that \(A^{k-p-1}\Phi \) is solution of (@) we obtain
which gives the formula (@@).
Since \(P'_{s}(A)\) commutes with A, the assertion (2) is easy. \(\square \)
The proof of (4) is a simple consequence of (9) in Lemma 2.5.
2.3 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 [1].
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:
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)
Differentiating (12) with respect to s we obtain, after substituting via (11)
Then the second order differential operator of weight \(-2\)
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 \{ \vert s\vert , \vert p\vert \}\):
This gives:
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
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)
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)
We have the identity
$$\begin{aligned} \Phi _{\partial _{z}(f)}(s) = -\nabla \Phi _{f}(s) + \left( \sum _{h=0}^{k-1} (k-h)s_{h}\partial _{s_{h+1}} \right) (\Phi _{f})(s) \end{aligned}$$where \(\nabla \) is the constant (k, k) matrix \(\begin{pmatrix} 0 &{} 0 &{} 0 &{} \cdots &{} 0 \\ 1 &{} 0 &{} 0 &{} \cdots &{} 0 \\ 0 &{} 2 &{} 0 &{} \cdots &{} 0 \\ 0 &{} 0 &{} &{} \cdots &{} 0 \\ 0 &{} \cdots &{}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 [5, Lem 3.1.8].
Let us prove (2): Consider the Lisbon integral
Integration by parts gives, as \(\partial _{z}(E)(z) = \nabla E(z)\) :
Now, using the equalities \(P'_{s}(\zeta ) = \sum _{h=0}^{k-1} (-1)^{h}(k-h)s_{h}\zeta ^{k-h-1}\) and
we obtain the formula of the lemma. \(\square \)
Remark 3.2
From formula \((^{*})\) and according to (8) we obtain also the formula
Note that the formula \(\Phi _{(z.f)'} = \Phi _{f} + \Phi _{zf'}\) 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)'=f+zf'\).
It is not obvious that when \(\Phi \) is solution of the system (@), then
(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.3
We have the following identity:
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 0 excepted its last one which is given by \((x_{1}, \ldots , 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'_{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
Using the induction hypothesis and the case \(p = 1\) gives
Now we shall make the direct verification that \(\Phi \) solution of (@) implies that
is also solution of (@):
thanks to the previous lemma. Also, using the fact that \(P'_s(A)\Phi \) is a simple linear combination of solutions of (@) (with non constant coefficients, but very simple), we obtain the formula:
Then:
and \(-X + (-1)^{k-1}Y = 0\), as desired. \(\square \)
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 [10]
and
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 \( 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,\ldots ,x_n, \xi _1,\ldots ,\xi _n)\) are canonical symplectic coordinates on \(T^*Z\), then \(\omega (x,\xi )=\sum _{i=1}^n\xi _idx_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,\ldots , s_k, z)\). As in the previous sections we set
Obviously
where \(s_0=1\). We note \(s=(s_1,\ldots , s_k)\) and \(s':=(s_1,\ldots ,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
Since \(H\subset \mathbb {C}^{k+1}\) is defined by the equation
\(T^*_{H}\mathbb {C}^{k+1}\) is the subbundle of \(T^*\mathbb {C}^{k+1}|_H\) described by
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'(s, z)\). Hence as \(\eta _{k} = \lambda (-1)^{k}\) and this implies:
(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 [8]) it follows that the induced system \(D j^*\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
Recall that
and in this non-characteristic case
We have
which is isomorphic as a \(\mathscr {D}_H\)-module to
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',z)\mapsto (s', 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
Recall also that, according to the properness and the fiber finiteness of \(\pi \), we have
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 [8, Theorems 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
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'(s, z) = 0\}\).
Since \(\pi _d\) is given by the \(k\times k\) matrix
we conclude that \({{\,\mathrm{Char}\,}}\pi _*{\mathscr {N}}\) is the image by \(\pi _{\pi }\) of the set
so it is given by the set
Then \({{\,\mathrm{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
Moreover the action of z and \(\partial _{z}\) on \(\pi _{*}{\mathscr {N}}\) deduced from the action of \(\mathscr {D}_H\) on \({\mathscr {N}}\)Footnote 3 are given respectively by
where we put \(P'_{s}(z) := (\partial _{z}(P_{s}(z))\) and \( \nabla := \begin{pmatrix} 0 &{} 0 &{} \cdots &{} 0\\ 1 &{} 0 &{} \cdots &{} 0 \\ 0 &{} 2 &{} 0 &{} \cdots \\ \cdots &{} \cdots &{} \cdots &{} \cdots \\ 0 &{} \cdots &{} 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
as a \((\pi ^{-1}\mathscr {D}_{\mathbb {C}^k}, \mathscr {D}_H)\)-bimodule. The next step is to determine the cokernel of
The last step is to apply \(\pi _*\).
Let us denote for short
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',z)\) of \({\mathscr {O}}_H\) is equivalent, by Weierstrass Division Theorem, to a unique polynomial \(\,\sum _{j=0}^{k-1}a_j(s',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,\ldots ,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,\ldots ,k-1, \,j=0,\ldots , 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)^hs_hz^{k-h}\) with the convention \(s_{0} = 1\) and so \(s_{1}, \ldots , s_{k-1}, z\) are global coordinates on H. Then we have in H
where \(P'_{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 [8, Remark 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
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
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 \({{\,\mathrm{\mathscr {H}{} { 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:
by the finitness of the fibers of \(\pi \).
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,\ldots ,k-1\). Therefore we obtain a natural left action of \(\Gamma (\mathbb {C}, \mathscr {D}_{\mathbb {C}})\) on \({{\,\mathrm{\mathscr {H}{} { 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 \({{\,\mathrm{\mathscr {H}{} { 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
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
According to Theorem 4.33 (2) of [8], 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
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 [8, Proposition 4.34].
Since for any open subset \(\Omega \) and any \(\mathscr {D}_H\)-module \(\mathscr {P}\), \(\Gamma (\Omega ; \cdot )\) and \({{\,\mathrm{\mathscr {H}{} { 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
therefore Theorem 4.6 entails a \(\mathbb {C}\)-linear isomorphism
Proposition 4.7
The correspondence
defines a \(\mathbb {C}\)-linear isomorphism
Moreover, this isomorphism is 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 \({{\,\mathrm{Hom}\,}}_{\mathscr {D}_{H}}({\mathscr {N}},{\mathscr {O}}_{H})\mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{{\,\mathrm{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,\ldots ,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)
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 \({{\,\mathrm{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:{{\,\mathrm{Hom}\,}}_{\mathscr {D}_H}({\mathscr {N}}_f, {\mathscr {O}}_H)\simeq {{\,\mathrm{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 \({{\,\mathrm{Hom}\,}}\) and the exactness of \(\pi _*\), we have monomorphisms \({{\,\mathrm{Hom}\,}}_{\mathscr {D}_{\mathbb {C}^k}}(\pi _*{\mathscr {N}}_f, {\mathscr {O}}_{\mathbb {C}^k}){\subset } {{\,\mathrm{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\ne 0\). Then \({{\,\mathrm{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 \({{\,\mathrm{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. \(\square \)
Let us now end the proof of Proposition 4.7.
Clearly \({{\,\mathrm{Hom}\,}}_{\mathscr {D}_H} ({\mathscr {N}}, {\mathscr {O}}_H)=\sum _{f}{{\,\mathrm{Hom}\,}}_{\mathscr {D}_H}({\mathscr {N}}_f, {\mathscr {O}}_H)\) and, according to Lemma 4.8, for each f, \({{\,\mathrm{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. \(\square \)
As a consequence, isomorphism \(\Phi \) explicits isomorphism of Theorem 4.6 since they coincide up to the multiplication by a constant \(\lambda \ne 0\).
4.1 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^{t z}\).
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
We haveFootnote 4
and, according to the linearity of \(\Phi _{(\cdot )}\), we also have
which, applying \((^{**})\) in Remark 3.2, entails
Hence
This also implies the following equation for \(\Psi _{f_t}\) away of the discriminant hypersurface \(\Delta \):
for
Combining (14) 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
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 [9, Theorem 8.1]).
Notes
despite the “denominators” in the formula
$$\begin{aligned} Trace(z^pf(z)ds_1 \wedge \cdots \wedge ds_{k-1} \wedge dz) = \left( \sum _{P_{s}(z_j)= 0} \frac{{z_j}^pf(z_j)}{P'_{s}(z_j)}\right) ds_1\wedge \cdots \wedge ds_k \end{aligned}$$theses forms have no singularity on the discriminant hypersurface \(\{\Delta (s) = 0\}\) in \(\mathbb {C}^k\).
We shall explain in the proof what we mean here.
Note that z and \(\partial _{z}\) commute with \(\partial _{s_{h}}\) for \(h \in [1, k-1]\) in \(\mathscr {D}_H\).
Remember that t is a fixed complex parameter.
References
Barlet, D.: On partial differential operators annihilating trace functions (to appear)
Barlet, D.: Développement asymptotique des fonctions obtenues par intégration sur les fibres. Invent. Math. 68(1), 129–174 (1982)
Barlet, D.: Fonctions de type trace. Ann. Inst. Fourier 33(2), 43–76 (1983)
Barlet, D., Maire, H.-M.: Asymptotique des intégrales-fibres. Ann. Inst. Fourier 43(5), 1267–1299 (1993)
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)
Bjork, J-E .: Analytical \({\cal{D}}\)-Modules and Applications, Mathematics and Its Applications. Kluwer Academic Publishers, vol. 247 (1993)
Kashiwara, M.: On the holonomic systems of linear differential equations II. Invent. Math. 49, 121–135 (1978)
Kashiwara, M.: \(\cal{D}\)-modules and microlocal calculus, Translations of Mathematical Monographs 217. American Math, Soc (2003)
Kashiwara, M.: The Riemann–Hilbert problem for holonomic systems. Publ. RIMS, Kyoto University 20, 319–365 (1984)
Kashiwara, M., Schapira, P.: Sheaves on Manifolds, Grundlehren der Math. Wiss. 292, Springer (1990)
Kashiwara, M., Schapira, P.: Moderate and formal cohomology associated with constructible sheaves, Mémoires de la SMF 64, Société Mathématique de France (1996)
Loeser, F.: 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)
Sabbah, C.: Proximité évanescente. II. Équations fonctionnelles pour plusieurs fonctions analytiques. Compos. Math. 64(2), 213–241 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of T. Monteiro Fernandes was supported by Fundação para a Ciência e a Tecnologia, UID/MAT/04561/2019.