On counting certain abelian varieties over finite fields. (English) Zbl 1469.11213
Summary: This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers [Doc. Math. 21, 1607–1643 (2016; Zbl 1385.11042); [Taiwanese J. Math. 20, No. 4, 723–741 (2016; Zbl 1366.11112)], the current authors and T. C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number \(\sqrt q\). This establishes a key step that extends our previous explicit calculation of superspecial abelian surfaces to those of supersingular abelian surfaces. The second part is to introduce the notion of genera and idealcomplexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the previous work by the second named author [Forum Math. 22, No. 3, 565–582 (2010; Zbl 1257.11059)] on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigations.
MSC:
| 11G25 | Varieties over finite and local fields |
| 14K15 | Arithmetic ground fields for abelian varieties |
| 11R58 | Arithmetic theory of algebraic function fields |
Software:
MagmaReferences:
| [1] | Arakawa, T.; Ibukiyama, T.; Kaneko, M., Bernoulli Numbers and Zeta Functions. Springer Monographs in Mathematics (2014), Tokyo: Springer, Tokyo · Zbl 1312.11015 |
| [2] | Borel, A., Harish-Chandra: Arithmetic subgroups of algebraic groups, Ann. of Math., 75, 485-535 (1962) · Zbl 0107.14804 · doi:10.2307/1970210 |
| [3] | Bosma, W.; Cannon, J.; Playoust, C., The Magma algebra system. I. The user language, J. Symbolic Comput., 24, 3-4, 235-265 (1997) · Zbl 0898.68039 · doi:10.1006/jsco.1996.0125 |
| [4] | Centeleghe, T. G.; Stix, J., Categories of abelian varieties over finite fields, I: Abelian varieties over F_p, Algebra Number Theory, 9, 1, 225-265 (2015) · Zbl 1395.11102 · doi:10.2140/ant.2015.9.225 |
| [5] | Conner, P. E.; Hurrelbrink, J., Class Number Parity, volume 8 of Series in Pure Mathematics (1988), Singapore: World Scientific Publishing Co., Singapore · Zbl 0743.11061 · doi:10.1142/0663 |
| [6] | Curtis, C. W.; Reiner, I., Methods of Representation Theory. Vol. I. Wiley Classics Library (1990), New York: John Wiley & Sons, Inc., New York · Zbl 0698.20001 |
| [7] | Dade, E. C.; Taussky, O.; Zassenhaus, H., On the theory of orders, in paricular on the semigroup of ideal classes and genera of an order in an algebraic number field, Math. Ann., 148, 31-64 (1962) · Zbl 0113.26504 · doi:10.1007/BF01438389 |
| [8] | Deligne, P., Variétés abéliennes ordinaires sur un corps fini, Invent. Math., 8, 238-243 (1969) · Zbl 0179.26201 · doi:10.1007/BF01406076 |
| [9] | Deuring, M., Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Hansischen Univ., 14, 197-272 (1941) · Zbl 0025.02003 · doi:10.1007/BF02940746 |
| [10] | Eichler, M., Zur Zahlentheorie der Quaternionen-Algebren, J. Reine Angew. Math., 195, 127-151 (1956) · Zbl 0068.03303 |
| [11] | Eichler, M., Quadratische Formen und orthogonale Gruppen (1974), Berlin-New York: Springer-Verlag, Berlin-New York · Zbl 0277.10017 · doi:10.1007/978-3-642-80764-0 |
| [12] | Ekedahl, T., On supersingular curves and abelian varieties, Math. Scand., 60, 2, 151-178 (1987) · Zbl 0641.14007 · doi:10.7146/math.scand.a-12178 |
| [13] | Guo, J. W.; Sheu, N. H.; Yu, C. F., Class numbers of CM algebraic tori, CM abelian varieties and components of unitary Shimura varieties (2019) |
| [14] | Honda, T., Isogeny classes of abelian varieties over finite fields, J. Math. Soc. Japan, 20, 83-95 (1968) · Zbl 0203.53302 · doi:10.2969/jmsj/02010083 |
| [15] | Jacobinski, H., Genera and decompositions of lattices over orders, Acta Math., 121, 1-29 (1968) · Zbl 0167.04503 · doi:10.1007/BF02391907 |
| [16] | Jordan, B. W.; Keeton, A. G.; Poonen, B., Abelian varieties isogenous to a power of an elliptic curve, Compos. Math., 154, 5, 934-959 (2018) · Zbl 1400.14116 · doi:10.1112/S0010437X17007990 |
| [17] | Katsura, T.; Oort, F., Families of supersingular abelian surfaces, Compositio Math., 62, 2, 107-167 (1987) · Zbl 0636.14017 |
| [18] | Kitaoka, Y., Quaternary even positive definite quadratic forms of prime discriminant, Nagoya Math. J., 52, 147-161 (1973) · Zbl 0294.10014 · doi:10.1017/S0027763000015944 |
| [19] | Körner, O., Traces of Eichler-Brandt matrices and type numbers of quaternion orders, Proc. Indian Acad. Sci. Math. Sci., 97, 1-3, 189-199 (1988) · Zbl 0651.12011 · doi:10.1007/BF02837823 |
| [20] | Kottwitz, R. E., Isocrystals with additional structure, Compositio Math., 56, 2, 201-220 (1985) · Zbl 0597.20038 |
| [21] | Kottwitz, R. E.: Shimura varieties and A-adic representations. In: Automorphic Forms, Shimura Varieties, and L-functions, Vol. I (Ann Arbor, MI, 1988), volume 10 of Perspect. Math., pages 161-209. Academic Press, Boston, MA, 1990 · Zbl 0743.14019 |
| [22] | Li, K. Z.; Oort, F., Moduli of Supersingular Abelian Varieties, volume 1680 of Lecture Notes in Mathematics (1998), Berlin: Springer-Verlag, Berlin · Zbl 0920.14021 |
| [23] | Lipnowski, M.; Tsimerman, J., How large is A_g (F_q), Duke Math. J., 167, 18, 3403-3453 (2018) · Zbl 1426.11062 · doi:10.1215/00127094-2018-0029 |
| [24] | Peters, M., Ternäre und quaternäre quadratische Formen und Quaternionenalgebren, Acta Arith., 15, 329-365 (1969) · Zbl 0188.11202 · doi:10.4064/aa-15-4-329-365 |
| [25] | Platonov, V.; Rapinchuk, A., Algebraic groups and number theory, volume 139 of Pure and Applied Mathematics (1994), Boston, MA: Academic Press, Inc., Boston, MA · Zbl 0841.20046 |
| [26] | Ponomarev, P., Arithmetic of quaternary quadratic forms, Acta Arith., 29, 1, 1-48 (1976) · Zbl 0321.10023 · doi:10.4064/aa-29-1-1-48 |
| [27] | Ponomarev, P., Class number formulas for quaternary quadratic forms, Acta Arith., 39, 1, 95-104 (1981) · Zbl 0464.10013 · doi:10.4064/aa-39-1-95-104 |
| [28] | Rapoport, M.; Zink, T., Period spaces for p-divisible groups, volume 141 of Annals of Mathematics Studies (1996), Princeton, NJ: Princeton University Press, Princeton, NJ · Zbl 0873.14039 · doi:10.1515/9781400882601 |
| [29] | Reiner, I., Maximal Orders, volume 28 of London Mathematical Society Monographs (2003), Oxford: New Series. The Clarendon Press Oxford University Press, Oxford · Zbl 1024.16008 |
| [30] | Schoof, R., Nonsingular plane cubic curves over finite fields, J. Combin. Theory Ser. A, 46, 2, 183-211 (1987) · Zbl 0632.14021 · doi:10.1016/0097-3165(87)90003-3 |
| [31] | Shyr, J. M., On some class number relations of algebraic tori, Michigan Math. J., 24, 3, 365-377 (1977) · Zbl 0433.12009 · doi:10.1307/mmj/1029001954 |
| [32] | Tate, J., Endomorphisms of abelian varieties over finite fields, Invent. Math., 2, 134-144 (1966) · Zbl 0147.20303 · doi:10.1007/BF01404549 |
| [33] | Tate, J., Classes d’isogénie des variétés abéliennes sur un corps fini (d’après T. Honda), Séminaire Bourbaki. Vol. 1968/69: Exposés 347-363, volume 175 of Lecture Notes in Math, 95-110 (1971), Berlin: Springer, Berlin · Zbl 0212.25702 · doi:10.1007/BFb0058807 |
| [34] | Vignéras, M. F., Nombre de classes d’un ordre d’Eichler et valeur au point -1 de la fonction zëta d’un corps quadratique réel, Enseignement Math., 21, 1, 69-105 (1975) · Zbl 0316.12008 |
| [35] | Vignéras, M. F., Arithmétique des algèbres de quaternions, volume 800 of Lecture Notes in Mathematics (1980), Berlin: Springer, Berlin · Zbl 0422.12008 · doi:10.1007/BFb0091027 |
| [36] | Washington, L. C., Introduction to cyclotomic fields, volume 83 of Graduate Texts in Mathematics (1997), New York: Springer-Verlag, New York · Zbl 0966.11047 · doi:10.1007/978-1-4612-1934-7 |
| [37] | Waterhouse, W. C., Abelian varieties over finite fields, Ann. Sci. Ecole Norm. Sup., 2, 521-560 (1969) · Zbl 0188.53001 · doi:10.24033/asens.1183 |
| [38] | Xue, J.; Yang, T. C.; Yu, C. F., Supersingular abelian surfaces and Eichler’s class number formula (2014) · Zbl 1472.11187 |
| [39] | Xue, J.; Yang, T. C.; Yu, C. F., Numerical invariants of totally imaginary quadratic Z√_p-orders, Taiwanese J. Math., 20, 4, 723-741 (2016) · Zbl 1366.11112 · doi:10.11650/tjm.20.2016.6464 |
| [40] | Xue, J.; Yang, T. C.; Yu, C. F., On superspecial abelian surfaces over finite fields, Doc. Math., 21, 1607-1643 (2016) · Zbl 1385.11042 |
| [41] | Xue, J.; Yang, T. C.; Yu, C. F., On superspecial abelian surfaces over finite fields II (2018) · Zbl 1452.11072 |
| [42] | Yu, C. F., A note on supersingular abelian varieties (2014) |
| [43] | Yu, C. F., On the supersingular locus in Hilbert-Blumenthal 4-folds, J. Algebraic Geom., 12, 4, 653-698 (2003) · Zbl 1059.14031 · doi:10.1090/S1056-3911-03-00352-7 |
| [44] | Yu, C. F., On the mass formula of supersingular abelian varieties with real multiplications, J. Aust. Math. Soc., 78, 3, 373-392 (2005) · Zbl 1137.11323 · doi:10.1017/S1446788700008582 |
| [45] | Yu, C. F., The supersingular loci and mass formulas on Siegel modular varieties, Doc. Math., 11, 449-468 (2006) · Zbl 1118.11031 |
| [46] | Yu, C. F., An exact geometric mass formula, Int. Math. Res. Not. IMRN (2008) · Zbl 1213.11129 |
| [47] | Yu, C. F., Simple mass formulas on Shimura varieties of PEL-type, Forum Math., 22, 3, 565-582 (2010) · Zbl 1257.11059 · doi:10.1515/forum.2010.030 |
| [48] | Yu, C. F., Superspecial abelian varieties over finite prime fields, J. Pure Appl. Algebra, 216, 6, 1418-1427 (2012) · Zbl 1255.11031 · doi:10.1016/j.jpaa.2011.12.007 |
| [49] | Yu, C. F., Abelian varieties over finite fields as basic abelian varieties, Forum Math., 29, 2, 489-500 (2017) · Zbl 1417.11125 · doi:10.1515/forum-2014-0141 |
| [50] | Yu, C. F., Notes on locally free class groups, Bull. Inst. Math. Acad. Sin. (N.S.), 12, 2, 125-139 (2017) · Zbl 1381.16018 |
| [51] | Zagier, D., On the values at negative integers of the zeta-function of a real quadratic field, Enseignement Math., 22, 1-2, 55-95 (1976) · Zbl 0334.12021 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
