Partial derivatives of a generic subspace of a vector space of forms: Quotients of level algebras of arbitrary type

Author:
Fabrizio Zanello

Journal:
Trans. Amer. Math. Soc. **359** (2007), 2675-2686

MSC (2000):
Primary 13E10; Secondary 13H10

DOI:
https://doi.org/10.1090/S0002-9947-07-04015-9

Published electronically:
January 4, 2007

MathSciNet review:
2286051

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Given a vector space of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace of . The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating , in terms of the dimensions of the spaces spanned by the partial derivatives of the forms generating the original space .

Rephrasing our result in the language of commutative algebra (where this result finds its most important applications), we have: let be a type artinian level algebra with -vector , and let, for , be the -vector of the generic type level quotient of having the same socle degree . Then we supply a lower-bound (in general sharp) for the -vector . Explicitly, we will show that, for any ,

Finally, we begin to obtain, as a consequence, some structure theorems for level -vectors of type bigger than 2, which is, at this time, a very little explored topic.

**[BH]**Winfried Bruns and Jürgen Herzog,*Cohen-Macaulay rings*, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR**1251956****[Ge]**Anthony V. Geramita,*Inverse systems of fat points: Waring’s problem, secant varieties of Veronese varieties and parameter spaces for Gorenstein ideals*, The Curves Seminar at Queen’s, Vol. X (Kingston, ON, 1995) Queen’s Papers in Pure and Appl. Math., vol. 102, Queen’s Univ., Kingston, ON, 1996, pp. 2–114. MR**1381732****[GHMS]**A.V. Geramita, T. Harima, J. Migliore and Y.S. Shin:*The Hilbert Function of a Level Algebra*, Memoirs of the Amer. Math. Soc., to appear.**[Ia]**Anthony Iarrobino,*Hilbert functions of Gorenstein algebras associated to a pencil of forms*, Projective varieties with unexpected properties, Walter de Gruyter, Berlin, 2005, pp. 273–286. MR**2202259****[Ia2]**A. Iarrobino:*Compressed Algebras: Artin algebras having given socle degrees and maximal length*, Trans. Amer. Math. Soc. 285 (1984), 337-378. MR**0748843 (85j:13030)****[IK]**Anthony Iarrobino and Vassil Kanev,*Power sums, Gorenstein algebras, and determinantal loci*, Lecture Notes in Mathematics, vol. 1721, Springer-Verlag, Berlin, 1999. Appendix C by Iarrobino and Steven L. Kleiman. MR**1735271****[NW]**Noam Nisan and Avi Wigderson,*Lower bounds on arithmetic circuits via partial derivatives*, Comput. Complexity**6**(1996/97), no. 3, 217–234. MR**1486927**, https://doi.org/10.1007/BF01294256**[Za]**Fabrizio Zanello,*Level algebras of type 2*, Comm. Algebra**34**(2006), no. 2, 691–714. MR**2211949**, https://doi.org/10.1080/00927870500387986

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
13E10,
13H10

Retrieve articles in all journals with MSC (2000): 13E10, 13H10

Additional Information

**Fabrizio Zanello**

Affiliation:
Dipartimento di Matematica, Università di Genova, Genova, Italy

Address at time of publication:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556

Email:
zanello@kth.se

DOI:
https://doi.org/10.1090/S0002-9947-07-04015-9

Keywords:
Artinian algebra,
level algebra,
$h$-vector,
generic quotient,
dimension,
partial derivatives.

Received by editor(s):
February 22, 2005

Received by editor(s) in revised form:
March 17, 2005

Published electronically:
January 4, 2007

Article copyright:
© Copyright 2007
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.