pith. sign in

arxiv: 2405.12170 · v2 · submitted 2024-05-20 · 🧮 math.AC

Deformation of Residual Intersections

Hamid Hassanzadeh , Kevin Vasconcellos This is my paper

Pith reviewed 2026-05-24 01:31 UTC · model grok-4.3

classification 🧮 math.AC
keywords linkageresidual intersectiondeformationCohen-Macaulay ringgeneric linkages-residual intersectionideal theory
0
0 comments X

The pith

In a Cohen-Macaulay local ring the generic linkage of an ideal deforms any of its linkages.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that in a Cohen-Macaulay local ring, the generic linkage of an ideal I is a deformation of an arbitrary linkage of I. This holds without requiring I to be Cohen-Macaulay itself. The result also applies to s-residual intersections when s does not exceed the height of I by more than one, and extends to all such intersections under additional mild conditions on I. A reader would care because deformations preserve many algebraic properties, allowing results proven in the generic case to transfer to specific linkages.

Core claim

In a Cohen-Macaulay local ring, the generic linkage of an ideal I is a deformation of the arbitrary linkage of I. This fact does not need I to be a Cohen-Macaulay ideal. The same holds for s-residual intersections of I when s does not exceed the height of I by one. Under some slight conditions on I, one further generalizes this principle to encompass any s-residual intersection.

What carries the argument

The deformation relating the generic linkage of I to an arbitrary linkage of I, which shows the former specializes flatly to the latter.

If this is right

  • Properties established for generic linkages extend to arbitrary linkages through the deformation.
  • Results on s-residual intersections apply when s is at most height(I) plus one.
  • Linkage statements hold for ideals I that are not themselves Cohen-Macaulay.
  • Under mild extra conditions on I the same deformation principle covers every s-residual intersection.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The deformation may let one move known generic linkage formulas to compute specific cases in explicit rings.
  • The principle could be tested by checking whether the same deformation relation appears for residual intersections in non-local rings.

Load-bearing premise

The ambient ring must be Cohen-Macaulay and local.

What would settle it

An explicit pair of linked ideals in a Cohen-Macaulay local ring where the minimal free resolution or Hilbert function of the generic linkage fails to match that of a specific linkage after base change.

read the original abstract

It is shown that in a Cohen-Macaulay local ring, the generic linkage of an ideal $I$ is a deformation of the arbitrary linkage of $I$. This fact does not need $I$ to be a Cohen-Macaulay ideal. The same holds for $s$-residual intersections of $I$ when $s$ does not exceed the height of $I$ by one. Under some slight conditions on $I$, one further generalizes this principle to encompass any $s$-residual intersection.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to prove that in a Cohen-Macaulay local ring, the generic linkage of an ideal I is a deformation of an arbitrary linkage of I, without requiring I itself to be Cohen-Macaulay. The same principle is asserted to hold for s-residual intersections when s does not exceed ht(I) by one, and under mild additional conditions on I for arbitrary s-residual intersections.

Significance. If established, the result would be of moderate significance in commutative algebra: it relaxes the Cohen-Macaulay hypothesis on the ideal in linkage and residual-intersection theory while retaining the ambient ring hypothesis, potentially allowing broader application of deformation arguments to non-CM ideals. No machine-checked proofs, reproducible computations, or explicit falsifiable predictions are indicated in the provided abstract.

major comments (1)
  1. [Abstract / Theorem statement] The abstract states the central theorem but supplies neither the definition of 'deformation' in this context nor the proof; without these, the claim that generic linkage deforms arbitrary linkage cannot be verified for load-bearing steps such as exactness of the linkage complex or flatness of the deformation family.
minor comments (1)
  1. [Abstract] The phrase 'slight conditions on I' for the general s case is vague; the manuscript should specify these conditions explicitly (e.g., in the statement of the main theorem).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The major comment appears to focus on the abstract; the full manuscript provides the requested definitions and proofs in the body of the paper.

read point-by-point responses

  1. Referee: [Abstract / Theorem statement] The abstract states the central theorem but supplies neither the definition of 'deformation' in this context nor the proof; without these, the claim that generic linkage deforms arbitrary linkage cannot be verified for load-bearing steps such as exactness of the linkage complex or flatness of the deformation family.

    Authors: The notion of deformation is defined in Section 2 (preliminaries), following the standard flat-family definition over a local base ring as in the literature on linkage. The main theorem (Theorem 3.1 for linkages, and Theorems 4.2 and 4.5 for residual intersections) is proved in Sections 3 and 4 by explicitly constructing a flat deformation family from the generic linkage ideal and verifying exactness of the linkage complex via the mapping cone and depth conditions. Flatness follows from the Cohen-Macaulay hypothesis on the ambient ring and the height assumptions. These steps are fully detailed in the manuscript. revision: no

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states and proves a theorem on deformations of generic vs. arbitrary linkages and s-residual intersections in Cohen-Macaulay local rings. The abstract and claim present this as a derived result from standard definitions of linkage and residual intersection, without any self-definitional equations, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs. The ambient ring hypothesis is explicit and the result is scoped accordingly; no reduction by construction is indicated.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard definition of linkage and residual intersection together with the exactness and depth properties that hold in Cohen-Macaulay local rings; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The ambient ring is Cohen-Macaulay and local, which supplies the depth and grade conditions used in linkage theory.
    Invoked in the first sentence of the abstract as the setting for the deformation statement.

