Gorenstein algebras, symmetric matrices, self-linked ideals, and symbolic powers

DOI10.1090/S0002-9947-97-01960-0MaRDI QIDQ4372610zbMATH OpenOpenAlexFDO

Authors Bernd Ulrich, Steven L. Kleiman

Publication date 16 December 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9509005

zbMATH Keywords

complete intersectionsymbolic powerHilbert-Burch matrixself-linked idealsymmetrization for Gorenstein algebras

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Linkage, complete intersections and determinantal ideals (13C40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Inspired by recent work in the theory of central projections onto hypersurfaces, we characterize self-linked perfect ideals of grade 2 as those with a Hilbert--Burch matrix that has a maximal symmetric subblock. We also prove that every Gorenstein perfect algebra of grade 1 can be presented, as a module, by a symmetric matrix. Both results are derived from the same elementary lemma about symmetrizing a matrix that has, modulo a nonzerodivisor, a symmetric syzygy matrix. In addition, we establish a correspondence, roughly speaking, between Gorenstein perfect algebras of grade 1 that are birational onto their image, on the one hand, and self-linked perfect ideals of grade 2 that have one of the self-linking elements contained in the second symbolic power, on the other hand. Finally, we provide another characterization of these ideals in terms of their symbolic Rees algebras, and we prove a criterion for these algebras to be normal.

Recommendations

• A note on the symmetric algebras which are gorenstein rings
• Gorenstein ideals of deviation two
• ON THE STRUCTURE OF THE GRADE THREE PERFECT IDEALS OF TYPE THREE
• The Gorenstein property of the associated graded rings of powers of an ideal

Cites work

• scientific article; zbMATH DE number 4177500 (Why is no real title available?)
• scientific article; zbMATH DE number 3914480 (Why is no real title available?)
• scientific article; zbMATH DE number 3941666 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 4043978 (Why is no real title available?)
• scientific article; zbMATH DE number 125553 (Why is no real title available?)
• scientific article; zbMATH DE number 3257058 (Why is no real title available?)
• A Prime Ideal in a Polynomial Ring Whose Symbolic Blow-up is Not Noetherian
• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert's fourteenth problem
• Cohen-Macaulay Rings and Ideal Theory in Rings of Invariants of Algebraic Groups
• Deformations of the normalization of hypersurfaces
• Die Sätze von Bertini für lokale Ringe
• Evolutions, Symbolic Squares, and Fitting Ideals
• Form rings and regular sequences
• Homological Algebra on a Complete Intersection, with an Application to Group Representations
• Ideals defined by matrices and a certain complex associated with them
• Ideals generated by Pfaffians
• Ideals generated by minors of a symmetric matrix
• Koszul modules and Gorenstein algebras
• Non-Cohen-Macaulay Symbolic Blow-Ups for Space Monomial Curves and Counterexamples to Cowsik's Question
• Residual intersections in Cohen-Macaulay rings
• Self-linked curve singularities
• The Cohen-Macaulay symbolic Rees algebras for curve singularities
• The Converse to a Theorem of Sharp on Gorenstein Modules
• The Eisenbud-Evans Generalized Principal Ideal Theorem and Determinantal Ideals
• The Gorensteinness of symbolic Rees algebras for space curves
• The Poincaré series of a local ring
• The asymptotic nature of the analytic spread
• The multiple-point schemes of a finite curvilinear map of codimension one
• What annihilates a module?

Cited in

(13)

• Ortho-symmetric Modules, Gorenstein Algebras, and Derived Equivalences
• Conductors in mixed characteristic
• Existence of birational small Cohen-Macaulay modules over biquadratic extensions in mixed characteristic
• Perfect ideals of grade three defined by skew-symmetrizable matrices
• Lagrangian subbundles and codimension 3 subcanonical subschemes.
• On the existence of birational maximal Cohen-Macaulay modules over biradical extensions in mixed characteristic
• Linear symmetric determinantal hypersurfaces
• An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain
• Free resolutions for multiple point spaces
• Socle degrees, resolutions, and Frobenius powers
• Singularities of mappings
• The Hilbert polynomial of a symbolic square
• Core and residual intersections of ideals

This page was built for publication: Gorenstein algebras, symmetric matrices, self-linked ideals, and symbolic powers

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