HAL: hal-00361230, version 2

arXiv: 0902.2314

DOI: 10.1016/j.jsc.2011.05.007

Detailed view

Export this paper BibTeX - EndNote - TEI - RefWorks -

Journal of Symbolic Computation 46, 9 (2011) 1049-1069

Available versions:

v1 (2009-02-13)

v2 (2010-09-08)

Macaulay inverse systems revisited

Jean-François Pommaret 1

(2011-09)

Since its original publication in 1916 under the title "The Algebraic Theory of Modular Systems", the book by F. S. Macaulay has attracted a lot of scientists with a view towards pure mathematics (D. Eisenbud,...) or applications to control theory (U. Oberst,...).However, a carefull examination of the quotations clearly shows that people have hardly been looking at the last chapter dealing with the so-called "inverse systems", unless in very particular situations. The purpose of this paper is to provide for the first time the full explanation of this chapter within the framework of the formal theory of systems of partial differential equations (Spencer operator on sections, involution,...) and its algebraic counterpart now called "algebraic analysis" (commutative and homological algebra, differential modules,...). Many explicit examples are fully treated and hints are given towards the way to work out computer algebra packages.

1:	Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS)
	Ecole des Ponts ParisTech

Subject

:

Mathematics/Analysis of PDEs Mathematics/Commutative Algebra Mathematics/Differential Geometry Mathematics/Operator Algebras

Keyword(s): partial differential equations – Macaulay inverse systems – algebraic analysis – commutative algebra – homological algebra – localization – duality – computer algebra – Groebner bases.

hal-00361230, version 2

http://hal.archives-ouvertes.fr/hal-00361230

oai:hal.archives-ouvertes.fr:hal-00361230

From: Jean-François Pommaret <>

Submitted on: Wednesday, 8 September 2010 18:57:05

Updated on: Friday, 2 March 2012 18:55:34