pith-pipeline@v0.9.0 · 5600 in / 1303 out tokens · 21706 ms · 2026-05-24T01:31:41.445860+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Cohen- M acaulay rings , volume 39 of Cambridge Studies in Advanced Mathematics

    Winfried Bruns and J\" u rgen Herzog. Cohen- M acaulay rings , volume 39 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1993

    work page 1993

  2. [2]

    Residual intersections are koszul--fitting ideals

    Vinicius Bou c a and S Hamid Hassanzadeh. Residual intersections are koszul--fitting ideals. Compositio Mathematica , 155(11):2150--2179, 2019

    work page 2019

  3. [3]

    The number of equations defining a determinantal variety

    Winfried Bruns and Roland Schw\"anzl. The number of equations defining a determinantal variety. Bull. London Math. Soc. , 22(5):439--445, 1990

    work page 1990

  4. [4]

    The arithmetic rank of the residual intersections of a complete intersection ideal, 2025

    Manav Batavia, Kesavan Mohana Sundaram, Vaibhav Pandey, and Taylor Murray. The arithmetic rank of the residual intersections of a complete intersection ideal, 2025

    work page 2025

  5. [5]

    Countributions a la theorie des sigulairtes

    Ragnar-Olaf Buchweitz. Countributions a la theorie des sigulairtes. Thesis, University of Paris , 1982

    work page 1982

  6. [6]

    Cohen- M acaulayness and canonical module of residual intersections

    Marc Chardin, Jos\' e Na\' e liton, and Quang Hoa Tran. Cohen- M acaulayness and canonical module of residual intersections. Trans. Amer. Math. Soc. , 372(3):1601--1630, 2019

    work page 2019

  7. [7]

    Cohen-macaulay residual intersections and their castelnuovo-mumford regularity

    Seyed Hamid Hassanzadeh. Cohen-macaulay residual intersections and their castelnuovo-mumford regularity. Transactions of the American Mathematical Society , 364(12):6371--6394, 2012

    work page 2012

  8. [8]

    Hamid Hassanzadeh

    S. Hamid Hassanzadeh. Set-theoretically perfect ideals and residual intersections. J. Lond. Math. Soc. (2) , 111(3):Paper No. e70108, 26, 2025

    work page 2025

  9. [9]

    Herrmann, S

    M. Herrmann, S. Ikeda, and U. Orbanz. Equimultiplicity and blowing up . Springer-Verlag, Berlin, 1988. An algebraic study, With an appendix by B. Moonen

    work page 1988

  10. [10]

    Residual intersections and the annihilator of K oszul homologies

    Seyed Hamid Hassanzadeh and Jose Na\' e liton. Residual intersections and the annihilator of K oszul homologies. Algebra Number Theory , 10(4):737--770, 2016

    work page 2016

  11. [11]

    Koszul homology and blowing-up rings

    J \"u rgen Herzog, Aron Simis, and Wolmer V Vasconcelos. Koszul homology and blowing-up rings. In Commutative algebra , pages 79--169, 1983

    work page 1983

  12. [12]

    The structure of linkage

    Craig Huneke and Bernd Ulrich. The structure of linkage. Annals of Mathematics , 126(2):277--334, 1987

    work page 1987

  13. [13]

    Residual intersections

    Craig Huneke and Bernd Ulrich. Residual intersections. J. Reine Angew. Math. , 390:1--20, 1988

    work page 1988

  14. [14]

    Generic residual intersections

    Graig Huneke and Bernd Ulrich. Generic residual intersections. In Commutative Algebra: Proceedings of a Workshop held in Salvador, Brazil, Aug. 8--17, 1988 , pages 47--60. Springer, 1990

    work page 1988

  15. [15]

    Kustin and Matthew Miller

    Andrew R. Kustin and Matthew Miller. Deformation and linkage of G orenstein algebras. Trans. Amer. Math. Soc. , 284(2):501--534, 1984

    work page 1984

  16. [16]

    Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics

    Hideyuki Matsumura. Commutative ring theory , volume 8 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, second edition, 1989. Translated from the Japanese by M. Reid

    work page 1989

  17. [17]

    Generators of residual intersections, 2021

    Yevgeniya Tarasova. Generators of residual intersections, 2021

    work page 2021

  18. [18]

    Remarks on residual intersections

    Bernd Ulrich. Remarks on residual intersections. In Free resolutions in commutative algebra and algebraic geometry ( S undance, UT , 1990) , volume 2 of Res. Notes Math. , pages 133--138. Jones and Bartlett, Boston, MA, 1992

    work page 1990

  19. [19]

    Deformation of kitt ideals

    Kevin Vasconcellos. Deformation of kitt ideals. Thesis, Universidade Federal Rio de Janeiro , 2024

    work page 2024