{"entities":{"Q738834":{"pageid":740683,"ns":120,"title":"Item:Q738834","lastrevid":63971901,"modified":"2026-04-11T16:47:11Z","type":"item","id":"Q738834","labels":{"en":{"language":"en","value":"\\(K3\\) surfaces over finite fields with given \\(L\\)-function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617181"}},"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":"Q738834$BA1C60FC-C024-497D-B669-DFF9B375B879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef9824bffb0789301e3c2a40c1d32b08b965c39","datavalue":{"value":{"text":"\\(K3\\) surfaces over finite fields with given \\(L\\)-function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q738834$709E1E11-E8B5-4666-B3F8-2767CA1130AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"602dc6c255e0ae5a1cc42190ff68308ef39f15c2","datavalue":{"value":"1344.14024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$3ACAEC28-A333-40DE-887D-D1A1DDABB1FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b75e29c82dd3940ae78d8e211999a661a252bd","datavalue":{"value":{"entity-type":"item","numeric-id":246325,"id":"Q246325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738834$E33406AF-2863-49D2-B3C3-EC638A1C7DC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738834$CBF9C3C8-185E-4B5A-8293-58C9E69428C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b90302cfd79444c67a0e2bd284145e6865846ef","datavalue":{"value":{"time":"+2016-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q738834$B1D2F408-9C8E-4D04-AB9D-F173B15C433A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c87de06406ffec212b5fb13ee1638bc4fbf067a3","datavalue":{"value":"https://arxiv.org/abs/1507.08547","type":"string"},"datatype":"url"},"type":"statement","id":"Q738834$0051551F-2E33-46DE-8402-7F80AC9CAC34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d0b0e2cf52cd781c76d4a5cd02edde28c18fb9c","datavalue":{"value":"Let \\(X\\) be a \\(K3\\) surface over a finite field \\(\\mathbb{F}_q\\) with \\(q=p^a\\) for some prime \\(p\\). Assume that \\(X\\) is not supersingular. Then its zeta-function is of the form  \\[ Z(X/\\mathbb{F}_q,T)=[(1-T)L(X/\\mathbb{F}_q,T)(1-q^2T)]^{-1} \\]  where  \\[ L(X/\\mathbb{F}_q,T)=\\mathrm{det}(1-\\mathrm{Frob }T\\mid H^2(X_{\\mathbb F_q},\\mathbb Q_\\ell(1))\\in\\mathbb{Q}[T]. \\]  It is known that  \\[ L(X/\\mathbb{F}_q,T)=L_{\\mathrm{alg}}(X/\\mathbb{F}_q,T)L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T) \\]  and that  \\[ L_{\\mathrm{alg}}(X/\\mathbb{F}_q,T)=\\prod_{\\gamma_i\\in\\mu_\\infty}(1-\\gamma_i\\,T)\\quad L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)=\\prod_{\\gamma_i\\not\\in\\mu_\\infty} (1-\\gamma_i\\,T) \\]  where \\(\\mu_{\\infty}\\) is the group of complex roots of unity.  The zeta function of \\(X\\) is known to have the following properties.  Theorem 1: Let \\(X\\) be a \\(K3\\) surface over a finite field \\(\\mathbb{F}_q\\) with \\(q=p^a\\) for some prime \\(p\\). Assume that \\(X\\) is not supersingular. Then  (1) all complex roots of \\(L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)\\) have absolute value \\(1\\);  (2) no roots of \\(L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)\\) is a root of unity;  (3) \\(L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)\\in\\mathbb{Z}_\\ell[T]\\) for all \\(\\ell\\neq p\\);  (4) the Newton polygon of \\(L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)\\) has a slope sequence \\(-a/h, -a, a/h\\) with multiplicities \\(h, 2d-2h, h\\), respectively, where \\(h\\) and \\(d\\) are integers satisfying \\(1\\leq h\\leq d\\leq 10\\);  (5) \\(L_{\\mathrm{trc}}(X/\\mathbb{F}_q,T)=Q^e\\) for some \\(e>0\\) and some irreducible \\(Q\\in\\mathbb{Q}[T]\\), and \\(Q\\) has a unique irreducible factor in \\({\\mathbb{Q}}_p[T]\\) with negative slope.  Now define Property \\((\\star)\\): A \\(K3\\) surface \\(X\\) over a finite extension \\(k\\) of \\({\\mathbb{Q}}_p\\) is said to satisfy Property \\((\\star)\\) if there exists a finite extension \\(k\\subset\\ell\\) and a proper flat algebraic space \\(\\mathcal{X}\\to\\mathrm{Spec }\\mathcal{O}_{\\ell}\\) such that  (a) \\(\\mathcal{X}\\times_{\\mathrm{Spec }\\mathcal{O}_{\\ell}}\\mathrm{Spec }{\\ell} \\simeq X\\times_{\\mathrm{Spec }\\ell}\\mathrm{Spec }\\ell\\),  (b) \\(\\mathcal{X}\\) is regular,  (c) the special fiber of \\(\\mathcal{X}\\) is a reduced normal crossings divisor with smooth components,  (d) \\(\\omega_{\\mathcal X/\\mathcal O_\\ell}\\simeq \\mathcal{O}_{\\mathcal{X}}\\).  The main result of this paper is to consider the converse question to Theorem 1. Given a function \\(Z\\) satisfying the conditions of Theorem 1, does there exist a \\(K3\\) surface whose zeta-function equals \\(Z\\)? Assuming semistable reduction, it is shown that the answer is yes if one allows a finite extension of the finite field.  Theorem 2. Assume every \\(K3\\) surface \\(X\\) over a \\(p\\)-adic field satisfies Property \\((\\star)\\). Let  \\[ L=\\prod_{i=1}^{2d} (1-\\gamma_i\\,T)\\in 1+T{\\mathbb{Q}}[T] \\]  be a polynomial which satisfies the conditions of Theorem 1. Then there exists a positive integer \\(n\\) and a \\(K3\\) surface \\(X\\) over \\({\\mathbb{F}}_{q^n}\\) such that  \\[ L_{\\mathrm{trc}}(X/{{\\mathbb{F}}_{q^n}},T)=\\prod_{i=1}^{2d}(1-\\gamma_i^n\\,T). \\]   An important ingredient in the proof is: given \\(L_{\\mathrm{trc}}\\), one constructs a \\(K3\\) surface over a finite field by first constructing a complex \\(K3\\) surface with complex multiplication by a suitably chosen CM field, then descends it to a number field, and finally reduces it to the residue field at a suitably chosen prime above \\(p\\). The existence of a complex \\(K3\\) surface with complex multiplication by a CM field \\(E\\) with \\([E:{\\mathbb{Q}}]\\leq 20\\) is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q738834$9E99282E-CC2E-42E8-AA8D-D1784AC4B700","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"76579edf630459249a27f193b026921158c16c09","datavalue":{"value":{"entity-type":"item","numeric-id":396524,"id":"Q396524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q738834$5DF48E0E-789A-4F7C-BAD4-E65F22C34CB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$F5823BA2-6FFB-498F-8357-0851B0B45F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$59CB99FF-23DB-451C-9C20-786018724E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bde0c59f5bdd17dae5dc2f563065baaae8538d40","datavalue":{"value":"14K22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$335F6F06-7C29-4925-88FC-3F99065570C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$F5B9C6A8-117F-4722-AC22-6AD8DB87C4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc6d07487b67517a43a87cc2e5eb4b4b7872c38c","datavalue":{"value":"6617181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$3E44BE4B-56A6-4FAF-A5AB-F8AFF04DF61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7ed1bbaf05af71910704172d6a962be6ae4a77","datavalue":{"value":"\\(K3\\) surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q738834$3348AB5E-5592-441B-966F-7C7823A4ADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4962d6c005f11672132c010c8857984b3ed2ee5","datavalue":{"value":"zeta functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q738834$772C8708-CC0C-4478-B08E-9D4B22F67FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b069747d74432d55853a1754198a332a056fbd64","datavalue":{"value":"\\(L\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q738834$F50505A5-D433-4681-B618-95A6DBED4B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q738834$B49F8388-2C91-4756-ADCF-E0350AC18291","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":"Q738834$AE96E63B-39E4-4934-9D71-65230710684E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36e2a466831b1f6de6e687c9953c495329f992d1","datavalue":{"value":"W3106399383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$D2D4B448-24D4-482A-82C0-379D00F5A71B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a63a3fd138e8f5a1a3623f80bedb67059ae16018","datavalue":{"value":"10.2140/ANT.2016.10.1133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q738834$54D1C465-0FE1-4AAB-AB1C-D7AF6774F73E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92a3cc7f4207787b17a570e44124648b6ec05a0","datavalue":{"value":{"entity-type":"item","numeric-id":1025731,"id":"Q1025731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed1f217eb4b9b736125812a30bc3b61e3f0dd36","datavalue":{"value":{"amount":"+0.952379","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":"Q738834$7440083D-41C2-48F2-BB57-FB8EBEAFE09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247d9048aba41f82b8d01e4740c68eda45aeb5e2","datavalue":{"value":{"entity-type":"item","numeric-id":2181906,"id":"Q2181906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274473b0e5d844acaaf9182069c1d35bd038fec2","datavalue":{"value":{"amount":"+0.9353253","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":"Q738834$B1950FE6-1BC9-4989-8D59-68E2A66204C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d1bc30c3fafce3f7ab1a9ae837b1201cd641ca","datavalue":{"value":{"entity-type":"item","numeric-id":2420665,"id":"Q2420665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338d4c1cd013d7306be4fe1584cfbe9e4ff5aa00","datavalue":{"value":{"amount":"+0.9352114","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":"Q738834$CD0A0C51-53DE-4FD8-8411-9C13E3E470CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c0cc4a70aa94346c7e3e397d6df10e426ef996","datavalue":{"value":{"entity-type":"item","numeric-id":3835571,"id":"Q3835571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffb086ab19ecce21ac835076054a8a14facd132","datavalue":{"value":{"amount":"+0.92983985","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":"Q738834$E99E62FF-B4F6-4A35-86CF-E69C002B7B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf1c180600b8277aec8fb19c39e5441dcc11705","datavalue":{"value":{"entity-type":"item","numeric-id":4668447,"id":"Q4668447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec698c1e72b08acfcaa2cc7071ea1408b475824","datavalue":{"value":{"amount":"+0.9246853","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":"Q738834$9665750D-3C48-4C97-A580-1215B4D94575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12362d2da14712e9135b56d83b254f45d9115229","datavalue":{"value":{"entity-type":"item","numeric-id":1985540,"id":"Q1985540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1ed61987af614f49c7da5e7aa13b533c6b95f9","datavalue":{"value":{"amount":"+0.92379045","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":"Q738834$44C9562E-C47A-4F47-A63C-CF8A35AD3DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b58219f353d5b8c7c61c0295cfe82cc266434f","datavalue":{"value":{"entity-type":"item","numeric-id":2304518,"id":"Q2304518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8df4c44214afcc37608c55fe5aeff5e27091ad","datavalue":{"value":{"amount":"+0.92061305","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":"Q738834$2280D67A-C873-4C81-A4C8-F98A6824DD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd7b158b100b8cdab2682114be9747949160bdd","datavalue":{"value":{"entity-type":"item","numeric-id":2253663,"id":"Q2253663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dae3a753202f13cee340b781719c6c9acf6e5ba","datavalue":{"value":{"amount":"+0.9129578","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":"Q738834$A2D53A64-28B3-4DEB-A815-186A963AA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215cb9d7a85b4489ddee1ad8d444a1bde2742e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3209237,"id":"Q3209237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7c76a33daab6941339469a225f7908db9d6a2c","datavalue":{"value":{"amount":"+0.9084981","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":"Q738834$6C6355CB-839E-4A42-8233-BC4D2F70D021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a969bfd0d7f593b667b8c0877a0554f42d489","datavalue":{"value":{"entity-type":"item","numeric-id":4432361,"id":"Q4432361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed60e94f1a1f04634b5d63e8ed121683f9d6ee9","datavalue":{"value":{"amount":"+0.90842944","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":"Q738834$44505D69-55B8-4C0E-AC2D-3A8FAB7A98FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(K3\\) surfaces over finite fields with given \\(L\\)-function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(K3%5C)_surfaces_over_finite_fields_with_given_%5C(L%5C)-function"}}}}}