Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHomogenising differential operators
231
0
0.0
(
0
)
Authors
F.J. Castro-Jimenez
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
A theorem of N. Katz cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$, which has an isotypical decomposition over the algebraic closure of $k$, is a tensor product $L=Motimes_k N$ of an absolutely irreducible operator $M$ over $k$ and an irreducible operator $N$ over $k$ having a finite differential Galois group. Using the existence of the tensor decomposition $L=Motimes N$, an algorithm is given in cite{C-W}, which computes an absolutely irreducible factor $F$ of $L$ over a finite extension of $k$. Here, an algorithmic approach to finding $M$ and $N$ is given, based on the knowledge of $F$. This involves a subtle descent problem for differential operators which can be solved for explicit differential fields $k$ which are $C_1$-fields.
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 prove that $p$-determinants of a certain class of differential operators can be lifted to power series over $mathbb{Q}$. We compute these power series in terms of monodromy of the corresponding differential operators.
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 $.
We set up a framework for discussing `$q$-analogues of the usual covariant differential operators for hermitian symmetric spaces. This turns out to be directly related to the deformation quantization associated to quadratic algebras satisfying certain conditions introduced by Procesi and De Concini.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
