{"entities":{"Q2304518":{"pageid":2315261,"ns":120,"title":"Item:Q2304518","lastrevid":57832539,"modified":"2026-04-02T17:38:53Z","type":"item","id":"Q2304518","labels":{"en":{"language":"en","value":"A family of \\(K3\\) surfaces and towers of algebraic curves over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7179687"}},"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":"Q2304518$2487BF28-B3EE-430C-A061-165D485A8E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5053cf212671d8f92ef477465047c66c132aa3bf","datavalue":{"value":{"text":"A family of \\(K3\\) surfaces and towers of algebraic curves over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304518$A5A87980-C205-481B-A279-BE73FDB6BC2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11474c9811050b951b7aefa90912b67b3ed8d878","datavalue":{"value":"1451.14118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$52F30F3F-BD89-408D-A319-713D1AEF319C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c2f8b732e22dc523d6671301b42abfe87432d48","datavalue":{"value":"10.1134/S0001434619110385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$8C6F9A58-3AF0-49C6-A95E-E4C040F23767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b703853c4b45fb2ee2cb65a0bf5fdefc6dfc57eb","datavalue":{"value":{"entity-type":"item","numeric-id":258882,"id":"Q258882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$E8D979A6-7855-4CFF-A5BD-FBD65D0B6907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80d701fc39f0d22047a03032c41696e23fa72cb","datavalue":{"value":{"entity-type":"item","numeric-id":325627,"id":"Q325627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$530F9B2D-DCA2-4F6D-BD50-74A3F803A0D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$C825FD3C-CBBF-4652-8CCC-88593F5C5FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ddeab2841725759b2e820b7ea1589750ac80ae","datavalue":{"value":{"time":"+2020-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2304518$3F7C7C6F-11B6-4F3B-B529-8384CA69C5AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75a756ecf9a9e986513de65546d31df980dc7f94","datavalue":{"value":"https://arxiv.org/abs/1910.14379","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304518$D0880D58-6B7A-4B90-BAE6-15EEC45BAAA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bd9708a4b467a8aa146efd25133f7e66ef6d402","datavalue":{"value":"In the earlier article of \\textit{S. Rybakov} [Math. Notes 104, No. 5, 712--719 (2018; Zbl 1439.11149)], an optimal tower of algebraic curves over \\(\\mathbb F_{p^2}\\) was constructed starting from a smooth family \\(f:X\\to U\\) of elliptic curves over an open subset \\(U\\) of \\(\\mathbb P^1\\). In this article, using a special case of this construction that lifts to characteristic zero, it is shown that one can bound the ramification and the genus in the tower using transcendental methods, and prove that there exists a tower \\(C_{\\bullet}\\) over \\(\\mathbb F_{p^2}\\) that is optimal for \\(p=3\\) and is good if \\(p\\equiv 3\\pmod 4\\). An explicit example of good tower coming from a family \\(V_{\\lambda}\\) of \\(K3\\) surfaces is presented.  The family of \\(K3\\) surfaces considered here is defined by  \\(X_{\\lambda}: \\sum_{i=0}^3 x_i^4+4\\lambda\\prod_{i=0}^3 x_i=0\\). The group scheme \\(H:=\\mu_4\\times\\mu_4\\) where \\(\\mu_4=\\operatorname{Spec}{Z}[i]/(i^4-1)\\) acts on \\(X_{\\lambda}\\) and the general fiber of the quotient family \\(X_{\\lambda}\\otimes C/H\\) has \\(6\\) rational points of type \\(A_3\\). The resolution of the quotient family gives rise to the family \\(V_{\\lambda}\\) of Kummer surfaces associated to the product \\(E_1\\times E_2\\) of two elliptic curves. The monodromy group \\(G\\) of this family is the subgroup of \\(\\Gamma_0(2)\\) generated by the Fricke involution \\(\\left(\\begin{array}{cc} 0 & -1/\\sqrt{2} \\\\ \\sqrt{2} & 0\\end{array}\\right)\\). Exceptional lines of the resolution of \\(6\\) double points of type \\(A_3\\) generate a sublattice of rank \\(18\\) in the Neron-Severi group \\(NS(V_{\\lambda})\\), and thus the \\(H\\)-invariant subspace \\(H^2(X_{\\lambda}\\otimes C,Z)^H\\) is of rank \\(4\\). Moreover, a hyperplane section gives a \\(G\\)-invariant sublattice of rank \\(1\\). So the orthogonal complement \\(T\\) is natually isomorphic to the lattice \\(T\\) of quadratic forms.   The zero locus of the quadratic forms on \\(T\\) is exactly the set of degenerate forms.  Let \\(D_n\\subset \\mathbb P_n(T/\\ell^nT)\\) be the projectivisation of the cone of degnerate forms. This yields a tower of curves \\(C_n\\) over \\(\\mathbb F_{p^2}\\) of genus \\(g_n\\leq (\\ell+1)\\ell^{n-1}/2\\) with the required properties. Here \\(\\ell+1\\) is the degree of \\(C_1\\) over \\(C_0\\), and \\(\\ell\\) is the degree of a morphism \\(C_n\\to C_{n-1}\\) for \\(n>1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304518$326D70AE-27E6-478B-AB37-0B6F0ECEE786","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":"Q2304518$FBFE33A4-ED56-484A-90A7-165B2F39324F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$09875F2B-E34E-453C-B697-D73623790284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ef20327475cf17e0d3e97a6eaf977e984a46412","datavalue":{"value":"14J45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$C38D47BA-C473-405A-AEF2-09543C0E0F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$8F4CDCEE-C83D-4F7B-A338-78C78D58CC42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748bd3267b66bf5bd76a7e9b7b3596d6f4e6ba98","datavalue":{"value":"7179687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$57F373E8-AAE6-4A4D-A482-71176CC6EFF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8403acdef98a095dd55fde8ba0c50725380d5460","datavalue":{"value":"optimal tower","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304518$76E3982E-08A9-4110-A6C4-8EF2B257036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304518$C6498F6C-AAE9-40F7-8C61-19521BDB023B","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":"Q2304518$D0693758-1365-4829-8F16-71F994A361BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2493f36adbc33507db26a60c98292bb45247981c","datavalue":{"value":{"entity-type":"item","numeric-id":4083556,"id":"Q4083556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$2EDAE6E5-2EE1-4F07-9414-3F1870C14E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b92189ded6bc8317f1caf7e72c3da54e6ea86","datavalue":{"value":{"entity-type":"item","numeric-id":4309176,"id":"Q4309176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$A4568184-B329-494E-9A57-7899F078F78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2a897b2caa92e953a1aca35dfe602eaf66725c","datavalue":{"value":{"entity-type":"item","numeric-id":258884,"id":"Q258884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$B1E8FB22-3B83-4646-9477-D58384B4B8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5e705bec1c6d8b9764fa5c61c29b1760b488f","datavalue":{"value":{"entity-type":"item","numeric-id":1760925,"id":"Q1760925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$7D9B19D2-06D5-4F68-9177-0EC095F84D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a146ec1ba1bd1a1b7b62ba8957f53842121dfaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3871006,"id":"Q3871006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$BB5B24E7-4BFC-4DD7-9429-5AD96B5DA222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a79485831905c2048a89fb5ab575ab828d28e42d","datavalue":{"value":{"entity-type":"item","numeric-id":668286,"id":"Q668286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$68849653-41FA-40FB-8F35-8C25FA01E0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31abf2d9019b30d4d145168f5491ac430bb52ced","datavalue":{"value":{"entity-type":"item","numeric-id":4336979,"id":"Q4336979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304518$A620B343-A732-4BE5-BE82-56126749B097","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"05f0af85efc799fa66b9b1877ee7bffb0c9b6065","datavalue":{"value":"Q126461932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$6805869C-0B7C-48EE-8248-5742C3A0539D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50d4e1708e6a7b267929f88f97b97700489e5a72","datavalue":{"value":"W2982306665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304518$22508D7D-E455-4F1E-BCF4-90778398803C","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":"6a9edb2c1778575bd68866bb0236fe2ce7333ff3","datavalue":{"value":{"amount":"+0.93350327","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":"Q2304518$DB16EA96-DF1E-4F4E-9E63-69CBF5BF4EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b615db3e3b6a3562e0f45c6c9aaab83e2a7d765","datavalue":{"value":{"entity-type":"item","numeric-id":668286,"id":"Q668286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65ace7e1c63df18736ca305efb1a6c20777ccb7","datavalue":{"value":{"amount":"+0.92852163","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":"Q2304518$AEBBF2DB-F003-4B96-8E02-840AE6E7A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67126719b6717eed05631031f0de1732c69ed003","datavalue":{"value":{"entity-type":"item","numeric-id":738834,"id":"Q738834"},"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":"Q2304518$3691C4C0-67D1-467F-98F1-8B9D4AAAD354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c59566130697079015f0f3739a189febd713f0","datavalue":{"value":{"entity-type":"item","numeric-id":4360115,"id":"Q4360115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8425ef23fca83869352fefea61fa5911cca35526","datavalue":{"value":{"amount":"+0.9162929","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":"Q2304518$EDD1CFBF-8710-4263-88E0-C39E0B234477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6613e371a4bfe4ec0e783ee71dcd29c0e08f2609","datavalue":{"value":{"entity-type":"item","numeric-id":3328652,"id":"Q3328652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b282930aaf2696aff266a1ba31b46f4b682d8409","datavalue":{"value":{"amount":"+0.9144669","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":"Q2304518$9C74DD58-E1AB-4F2B-9AF3-910FE2FE1ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94c46f19131e69bd2946c6c831d545ba0fdaf22","datavalue":{"value":{"entity-type":"item","numeric-id":292078,"id":"Q292078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b668a73ad2866ef9094f292c2ed3359e1f6ba60","datavalue":{"value":{"amount":"+0.91149646","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":"Q2304518$BBE63700-B851-401C-80D4-E9E9C34C316C","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":"82c5655d3668cf73846c465163940820cb9dcdbf","datavalue":{"value":{"amount":"+0.908245","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":"Q2304518$1D29B5B7-511B-4AA4-B32E-F83600B009AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812674b6294cd4cb98ca0b929bb8e763a552e290","datavalue":{"value":{"entity-type":"item","numeric-id":2302634,"id":"Q2302634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5486b8aba06d27b08ee8a3aa27326de10e907c","datavalue":{"value":{"amount":"+0.9077","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":"Q2304518$2ED34026-D17B-4B37-ADAC-2055152C91D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1128ba9ac79526e377d52a08c696c3fd05aadf5","datavalue":{"value":{"entity-type":"item","numeric-id":3693627,"id":"Q3693627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14cb345754657ea9139273e1765bda44337955f","datavalue":{"value":{"amount":"+0.90705633","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":"Q2304518$62EC55B3-75B5-43E4-8A85-648651FED577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5312b828eecf7dcdf54977c1dc1e7d26c5a2bec3","datavalue":{"value":{"entity-type":"item","numeric-id":4267964,"id":"Q4267964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb05f23d4ccba4595416fb42e1ba09945063354","datavalue":{"value":{"amount":"+0.90671796","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":"Q2304518$33B3FD48-FF99-448F-8CB9-6876F62C32A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2304518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2304518"}}}}}