No label defined (Q4451112)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2046150
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2046150 |
Statements
23 February 2004
0 references
ideals of Borel type
0 references
Ext-modules
0 references
sequentially Cohen-Macaulay ring
0 references
0.8041483163833618
0 references
0.802631139755249
0 references
0.7730870842933655
0 references
0.7690491080284119
0 references
Let \(K\) be an infinite field, \(S= K[x_1,\dots, x_n]\) the polynomial ring over \(K\), \(I\) a monomial ideal of \(S\), \(R= S/I\). First, it is shown that if \(I\) is of Borel type then \(R\) is sequentially CM (= Cohen-Macaulay). Using this fact (more precisely the filtration attached to the sequentially CM ring \(R\)) the modules \(\text{Ext}^i_R(R,S)\) are computed and in particular the \(a_i\)-invariants of the ring \(R\) are determined. Then these methods are used to compute the \(a_i\)-invariants of principal \(p\)-Borel ideals, refining the formula for the regularity of such ideals, conjectured by Pardue and previously proved by \textit{A. Aramova} and \textit{J. Herzog} [Ill. J. Math. 41, No. 1, 103--121 (1997; Zbl 0871.13007)] and by \textit{J. Herzog} and \textit{D. Popescu} [Proc. Am. Math. Soc. 129, No. 9, 2563--2570 (2001; Zbl 0979.13027)] giving a more elegant proof. This method also provides a minimal set of generators of \(\text{Ext}^i_R(R,S)\). For the entire collection see [Zbl 1020.00012].
0 references