{"entities":{"Q1627499":{"pageid":1638240,"ns":120,"title":"Item:Q1627499","lastrevid":68083935,"modified":"2026-04-12T21:20:01Z","type":"item","id":"Q1627499","labels":{"en":{"language":"en","value":"Toric rings, inseparability and rigidity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6987063"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$882A6B9B-17AF-40E8-921C-DAD7B65997C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ea47ea741604b97193df9811cc7549fe96f35e7","datavalue":{"value":{"text":"Toric rings, inseparability and rigidity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1627499$D1040C95-0A72-422E-80A9-EAD2532E8254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"865a4c6e57de46f0daa1376e744cc73eac3e2f55","datavalue":{"value":"1409.13035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$47906CED-314D-46C0-AF2C-A62F26E44EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eba2da426d23503977cff9a9951960bc06d7366","datavalue":{"value":"10.1007/978-3-319-90493-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$2F86FB87-E528-4331-88F1-D2B17F1C9108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"382dee648addf03f2325722e453c395dd9bc7af0","datavalue":{"value":{"entity-type":"item","numeric-id":258152,"id":"Q258152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$49AD6932-86A1-4F56-91C2-38744D29191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3678c381f1a266424fc3c814a7b6278c92f3d47b","datavalue":{"value":{"entity-type":"item","numeric-id":177378,"id":"Q177378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$F3AFE865-D814-438B-A6C1-018DE6590F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a4b6e3a1648722cdc467be451f27acd17bd70","datavalue":{"value":{"entity-type":"item","numeric-id":258153,"id":"Q258153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$FF1F7FCD-E726-4757-B84A-15B6F713306C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272a15ab0c94c839ab2b5edaf5c216ab81a36175","datavalue":{"value":{"time":"+2018-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1627499$EBEBC557-F06C-4651-8AB1-B3D34F5D3F9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e563bec119bab810ef66e4b4ac3513a2dc9c60c","datavalue":{"value":"https://arxiv.org/abs/1508.01290","type":"string"},"datatype":"url"},"type":"statement","id":"Q1627499$4C771680-2FFD-4623-BB1D-DA375D1F7D93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38f80c74a6b371804c59020961238799510af38d","datavalue":{"value":"Assume that $K$ is a field with zero characteristic, $S=K[x_1,\\ldots, x_n]$, $I$ is a graded ideal of $S$ and $R=S/I$. The paper starts with a review of infinitesimal deformations of $R$, definition of the first cotangent module of $R$ (denoted by $T^1(R)$) and a proof of the fact that $R$ has no non-trivial infinitesimal deformation if and only if $T^1(R)=0$. When $T^1(R)=0$, the ring $R$ is called rigid. \\par Now let $H$ be an affine semigroup, that is, a finitely generated subsemigroup of ${\\mathbb{Z}}^m$ for some positive integer $m$, generated minimally by $h_1, \\ldots, h_n$. If $t=\\{t_1,\\ldots, t_m\\}$ is a family of indeterminates, the $K$-algebra $R=K[t^{h_1}, \\ldots, t^{h_n}]$ is called the toric ring associated with $H$ and is denoted by $K[H]$, where $t^{h_i}=t_1^{h_i(1)}t_2^{h_i(2)}\\cdots t_m^{h_i(m)}$. Also the kernel of the $K$-algebra epimorphism $S\\to R$ with $x_i\\mapsto t^{h_i}$ is called the toric ideal attached to $H$ and is denoted by $I_H$. The authors study $T^1(R)$ which is a ${\\mathbb{Z}} H$-graded module ($\\mathbb{Z} H$ means the subgroup generated by $H$). Indeed, they present a method to compute $\\dim T^1(R)_a$ for every $a\\in {\\mathbb{Z}} H$. Here $T^1(R)_a$ means the $a$-degree component of $T^1(R)$. \\par Suppose that $1\\leq i\\leq n$ and $\\pi_i$ is the evaluation map $S[x_{n+1}]\\to S$ with $\\pi_i(x_{n+1})=x_i$. The toric ring $K[H]$ (or $H$ itself) is called $i$-separable, if there exists an affine semigroup $H'$ generated minimally by $n+1$ elements, such that $\\mathrm{ht}\\,I_H=\\mathrm{ht}\\,I_{H'}$, $\\pi_i(I_{H'})=I_H$ and $I_{H'}$ satisfies another technical condition. This last technical condition guarantees ``non-triviality'' of this $i$-separation. In this paper, it is proved that, under certain conditions, an $i$-separation of $R=K[H]$ induces a non-trivial infinitesimal deformation of $R$ and if such a separation exists, then $T^1(R)_{-h_i}\\neq 0$. \\par After studying separations of toric rings in general, the authors focus on edge rings of bipartite graphs. Assume that $G$ is a bipartite graph with $m$ vertices and $n$ edges. The edge ring $K[G]$ of $G$ is the toric ring $K[t_it_j|\\{i,j\\} \\text{ is an edge of } G]$. The authors use the aforementioned results on toric rings, to present a combinatorial condition equivalent to $i$-inseparability of $K[G]$. \\par The authors say that $R$ is semi-rigid if $T^1(R)_a=0$ for all $a\\in {\\mathbb{Z}} H$ with $-a\\in H$ and present a combinatorial condition on $G$ which is equivalent to semi-rigidity of $K[G]$. Finally, the authors assume that $G$ is the graph obtained by removing one edge from the complete bipartite graph $K_{r,s}$. They show that if $r,s\\geq 4$, then $K[G]$ is rigid and if $r=s=3$, then $K[G]$ is inseparable but not rigid.  For the entire collection see [Zbl 1400.13003].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$08B18882-2287-47E2-8FF1-CB8DB50038A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"650b9da6bcf0e7a03147ba807e4ebe0a9ef0e4ae","datavalue":{"value":"13D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$9A7BB861-4165-4504-90DE-47776C63B221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67cc4d18dc0b712245c18adba282ac92045cb14f","datavalue":{"value":"05E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$D2AB6CE9-71C8-472A-99AF-D65D80498F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c7c90fc1b655c450317079da4646c41a5c93c0b","datavalue":{"value":"13C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$42F61E4E-34F6-4166-8C05-8BC0A7601F02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb6d1a5470beb39101562a7a5c79f5c392a0ea12","datavalue":{"value":"6987063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$247AA913-D57D-475F-9FD3-1130F8892604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97bdf1025a24deaaa70bbe5c79b975b661fd570","datavalue":{"value":"toric ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$E5464ACA-A023-4486-8848-36D7077C925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3817aa4d288529bea1e1d2ce5ac9b50e7d3329e","datavalue":{"value":"first cotangent functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$131EE60E-8F72-4663-853D-3EEFDA8EBB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f2895bce51b9a9b88568bc0d244babfef145d","datavalue":{"value":"inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$31683A26-1951-4EBE-9EDB-82409AAAB8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d02a1f917109fb39b6d4dd829abea31e85c320","datavalue":{"value":"rigidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$867B4F6D-5487-40E3-A906-A2720C70B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1041d5c53c72ccc2d517f7791ee011e17e8442","datavalue":{"value":"semi-rigidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$A9F2DC87-BB7A-4ED2-9909-763796BA8B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187e84c5efaed03d0bd9515713a70084404d3ee","datavalue":{"value":"bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$CBD0F1A7-7FC1-4DD4-9EE7-7E63D443CA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7983fd79eda8f030341cbb0b7987649f80150b","datavalue":{"value":"infinitesimal deformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1627499$840508DC-EE5D-4365-ADA8-64563E1B4884","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ecfb994ee6aca8aae65ffd49691eac56f27a6b4d","datavalue":{"value":{"entity-type":"item","numeric-id":290108,"id":"Q290108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$273AB6E0-CFAC-4715-A4CC-096DBDA19556","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627499$B4828B48-0659-428A-9F89-ABF84A0BDEA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e1cce3312e35302e50585b542911bc5b761dc5b","datavalue":{"value":"W2964004401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627499$E15D3C62-084B-4853-95F5-F47B45E2D971","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60eb0c1835b74ea893ec3cefc5c08713d57f5c2","datavalue":{"value":{"entity-type":"item","numeric-id":258154,"id":"Q258154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ba41e02a2dcfbd7d7daa4544407cf70dd9f840","datavalue":{"value":{"amount":"+0.7955530881881714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1627499$1EC0923F-DCCB-4066-BD84-B49AFB435AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27cc4addb4c6c4f983ad26ec033a13f160c55a25","datavalue":{"value":{"entity-type":"item","numeric-id":2216569,"id":"Q2216569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ffb12975794f18730b112971ec3af6fd4d5a0","datavalue":{"value":{"amount":"+0.7846739292144775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1627499$75B35724-ED21-4CBC-B890-5AA6C2DF4985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e43cf8182eeb3cae98b57112fb4dc834efcca2","datavalue":{"value":{"entity-type":"item","numeric-id":1897776,"id":"Q1897776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f177ba6c0eb5a30f0b09c1a4e7fdf7abe7eab8d0","datavalue":{"value":{"amount":"+0.7746639847755432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1627499$BA6B20A4-0D1D-407F-9FE3-E77988110B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0728dd0b0adfed9b34bf217b45777dfe7df5bb","datavalue":{"value":{"entity-type":"item","numeric-id":4263308,"id":"Q4263308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b202cc14eb6291a6d02a1ed8903f8e884963101","datavalue":{"value":{"amount":"+0.7081557512283325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1627499$F5465C36-7885-4F74-A638-4D00243922F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e66ac352c16d8ecf95a52d21d4e33be2baed58","datavalue":{"value":{"entity-type":"item","numeric-id":2168806,"id":"Q2168806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b202cc14eb6291a6d02a1ed8903f8e884963101","datavalue":{"value":{"amount":"+0.7081557512283325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1627499$DBC1B348-74DD-4953-A7AC-99C15B5E2956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toric rings, inseparability and rigidity","badges":[]}}}}}