{"entities":{"Q675751":{"pageid":677600,"ns":120,"title":"Item:Q675751","lastrevid":42636624,"modified":"2025-07-07T12:40:31Z","type":"item","id":"Q675751","labels":{"en":{"language":"en","value":"Quadratic residue graph and Shioda elliptic modular surface \\(S(4)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 989602"}},"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":"Q675751$D3C84A2D-B976-40EA-B969-BF68340B2F4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d75ccd683c16e80f0f2394597ded4cb76b95a57d","datavalue":{"value":{"text":"Quadratic residue graph and Shioda elliptic modular surface \\(S(4)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q675751$F4374B73-B8BD-43DE-9779-5A6F6819C202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d53db5645bdc2ae3fb111344bcf9b71ca8af84ad","datavalue":{"value":"0904.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$551D4477-2217-446D-8714-724B57FF831F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ea4941d56566e685af5c84475ae724c603d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":252470,"id":"Q252470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675751$4DEA83B6-5B0D-48AA-93EB-BA66CE0E6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca6c5006d9af89801e9b0e17d7d29ed78db29a60","datavalue":{"value":{"entity-type":"item","numeric-id":675750,"id":"Q675750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675751$28EC7E0E-CD2A-4CC3-8C13-0B5FD411D2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43bcb58b636cb60d597868d0064e9dd57332b779","datavalue":{"value":{"entity-type":"item","numeric-id":494099,"id":"Q494099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675751$50CD3320-08F1-4841-9313-D3A42DC39D45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675751$C6CC5584-02E2-4D33-BB65-8E6D08D189EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a3b5a9efe7c2b0af45014150315aa177e1f6d5f","datavalue":{"value":{"time":"+1997-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q675751$5E67CF1F-D3D4-4FA4-A70F-7909D9FBAE29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9358b91e715ae51e386d1bcd5d96daaed0259c89","datavalue":{"value":"For each prime number \\(p\\equiv 1\\bmod 4\\), one attaches a graph without direction to the prime field \\(\\mathbb{F}_p= \\mathbb{Z}/p \\mathbb{Z}\\) by means of the Legendre symbol. This graph leads naturally to a rank two reflexive sheaf, denoted \\({\\mathfrak E}_p\\), on the \\((p-1)\\)-dimensional complex projective space \\(\\mathbb{P}_{p-1} (\\mathbb{C})\\) [cf. \\textit{N. Sasakura}, \\textit{Y. Enta} and \\textit{M. Kagesawa}, Proc. Japan Acad., Ser. A 69, No. 5, 144-148 (1993; Zbl 0817.14004)]. If \\(p=5\\), then it coincides with the Horrocks-Mumford bundle [cf. \\textit{G. Horracks} and \\textit{D. Mumford}, Topology 12, 63-81 (1973; Zbl 0255.14017)]. The sheaf is both arithmetic and combinatorial in nature and it is seen that invariants of the graph are useful to describe the structure of the sheaf \\({\\mathfrak E}_p\\). As a typical example, the fourth Chern class \\(c_4 ({\\mathfrak E}_p) (\\in\\mathbb{Z})\\) is given by  \\[ c_4 ({\\mathfrak E}_p)= -40 {\\mathcal N}, \\tag{C1} \\]  where \\({\\mathcal N}= \\# \\{I\\subset \\mathbb{F}_p\\mid \\# I=4\\) and whose graph is isomorphic to the square\\}. The set is related explicitly to a \\(K3\\) surface, denoted \\(V\\), which is defined to be the locus of the following quadratic relations in the five dimensional projective space \\(\\mathbb{P}_5 (\\mathbb{F}_p)\\) with homogeneous coordinates \\(z_{\\alpha \\beta}\\) \\((1\\leq\\alpha \\leq\\beta \\leq 4)\\)  \\[ z^2_{\\alpha \\beta} +z^2_{\\beta \\gamma} =z^2_{\\alpha y} \\quad (1\\leq \\alpha< \\beta< \\gamma\\leq 4). \\tag{C2} \\]  Now, it is known that the Shioda elliptic modular surface \\(S(4)\\) of level 4 is birationally equivalent to a certain Kummer surface [cf. \\textit{T. Shioda} in: Manifolds, Proc. Int. Conf. an Manifolds and rel. Topics on Topology, Tokyo 1973, 357-364 (1975; Zbl 0311.14007)]. In \\(\\S 1\\) we see that \\(V\\) is biregularly equivalent to the Kummer surface. By a structure theorem of \\(S(4)\\) (cf. \\textit{T. Shioda}, loc. cit.), the zeta function of \\(S(4)\\) (and so that of \\(V)\\) is expressed by means of the Gaussian sum. Using this we give the following explicit form for (C1)  \\[ c_4({\\mathfrak E}_p) =(-5/64) p(p-1) (p^2-6p+1 +4a^2), \\tag{C3} \\]  where \\(a\\) is an odd integer determined by the equation \\(p=a^2+b^2\\) with an even integer \\(b\\). We also give an interesting graph theoretical interpretation of the formula (cf. \\S 3). Next we see that \\(V\\) is a contraction of \\(S(4)\\) and study the contraction closely. Define a divisor on \\(S(4)\\)  \\[ D= \\sum_{(\\rho,\\sigma) =(\\pm a_4,\\pm b_4)} \\widetilde r_{\\rho, \\sigma} +\\sum^\\infty_{s_1=0} \\sum^\\infty_{t_1=0} \\bigl(\\widetilde \\Psi^{-1} _{\\mathbb{P}_1} (s_1)- \\Theta_{s_1t_1}), \\]  where \\(\\widetilde r_{\\rho, \\sigma}\\) are 4-torsion sections of the elliptic surface \\(\\widetilde\\Psi:S(4)\\to\\mathbb{P}_1\\) and \\(a_4\\) and \\(b_4\\) are the basis of the level 4 structure of a generic fibre. The surface \\(S(4)\\) admits another structure of an elliptic fibration \\(S(4)\\to \\mathbb{P}_1\\) and \\(t_1\\) denotes a local coordinate of the base space. The curve \\(\\Theta_{s_1t_1}\\) is determined by the two structures (cf. \\(\\S 2)\\). Also we fix a sublinear system \\({\\mathfrak L}\\) of dimension 6 of \\(H^0(S(4)\\), \\({\\mathcal O}_{S(4)} (D))\\). In theorem 2.5 we contract \\(S(4)\\) to \\(V\\) by means of \\({\\mathfrak L}\\), by making clear a combinatorial property of the contraction. Concerning theorem 2.5, we make the following remark. The fact that the Kummer surface is a contraction of \\(S(4)\\) may have been known. By the simple form of \\(V\\) we may regard it as a suitable projective model of the Kummer surface. This fact and the combinatorial property of the linear system \\({\\mathfrak L}\\) is our key point. Next, \\textit{W. Barth} and \\textit{K. Hulek} [Manuscr. Math. 50, 73-132 (1985; Zbl 0599.14035)] discussed projective models of the Shioda modlar surface \\(S(n)\\) \\((3\\leq n)\\) and found a good model for the case of \\(n=5\\). In the case of \\(n=4\\), the situation is complicated. The surface \\(V\\) may be used to find the nice projective model of \\(S(4)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q675751$EAC72E25-F341-4D2F-BA0C-DCE1596611C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89fb9493aa18fb1623dc68bfa6a25617bdf58c41","datavalue":{"value":"14G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$358BB43F-16E9-4277-866D-22E06C517ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$C7E87EE6-717C-4356-B5FC-20C2CD8A2FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"666632632fe98602ad18c55eaebcb897661bfbd5","datavalue":{"value":"989602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$968BE33F-6DBC-40DD-8656-949E747166C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae0bc1e4bd8e97c107e64f6c2c5adc983480f6c","datavalue":{"value":"quadratic residue graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q675751$086F9572-98DA-4936-A4EB-60DA907F7C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf6adbb2dfad3823af848d516c8abd45567de00","datavalue":{"value":"Shioda elliptic modular surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q675751$34684B82-5FB2-443F-B88A-7BE1965D1D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ced8eebb49cfd968d4115f0edcf353ad18c2882","datavalue":{"value":"Kummer surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q675751$20709D7C-414D-4CBD-A1F9-8CB8187E702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553e9d53493c9d03e291a8fbfd1ded30b57ae315","datavalue":{"value":"elliptic fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q675751$EDEA32A7-57BF-4BD3-827E-269B037302DA","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":"Q675751$E331EBF5-06FD-4BD2-9645-BC895195A78E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05fa80d0db32b509e4e76b8b973cd6cdf5ffd3e2","datavalue":{"value":"https://doi.org/10.3836/tjm/1270042520","type":"string"},"datatype":"url"},"type":"statement","id":"Q675751$710BD066-213E-461E-9D1E-785CC03DB0B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b36b175c14c9407468be24d9c7b938974e29458","datavalue":{"value":"W1990237908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$27035D33-3C4F-4BD4-BCFD-B66010049F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f4a485e8a3f1cac2056ff667b24cbe2befe564f","datavalue":{"value":"10.3836/TJM/1270042520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675751$1D36E02B-9457-40A4-A46C-764A847377E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d142b044d19d67e3d55abe0d23a12cda86ff4e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4665005,"id":"Q4665005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384f0d0d35714e3c5ca61447b5df30cfa40d0da3","datavalue":{"value":{"amount":"+0.88500786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$ADE140EF-B328-49C2-9BB1-3CB96498B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78d44385429f12840f1f9ec7a5d0c98dcf7403b","datavalue":{"value":{"entity-type":"item","numeric-id":394257,"id":"Q394257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04de868006bc45233409dae0e802f06b4a0bace0","datavalue":{"value":{"amount":"+0.86547023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$800C1ADA-9B05-4672-9B8E-939A8526CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b687232b6035d782cba3cf4ea5253c753ecc2359","datavalue":{"value":{"entity-type":"item","numeric-id":3449427,"id":"Q3449427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b2b7bc20656c4271d46244ddda44295c7e7fac","datavalue":{"value":{"amount":"+0.8613487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$2B6222A8-0971-4E26-A5B6-56FFB528C7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919af3d416b54420b6047bffbded65664ff1136","datavalue":{"value":{"entity-type":"item","numeric-id":778048,"id":"Q778048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279b986863456184201128fb0029d66b47e658fd","datavalue":{"value":{"amount":"+0.86012644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$96962DD8-91A6-422D-BAB4-6ABB26534DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ea9dcdf03bd3db145365b2518ce66eddbe5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2197555,"id":"Q2197555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdfb3d86fe1d9011062e2be83deecc3185ed02d","datavalue":{"value":{"amount":"+0.8591861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$AA708182-ADA0-456D-9197-BBE67FEA47B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed326d3dfd9117df0154ca3d60934729908aaeff","datavalue":{"value":{"entity-type":"item","numeric-id":3677865,"id":"Q3677865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08005b44acc940dc659742c16262f7d72c86eb6b","datavalue":{"value":{"amount":"+0.85785264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$933C32B0-D268-46AA-82BA-900F0D7630E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6305c99db2e051ddcdf4d9cd41d4bf5c3dd45111","datavalue":{"value":{"entity-type":"item","numeric-id":3592980,"id":"Q3592980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1278159e5b70ab09cb086e53832310553d4d08b9","datavalue":{"value":{"amount":"+0.85593545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$44B853F6-D0E4-4604-A123-6BCA8BEFD3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634142ccbc77eedfae38d22537f8c65afcf7ba21","datavalue":{"value":{"entity-type":"item","numeric-id":5134225,"id":"Q5134225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da9015988bec581fafdbb1d8df9fe16cac69572","datavalue":{"value":{"amount":"+0.854892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$78FC19DA-367D-4BE8-BE96-64AF87B5DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c65aa8cdd1956945717a84a8fcb7e23a40659ec","datavalue":{"value":{"entity-type":"item","numeric-id":2949032,"id":"Q2949032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624e35ff7f32d7bf7867dabf7d2c94b4ee6d9bf9","datavalue":{"value":{"amount":"+0.85470575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$FADFAFFD-1F9F-4D24-A69B-C91E7C1200EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbfaacba33f69ead3c82523a31afb9862574176","datavalue":{"value":{"entity-type":"item","numeric-id":2944992,"id":"Q2944992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6787383e187baa2a605496bfaa97192f443046ff","datavalue":{"value":{"amount":"+0.8539196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q675751$940BBFDF-8E04-4778-873C-50D9BAEFFF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:675751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:675751"}}}}}