Effective Genericity, δ-Regularity and Strong Noether Position

REFERENCES

• Bayer , D. , Stillman , M. ( 1987 ). A criterion for detecting m-regularity . Invent. Math. 87 : 1 – 11 .
   Web of Science ®Google Scholar
• Bermejo , I. , Gimenez , P. ( 2006 ). Saturation and Castelnuovo-Mumford regularity . J. Alg. 303 : 592 – 617 .
   Web of Science ®Google Scholar
• Caviglia , G. , Sbarra , E. ( 2005 ). Characteristic-free bounds for the Castelnuovo-Mumford regularity . Compos. Math. 141 : 1365 – 1373 .
   Web of Science ®Google Scholar
• Decker , W. , Greuel , G. M. , Pfister , G. ( 1999 ). Primary decomposition: Algorithms and comparisons . In: Matzat , B. H. , Greuel , G. M. , Hiss , G. , eds. Algorithmic Algebra and Number Theory . Heidelberg : Springer-Verlag , pp. 187 – 220 .
   Google Scholar
• Eisenbud , D. , Goto , S. ( 1984 ). Linear free resolutions and minimal multiplicity . J. Alg. 88 : 89 – 133 .
   Web of Science ®Google Scholar
• Eisenbud , D. , Sturmfels , B. ( 1994 ). Finding sparse systems of parameters . J. Pure Appl. Alg. 94 : 143 – 157 .
   Web of Science ®Google Scholar
• Gerdt , V. P. ( 2000 ). On the relation between Pommaret and Janet bases . In: Ghanza , V. G. , Mayr , E. W. , Vorozhtsov , E. V. , eds. Computer Algebra in Scientific Computing—CASC 2000 . Berlin : Springer-Verlag , pp. 167 – 182 .
   Google Scholar
• Gerdt , V. P. , Blinkov , Yu. A. ( 1998 ). Involutive bases of polynomial ideals . Math. Comp. Simul. 45 : 519 – 542 .
   Web of Science ®Google Scholar
• Gerdt , V. P. , Blinkov , Yu. A. ( 1998 ). Minimal involutive bases . Math. Comp. Simul. 45 : 543 – 560 .
   Web of Science ®Google Scholar
• Guillemin , V. W. , Sternberg , S. (1964). An algebraic model of transitive differential geometry. Bull. Amer. Math. Soc. 70:16–47 (With a letter of Serre as appendix).
   Web of Science ®Google Scholar
• Hashemi , A. ( 2010 ). Strong Noether position and stabilized regularities . Comm. Alg. 38 : 515 – 533 .
   Web of Science ®Google Scholar
• Hausdorf , M. , Sahbi , M. , Seiler , W. M. ( 2006 ). δ- and quasi-regularity for polynomial ideals . In: Calmet , J. , Seiler , W. M. , Tucker , R. W. , eds. Global Integrability of Field Theories . Karlsruhe : Universitätsverlag Karlsruhe , pp. 179 – 200 .
   Google Scholar
• Hausdorf , M. , Seiler , W. M. ( 2002 ). An efficient algebraic algorithm for the geometric completion to involution . Appl. Alg. Eng. Comm. Comp. 13 : 163 – 207 .
   Web of Science ®Google Scholar
• Herzog , J. , Popescu , D. , Vladoiu , M. ( 2003 ). On the Ext-Modules of Ideals of Borel Type . Commutative Algebra, Contemp. Math. 331 . Providence , RI : Amer. Math. Soc. , pp. 171 – 186 .
   Google Scholar
• Mall , D. ( 1998 ). On the relation between Gröbner and Pommaret bases . Appl. Alg. Eng. Comm. Comp. 9 : 117 – 123 .
   Web of Science ®Google Scholar
• Robertz , D. ( 2009 ). Noether normalization guided by monomial cone decompositions . J. Symb. Comp. 44 : 1359 – 1373 .
   Web of Science ®Google Scholar
• Schenzel , P. , Trung , N. V. , Cuong , N. T. ( 1978 ). Verallgemeinerte Cohen–Macaulay–Moduln . Math. Nachr. 85 : 57 – 73 .
   Web of Science ®Google Scholar
• Schreyer , F. O. ( 1980 ). Die Berechnung von Syzygien mit dem verallgemeinerten Weierstraßschen Divisionssatz. Master's thesis, Fakultät für Mathematik, Universität Hamburg .
   Google Scholar
• Seiler , W. M. ( 1994 ). On the arbitrariness of the general solution of an involutive partial differential equation . J. Math. Phys. 35 : 486 – 498 .
   Web of Science ®Google Scholar
• Seiler , W. M. ( 2007 ). Spencer cohomology, differential equations, and Pommaret bases . In: Rosenkranz , M. , Wang , D. , eds. Gröbner Bases in Symbolic Analysis . Radon Series on Computation and Applied Mathematics 2 . Berlin : Walter de Gruyter , pp. 171 – 219 .
   Google Scholar
• Seiler , W. M. ( 2009 ). A combinatorial approach to involution and δ-regularity I: Involutive bases in polynomial algebras of solvable type . Appl. Alg. Eng. Comm. Comp. 20 : 207 – 259 .
   Web of Science ®Google Scholar
• Seiler , W. M. ( 2009 ). A combinatorial approach to involution and δ-regularity II: Structure analysis of polynomial modules with Pommaret bases . Appl. Alg. Eng. Comm. Comp. 20 : 261 – 338 .
   Web of Science ®Google Scholar
• Seiler , W. M. ( 2010 ). Involution—The Formal Theory of Differential Equations and Its Applications in Computer Algebra . Algorithms and Computation in Mathematics 24 . Berlin : Springer-Verlag .
   Google Scholar
• Communicated by I. Swanson.
   Google Scholar