{"entities":{"Q1739163":{"pageid":1749904,"ns":120,"title":"Item:Q1739163","lastrevid":77934965,"modified":"2026-05-06T10:23:53Z","type":"item","id":"Q1739163","labels":{"en":{"language":"en","value":"On a notion of toric special linear systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047892"}},"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":"Q1739163$3B88FA07-CA1C-470D-88DE-20439D0E6E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d23855c5fef096c8b6cc38609ff3b8cba37363","datavalue":{"value":{"text":"On a notion of toric special linear systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1739163$293B7A0E-23F8-4F19-B35B-8F656A86EC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"291e21c5492c01ea3a48b7b32da66f9a8859c96f","datavalue":{"value":"1409.14017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$1B2E3191-D08A-45CB-824A-756724B53A80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d581c12636ed276b614fe8a788d7df53c957627","datavalue":{"value":{"entity-type":"item","numeric-id":244898,"id":"Q244898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$EE277818-FD52-4BAD-8D90-FC6325B2DE3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$C2EC9A3C-22B8-4F94-B332-750483C0E003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1b790c297b29e4cde0d741e0c9717969f466339","datavalue":{"value":{"time":"+2019-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1739163$DCFC9B5A-853E-4E25-9132-57461F6CF220","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9deaa32a5f1838b4369c29b039dfa430df79ae4c","datavalue":{"value":"https://arxiv.org/abs/1512.09264","type":"string"},"datatype":"url"},"type":"statement","id":"Q1739163$312E7AF4-7C49-4F2A-A899-D969E40BC9EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b67f74bc8d3ad60ff262e3729328c6b5922a7d89","datavalue":{"value":"Let $X_{\\Sigma}$ be a complete toric variety over a field of characteristic zero, with associated fan $\\Sigma\\subseteq N\\otimes_{\\mathbb Z}{\\mathbb Q}$, for a lattice $N$ and with acting torus $T$. The first result of the paper under review characterizes, in terms of the defining fan, the complete toric varieties $X_{\\Sigma}$ that admit an automorphism which maps a $T$-invariant point of $X_{\\Sigma}$ into the dense torus $T$. The author calls these points \\textit{transitive on the torus} and the corresponding toric varieties are called \\textit{quasi-transitive}. The first main result shows that these points correspond to smooth full-dimensional cones $\\sigma\\in\\Sigma$ such that $\\Sigma(1)\\setminus \\sigma(1)\\subset -\\sigma$, where $\\Sigma(1)$ is the set of primitive generators of the $1$-dimensional cones in $\\Sigma$. When this happens, the author calls these cones \\textit{transitive on the torus}. \\par For the second main result, fix a basis $\\{e_1,\\ldots,e_n\\}$ of the lattice $N$ and assume that $X_{\\Sigma}$ is a quasi-transitive toric variety. Without loss of generality it may be assumed that the cone $\\sigma=\\langle e_1,\\ldots,e_n\\rangle$ is in $\\Sigma$ and is transitive on the torus. Let $\\rho_1,\\ldots,\\rho_r$ denote primitive generators of the $1$-dimensional cones in $\\Sigma(1)$, with $r\\ge n+1$. These generators correspond bijectively to the irreducible $T$-invariant divisors $D_i$ of $X_{\\Sigma}$. Moreover, for the case in consideration, the divisor classes of the $T$-invariant divisors $D_i$ with $i\\ge n+1$ generate the divisor class group $\\text{Cl}(X_{\\Sigma})$. For a class $[D]\\in\\text{Cl}(X_{\\Sigma})$ a representative of the form $D=\\sum_{i=n+1}^rd_iD_i$ with $d_i\\ge 0$ is said to be in \\textit{standard form}. \\par Given a divisor $D$ in standard form, points $p_1,\\ldots,p_k\\in X_{\\Sigma}$ and non-negative integers $\\mu_1,\\ldots,\\mu_k$, let ${\\mathcal L}_{|D|}(p_1^{\\mu_1},\\ldots,p_k^{\\mu_k})$ denote the linear system of hypersurfaces of divisor class $[D]$ passing through $p_i$ with multiplicity al least $\\mu_i$, for $1\\le i\\le k$. Let $M$ be the dual lattice of $N$, with pairing $\\langle \\;,\\;\\rangle$. For each $\\mu_i\\ge 0$, let \\[ \\Delta(\\mu_i)=\\{u\\in M: \\langle u,e_1+\\cdots+e_n\\rangle\\leq\\mu_i\\;\\;\\text{and}\\;\\; \\langle u,e_i\\rangle\\ge 0\\;\\; \\text{for each}\\;\\; i\\}. \\] For the polytope $P(D)=\\{m\\in M_{\\mathbb Q}:\\langle m,\\rho_i\\rangle\\ge -d_i,\\;\\;\\text{for}\\;\\; 1\\le i\\le r\\}$, where $d_i$ are the integers that define $D$, denote by $\\Delta(D,\\mu_i)=\\Delta(\\mu_i)\\setminus P(D)^c$, where $P(D)^c$ is the complement of $P(D)$. The author defines the \\textit{toric virtual dimension} of the linear system ${\\mathcal L}={\\mathcal L}_{|D|}(p_1^{\\mu_1},\\ldots,p_k^{\\mu_k})$ as \\[ \\text{tvdim}({\\mathcal L})=\\dim([D])-\\sum_{i=1}^k|\\Delta(D,\\mu_i)|-1, \\] where $|\\Delta|$ is the cardinality of $\\Delta$. The \\textit{toric expected dimension} of the linear system ${\\mathcal L}$ is \\[ \\text{tedim}({\\mathcal L})=\\max\\big\\{\\text{tvdim}({\\mathcal L}),-1\\big\\}. \\] These new definitions, which take into consideration the contribution given by certain toric subvarieties to the linear system ${\\mathcal L}={\\mathcal L}_{|D|}(p_1^{\\mu_1},\\ldots,p_k^{\\mu_k})$, are generalizations of the usual \\textit{virtual dimension} of the linear system ${\\mathcal L}$ given by \\[ \\text{vdim}({\\mathcal L})=\\dim([D])-\\sum_{i=1}^k\\binom{n+\\mu_i-1}{n}-1, \\] and the usual \\textit{expected dimension} $\\text{edim}({\\mathcal L})=\\max\\{\\text{vdim}({\\mathcal L}),-1\\}$. Under the above conditions and assuming that the points $p_1,\\ldots,p_k$ are in very general position, the second main result is that \\[ \\dim({\\mathcal L})\\ge \\text{tedim}({\\mathcal L})\\ge \\text{edim}({\\mathcal L}). \\] The author calls the linear system ${\\mathcal L}_{|D|}(p_1^{\\mu_1},\\ldots,p_k^{\\mu_k})$ \\textit{toric special} if the first inequality above is strict, and \\textit{toric non-special} otherwise. The third main result, Theorem 3.9, relates the toric non-speciality of a linear system ${\\mathcal L}$ with the toric non-speciality of the degenerate linear systems as in [\\textit{A. Laface} and \\textit{E. Postinghel}, Math. Ann. 356 No. 4, 1455--1470 (2013; Zbl 1275.14041)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739163$F9EA43BC-0EC9-4415-8F96-7EB36E2799C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$2FDD8FC8-B80A-4174-8F68-65EA869FEF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$B2C72124-0D34-4591-B699-6C57E0CBD2A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c6b82395e72f5a04611a293988b60bff847d624","datavalue":{"value":"7047892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$7F816F16-C4B9-458A-9E07-6572234CCE13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c196768bf64f9541fe34b14e967e09ea815df15f","datavalue":{"value":"toric divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739163$12BFB893-1444-4E92-A2AB-CE4F1D42867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739163$295F70FB-4976-42A0-A7B5-208929215DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826f829950cddde6c3e47cc76a119f5b496e4cb0","datavalue":{"value":"toric varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739163$95BD4CDA-3B31-4CDD-B137-18C94E3B85B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d94dae787f317c57466cc952655789d40d28891b","datavalue":{"value":{"entity-type":"item","numeric-id":326286,"id":"Q326286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$0BDE4DD8-C4A0-4965-961F-963787D84268","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":"Q1739163$B669B657-5D62-4B35-9616-937AA0DF17F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47d55a30b1f6f060a9d4de330d59e7182f2db277","datavalue":{"value":"W2963150804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$C4F3E91C-A6B7-4447-A419-A43F68D2569D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96f5d772f9c33bbbbb03049f001edeee028b596","datavalue":{"value":{"entity-type":"item","numeric-id":3191275,"id":"Q3191275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$C15CE1C5-B240-4D13-AB48-912F34B6417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb68489dc176643b0b57a1beb8f94cc5c5555fd7","datavalue":{"value":{"entity-type":"item","numeric-id":375911,"id":"Q375911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$19EA6E5E-097C-4ECB-AD33-B03FA588A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f55986fc4513002988b1a4429a744b86b38375b","datavalue":{"value":{"entity-type":"item","numeric-id":5411626,"id":"Q5411626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$A527E483-0FE8-4E3E-A3CD-C3083D2DED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708d808d68d2be2255012518ec16a190f0e12d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5200148,"id":"Q5200148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$1B105F83-655F-497C-A8CD-4D801E0D0DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bb16376af4646c7062936f425b047dd02a30f1","datavalue":{"value":{"entity-type":"item","numeric-id":5961900,"id":"Q5961900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$89A73163-AD6C-4319-8C92-7F8319DC112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b016aa7ee12ea4e7a2cdc6682ea8daf650faa1","datavalue":{"value":{"entity-type":"item","numeric-id":914764,"id":"Q914764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$C775055E-61F4-4EED-8CFB-F219A1B2A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c890b1fe2d781dfdc7640e500caea9a19fc842ee","datavalue":{"value":{"entity-type":"item","numeric-id":3749162,"id":"Q3749162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$6B7A5DE6-130D-41C6-9500-19E89764147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d464a90fd38f770a320040f6f57017b6d5aa32","datavalue":{"value":{"entity-type":"item","numeric-id":4204249,"id":"Q4204249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$76744832-AEFA-4DD4-893C-01EE9775C160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7519a0a6fb41c69bcc74689f4bab992e334aa09e","datavalue":{"value":{"entity-type":"item","numeric-id":3420330,"id":"Q3420330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$B865254E-22F1-4B83-A6A8-464F5F07A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74201117f06757873988d9bddafac4c2495b4e2e","datavalue":{"value":{"entity-type":"item","numeric-id":2903371,"id":"Q2903371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$FB4E68E9-D1D7-45A1-BF7A-CD53643C7391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018517364df772b26c02e2869fe2250b4fa1fd06","datavalue":{"value":{"entity-type":"item","numeric-id":5962501,"id":"Q5962501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$7605904B-4F4E-40F2-8565-23ED983F5B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8dba9ffcd3ec33ccf30d493b40929d578d0308f","datavalue":{"value":{"entity-type":"item","numeric-id":2392792,"id":"Q2392792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$0ACFA743-2D2D-4F74-A522-F40687E35859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996c88946c28484b548d6ad0a98cac70ea0d3dac","datavalue":{"value":{"entity-type":"item","numeric-id":3289515,"id":"Q3289515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739163$5C4AB9A2-0238-4B79-9D7B-21D3DC9C0E82","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"901c4a1dd504ac3c440d1ef3c1a88bdc0f0dd8ef","datavalue":{"value":"Q129099745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$5B81DBBF-DA94-429E-B53B-CE4119EBFD0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a9954e7f4a4c8a5455f9128b7d7083e7e501c4d","datavalue":{"value":"10.1016/J.JPAA.2018.10.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739163$48E6504F-5F95-4F28-A198-D5F79C89F147","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe77f8713a7a6e2a5f24d43b15648ab175523744","datavalue":{"value":{"entity-type":"item","numeric-id":5234952,"id":"Q5234952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d40c97b648da45e9503d84b6174544ceb0cca4","datavalue":{"value":{"amount":"+0.7602337598800659","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":"Q1739163$BBBDE5AD-1298-449A-9681-CCEC2080721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6334d8c8f65803ec30b6f06b7c3a82ef6f81bc","datavalue":{"value":{"entity-type":"item","numeric-id":5251603,"id":"Q5251603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04be12ba332b50f3c1057660c93d3d027d84956b","datavalue":{"value":{"amount":"+0.7539624571800232","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":"Q1739163$7C0060BE-91C0-417B-A07F-A7B2840826F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd5b0ed6b7b0400c4dd0a0519ccd2bf8f98f224","datavalue":{"value":{"entity-type":"item","numeric-id":1115497,"id":"Q1115497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9eb45d27e2d157a45572979a10b82f7a4e0c3d","datavalue":{"value":{"amount":"+0.7528957724571228","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":"Q1739163$13C1527B-33F0-4D56-B279-516E808D5A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d0305ff4c5451ccc3731c1f62e86718e0e33d4","datavalue":{"value":{"entity-type":"item","numeric-id":1362551,"id":"Q1362551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8538f4b7f10e5070a07f5d266454b6b5dbd4cbc6","datavalue":{"value":{"amount":"+0.7494185566902161","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":"Q1739163$DCBF3C9F-257E-4548-AAE1-ED76107FCAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15bbd4d09d50598200dd9ff7e4e773f6b48a5777","datavalue":{"value":{"entity-type":"item","numeric-id":517072,"id":"Q517072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546a2abb4f711d46896bd8a02687ddd3a5824520","datavalue":{"value":{"amount":"+0.7423014044761658","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":"Q1739163$2A96995B-5413-409A-8F38-DCBD85BD008B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a notion of toric special linear systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_notion_of_toric_special_linear_systems"}}}}}