{"entities":{"Q455669":{"pageid":457436,"ns":120,"title":"Item:Q455669","lastrevid":61968981,"modified":"2026-04-11T02:53:32Z","type":"item","id":"Q455669","labels":{"en":{"language":"en","value":"\\(K3\\) surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. III: The case \\(r(M) \\geq 18\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6097142"}},"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":"Q455669$A2564712-79DD-4484-93E0-B0E2A3A0F8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ca796cccb54990e306e4662a5edbf5f2c296dae","datavalue":{"value":{"text":"\\(K3\\) surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. III: The case \\(r(M) \\geq 18\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q455669$D5421085-0FEB-4059-8D0D-752B6B51EA4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66475bfe41a651b67f8309434303eb4878251426","datavalue":{"value":"1252.14022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$DD12948C-1B3C-4C30-B1AD-EFD12C48E7EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed393bd8745a9620dc39a410830cf6efb8440ca","datavalue":{"value":{"entity-type":"item","numeric-id":455668,"id":"Q455668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$F1E35807-1694-439B-A826-2C07636D2422","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$53461DA4-F414-42E6-A376-49804890720A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q455669$4F23E06C-0D24-4970-B388-14527210D17F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59777b14429e2615ba524bd98ed7d3f8f77f2b3b","datavalue":{"value":"https://arxiv.org/abs/1007.2841","type":"string"},"datatype":"url"},"type":"statement","id":"Q455669$D604F23D-BE2B-44BB-873A-62A742512B0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dad3f9c598b82f03fae3c5e4064e9a0fd5d0127","datavalue":{"value":"This paper establishes the automorphy of the invariant on the coarse moduli space of \\(K3\\) surfaces with involution, when the dimension of the moduli space is at most \\(2\\). The invariant was constructed earlier using equivariant analytic torsion in [Invent. Math. 156, No. 1, 53--117 (2004; Zbl 1058.58013)]. In this earlier paper, the automorphy of the invariant on the moduli space was proved when the dimension of the moduli space was \\(\\geq 3\\). The purpose of this note is to prove the same when the dimension \\(\\leq 2\\).  Let \\((X,\\iota)\\) be a \\(K3\\) surface with anti-symplectic holomorphic involution \\(\\iota\\). Let \\(M\\) be a sublattice of the \\(K3\\) lattice \\(H_2(X,{\\mathbb{Z}})\\), and let \\(M^{\\perp}\\) be its orthogonal complement. \\((X, \\iota)\\) is called a \\(2\\)-elementary of type \\(M\\) if \\(H_+^2(X,{\\mathbb{Z}})\\) (=the invariant sublattice of \\(H^2(X,{\\mathbb{Z}})\\) with respect to the action of \\(\\iota\\)) is isometric to \\(M\\). The period domain \\(\\Omega_{M^{\\perp}}^+\\) of \\(2\\)-elementary \\(K3\\) surfaces of type \\(M\\) is isomorphic to a symmetric domain of type IV of dimension \\(20-r(M)\\) where \\(r(M)\\) denotes the rank of \\(M\\).  When \\(r(M)\\leq 17\\), the automorphic property of the function \\(\\tau_M\\) was proved in the earlier paper of the author mentioned above. In this paper, the author considers the case \\(r(M)\\geq 18\\), and extends the automorphic property of the invariant \\(\\tau_M(X,\\iota)\\) in this case. The main result is formulated in the following  Theorem. There exists an integer \\(\\nu\\in {\\mathbb{Z}}_{>0}\\), an (possibly meromorphic) automorphic form \\(\\Psi_M\\) on \\(\\Omega_{M^{\\perp}}^+\\) of weight \\(\\nu(r(M)-6)\\) and a Siegel modular form \\(S_M\\) on the Siegel upper-half space \\({\\mathcal{S}}_{g(M)}\\) of weight \\(4\\nu\\) such that, for every \\(2\\)-elementary \\(K3\\) surface \\((X,\\iota)\\) of type \\(M\\), the invariant  \\[ \\tau_M(X,\\iota)=\\|\\Psi_M(\\overline{\\omega}_M(X,\\iota)\\|^{-1/2\\nu} \\|S_M(\\Omega(X^{\\iota}\\|^{-1/2\\nu}. \\]  Here \\(\\overline{\\omega}_M(X,\\iota)\\) denotes the period of \\((X,\\iota)\\), \\(\\Omega(X^{\\iota})\\) the period of \\(X^{\\iota}\\), and \\(\\|\\cdot\\|\\) denotes the Petersson norm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q455669$EAEF2657-9830-4C98-9BED-5D87F2A8F38A","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":"Q455669$0BDFE700-F36A-4977-85EA-A263F358881C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$3A5E9754-0420-4F24-A1F2-D07DF1455E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$6AAA2D14-9F8C-4A2F-981F-7F2996BEC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d22ff5fe34810c80454fb4a1021527029af83b","datavalue":{"value":"58J52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$9B00B144-F367-4A58-9EB4-19771BBC1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"670f1487f9f4d3a76b79e53bff05e8cae1e7b71d","datavalue":{"value":"14J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$B224F4F1-D05F-48D9-930D-FE2110AFBC11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e32418ee79bdb1fec12ba7b56e876e09abea6dae","datavalue":{"value":"6097142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$2FD6F8C6-F9AD-44D6-92E9-7BE47FF97EDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6052740941befa753eea25e86293b951e9d7e05","datavalue":{"value":"\\(K3\\) surface with involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q455669$5BDEC768-4987-4001-882F-FD275A1F0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4a535b722be46efdb20eab083a0e0b7c8f77b1","datavalue":{"value":"analytic torsion","type":"string"},"datatype":"string"},"type":"statement","id":"Q455669$23694F34-4B7B-428E-ABD4-BC1618D4F9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bdad539d761e1e9006cac1c1cad6537bf64879","datavalue":{"value":"automorphic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q455669$8F832B41-0110-4B3A-8EB6-59FC8F31211B","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":"Q455669$B044E015-245F-487B-8C68-DC8BCD0FABA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55c246ce0f0c7aa91dd96b1268f54ce737e7e8d6","datavalue":{"value":"W2021854726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$DBF5C34D-CF8F-4C86-95B3-8FABDBE9AB51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59ab2d51b3087e5a8906d852662444268417c84","datavalue":{"value":{"entity-type":"item","numeric-id":1358247,"id":"Q1358247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$4F9C67E4-ABF3-46E6-B87B-2C26E187FE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1dde12b35b302f2c29bbd70b7cfdb0d581de00e","datavalue":{"value":{"entity-type":"item","numeric-id":1891986,"id":"Q1891986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$F459C218-0735-440B-A139-41B975B8D2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa976680c17812bf30ea3eac63a5e772fb8d0b45","datavalue":{"value":{"entity-type":"item","numeric-id":1106369,"id":"Q1106369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$7D853E34-502B-4CE2-B1F3-390752948E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573fe272e41725111eadc66e7a67f7a162ef4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":1127752,"id":"Q1127752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$5FA007CD-BE2E-4DDC-A063-DB1846CED6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd642e83dd342b62303920d879bda47f34679ade","datavalue":{"value":{"entity-type":"item","numeric-id":1345234,"id":"Q1345234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$C441538D-9450-4F33-89CE-EF5BE312EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda02361bb59bff77bf900c72608c15bf7558ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1817426,"id":"Q1817426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$C7122A97-4E53-4E83-B7EC-567C7B5E812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22704497acf61f87fecc841ea4a2cb901b64912b","datavalue":{"value":{"entity-type":"item","numeric-id":1586375,"id":"Q1586375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$3D297B73-6541-4D73-832F-FB71B165EA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dd65ce07b89062e43551930a58fe70ef2c311c","datavalue":{"value":{"entity-type":"item","numeric-id":1241551,"id":"Q1241551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$74495BF6-DDE2-4EE4-8AAB-6862A794B70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc7785e953b702498de1fad9b31dfc7e8817543","datavalue":{"value":{"entity-type":"item","numeric-id":3863946,"id":"Q3863946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$C052B986-D1CB-47B1-86B3-4D259191EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4583603da81a788d9e52d57b80bb78dc77a6089","datavalue":{"value":{"entity-type":"item","numeric-id":1837718,"id":"Q1837718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$106F87FE-1E5B-4D71-BED7-33AB52FF4162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9ba3f20f3b81be9d6afca8250c7186fd84e603","datavalue":{"value":{"entity-type":"item","numeric-id":2562954,"id":"Q2562954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$7AD45CF4-F4E8-4258-8874-E1A07A979D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cc7df9c25fbcfe6996c66d9e2daa4f0fd2407b","datavalue":{"value":{"entity-type":"item","numeric-id":1846955,"id":"Q1846955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$49531ADC-6771-403B-A647-572B36372BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7153e36cda4f40c02ebdb65504302843e785d7ea","datavalue":{"value":{"entity-type":"item","numeric-id":1907199,"id":"Q1907199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$4DBC1180-6474-421E-AC8B-2E57C89A6D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f51aec41d6715f711f6749f13d734b98fbb8783","datavalue":{"value":{"entity-type":"item","numeric-id":1879008,"id":"Q1879008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$4476F1A0-9D8A-46F4-9089-C5DFA58DEC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7425ee79f77461be278d694f44d713c3d1f93b","datavalue":{"value":{"entity-type":"item","numeric-id":862367,"id":"Q862367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q455669$2FB7966D-2203-4B34-833F-F7C854CC2C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2445309145811370c5c0b9e93ffe1ca8069089","datavalue":{"value":"10.1007/S00209-011-0928-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q455669$E4371196-DA56-4BA6-80CC-7498AF2E4F62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88cab75e93d5adb031e9ab06b975e1b1474fe42","datavalue":{"value":{"entity-type":"item","numeric-id":4921705,"id":"Q4921705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445f01a52ca907b302054eb275726abe83d75ee3","datavalue":{"value":{"amount":"+0.9474931955337524","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":"Q455669$0DCAFAFB-06EC-49D6-BCF0-B5436CC43763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c23c6dd2df7370aba3701bfb2e56daec2818dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5139300,"id":"Q5139300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5caa9aee3b62c7270a68ca73c281499b7f0af3aa","datavalue":{"value":{"amount":"+0.9234989285469056","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":"Q455669$558070F2-9B6B-4426-9CC0-51E7904DD1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d17ac57ec0193e7d28544001f152bf386de00a","datavalue":{"value":{"entity-type":"item","numeric-id":1879008,"id":"Q1879008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45d7d7b73dd7d6d32e5bc095d0ae5cbc64c49e1","datavalue":{"value":{"amount":"+0.9232965707778932","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":"Q455669$4A433EA5-DA75-457C-B8D8-1CA75F8EF9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09bdd6787d58121161e37c30043c508d22517f16","datavalue":{"value":{"entity-type":"item","numeric-id":2939277,"id":"Q2939277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca0eb2781ddf07abfecba2fbc4e509eddbd4748","datavalue":{"value":{"amount":"+0.9166463017463684","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":"Q455669$CFD5E9E0-C696-4AC3-BEC5-C50878C0C7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac37ab0ee10b6c0a673a39a1a866d18a18a056f","datavalue":{"value":{"entity-type":"item","numeric-id":4663796,"id":"Q4663796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c5eb1f2d544899a2b65b49af970564d5c69693","datavalue":{"value":{"amount":"+0.909395158290863","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":"Q455669$9A858FAA-9C12-4C67-96DF-4C153BA0F8E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(K3\\) surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space. III: The case \\(r(M) \\geq 18\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(K3%5C)_surfaces_with_involution,_equivariant_analytic_torsion,_and_automorphic_forms_on_the_moduli_space._III:_The_case_%5C(r(M)_%5Cgeq_18%5C)"}}}}}