Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn partial differential operators which annihilate the roots of the universal equation of degree k
105
0
0.0
(
0
)
Authors
Daniel Barlet
Ask ChatGPT about the research
No Arabic abstract
The aim of this paper is to study in details the regular holonomic $D-$module introduced in cite{[B.19]} whose local solutions outside the polar hyper-surface ${Delta(sigma).sigma_k = 0 }$ are given by the local system generated by the local branches of the multivalued function which is the root of the universal degree $k$ equation $z^k + sum_{h=1}^k (-1)^h.sigma_h.z^{k-h} = 0 $. Note that it is surprising that this regular holonomic $D-$module is given by the quotient of $D$ by a left ideal which has very simple explicit generators despite the fact it necessary encodes the analogous systems for any root of the universal degree $l$ equation for each $l leq k$. Our main result is to relate this $D-$module with the minimal extension of the irreducible local system associated to the difference of two branches of the multivalued function defined above. Then we obtain again a very simple explicit description of this minimal extension in term of the generators of its left ideal in the Weyl algebra. As an application we show how these results allow to compute the Taylor expansion of the root near $-1$ of the equation $z^k + sum_{h=-1}^k (-1)^h.sigma_h.z^{k-h} - (-1)^k = 0 $.
rate research
Read More
Let s 1 ,. .. , s k be the elementary symmetric functions of the complex variables x 1 ,. .. , x k. We say that F $in$ C[s 1 ,. .. , s k ] is a trace function if their exists f $in$ C[z] such that F (s 1 ,. .. , s k ] = k j=1 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 ,. .. , s k ] $partial$ $partial$s 1 ,. .. , $partial$ $partial$s k 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 holonomic system which is a quotient of W 2 by an explicit left ideal whose local solutions are linear combinations of the branches of the multivalued root of the universal equation of degree k: z k + k h=1 (--1) h .s h .z k--h = 0.
We study foliations by curves on the three-dimensional projective space with no isolated singularities, which is equivalent to assuming that the conormal sheaf is locally free. We provide a classification of such foliations by curves up to degree 3, also describing the possible singular schemes. In particular, we prove that foliations by curves of degree 1 or 2 are either contained on a pencil of planes or legendrian, and are given by the complete intersection of two codimension one distributions. We prove that the conormal sheaf of a foliation by curves of degree 3 with reduced singular scheme either splits as a sum of line bundles or is an instanton bundle. For degree larger than 3, we focus on two classes of foliations by curves, namely legendrian foliations and those whose conormal sheaf is a twisted null correlation bundle. We give characterizations of such foliations, describe their singular schemes and their moduli spaces.
We consider a family of surfaces of general type $S$ with $K_S$ ample, having $K^2_S = 24, p_g (S) = 6, q(S)=0$. We prove that for these surfaces the canonical system is base point free and yields an embedding $Phi_1 : S rightarrow mathbb{P}^5$. This result answers a question posed by G. and M. Kapustka. We discuss some related open problems, concerning also the case $p_g(S) = 5$, where one requires the canonical map to be birational onto its image.
We explain that in the study of the asymptotic expansion at the origin of a period integral like $gamma$z $omega$/df or of a hermitian period like f =s $rho$.$omega$/df $land$ $omega$ /df the computation of the Bernstein polynomial of the fresco (filtered differential equation) associated to the pair of germs (f, $omega$) gives a better control than the computation of the Bernstein polynomial of the full Brieskorn module of the germ of f at the origin. Moreover, it is easier to compute as it has a better functoriality and smaller degree. We illustrate this in the case where f $in$ C[x 0 ,. .. , x n ] has n + 2 monomials and is not quasi-homogeneous, by giving an explicite simple algorithm to produce a multiple of the Bernstein polynomial when $omega$ is a monomial holomorphic volume form. Several concrete examples are given.
We consider the Weyl algebra A (=A_n(k)) and its Rees algebra B with respect to the Bernstein filtration. The homogenisation of a differential operator in A is an element in B. In this paper we establish the validity of the division theorem for homogenized differential operators and Buchbergers algorithm for computing Groebner (or standard) bases in B. As an application we describe an algorithm for computing delta-standard bases in the Weyl algebra A.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
