{"entities":{"Q504305":{"pageid":506072,"ns":120,"title":"Item:Q504305","lastrevid":62325609,"modified":"2026-04-11T05:19:30Z","type":"item","id":"Q504305","labels":{"en":{"language":"en","value":"On superspecial abelian surfaces over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674986"}},"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":"Q504305$9480936A-4D22-422B-A795-DFFF9EB55161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63eb57dbdaf1450b010e436d7c595768211a8669","datavalue":{"value":{"text":"On superspecial abelian surfaces over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504305$AF23AB5C-03D6-42DC-975D-29426642854C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2e38981e4694c19c9e84a317a100aefaf013d9b","datavalue":{"value":"1385.11042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504305$E6CB2E60-8307-4A85-8F84-4E9474FF995B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3caff9469e9829fec3f693a2a11764445644dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":407364,"id":"Q407364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$1CF6D578-D136-45D7-87A8-7DF12FFD059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e37e39377cb48627d65f48d50c04709b6fcd7a4","datavalue":{"value":{"entity-type":"item","numeric-id":407365,"id":"Q407365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$BB4A3145-24DB-4D49-A420-93A60D8B2F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd3b6e49abe8958904644e9b4e0c82c98c4eaa99","datavalue":{"value":{"entity-type":"item","numeric-id":1995628,"id":"Q1995628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$1EB9ACCA-133E-408C-9936-AE012D83906C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$500A9AE3-24EC-4559-BC9D-58203F27E1FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb662ea7cb47cef32ba8c44ae1bbc7101d3603f","datavalue":{"value":{"time":"+2017-01-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":"Q504305$3FADBC38-941B-42A6-90DF-31FA76533983","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1184ad0ed16036b857b6518d6ebebe21fcb59d63","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-21/41.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q504305$EE3BADB7-C8C2-430E-9096-86247020B9F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0983876b6de0e29b77dc2e7ddfe395bd80412337","datavalue":{"value":"Let \\(q = p^a\\) be a prime power. An abelian variety over a field \\(k\\) is called superspecial if it is isomorphic to a product of supersingular elliptic curves over an algebraic closure of \\(k\\) and superspecial if it is isogenous to a product of supersingular elliptic curves over an algebraic closure of \\(k\\). The authors denote the set of isomorphism classes of \\(d\\)-dimensional superspecial abelian varieties over \\(\\mathbb{F}_q\\) by \\(\\mathrm{Sp}_d(\\mathbb{F}_q)\\). The purpose of this article is to determine \\(\\mathrm{Sp}_d(\\mathbb{F}_q)\\) for \\(d=1\\) and \\(d=2\\) and \\(a\\) odd. Furthermore, it is proved that for \\(q, q'\\) powers of \\(p\\) of the same exponent parity, there is a natural bijection \\(\\mathrm{Sp}_d(\\mathbb{F}_q) \\cong \\mathrm{Sp}_d(\\mathbb{F}_{q'})\\) preserving isogeny classes. This allows to reduce the case \\(a\\) odd to \\(q = p\\) using Galois cohomology; Proposition 5.1 only works for \\(q = p\\).  \\[ \\mathrm{Sp}_d(\\mathbb{F}_p) \\cong \\mathrm{H}^1_{\\text{\u00e9t}}(\\mathbb{F}_p, \\mathrm{Aut}(X_0 \\otimes \\overline{\\mathbb{F}}_p)), \\quad d > 1, \\]  where \\(X_0\\) is a fixed \\(d\\)-dimensional supersingular abelian variety over \\(\\mathbb{F}_p\\).  The method of computing the cardinality of \\(\\mathrm{Sp}_d(\\mathbb{F}_p)\\) is as follows: One divides the set of isomorphism classes of superspecial abelian varieties into isogeny classes and classifies them. Isogeny classes of supersingular elliptic curves are in bijection with supersingular Weil \\(p\\)-numbers by Honda-Tate theory (these have been studied by Deuring, see [\\textit{W. C. Waterhouse}, Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4) 2, 521--560 (1969; Zbl 0188.53001), Section 4], so isogeny classes of superspecial abelian varieties are in bijection with supersingular multiple Weil \\(p\\)-numbers.  Proposition 4.4. Denote the class number of \\(\\mathbb{Q}(\\sqrt{m})\\) by \\(h(\\sqrt{m})\\).  (1) If \\(a\\) is odd,  \\[ |\\mathrm{Sp}_1(\\mathbb{F}_q)| = \\begin{cases} 3, & p=2, \\\\ 4, & p=3, \\\\ h(\\sqrt{-p}), &p \\equiv 1 \\pmod{4},\\\\ \\big(3-(\\frac{2}{p})\\big)h(\\sqrt{-p}), &p \\equiv 3 \\pmod{4},\\quad p > 3. \\end{cases} \\]   (2) If \\(a\\) is even,  \\[ |\\mathrm{Sp}_1(\\mathbb{F}_q)| = \\frac{p-1}{6} + \\frac{8}{3}\\Big(1-\\Big(\\frac{-3}{p}\\Big)\\Big) + \\frac{3}{2}\\Big(1-\\Big(\\frac{-4}{p}\\Big)\\Big). \\]   Theorem 1.1. Let \\(K_{m,j} = \\mathbb{Q}(\\sqrt{m},\\sqrt{-j})\\), \\(w_m = 3[O^\\times_{\\mathbb{Q}(\\sqrt{m})}:\\mathbb{Z}[\\sqrt{m}]^\\times]^{-1}\\) for \\(m \\equiv 1 \\pmod{4}\\) and let \\(H(\\sqrt{p})\\) be the number of \\(\\mathbb{F}_p\\)-isomorphism classes of abelian varieties in the simple isogeny class corresponding to the Weil \\(p\\)-number \\(\\pi = \\sqrt{p}\\) and let \\(F = \\mathbb{Q}(\\sqrt{p})\\). Then  (1) \\(H(\\sqrt{p}) = 1,2,3\\) for \\(p=2,3,5\\), respectively.  (2) For \\(p > 5\\) and \\(p \\equiv 3 \\pmod{4}\\), we have  \\[ H(\\sqrt{p}) = \\frac{1}{2}h(F)\\zeta_F(-1) + \\Big(\\frac{3}{8} + \\frac{5}{8}\\Big(2-\\Big(\\frac{2}{p}\\Big)\\Big)h(K_{p,1}) + \\frac{1}{4}h(K_{p,2}) + \\frac{1}{3}h(K_{p,3}), \\]  where \\(\\zeta_F(s)\\) is the Dedekind zeta function of \\(F\\) and \\(h\\) is the class number.  (3) For \\(p > 5\\) and \\(p \\equiv 1 \\pmod{4}\\), we have  \\[ H(\\sqrt{p}) = \\begin{cases} 8\\zeta_F(-1)h(F) + h(K_{p,1}) + \\frac{4}{3}h(K_{p,3}), & p \\equiv 1 \\pmod{8},\\\\ \\frac{1}{2}(15w_p+1)\\zeta_F(-1)h(F) + \\frac{1}{4}(3w_p+1)h(K_{p,1}) + \\frac{4}{3}h(K_{p,3}), & p \\equiv 5 \\pmod{8}. \\end{cases} \\]   Theorem 1.2. We have \\(|\\mathrm{Sp}_2(\\mathbb{F}_p)| = H(\\sqrt{p}) + \\Delta(p)\\) with  (1) \\(\\Delta(p) = 15,20,9\\) for \\(p = 2,3,5\\), respectively.  (2) For \\(p > 5\\) and \\(p \\equiv 1 \\pmod{4}\\), we have  \\[ \\Delta(p) = (w_p+1)h(K_{p,3}) + h(K_{2p,1}) + h(K_{3p,3}) + h(\\sqrt{-p}). \\]   (3) For \\(p > 5\\) and \\(p \\equiv 3 \\pmod{4}\\), we have  \\[ \\Delta(p) = h(K_{p,3}) + h(K_{2p,1}) + (w_p+1)h(K_{3p,3}) + \\Big(4-\\Big(\\frac{2}{p}\\Big)\\Big)h(\\sqrt{-p}). \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q504305$FB5DFC47-5123-404C-9B9E-6566AA8E65D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8caf72a324708b96f3e34b7c6db64e5a5cac9a71","datavalue":{"value":{"entity-type":"item","numeric-id":276060,"id":"Q276060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$18FBF226-6448-4B19-B838-0FF779F43B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504305$AC702983-3C08-417A-9197-D0DF4A092431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0e571948abe35cc76c07fcb2a2c873909d083ab","datavalue":{"value":"11G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504305$3900B4FD-90C7-4471-A044-56770092A98F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a522525026e7e2d3848eff9b53204957ea61bd","datavalue":{"value":"6674986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504305$F0BDD8FB-2098-4F7F-9DF6-8BA87042C16B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df63e896c388592091124181b1b570cd1b76649","datavalue":{"value":"supersingular abelian surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q504305$AA1D2884-E804-4C84-B5E7-67C06EEFF25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e393c6d8c6df4293409529ce21edc5bf0b9a349e","datavalue":{"value":"class number formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q504305$D67A5762-FE4B-43FC-8D8A-6C33AAD1E9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074d72856bbbfa7f24bef96160f16fc09511824f","datavalue":{"value":"Galois cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q504305$42BBF0B2-45B1-4AC6-A897-F3F7854993D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504305$4D54EEB2-AECC-47EE-90E1-E874A1DBFFC7","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":"Q504305$71AF2F62-B6E5-4E75-A0FF-45E7790EE3DC","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"1c21bf71675d382fff5611532547345337ddc5de","datavalue":{"value":"bafkreieez7dqye3hrkzoauoyjueg6pfoyf5aivfkaneo4pbvaro2wimkim","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504305$1B0508DB-D20E-4865-BAD2-59B219BEA0CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987889a2c26d6591952b1fcdb7ad4f64ce94438d","datavalue":{"value":{"entity-type":"item","numeric-id":456828,"id":"Q456828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311019f921494499de3df5ec3cb184fe36b12f09","datavalue":{"value":{"amount":"+0.8863389492034912","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":"Q504305$53846C88-5224-4AF2-BF01-B5D75ACC9AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabd2619973b9b4fb8548effa9ab1f62269b4a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2176580,"id":"Q2176580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24aac82f12a0a2a30b3aafa511c2ba4d333eb67","datavalue":{"value":{"amount":"+0.8828964233398438","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":"Q504305$E4854F44-7A99-4A67-A8D4-AB7FE37D9F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f688528266676944d4acf97f67bfdd3508cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4962404,"id":"Q4962404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41f13ba9386f23e74ee1c47cf9bc0e98169ed50","datavalue":{"value":{"amount":"+0.8774164915084839","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":"Q504305$03BC117E-EC46-40D4-9409-5D8777FDAA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0db0dd7f4bea5f3624f15e2d04dd39cdc864b0","datavalue":{"value":{"entity-type":"item","numeric-id":2065759,"id":"Q2065759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4bddf4c7a2aa0357900c1fd6c7520e6920c9698","datavalue":{"value":{"amount":"+0.853725016117096","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":"Q504305$A0C0E456-2D5B-4D47-80DA-28E191791B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae71ada8019928cc6578dc06d9446c1415a99549","datavalue":{"value":{"entity-type":"item","numeric-id":4296333,"id":"Q4296333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df80dea30cfa0db0dc58d463d9624198f7b823f","datavalue":{"value":{"amount":"+0.8283472657203674","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":"Q504305$57B3E89C-8A95-4083-A5BE-273708878671","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On superspecial abelian surfaces over finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_superspecial_abelian_surfaces_over_finite_fields"}}}}}