Radical support for multigraded ideals (Q6116631)

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.