The freeness and minimal free resolutions of modules of differential operators of a generic hyperplane arrangement.

DOI10.1016/J.JALGEBRA.2011.10.042zbMATH Open1276.16020arXiv1106.1759OpenAlexW2004558207MaRDI QIDQ427769FDOQ427769

Authors: Norihiro Nakashima, Go Okuyama, Mutsumi Saito 

Publication date: 18 June 2012

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let A be a generic hyperplane arrangement composed of r hyperplanes in an n-dimensional vector space, and S the polynomial ring in n variables. We consider the S-submodule D(m)(A) of the nth Weyl algebra of homogeneous differential operators of order m preserving the defining ideal of A. We prove that if n geq 3, r > n,m > r - n + 1, then D(m)(A) is free (Holm's conjecture). Combining this with some results by Holm, we see that D(m)(A) is free unless n geq 3, r > n,m < r - n + 1. In the remaining case, we construct a minimal free resolution of D(m)(A) by generalizing Yuzvinsky's construction for m = 1. In addition, we construct a minimal free resolution of the transpose of the m-jet module, which generalizes a result by Rose and Terao for m = 1.

Full work available at URL: https://arxiv.org/abs/1106.1759

Recommendations

• A free resolution of the module of derivations for generic arrangements
• Differential Operators on Hyperplane Arrangements
• Bases for modules of differential operators of order 2 on the classical Coxeter arrangements
• A free resolution of the module of logarithmic forms of a generic arrangement
• A Conjecture on Poincaré-Betti Series of Modules of Differential Operators on a Generic Hyperplane Arrangement

zbMATH Keywords

minimal free resolutionJacobian idealrings of differential operatorsgeneric hyperplane arrangementsjet modules

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings of differential operators and their modules (13N10) Rings of differential operators (associative algebraic aspects) (16S32) Sheaves of differential operators and their modules, (D)-modules (32C38) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Relations with arrangements of hyperplanes (32S22)

Cites Work

• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Title not available (Why is that?)
• Title not available (Why is that?)
• A free resolution of the module of logarithmic forms of a generic arrangement
• Groups of simple algebras
• A free resolution of the module of derivations for generic arrangements
• Castelnuovo-Mumford regularity by approximation
• Affine Hopf algebras. I
• Differential Operators on Hyperplane Arrangements
• A Conjecture on Poincaré-Betti Series of Modules of Differential Operators on a Generic Hyperplane Arrangement

Cited In (3)

• High order free hyperplane arrangements in 3-dimensional vector spaces
• A characterization of high order freeness for product arrangements and answers to Holm's questions
• A Conjecture on Poincaré-Betti Series of Modules of Differential Operators on a Generic Hyperplane Arrangement

This page was built for publication: The freeness and minimal free resolutions of modules of differential operators of a generic hyperplane arrangement.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q427769)