{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2118970","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2118970","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2118970","kernelVersion":"v1","immutable":true,"modified":"2025-08-18T08:02:50Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2118970","name":"Frobenius quantales, Serre quantales and the Riemann-Roch theorem","headline":"Frobenius quantales, Serre quantales and the Riemann-Roch theorem","description":"scientific article; zbMATH DE number 7496497","url":"https://portal.mardi4nfdi.de/entity/Q2118970","datePublished":"2022-03-23","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q170548"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q195358"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S11225-021-09970-1","url":"https://doi.org/10.1007/S11225-021-09970-1"},"sameAs":["https://doi.org/10.1007/S11225-021-09970-1"],"comment":"\\par A quantale \\(Q\\) is a \\(\\bigvee\\)-semilattice equipped with an associative binary operation \\(\\otimes:Q\\times Q\\rightarrow Q\\) distributing over \\(\\bigvee\\) from both sides, i.e., \\(a\\otimes(\\bigvee S)=\\bigvee_{s\\in S}(a\\otimes s)\\) and \\((\\bigvee S)\\otimes a=\\bigvee_{s\\in S}(s\\otimes a)\\) for every \\(a\\in Q\\) and every \\(S\\subseteq Q\\). Every quantale \\(Q\\) has two additional binary operations \\(\\rightarrow_r,\\rightarrow_l:Q\\times Q\\rightarrow Q\\) given by \\(a\\rightarrow_r b=\\bigvee\\{c\\in Q\\,|\\,a\\otimes c\\leqslant b\\}\\) and \\(a\\rightarrow_l b=\\bigvee\\{c\\in Q\\,|\\,c\\otimes a\\leqslant b\\}\\). An element \\(c\\) of a quantale \\(Q\\) is called \\textit{cyclic} provided that \\(a\\rightarrow_r c=a\\rightarrow_l c\\) for every \\(a\\in Q\\). An element \\(d\\) of a quantale \\(Q\\) is called \\textit{dualizing} provided that \\((a\\rightarrow_r d)\\rightarrow_l d=a=(a\\rightarrow_l d)\\rightarrow_r d\\) for every \\(a\\in Q\\). A quantale \\(Q\\) is called a \\textit{Girard quantale} provided that it has a cyclic dualizing element \\(d\\) [\\textit{K. I. Rosenthal}, Quantales and their applications. Harlow: Longman Scientific \\& Technical; New York: John Wiley \\& Sons, Inc. (1990; Zbl 0703.06007)].  \\par The present paper considers the classical Riemann-Roch theorem (which is an important result in complex geometry for the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles) [\\textit{S. Lang}, Introduction to algebraic and abelian functions. 2nd ed. New York-Heidelberg-Berlin: Springer-Verlag (1982; Zbl 0513.14024)] in the setting of quantales (observe that there already exist numerous proofs of this theorem). In particular, the author shows that the one-dimensional Riemann-Roch theorem can be obtained from a theorem on Girard quantales of~[\\textit{K. I. Rosenthal}, Cah. Topologie Géom. Différ. Catégoriques 31, No. 1, 3--11 (1990; Zbl 0713.06005)]. Notice that Girard quantales were introduced by \\textit{D. N. Yetter} [J. Symb. Log. 55, No. 1, 41--64 (1990; Zbl 0701.03026)] in view of Girard's linear logic [\\textit{J.-Y. Girard}, Theor. Comput. Sci. 50, 1--102 (1987; Zbl 0625.03037)]. The present author shows that Yetter's duality is nothing else than the essence of Serre duality (the main ingredient in the Riemann-Roch theorem), while the dualizing element \\(d\\) corresponds to a Weil differential.  \\par The paper is well written, gives some of its required preliminaries, and will be of interest to the researchers studying applications of the theory of quantales.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5518125"},{"@id":"https://portal.mardi4nfdi.de/entity/Q599898"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1159240"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2652471"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5810622"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1744615"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5834593"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2366462"},{"@id":"https://portal.mardi4nfdi.de/entity/Q579249"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4165427"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5513537"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2651501"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3658118"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4254917"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4414310"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3996704"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3197878"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1565477"},{"@id":"https://portal.mardi4nfdi.de/entity/Q766652"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5770709"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1839981"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3478401"}]},"provenance":{"prov:generatedAtTime":"2025-08-18T08:02:50Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}