Various algorithms for the computation of BernsteinSato polynomial

 Samantha Hampton
 4 days ago
 Views:
Transcription
1 Various algorithms for the computation of BernsteinSato polynomial Applications of Computer Algebra (ACA) 2008
2 Notations and Definitions Motivation Two Approaches Let K be a field and let D = K x, = K x 1,..., x n, 1,..., n {x i j = j x i + δ ij } denote the nth Weyl algebra over K. Definition (Initial Form) Let 0 w R n be a weight vector. For p = α,β c αβx α β D put m = max α,β { wα + wβ c αβ 0}. We call in ( w,w) (p) := c αβ x α β D α,β: wα+wβ=m the initial form of p w.r.t. to w.
3 Notations and Definitions Motivation Two Approaches Let K be a field and let D = K x, = K x 1,..., x n, 1,..., n {x i j = j x i + δ ij } denote the nth Weyl algebra over K. Definition (Initial Form) Let 0 w R n be a weight vector. For p = α,β c αβx α β D put m = max α,β { wα + wβ c αβ 0}. We call in ( w,w) (p) := c αβ x α β D α,β: wα+wβ=m the initial form of p w.r.t. to w. For an ideal I in D, in ( w,w) (I ) := K {in ( w,w) (p) p I } is called the initial ideal of I w.r.t. w.
4 Notations and Definitions Motivation Two Approaches Definitions (Global bfunction) Let I be a holonomic Dideal and 0 w R n. Set s := n i=1 w ix i i. Then in ( w,w) (I ) K[s] is a nonzero principal ideal in K[s]. We call its monic generator b(s) the global bfunction of I w.r.t. w.
5 Notations and Definitions Motivation Two Approaches Definitions (Global bfunction) Let I be a holonomic Dideal and 0 w R n. Set s := n i=1 w ix i i. Then in ( w,w) (I ) K[s] is a nonzero principal ideal in K[s]. We call its monic generator b(s) the global bfunction of I w.r.t. w. For f K[x] put I f := t f, i + f x i t i = 1,..., n D t, t. Let w = (1, 0,..., 0) R n+1 be a weight vector such that the weight of t is 1, and let B(s) be the global bfunction of I f w.r.t. w. We call b(s) := B( s 1) the global bfunction (or the BernsteinSato polynomial) of f.
6 Notations and Definitions Motivation Two Approaches Some applications of the bfunction The bfunction, respectively its minimal/maximal integer roots, are needed in other areas of Dmodule theory: in computing restrictions in computing integrations in computing localizations in computing operators and annihilators
7 Notations and Definitions Motivation Two Approaches Some applications of the bfunction The bfunction, respectively its minimal/maximal integer roots, are needed in other areas of Dmodule theory: in computing restrictions in computing integrations in computing localizations in computing operators and annihilators: b(s) is the uniquely determined monic polynomial satisfying the identity P(x,, s) f s+1 = b(s) f s D[s]/ Ann(f s ) for some P(x,, s) D[s].
8 Notations and Definitions Motivation Two Approaches Annihilator based methods The idea: The equation implies P(x,, s) f s+1 = b(s) f s P(x,, s) f b(s) Ann(f s ).
9 Notations and Definitions Motivation Two Approaches Annihilator based methods The idea: The equation implies P(x,, s) f s+1 = b(s) f s P(x,, s) f b(s) Ann(f s ). 1 Compute Ann(f s ) (e.g. by using the algorithms by OakuTakayama, LevandovskyyOakuTakayama or BriançonMaisonobe) 2 Compute b(s) = Ann(f s ) D[s], f K[s] (e.g. by using preimages) Cf. the talk of Viktor Levandovskyy and Jorge Morales.
10 Notations and Definitions Motivation Two Approaches Initial based methods The idea: Back to the roots
11 Notations and Definitions Motivation Two Approaches Initial based methods The idea: Back to the roots 1 Compute J = in ( w,w) (I ) 2 Compute b(s) = J K[s] for s = w i x i i
12 Notations and Definitions Motivation Two Approaches Initial based methods The idea: Back to the roots 1 Compute J = in ( w,w) (I ) 2 Compute b(s) = J K[s] for s = w i x i i Oaku, Takayama: 1 Homogenize and compute a Gröbner basis G of J 2 Compute J = J K[x 1 1,..., x n n ] by Gröbner basis elimination, compute J K[s] by commutative methods
13 Computation of in ( w,w) (I ) Computation of the initial ideal Computation of the intersection Lemma Let < be a term order and let < ( w,w) be the (nonterm) monomial order defined by x α β < ( w,w) x γ δ wα + wβ < wγ + wδ or wα + wβ = wγ + wδ and x α β < x γ δ. If G is a Gröbner basis of I w.r.t. < ( w,w), then G ( w,w) = {in ( w,w) (g) g G} is a Gröbner basis of in ( w,w) (I ) w.r.t. <.
14 Weighted homogenization Computation of the initial ideal Computation of the intersection Let u, v R n >0. Consider D(h) (u,v) = K x,, h with non commutative relations i x i = x i i + h u i +v i, 1 i n. For p = c λαβ h λ x α β define the weighted total degree of p: deg (u,v) (p) = max{λ + uα + vβ c λαβ 0} For p = c αβ x α β define the weighted homogenization of p: H (u,v) (p) = c αβ h deg (u,v) (p) (uα+vβ) x α β
15 Computation of the initial ideal Computation of the intersection For a monomial order < in D define a term order < h in D (h) (u,v) : p < h q deg (u,v) (p) < deg (u,v) (q) or deg (u,v) (p) = deg (u,v) (q) and p h=1 < q h=1 Theorem Let F be a nonempty subset of D. If G h is a Gröbner basis of H (u,v) (F ) w.r.t. < h, then G h h=1 is a Gröbner basis of F w.r.t. <.
16 Computation of in ( w,w) (I ) K[s] Computation of the initial ideal Computation of the intersection The idea: Interpret s = n i=1 w ix i i as a left Dendomorphism D/ in ( w,w) (I ) D/ in ( w,w) (I ), p p s.
17 Computation of in ( w,w) (I ) K[s] Computation of the initial ideal Computation of the intersection The idea: Interpret s = n i=1 w ix i i as a left Dendomorphism D/ in ( w,w) (I ) D/ in ( w,w) (I ), p p s. Well definition: For every p in ( w,w) (I ), p s = (s + m) p in ( w,w) (I ), where m = wα + wβ for any nonzero term c α,β x α β in p.
18 Computation of in ( w,w) (I ) K[s] Computation of the initial ideal Computation of the intersection The idea: Interpret s = n i=1 w ix i i as a left Dendomorphism D/ in ( w,w) (I ) D/ in ( w,w) (I ), p p s. Well definition: For every p in ( w,w) (I ), p s = (s + m) p in ( w,w) (I ), where m = wα + wβ for any nonzero term c α,β x α β in p. Known fact: For a holonomic Dideal J, Hom D (D/J, D/J) is a finite dimensional Kvector space. Hence, s has a well defined minimal polynomial.
19 Computation of the initial ideal Computation of the intersection Algorithm: MinimalPolynomial(s, G) Input: s D such that G K[s] {0} for a GB G of J Output: b(s) K[s] such that J K[s] = b(s) i 1 while 1 do if there exist a 0,..., a i 1 K such that NF(s i, G) + i 1 j=0 a j NF(s j, G) = 0 then return s i + i 1 j=0 a js j break else i i + 1 end if end while
20 A modular alteration Introduction Computation of the initial ideal Computation of the intersection Consider K = Q. For a prime p let Z (p) = { a b a, b Z, b / pz} and let φ p : Z (p) Z p be the canonical projection. Lemma (Noro) For a prime p such that G Z (p) [x, ], φ p (G) is a Gröbner basis of φ p (G) w.r.t. < and φ p (b(s)) φ p (G). Theorem (Noro) Let b p (s) be the minimal polynomial of φ p (s) in φ p (D)/ φ p (G). If there exists f Z[s] such that deg(f (s)) = deg(b p (s)) and f (s) G, then f (s) = b(s).
21 The implementation To appear: bfct.lib
22 Example Input uw 1 xyz(y z)(y + z) uw 2 xyz(x + y + z)(y z) uw 3 xyz(x + z)(y z) uw 4 xyz(x + y + z)(3x + 2y + z) uw 5 xyz(y z)(2y + z)(y + z) uw 11 xyz(x z)( x + y)(y + z) uw 12 xyz(x z)( x + y)(y z) uw 13 xyz(4x + 2y + z)(9x + 3y + z)(x + y + z) uw 14 xyz(2y + z)(y + z)(4y + z)(3y + z) uw 15 xyz( x + y z)(3y + z)(2y + z)(y + z) uw 16 xyz(x z)(2y + z)(3y + z)(y + z) uw 19 xyz( x + y + 2z)(x + y + 2z)(y z)(y + z) uw 20 xyz(x z)(x + z)(y z)(y + z) uw 22 xyz(x + z)( x + y)(y z)(y + z) uw 32 xyz(x z)(x y z)(x y)(y z)
23 Asir Singular Example deg(b(s)) bfct bernsteinbm bfct uw 1 7 0:01 0:01 0:01 uw :52 0:15 0:07 uw 3 9 0:04 0:02 0:03 uw 4 8 1h:09 0:40 0:04 uw 5 9 0:01 0:01 0:05 uw h:51 13h:29 0:22 uw :00 42h:46 0:19 uw h:42 n/a 0:22 uw :04 0:03 0:35 uw h:07 n/a 32:55 uw h:55 n/a 13:28 uw h:44 n/a 2:13 uw h:47 55h:51 0:33 uw h:43 n/a 3:25 uw h:24 n/a 2:52 t : out of memory after time t, t : killed by user after time t
24 Ongoing Work bfct is not yet able to compute the bfunction of (xz + y)(x 4 + y 5 + xy 4 ) Hyperplane arrangements in more variables Yet unknown: the bfunction of xyzw(x + y)(x + z)(x + w)(y + z)(y + w) Other types of polynomials Yet unknown: the bfunction of (z 3 + w 4 )(3z 2 x + 4w 3 y) Applications in theoretical physics: kind of ζfunctions
25 Thank you Thank you for your attention!