We establish a combinatorial counterpart of the Cohen-Macaulay duality on a class of curve singularities which includes algebroid curves. For such singularities the value semigroup and the value semigroup ideals of all fractional ideals satisfy axioms that define so-called good semigroups and good semigroup ideals. We prove that each good semigroup admits a canonical good semigroup ideal which gives rise to a duality on good semigroup ideals. We show that the Cohen-Macaulay duality and our good semigroup duality are compatible under taking values.2010 Mathematics Subject Classification. Primary 14H20; Secondary 13C14, 20M12. Key words and phrases. curve singularity, value semigroup, canonical module, duality. The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007(FP7/ -2013 under REA grant agreement n o PCIG12-GA-2012-334355. 1 (suitably normalized) canonical ideals K of R are characterized by having value semigroup ideal Γ K = K 0 .Waldi [Wal72] was the first to describe a symmetry property of the value semigroup for plane algebroid curves with two branches. Delgado [DdlM87, DdlM88] then made the step to general algebroid curves proving an analog of Kunz's result. Later Campillo, Delgado, and Kiyek [CDK94] relaxed the hypotheses to include analytically reduced and residually rational local rings R with infinite residue field. D'Anna [D'A97] extended Jäger's approach under the preceding hypotheses. He turned Delgado's symmetry definition into an explicit formula for a semigroup ideal K 0 (see Definition 5.2.1) such that any (suitably normalized) fractional ideal K of R is canonical if and only if Γ K = K 0 . In the process he studied axioms satisfied by value semigroup ideals which lead to the notion of a good semigroup ideal (see Definition 4.1.1).Barucci, D'Anna, and Fröberg [BDF00] studied some more special classes of rings such as almost Gorenstein rings, Arf rings, and rings of small multiplicity in relation with their value semigroups. Their setup includes the case of semilocal rings. Notably they found an example of a good semigroup which is not the value semigroup of any ring.Recently Pol [Pol16, Thm. 5.2.1] gave an explicit formula for the value semigroup ideal of the dual of a fractional ideal for Gorenstein algebroid curves.In this paper, we extend and unify D'Anna's and Pol's results for a general class of rings R that we call admissible (see Definition 3.1.5). We show that any good semigroup admits a canonical semigroup ideal K that is defined by a simple maximality property (see Definition 5.2.3). Equivalently, such a K induces a duality E → K − E on good semigroup ideals (see Theorem 5.2.6). This means thatfor all good semigroup ideals. It turns out that our canonical semigroup ideals are exactly the translations of D'Anna's K 0 . In particular, D'Anna's characterization of canonical ideals in terms of their value semigroup ideals persists for admissible rings (see Theorem 5.3.2). For a...
We characterize the Gorensteinness of endomorphism rings of a fractional ideal on a curve singularity by stability of the ideal and a condition on its value semigroup ideal. Moreover, the Gorenstein algebroid curves with only Gorenstein integral extensions are classified.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.