PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
August 20, 20260 citationsOpen Access

Curvilinear geometry and primary structure of conductor fiber cones in a Huneke-Wiegand family

View Full Paper
FSFelipe Santibañez-Leal

Key Points

  • To establish the explicit standard-graded parametrization, primary decomposition, and geometric properties of conductor fiber cones within a specified Huneke-Wiegand family for integer parameters p ≥ 4.
  • Carried out deductive algebraic proofs using frozen offset-basis and Cohen-Macaulay input theorems.
  • Computed standard-graded presentations, dehomogenizations, nilradicals, and affine Kähler differential modules across varying characteristic fields.
  • Executed an exact computational verification campaign and independently encoded all-row audit for parameter values p = 4 through 300.
  • Proved that defining ideal J_p is L_p-primary with radical(J_p) = L_p, yielding a primary decomposition with exactly one component and a sharp nilpotency index of 24p.
  • Established that Proj(C_p) is a saturated length-24p curvilinear fat point with a one-dimensional tangent space that is locally Gorenstein, despite having a homogeneous coordinate ring of Cohen-Macaulay type 10p + 1.
  • Derived the complete affine Kähler differential module, detailing structural distinctions between characteristics dividing 24p and all other characteristics.

Abstract

For every integer p>=4, a previously constructed symmetric numerical semigroup ring and rigid two-generated monomial ideal determine a conductor ideal whose special fiber is a one-dimensional Cohen-Macaulay algebra of multiplicity 24p. This companion preprint proves the explicit standard-graded parametrization Cₚ = kx yᵃ: a in Gₚ inside kx, y/ (y^ (24p) ). If Pₚ/Jₚ is the presentation in its 10p degree-one variables and Lₚ is generated by all positive-offset coordinates, then radical (Jₚ) =Lₚ and Jₚ is Lₚ-primary. Thus the complete primary decomposition has one component. The nilradical has sharp nilpotency index 24p. Dehomogenization at the reduction variable gives ky/ (y^ (24p) ). Consequently Proj (Cₚ) is a saturated length-24p curvilinear fat point with one-dimensional tangent space. It is locally Gorenstein, although its homogeneous coordinate ring has Cohen-Macaulay type 10p+1 and is neither level nor Gorenstein. The affine Kahler differential module is computed exactly, including the distinction between characteristics dividing 24p and all other characteristics. The proof is deductive from frozen offset-basis and Cohen-Macaulay input theorems. An exact campaign for p=4,. . . , 300 and an independently encoded all-row audit validate the implementation and adversarial controls but do not replace the symbolic argument. The scope is confined to the explicit conductor family and does not assert analogous properties for arbitrary fiber cones or arbitrary Huneke-Wiegand counterexamples. Code, compact artifacts, premise hashes, proof, and verdict: https: //github. com/fsantibanezleal/CAOSRESEARCH.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Felipe Santibañez-Leal (2026) studied this question.

synapsesocial.com/papers/6a86b56c8a91293e6a1ccbeehttps://doi.org/10.5281/zenodo.21997378
Ask AI
Helpful
Bookmark
Share
View Full Paper