𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Minimal Free Resolutions of HomogenizedD-modules

✍ Scribed by Toshinori Oaku; Nobuki Takayama


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
330 KB
Volume
32
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


Homogenizing a module over the ring of differential operators, we define the notion of a minimal free resolution that is adapted to a filtration. We show that one can apply a modification of the algorithm of La Scala and Stillman to compute such a free resolution. By dehomogenization, one gets a free resolution of the original module that is small enough to compute, e.g. its restriction and integration. We have implemented our algorithm in a computer algebra system Kan and give examples by using this implementation.


πŸ“œ SIMILAR VOLUMES


Minimal Resolutions of Algebras
✍ M.C.R. Butler; A.D. King πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 230 KB

A method is described for constructing the minimal projective resolution of an algebra considered as a bimodule over itself. The method applies to an algebra presented as the quotient of a tensor algebra over a separable algebra by an ideal Ε½ of relations that is either homogeneous or admissible wit

Monomial Resolutions of Trivial Source M
✍ Robert Boltje; Burkhard KΓΌlshammer πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 343 KB

For trivial source modules admitting a filtration related to their generalized Brauer constructions, a resolution in terms of monomial modules is given which provides a categorical interpretation for the canonical induction formula applied to these modules.  2002 Elsevier Science (USA)

Modules Possessing Projective Resolution
✍ Peter H Kropholler πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 115 KB

Let G be a group in the class LHα‘  of locally hierarchically decomposable groups and let R be a strongly G-graded algebra. We provide a characterization of the R-modules of type FP under the assumptions that R is coherent and of finite Ο± 1 global dimension.

Free Resolutions of Simplicial Posets
✍ Art M Duval πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 371 KB

A simplicial poset, a poset with a minimal element and whose every interval is a Boolean algebra, is a generalization of a simplicial complex. Stanley defined a ring A associated with a simplicial poset P that generalizes the face-ring of a P w x simplicial complex. If V is the set of vertices of P,

Minimal Approximations, Orbital Elementa
✍ Otto Kerner πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 208 KB

This paper continues the study of the functor, introduced in 7 . Let A s k Q Q be a connected wild hereditary path-algebra, where Q Q is some finite quiver without oriented cycles and k is some field. The category of finitely generated left A-modules is denoted by A-mod, and maps are written opposit