Curvilinear geometry, primary structure, and Groebner degenerations of conductor fiber cones in a Huneke-Wiegand family
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_p = k[x y^a : a in G_p] inside k[x,y]/(y^(24p)). If P_p/J_p is the presentation in its 10p degree-one variables and L_p is generated by all positive-offset coordinates, then radical(J_p)=L_p and J_p is L_p-primary. Thus the complete primary decomposition has one component. The nilradical has sharp nilpotency index 24p. Dehomogenization at the reduction variable gives k[y]/(y^(24p)). Consequently Proj(C_p) 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. Version 0.02 adds the complete reduced graded-reverse-lexicographic Groebner basis with X_0 last. Its degree profile is (50p^2-17p, 5p-1, p-2) in degrees two, three, and four, with no later elements. No minimal leading monomial contains X_0, giving a flat Cohen-Macaulay monomial degeneration whose Artinian reduction has Hilbert function (1,10p-1,12p,2p-1,1). The proof is deductive from frozen offset-basis and Cohen-Macaulay input theorems. Exact campaigns for p=4,...,300, independent audits, and an all-parameter Presburger boundary certificate validate the implementation and adversarial controls but do not replace the deductive 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/CAOS_RESEARCH.
Authors
- Felipe A. Santibáñez-Leal (ORCID: https://orcid.org/0000-0002-0150-3246)
Institutions
- Open University of Cyprus (CY)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-08-18
- DOI
- https://doi.org/10.5281/zenodo.22002907
- Primary Topic
- Commutative Algebra and Its Applications
- Type
- preprint