Date/heure
21 octobre 2019
15:30 - 16:30
Oratrice ou orateur
Daniel Barlet
Catégorie d'évènement Séminaire de géométrie complexe
Résumé
Let $s_{1}, dots, s_{k}$ be the elementary symmetric functions of the complex variables $x_{1}, dots, x_{k}$.
We say that $F in C[s_{1}, dots, s_{k}]$ is a {trace function} if their exists $f in C[z]$ such that
$F(s_{1}, dots, s_{k}] = sum_{j=1}^{k} f(x_{j})$ for all $s in C^{k}$.
We give an explicit finite family of second order differential operators in the Weyl algebra
$W_{2}:= C[s_{1}, dots, s_{k}]langle frac{partial}{partial s_{1}}, dots, frac{partial}{partial s_{k}}rangle $
which generates the left ideal in $W_{2}$ of partial differential operators killing all trace functions.
The proof uses a theorem for symmetric differential operators analogous
to the usual symmetric functions theorem and the corresponding map for symbols. As a corollary, we obtain for each integer $k$
a regular holonomic system which is a quotient of $W_{2}$ by an explicit left ideal whose local solutions are given by linear
combinations of the branches of the multivalued root of the universal equation of degree $k$:
$z^{k} + sum_{h=1}^{k} (-1)^{h}.s_{h}.z^{k-h} = 0$.