On regular holonomic systems with solutions ramified along \(y^k=x^n\). (Q1880000)

The authors initiate a systematic of special functions of several variables, from a microlocal point of view. Let \(X\) be a complex manifold of dimension \(m\), \(\pi : T^* X \to X\) the cotangent bundle and \(\Lambda\) a germ of a conic Lagrangian subvariety of \(T^* X \backslash X\). In [\textit{M. Sato, M. Kashiwara, T. Kimura, T. Oshima}, Invent. Math. 62, 117-179 (1980; Zbl 0456.58034)] it is shown that if \(\Lambda\) is a singular and irreducible and is contained in an involutive submanifold \(T^* X \backslash X\) of codimension \(m - 1\), then \(\Lambda\) can be identified with the conormal of the hypersurface \(y^k = x^n\), and a classification of systems of microdifferential equations with simple characteristic along \(\Lambda\) is given. The authors classify the systems of microdifferential equations of multiplicity one along \(\Lambda\). They study the \(\mathcal{O}_{\Lambda(0)}\)-module \(\mathcal{N}/\mathcal{N}(-1)\) where \(\mathcal{N}\) is the canonical lattice of a holomorphic system \(\mathcal{M}\) as above. A unicity result on the solution of the Cauchy problem for a microdifferential system allows to extend the results on \(\mathcal{N}/\mathcal{N}(-1)\) to the \(\mathcal{E}_x\)-module \(\mathcal{M}\). Very precise results are given in \S 4 of the paper, and in \S 5 they are applied to \(\mathcal{D}\)-modules where necessary sufficient conditions are given, too involved to be given here. The authors introduce a new invariant, a module over the semigroup of the Legendreian curve \(\Lambda/\mathbb{C}^\times\), which allows to distinguish between systems generated by sections with principal symbol of the same degree of homogeneity (the same type of invariant was used previously by \textit{G.-M. Greuel} and \textit{G. Pfister} [J. Algebr. Geom. 2, No. 1, 81--135 (1993; Zbl 0785.14016)]) in a different context.