Syzygies of differentials of forms

DOI10.1016/J.JALGEBRA.2012.11.008MaRDI QIDQ372656zbMATH OpenOpenAlexFDO

Authors Isabel Bermejo, Philippe Gimenez, Aron Simis

Publication date 9 October 2013

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

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

homological dimension Jacobian ideal Kähler differentials polar map polarizability syzygies

Integral closure of commutative rings and ideals (13B22) Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Modules of differentials (13N05) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05)

Abstract: Given a standard graded polynomial ring

R = k [x_{1}, ..., x_{n}]

over a field

k

of characteristic zero and a graded

k

-subalgebra

A = k [f_{1}, ..., f_{m}] s u b s e t R

, one relates the module

O m e g a_{A / k}

of K"ahler

k

-differentials of

A

to the transposed Jacobian module

m a t h c a l D s u b s e t s u m_{i = 1}^{n} R d x_{i}

of the forms

f_{1}, ..., f_{m}

by means of a {em Leibniz map}

O m e g a_{A / k} a r m a t h c a l D

whose kernel is the torsion of

O m e g a_{A / k}

. Letting

f p

denote the

R

-submodule generated by the (image of the) syzygy module of

O m e g a_{A / k}

and

f z

the syzygy module of

m a t h c a l D

, there is a natural inclusion

f p s u b s e t f z

coming from the chain rule for composite derivatives. The main goal is to give means to test when this inclusion is an equality -- in which case one says that the forms

f_{1}, ..., f_{m}

are {em polarizable}. One surveys some classes of subalgebras that are generated by polarizable forms. The problem has some curious connections with constructs of commutative algebra, such as the Jacobian ideal, the conormal module and its torsion, homological dimension in

R

and syzygies, complete intersections and Koszul algebras. Some of these connections trigger questions which have interest in their own.

Review text

From the authors' abstract: ``Given a standard graded polynomial ring \(R=k[x_1,\dots,x_n]\) over a field \(k\) of characteristic zero and a graded \(k\)-subalgebra \(A=k[f_1,\dots,f_m]\subset R\), one relates the module \(\Omega_{_A/k}\) of Kähler \(k\)-differentials of \(A\) to the transposed Jacobian module \(\mathcal D\subset\sum^n_{i=1}Rdx_i\) of the forms \(f_1,\ldots,f_m\) by means of a Leibniz map \(\Omega_{A/k}\to\mathcal D\) whose kernel is the torsion of \(\Omega_{A/k}\). Letting \(\mathfrak D\) denote the \(R\)-submodule generated by the (image of the) syzygy module of \(\Omega_{A/k}\) and \(\mathfrak Z\) the syzygy module of \(\mathcal D\), there is a natural inclusion \(\mathfrak D\subset \mathfrak Z\) coming from the chain rule for composite derivatives. The main goal is to give means to test when this inclusion is an equality -- in which case one says that the forms \(f_1,\dots,f_m\) are polarizable.

Recommendations

Cited in

(4)

This page was built for publication: Syzygies of differentials of forms

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