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

DOI10.1090/S0002-9947-97-01960-0zbMATH Open0897.13016arXivalg-geom/9509005OpenAlexW2157581526MaRDI QIDQ4372610FDOQ4372610

Authors: Bernd Ulrich, Steven L. Kleiman 

Publication date: 16 December 1997

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

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.

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

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

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)

Cites Work

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

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
• An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain
• Linear symmetric determinantal hypersurfaces
• 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)