Various algorithms for the computation of Bernstein-Sato polynomial
|
|
- Samantha Hampton
- 5 years ago
- Views:
Transcription
1 Various algorithms for the computation of Bernstein-Sato 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 n-th 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 n-th 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 b-function) Let I be a holonomic D-ideal and 0 w R n. Set s := n i=1 w ix i i. Then in ( w,w) (I ) K[s] is a non-zero principal ideal in K[s]. We call its monic generator b(s) the global b-function of I w.r.t. w.
5 Notations and Definitions Motivation Two Approaches Definitions (Global b-function) Let I be a holonomic D-ideal and 0 w R n. Set s := n i=1 w ix i i. Then in ( w,w) (I ) K[s] is a non-zero principal ideal in K[s]. We call its monic generator b(s) the global b-function 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 b-function of I f w.r.t. w. We call b(s) := B( s 1) the global b-function (or the Bernstein-Sato polynomial) of f.
6 Notations and Definitions Motivation Two Approaches Some applications of the b-function The b-function, respectively its minimal/maximal integer roots, are needed in other areas of D-module 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 b-function The b-function, respectively its minimal/maximal integer roots, are needed in other areas of D-module 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 Oaku-Takayama, Levandovskyy-Oaku-Takayama or Briançon-Maisonobe) 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 (non-term) 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 non-empty 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 D-endomorphism 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 D-endomorphism 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 non-zero 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 D-endomorphism 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 non-zero term c α,β x α β in p. Known fact: For a holonomic D-ideal J, Hom D (D/J, D/J) is a finite dimensional K-vector 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 b-function of (xz + y)(x 4 + y 5 + xy 4 ) Hyperplane arrangements in more variables Yet unknown: the b-function of xyzw(x + y)(x + z)(x + w)(y + z)(y + w) Other types of polynomials Yet unknown: the b-function 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!
Computing the Bernstein-Sato polynomial
Computing the Bernstein-Sato polynomial Daniel Andres Kaiserslautern 14.10.2009 Daniel Andres (RWTH Aachen) Computing the Bernstein-Sato polynomial Kaiserslautern 2009 1 / 21 Overview 1 Introduction 2
More informationIntroduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials. Jorge Martín-Morales
Introduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials Jorge Martín-Morales Centro Universitario de la Defensa de Zaragoza Academia General Militar Differential Algebra and
More informationLocalization. Introduction. Markus Lange-Hegermann
Localization Markus Lange-Hegermann Introduction This talk deals with localisation of holonomic Weyl algebra modules and their localisation. Consider left modules an d left ideals for this talk. Instead
More informationSome D-module theoretic aspects of the local cohomology of a polynomial ring
Some D-module theoretic aspects of the local cohomology of a polynomial ring Toshinori Oaku Tokyo Woman s Christian University July 6, 2015, MSJ-SI in Osaka Toshinori Oaku (Tokyo Woman s Christian University)
More informationConstructive D-module Theory with Singular
Constructive D-module Theory with Singular arxiv:1005.3257v1 [math.ag] 18 May 2010 Daniel Andres Michael Brickenstein Viktor Levandovskyy Jorge Martín-Morales Hans Schönemann Abstract We overview numerous
More informationNon commutative Computations with SINGULAR
Non commutative Computations with SINGULAR Viktor Levandovskyy SFB Project F1301 of the Austrian FWF Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Austria Special
More informationNOUVELLE CUISINE FOR THE COMPUTATION OF THE ANNIHILATING IDEAL OF f s
NOUVELLE CUISINE FOR THE COMPUTATION OF THE ANNIHILATING IDEAL OF f s J. GAGO-VARGAS, M.I. HARTILLO-HERMOSO, AND J.M. UCHA-ENRÍQUEZ Abstract. Let f 1,..., f p be polynomials in C[x 1,..., x n] and let
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationAlgorithms in computational algebraic analysis
Algorithms in computational algebraic analysis A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Anton Leykin IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE
More informationNoncommutative Extensions of SINGULAR
Noncommutative Extensions of SINGULAR Viktor Levandovskyy RWTH Aachen 14.10.09, Kaiserslautern Levandovskyy (RWTH) SingNC 14.10.09 1 / 17 Outline 1 PLURAL: non-commutative GR-algebras 2 LOCAPAL: certain
More information$\hat{d}_{n}:=k[[x_{1}, \ldots, x_{n}]]\mathrm{t}\partial_{1},$ $\ldots,$
$D_{\mathfrak{n}}$ \mathrm{l}\mathrm{t}\mathrm{i}\mathrm{n}\mathrm{g}b_{f}(s)$ was $\partial_{n})$ et 0}$] $\backslash \mathrm{v}\mathrm{l}\mathrm{l}\mathrm{e}\mathrm{n}f(?\cdot)\in \mathrm{c}[\iota]$
More informationCurrent Advances. Open Source Gröbner Basis Algorithms
Current Advances in Open Source Gröbner Basis Algorithms My name is Christian Eder I am from the University of Kaiserslautern 3 years ago Christian Eder, Jean-Charles Faugère A survey on signature-based
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.
More informationMinimal free resolutions of analytic D-modules
Minimal free resolutions of analytic D-modules Toshinori Oaku Department of Mathematics, Tokyo Woman s Christian University Suginami-ku, Tokyo 167-8585, Japan November 7, 2002 We introduce the notion of
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationarxiv: v1 [math.ac] 14 Sep 2016
NEW STRATEGIES FOR STANDARD BASES OVER Z arxiv:1609.04257v1 [math.ac] 14 Sep 2016 CHRISTIAN EDER, GERHARD PFISTER, AND ADRIAN POPESCU Abstract. Experiences with the implementation of strong Gröbner bases
More informationAlgorithms for D-modules, integration, and generalized functions with applications to statistics
Algorithms for D-modules, integration, and generalized functions with applications to statistics Toshinori Oaku Department of Mathematics, Tokyo Woman s Christian University March 18, 2017 Abstract This
More informationM3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS
M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS (1) (a) Fix a monomial order. A finite subset G = {g 1,..., g m } of an ideal I k[x 1,..., x n ] is called a Gröbner basis if (LT(g
More informationA SURPRISING FACT ABOUT D-MODULES IN CHARACTERISTIC p > Introduction
A SUPISING FACT ABOUT D-MODULES IN CHAACTEISTIC p > 0 JOSEP ÀLVAEZ MONTANE AND GENNADY LYUBEZNIK Abstract. Let = k[x,..., x d ] be the polynomial ring in d independent variables, where k is a field of
More informationPrimary Decomposition
Primary Decomposition p. Primary Decomposition Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern Primary Decomposition p. Primary Decomposition:References
More informationULI WALTHER UNIVERSITY OF MINNESOTA
ALGORITHMIC COMPUTATION OF LOCAL COHOMOLOGY MODULES AND THE COHOMOLOGICAL DIMENSION OF ALGEBRAIC VARIETIES arxiv:alg-geom/9710004v1 3 Oct 1997 ULI WALTHER UNIVERSITY OF MINNESOTA Abstract. In this paper
More informationComputing Minimal Polynomial of Matrices over Algebraic Extension Fields
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 2, 2013, 217 228 Computing Minimal Polynomial of Matrices over Algebraic Extension Fields by Amir Hashemi and Benyamin M.-Alizadeh Abstract In this
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationTangent cone algorithm for homogenized differential operators
Tangent cone algorithm for homogenized differential operators Michel Granger a Toshinori Oaku b Nobuki Takayama c a Université d Angers, Bd. Lavoisier, 49045 Angers cedex 01, France b Tokyo Woman s Christian
More informationHandout - Algebra Review
Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much
More informationModular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals. Masayuki Noro. Toru Aoyama
Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals Toru Aoyama Kobe University Department of Mathematics Graduate school of Science Rikkyo University Department
More informationSolutions of exercise sheet 11
D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More information8 Appendix: Polynomial Rings
8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients
More informationPart 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form
Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationD-modules and Cohomology of Varieties
D-modules and Cohomology of Varieties Uli Walther In this chapter we introduce the reader to some ideas from the world of differential operators. We show how to use these concepts in conjunction with Macaulay
More informationPolynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes
Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes Roberta Barbi December 17, 2015 Roberta Barbi List decoding December 17, 2015 1 / 13 Codes Let F q be
More informationA DARK GREY P O N T, with a Switch Tail, and a small Star on the Forehead. Any
Y Y Y X X «/ YY Y Y ««Y x ) & \ & & } # Y \#$& / Y Y X» \\ / X X X x & Y Y X «q «z \x» = q Y # % \ & [ & Z \ & { + % ) / / «q zy» / & / / / & x x X / % % ) Y x X Y $ Z % Y Y x x } / % «] «] # z» & Y X»
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationLecture 15: Algebraic Geometry II
6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer
More informationComputational Formal Resolution of Surfaces in P 3 C
Computational Formal Resolution of Surfaces in P 3 C {Tobias.Beck Josef.Schicho}@oeaw.ac.at RICAM-Linz Austrian Academy of Sciences July 31 / Magma 2006 Berlin T. Beck, J. Schicho (RICAM-Linz) Computational
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationD-MODULES FOR MACAULAY 2
D-MODULES FOR MACAULAY 2 ANTON LEYKIN D-modules for Macaulay 2 is a collection of the most recent algorithms that deal with various computational aspects of the theory of D-modules. This paper provides
More informationLECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS
LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS Definition 0.1. Let R be a domain. We say that R is normal (integrally closed) if R equals the integral closure in its fraction field Q(R). Proposition 0.2.
More informationCompatibly split subvarieties of Hilb n (A 2 k)
Compatibly split subvarieties of Hilb n (A 2 k) Jenna Rajchgot MSRI Combinatorial Commutative Algebra December 3-7, 2012 Throughout this talk, let k be an algebraically closed field of characteristic p
More informationLetterplace ideals and non-commutative Gröbner bases
Letterplace ideals and non-commutative Gröbner bases Viktor Levandovskyy and Roberto La Scala (Bari) RWTH Aachen 13.7.09, NOCAS, Passau, Niederbayern La Scala, Levandovskyy (RWTH) Letterplace ideals 13.7.09
More informationD-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field
D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such that
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationarxiv: v2 [cs.sy] 18 Sep 2014
Projective Root-Locus: An Extension of Root-Locus Plot to the Projective Plane Francisco Mota Departamento de Engenharia de Computação e Automação Universidade Federal do Rio Grande do Norte Brasil e-mail:mota@dca.ufrn.br
More informationSINGULAR: Using and Programming
SINGULAR: Using and Programming Viktor Levandovskyy RWTH Aachen, Germany 15.11.2007, RWTH Viktor Levandovskyy (RWTH) Singular 15.11.2007, RWTH 1 / 30 Where to find the information about SINGULAR? On the
More informationLecture 2: Gröbner Basis and SAGBI Basis
Lecture 2: Gröbner Basis and SAGBI Basis Mohammed Tessema Suppose we have a graph. Suppose we color the graph s vertices with 3 colors so that if the vertices are adjacent they are not the same colors.
More information1. A polynomial p(x) in one variable x is an algebraic expression in x of the form
POLYNOMIALS Important Points 1. A polynomial p(x) in one variable x is an algebraic expression in x of the form p(x) = a nx n +a n-1x n-1 + a 2x 2 +a 1x 1 +a 0x 0 where a 0, a 1, a 2 a n are constants
More informationGroebner Bases and Applications
Groebner Bases and Applications Robert Hines December 16, 2014 1 Groebner Bases In this section we define Groebner Bases and discuss some of their basic properties, following the exposition in chapter
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationAlgebraic Geometry. 1 4 April David Philipson. 1.1 Basic Definitions. 1.2 Noetherian Rings
Algebraic Geometry David Philipson 1 4 April 2008 Notes for this day courtesy of Yakov Shlapentokh-Rothman. 1.1 Basic Definitions Throughout this course, we let k be an algebraically closed field with
More informationPLURAL, a Non commutative Extension of SINGULAR: Past, Present and Future
PLURAL, a Non commutative Extension of SINGULAR: Past, Present and Future Viktor Levandovskyy SFB Project F1301 of the Austrian FWF Research Institute for Symbolic Computation (RISC) Johannes Kepler University
More informationThe Weyl algebra Modules over the Weyl algebra
The Weyl algebra p. The Weyl algebra Modules over the Weyl algebra Francisco J. Castro Jiménez Department of Algebra - University of Seville Dmod2011: School on D-modules and applications in Singularity
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationProblem Set 1 Solutions
Math 918 The Power of Monomial Ideals Problem Set 1 Solutions Due: Tuesday, February 16 (1) Let S = k[x 1,..., x n ] where k is a field. Fix a monomial order > σ on Z n 0. (a) Show that multideg(fg) =
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationLecture 5: Ideals of Points
Lecture 5: Ideals of Points The Vanishing Lecture Martin Kreuzer Fakultät für Informatik und Mathematik Universität Passau martin.kreuzer@ uni-passau.de Sophus Lie Center Nordfjordeid June 18, 2009 1 Contents
More informationOn the BMS Algorithm
On the BMS Algorithm Shojiro Sakata The University of Electro-Communications Department of Information and Communication Engineering Chofu-shi, Tokyo 182-8585, JAPAN Abstract I will present a sketch of
More informationMath 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010
Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated
More informationPolynomials. Math 4800/6080 Project Course
Polynomials. Math 4800/6080 Project Course 2. Algebraic Curves. Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions.
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More information4.1 Primary Decompositions
4.1 Primary Decompositions generalization of factorization of an integer as a product of prime powers. unique factorization of ideals in a large class of rings. In Z, a prime number p gives rise to a prime
More informationHolonomic gradient method for hypergeometric functions of a matrix argument Akimichi Takemura, Shiga University
Holonomic gradient method for hypergeometric functions of a matrix argument Akimichi Takemura, Shiga University (joint with H.Hashiguchi and N.Takayama) June 20, 2016, RIMS, Kyoto Items 1. Summary of multivariate
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationAlgorithms for D-modules restriction, tensor product, localization, and local cohomology groups
Journal of Pure and Applied Algebra 156 (2001) 267 308 www.elsevier.com/locate/jpaa Algorithms for D-modules restriction, tensor product, localization, and local cohomology groups Toshinori Oaku a;, Nobuki
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationChapter 4. Greatest common divisors of polynomials. 4.1 Polynomial remainder sequences
Chapter 4 Greatest common divisors of polynomials 4.1 Polynomial remainder sequences If K is a field, then K[x] is a Euclidean domain, so gcd(f, g) for f, g K[x] can be computed by the Euclidean algorithm.
More informationAbstract Algebra for Polynomial Operations. Maya Mohsin Ahmed
Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation
More informationMAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016
MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu
More informationLESSON 7.1 FACTORING POLYNOMIALS I
LESSON 7.1 FACTORING POLYNOMIALS I LESSON 7.1 FACTORING POLYNOMIALS I 293 OVERVIEW Here s what you ll learn in this lesson: Greatest Common Factor a. Finding the greatest common factor (GCF) of a set of
More informationGroebner Bases in Boolean Rings. for Model Checking and. Applications in Bioinformatics
Groebner Bases in Boolean Rings for Model Checking and Applications in Bioinformatics Quoc-Nam Tran, Ph.D. Professor of Computer Science Lamar University Invited Talk at CMU on October 8, 2010 Outline
More informationUnless otherwise specified, V denotes an arbitrary finite-dimensional vector space.
MAT 90 // 0 points Exam Solutions Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space..(0) Prove: a central arrangement A in V is essential if and only if the dual projective
More informationSINGULAR. SINGULAR and Applications SINGULAR SINGULAR
SINGULAR SINGULAR and Applications A Computer Algebra System for Polynomial Computations with special emphasize on the needs of algebraic geometry, commutative algebra, and singularity theory G.-M. Greuel,
More informationMath 214A. 1 Affine Varieties. Yuyu Zhu. August 31, Closed Sets. These notes are based on lectures given by Prof. Merkurjev in Winter 2015.
Math 214A Yuyu Zhu August 31, 2016 These notes are based on lectures given by Prof. Merkurjev in Winter 2015. 1 Affine Varieties 1.1 Closed Sets Let k be an algebraically closed field. Denote A n = A n
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationAn Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD
An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD Dong Lu Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems Science, CAS Joint work with Deepak Kapur,
More informationThe moduli space of binary quintics
The moduli space of binary quintics A.A.du Plessis and C.T.C.Wall November 10, 2005 1 Invariant theory From classical invariant theory (we refer to the version in [2]), we find that the ring of (SL 2 )invariants
More informationIdeals: Definitions & Examples
Ideals: Definitions & Examples Defn: An ideal I of a commutative ring R is a subset of R such that for a, b I and r R we have a + b, a b, ra I Examples: All ideals of Z have form nz = (n) = {..., n, 0,
More informationLECTURE 10, MONDAY MARCH 15, 2004
LECTURE 10, MONDAY MARCH 15, 2004 FRANZ LEMMERMEYER 1. Minimal Polynomials Let α and β be algebraic numbers, and let f and g denote their minimal polynomials. Consider the resultant R(X) of the polynomials
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals
Binomial Ideals Binomial ideals offer an interesting class of examples. Because they occur so frequently in various applications, the development methods for binomial ideals is justified. 1 Binomial Ideals
More informationOn the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems
On the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems Bruno.Salvy@inria.fr Algorithms Project, Inria Joint work with Magali Bardet & Jean-Charles Faugère September 21st, 2006
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include
PUTNAM TRAINING POLYNOMIALS (Last updated: December 11, 2017) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationPolynomial Rings : Linear Algebra Notes
Polynomial Rings : Linear Algebra Notes Satya Mandal September 27, 2005 1 Section 1: Basics Definition 1.1 A nonempty set R is said to be a ring if the following are satisfied: 1. R has two binary operations,
More informationAlgebra I CP Final Exam Review
Class: Date: Algebra I CP Final Exam Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Identify the graph that displays the height of a ping pong
More informationAlgebraic Expressions
Algebraic Expressions 1. Expressions are formed from variables and constants. 2. Terms are added to form expressions. Terms themselves are formed as product of factors. 3. Expressions that contain exactly
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More information