Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Toric rings arising from vertex cover ideals - MaRDI portal

Toric rings arising from vertex cover ideals (Q6056549)

From MaRDI portal
scientific article; zbMATH DE number 7757079
Language Label Description Also known as
English
Toric rings arising from vertex cover ideals
scientific article; zbMATH DE number 7757079

    Statements

    Toric rings arising from vertex cover ideals (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 October 2023
    0 references
    \textit{B. Sturmfels} [Gröbner bases and convex polytopes. Providece, RI: AMS, American Mathematical Society (1996; Zbl 0856.13020)] considered a \textit{sortable} set of monomials in a polynomial ring \(S=K[x_1, \ldots, x_n]\) for a set of monomials of the same degree, which is a powerful property in the study of toric rings. The main aim of this work is to study the concept of sortability for a set of monomials in arbitrary degrees and also to explore the toric rings of the form \(A = K[u_1t, \ldots, u_mt]\), where \(\{u_1, \ldots, u_m\}\) is a sortable set of monomials. Moreover, the authors try to find Koszul and normal Cohen-Macaulay toric rings, whose generators are in arbitrary degrees. In particular, they show the following result: {Theorem 2.1.} Let \(G\) be a proper interval graph on \([n]\) and \(I_G\) be the cover ideal of \(G\). Then \(I_G\) is a sortable ideal. The authors, in addition, focus on some families of graphs so that their vertex cover ideals have componentwise linear powers, to see some well-known classes of these graphs, the reader can refer to [\textit{N. Erey}, J. Pure Appl. Algebra 223, No. 7, 3071--3080 (2019; Zbl 1431.05154); \textit{A. Kumar} and \textit{R. Kumar}, J. Pure Appl. Algebra 226, No. 1, Article ID 106808, 10 p. (2022; Zbl 1468.13026)], and [\textit{F. Mohammadi}, Commun. Algebra 39, No. 10, 3753--3764 (2011; Zbl 1236.13001)]. In particular, the authors attach to an arbitrary graph \(G\) a family of graphs called \textit{clique multi-whiskerings} of \(G\) and prove the following results: {Lemma 3.2.} The ideal \(J_{G^{\pi}(r_1, \ldots, r_m)}\) satisfies the \(x\)-condition with respect to \(<\). {Theorem 3.4.} Let \(G\) be a graph, \(\pi\) be an arbitrary clique partition of \(G\) (to \(m\) parts) and \(r_1, \ldots, r_m\) be positive integers. Then all powers of the vertex cover ideal \(I_{G^{\pi}(r_1, \ldots, r_m)}\) have linear quotients and hence are componentwise linear.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    sortable
    0 references
    toric rings
    0 references
    \(x\)-condition
    0 references
    vertex cover ideals
    0 references