Related papers: Canonical trace ideal and residue for numerical se…

This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call…

In this paper, we show that for any rational surface singularity $A$, the canonical trace ideal $\mathrm{Tr}_A(K_A)$ is integrally closed ideal which is represented by the minimal anti-nef cycle $F$ on the minimal resolution of…

We discuss invariants of Cohen-Macaulay local rings that admit a canonical module $\omega$. Attached to each such ring R, when $\omega$ is an ideal, there are integers--the type of R, the reduction number of $\omega$--that provide valuable…

In this paper we consider the problem of finding explicitly canonical ideals of one-dimensional Cohen-Macaulay local rings. We show that Gorenstein ideals contained in a high power of the maximal ideal are canonical ideals. In the…

For a projective curve $C$ and the canonical divisor $K_C$ on $C$, it is classically known that the canonical ring $R(C) = \oplus_{m=0}^\infty H^0(C, m K_C)$ is finitely generated in degree at most three. In this article, we study whether…

For a locally compact quantum group $\mathbb{G}$, a (left) coideal is a (left) $\mathbb{G}$-invariant von Neumann subalgebra of $L^\infty(\mathbb{G})$. We introduce and analyze various generalizations of amenability and coamenability to…

Let $C$ be a semidualizing module. We first investigate the properties of finitely generated $G_C$-projective modules. Then, relative to $C$, we introduce and study the rings of Gorenstein (weak) global dimensions at most 1, which we call…

The $\mathcal{R}$-height of a semigroup $S$ is the height of the poset of $\mathcal{R}$-classes of $S,$ i.e. the supremum of the lengths of chains of $\mathcal{R}$-classes. Given a semigroup $S$ with finite $\mathcal{R}$-height, we…

Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base…

The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual…

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. The ring $R$ is said to be quasihomogeneous if there exists a surjection $\Omega_R\twoheadrightarrow \mathfrak{m}$ where…

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings,…

Let A be an arbitrary ring. We introduce a Dennis trace map mod n, from K_1(A;Z/n) to the Hochschild homology group with coefficients HH_1(A;Z/n). If A is the ring of integers in a number field, explicit elements of K_1(A,Z/n) are…

The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the…

Let G a be subgroup of SL(2,C), the group of 2x2 matrices of determinant 1 with complex entries. Let h map onto h(G) be a homomorphism. We call h a trace preserving homomorphism if tr(h(g))=tr(g) for all g in G,where tr(g) is the trace of…

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

The cone of a classical group $G$ is an affine $G\times G$-variety. The aim of this note is to initiate its combinatorial study in the cases when $G$ is the complex orthogonal or symplectic group. The coordinate ring of the cone of $G$ is a…

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…

We develop a semigroup-theoretic analogue of liaison for relative ideals of a numerical semigroup. Two parallel linkage notions are proposed: a theory based on translates of the semigroup and a theory based on translates of the canonical…

We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce…