{"entities":{"Q1127025":{"pageid":1137774,"ns":120,"title":"Item:Q1127025","lastrevid":69703116,"modified":"2026-04-13T08:49:49Z","type":"item","id":"Q1127025","labels":{"en":{"language":"en","value":"The functor of a toric variety with enough invariant effective Cartier divisors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1185537"}},"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":"Q1127025$415551B0-81FA-4EF9-8DDC-C330FC9B212D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"845a0f498f8419d6afbffeadf2e7e3897537ea28","datavalue":{"value":{"text":"The functor of a toric variety with enough invariant effective Cartier divisors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127025$1B424225-3B4A-4D1C-94DC-5AE4DB86F2C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc28c9e14d364fb22b595cef870c06fdbc5ce37","datavalue":{"value":"0949.14032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$730DAD3D-4611-475E-BEF1-EED2F1EA0688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a10a0ce06109022e6e6f3eae4f6a8f74b5ae36d","datavalue":{"value":{"entity-type":"item","numeric-id":706057,"id":"Q706057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$BF019891-B134-4421-853C-3DE9E9B963B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f57d451e29ac1aea784b2facd6b9348f2ad6b455","datavalue":{"value":{"entity-type":"item","numeric-id":177355,"id":"Q177355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$83B07A6B-CEE3-4817-95AC-A30CBDBB9159","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1caa4e7af75e20c56845dfc56fa485e2e61b51","datavalue":{"value":{"time":"+1999-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127025$FD1F69C0-92BF-411B-A70E-69DE3C7FB700","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f831300762bccc01421e73f2f683bbdab3ba1ad2","datavalue":{"value":"One can regard the projective space \\({\\mathbb{P}}^n\\) as the variety representing the functor taking \\(Y\\) to surjections \\({\\mathcal O}_Y^{n+1}\\to{\\mathcal L}\\), \\({\\mathcal L}\\) a line bundle on \\(Y\\), since a map \\(Y\\to{\\mathbb{P}}^n\\) is given by \\(n+1\\) sections of a suitable \\({\\mathcal L}\\) that do not all vanish simultaneously. In view of the very close analogy between toric varieties over a field~\\(k\\) and projective spaces, established by \\textit{D. A. Cox} [J. Algebr. Geom. 4, No. 1, 17-50 (1995; Zbl 0846.14032)], it is reasonable to expect a good description of morphisms into toric varieties more generally. Several results of this nature are indeed known. Hitherto the most general has been one due also to \\textit{D. A. Cox} [T\u00f4hoku Math. J., II. Ser. 47, No. 2, 251-262 (1995; Zbl 0828.14035)], in which the toric variety \\(X_\\Delta\\) is assumed to be smooth. Similar theorems, giving more directly applicable results but with strong conditions on~\\(Y\\) as well as~\\(X_\\Delta\\), have been proved by \\textit{M. A. Guest} [Bull. Am. Math. Soc., New Ser. 31, No. 2, 191-196 (1994; Zbl 0832.55009)] and by Tadao Oda and the reviewer. [This last result, unpublished at the time the present paper was written, has since appeared as \\S 2 of the following: \\textit{G. K. Sankaran}, Math. Ann. 313, No. 3, 409-427 (1999; Zbl 0919.14009){}. The author of the paper under review has pointed out an error in \\S 1 of that paper, but \\S 2 is unaffected.] In this context one should also mention \\textit{M. Audin}, in whose book [``The topology of torus actions on symplectic manifolds'' (Birkh\u00e4user 1991; Zbl 0726.57029)] on the topology of torus actions some of these results are foreshadowed.    All these results are unified and generalised in the present paper. There is no hope of obtaining a good description on morphisms \\(Y\\to X_\\Delta\\) by means of invertible sheaves in all cases, because there are pathological toric varieties when for instance \\(\\text{Pic } X_\\Delta\\) is trivial. Hence the need to impose the condition ``enough effective Cartier divisors'', which means that the complement of every \\(T\\)-affine open subset is the support of an effective Cartier divisor. This condition is quite weak: All quasi-projective or simplicial toric varieties fulfil it.    Given such an \\(X_\\Delta\\), the author first studies the homogeneous coordinate ring \\(S_\\Delta\\), which is the monoid ring on the monoid of effective Cartier divisors. He shows, following Cox's paper in J. Algebr. Geom. [loc.cit.], that \\(X_\\Delta\\) is naturally isomorphic to a geometric quotient of an open subscheme of \\(\\mathop{\\text{Spec}} S_\\Delta\\). The ring \\(S_\\Delta\\) is \\(\\Delta\\)-graded (i.e. has a \\(\\mathop{\\text{Pic}}X_\\Delta\\)-grading) but, as the author points out, it is not possible to identify \\(X_\\Delta\\) with the homogeneous spectrum of \\(S_\\Delta \\) in general because \\(\\mathop{\\text{Pic}} X_\\Delta\\) may have torsion. The author gives a necessary and sufficient condition for this torsion to vanish, incidentally correcting a minor error in Fulton's book on toric varieties [\\textit{W. Fulton}, ``Introduction to toric varieties'' (Princeton 1993; Zbl 0813.14039)].    The next step is to establish a correspondence between \\(\\Delta\\)-graded \\(S_\\Delta\\)-modules and quasi-coherent \\({\\mathcal O}_\\Delta\\)-modules, largely a matter of verifying that proofs of similar results for smooth varieties still work. This is enough to prove the main general result:    If \\(Z\\subset X_\\Delta\\) is a closed subscheme given by a homogeneous ideal \\(I\\) in \\(S_\\Delta\\), and \\(Y\\) is a \\(k\\)-scheme, then \\(k\\)-morphisms \\(Y\\to Z\\) correspond to \\(\\Delta\\)-graded \\({\\mathcal O}_Y\\)-algebra homomorphisms \\(\\phi:{\\mathcal O}_Y\\otimes_k S/I\\to {\\mathcal L}\\) satisfying a nondegeneracy condition at each point of~\\(Y\\). Here \\({\\mathcal L}\\) is a \\(\\Delta\\)-graded \\({\\mathcal O}_Y\\)-algebra with invertible components, so the product map \\({\\mathcal L}_\\alpha\\otimes{\\mathcal L}_\\beta\\to{\\mathcal L}_{\\alpha+\\beta}\\) is an isomorphism for every \\(\\alpha,\\beta\\in\\mathop{\\text{Pic}}(X_\\Delta)_{\\geq 0}\\).    In the last section of the paper the author applies this result in the case \\(Z=X_\\Delta\\) and deduces the previous results mentioned above, in most cases in a stronger form than previously. He also gives some examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127025$7672CF2E-78A7-451F-B838-986DF465B543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$BEDD3171-73C4-4CC6-AD8D-1D412E0AF0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$77237142-E2AF-4DAD-B122-FE45CE6EB845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27b3a799eb9fddd587ee910aa3ad4db392ecc25f","datavalue":{"value":"14E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$F52FC5DD-8442-4667-A930-2D321EB526FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"384b0c1803d8c6b1d054287d54951b0f5ca8c673","datavalue":{"value":"1185537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$606F4B22-3819-4814-8573-772CE4D8A967","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb727f7f5153da0ea0784314f8698e5435c9b1a2","datavalue":{"value":"Cartier divisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127025$EF7F9A95-8353-40B4-BF2D-EBAB3B6BD0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f1c0bd0c56e1f46fc6ac05a1928a3439f92850","datavalue":{"value":"coordinate ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127025$5198DA66-9467-4424-A1C2-B658ECA7F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee800eb242fd2b9d3068a2d9c780a8eab1cbd72d","datavalue":{"value":"morphisms into toric varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127025$171630A9-A238-4EC4-8E8D-48572F4C15AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ff4d63582705a9a75135665ce8370b0f7ff596","datavalue":{"value":"topology of torus actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127025$393FBBA8-ECAF-4A8C-95F2-62588D93B51B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9929dcfdfd4adbbd7e1b648b80569c2a98acb6b9","datavalue":{"value":{"entity-type":"item","numeric-id":502082,"id":"Q502082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$D707EC69-15F3-4434-87CE-1EDDE2AA6403","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":"Q1127025$FCB3899A-C23E-437F-97C1-9E9717664C2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bce4ebeb139b0259d0ab5ca97af013c038ade64","datavalue":{"value":"https://doi.org/10.2748/tmj/1178225019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127025$5DD0F2EF-5858-4A9E-9636-89A266C5106C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d8646874d494f92f1360b03eb60b89edae710b0","datavalue":{"value":"W2013684850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$D7434228-026D-4303-A690-B79698BC857A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fb6386430a3b4630c47875235e53b248f396a0","datavalue":{"value":{"entity-type":"item","numeric-id":4324883,"id":"Q4324883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$F4E39913-4D4D-4376-A0E2-9FD7AAFE6B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86df6ed4e75dc03459e3de38b022eb27e824d6fb","datavalue":{"value":{"entity-type":"item","numeric-id":1897780,"id":"Q1897780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$32AEBE7A-A8E7-4BAC-8B60-2F56FAF73B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1876fe915402c44e49701287f10f4f2fa7418542","datavalue":{"value":{"entity-type":"item","numeric-id":3663431,"id":"Q3663431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$56B7FB93-6D0B-4B3F-A0FA-EC8FC261ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dbcd5d0feeea5f7bdce9cc3232ba7bb64daa4c","datavalue":{"value":{"entity-type":"item","numeric-id":1196066,"id":"Q1196066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$67B73AF0-9D95-477C-9E41-F09BC512EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0ac1c52306853891fce6ccf2e5fd4faebcc828","datavalue":{"value":{"entity-type":"item","numeric-id":3142877,"id":"Q3142877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$ACBD662F-6080-4C21-AB19-0C7134B46390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb437fcc668b4a7dd60492f830dcd5bd4dcb015","datavalue":{"value":{"entity-type":"item","numeric-id":4740026,"id":"Q4740026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$40EA9416-7460-446D-8A88-00707788842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b201559ed40275629434052ab8c1ffe4e3f42b","datavalue":{"value":{"entity-type":"item","numeric-id":1346036,"id":"Q1346036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$5C9D0A60-598C-4E96-9748-9BA45E778E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$8DEBF591-1070-4035-B793-5CE7E5BE0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a52784caac36ec5fae3d18690b3fe59b50322","datavalue":{"value":{"entity-type":"item","numeric-id":2626260,"id":"Q2626260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$FC3966F5-4427-4A11-9F8F-9BEE160C54DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d97de68252d6a13075fd5e910e36b0c5ffa5236","datavalue":{"value":{"entity-type":"item","numeric-id":4039830,"id":"Q4039830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$4CC1FA21-5D97-4888-8ECF-954F41444CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2a3814931763d5fd9f046ed93c5de7e05ecef9","datavalue":{"value":{"entity-type":"item","numeric-id":754942,"id":"Q754942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127025$54B04994-2D8B-495A-9CF8-15040AE38E0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c556cbec35e9807c6d77f7c727f95abd99c02ec","datavalue":{"value":"10.2748/TMJ/1178225019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127025$7ED91BD2-363C-4DC0-8E8F-327F7F79C9BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09be3d6bdb8617b2f4a8acb3cf49e00adca8cd54","datavalue":{"value":{"entity-type":"item","numeric-id":2454833,"id":"Q2454833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c7bfdf0bb2328a461c691abbb449eaf99b21e6","datavalue":{"value":{"amount":"+0.8285885453224182","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":"Q1127025$001A5C1D-96BC-4D87-BE1E-A1B5703EF72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a3eb2b8008eb2e9a3b44404bbfd90b6eac80a6","datavalue":{"value":{"entity-type":"item","numeric-id":4797970,"id":"Q4797970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5adbd0d2e23ac038cbb8c396cbf421b20c95545","datavalue":{"value":{"amount":"+0.7988788485527039","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":"Q1127025$0844F6C0-4A6B-45B0-98B3-67247C8E046A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f68b6c549a929357082bb455f4181d0adea6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4324883,"id":"Q4324883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280da1e6edc12cd6c743f96f40aa9991f6b71bef","datavalue":{"value":{"amount":"+0.7956673502922058","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":"Q1127025$B812810B-4652-4983-B3E6-A96F4D6EA373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The functor of a toric variety with enough invariant effective Cartier divisors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_functor_of_a_toric_variety_with_enough_invariant_effective_Cartier_divisors"}}}}}