Radical support for multigraded ideals

Other special types of modules and ideals in commutative rings (13C13) Theory of modules and ideals in commutative rings described by combinatorial properties (13C70) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Can one tell if an ideal is radical just by looking at the degrees of the generators? In general, this is hopeless. However, there are special collections of degrees in multigraded polynomial rings, with the property that any multigraded ideal generated by elements of those degrees is radical. We call such a collection of degrees a radical support. In this paper, we give a combinatorial characterization of radical supports. Our characterization is in terms of properties of cycles in an associated labelled graph. We also show that the notion of radical support is closely related to that of Cartwright-Sturmfels ideals. In fact, any ideal generated by multigraded generators whose multidegrees form a radical support is a Cartwright-Sturmfels ideal. Conversely, a collection of degrees such that any multigraded ideal generated by elements of those degrees is Cartwright-Sturmfels is a radical support.

Review text

Let \(n\) be a positive integer and \(m=(m_1, m_2,\cdots, m_n)\in\mathbb{N}^n_{>0}\). Let \(S(m)=K[x_{ij}|1\le j\le n, 1\le i\le m_j]\) be a polynomial ring over a field \(K\) endowed with the standard \(\mathbb{Z}^n\)-grading induced by setting deg\((x_{ij})=e_j\), where \(e_j\in\mathbb{Z}^n\) is the \(j\)-th standard basis vector. \textbf{Definition.} A collection (repetitions are allowed) \(\mathcal{A}=\{A_1, A_2, \cdots, A_s\}\) of non-empty subsets of \([n]\) is a radical support with respect to a field \(K\) if for every \(m=(m_1, m_2,\cdots, m_n)\in\mathbb{N}^n_{>0}\) and for every choice of \(f_1\in S_{A_1}, \cdots, f_s\in S_{A_s}\) the ideal \(I=(f_1,\cdots, f_s)\) of \(S\) is radical. Furthermore \(\mathcal{A}\) is called a radical support if it is a radical support for every field \(K\). In the present paper the authors give a combinatorial characterization of radical supports. Their characterization is in terms of properties of cycles in an associated labelled graph. We also show that the notion of radical support is closely related to that of Cartwright-Sturmfels ideals. In fact, any ideal generated by multigraded generators whose multidegrees form a radical support is a Cartwright-Sturmfels ideal. Conversely, a collection of degrees such that any multigraded ideal generated by elements of those degrees is Cartwright-Sturmfels is a radical support.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Radical support for multigraded ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6116631)