alphaFeedback

WorksMathematics

Post-quantum commutative group actions from oriented superspecial abelian varieties

AI contributions
  • Claude Opus 5.5
View details

Abstract

We study the cryptographic use of Shimura class group actions on superspecial principally polarized abelian varieties equipped with a CM orientation, within the context of post-quantum cryptography. Besides giving an accessible introduction to the topic, illustrated with many examples, we provide tools for representing CM orientations through higher-dimensional isogenies and for computing the Shimura class group action in the restricted effective group action model. Here, key auxiliary results are a version of Kani's lemma "with CM" and a trick that often allows to halve the ambient dimension. We also give a method for finding superspecial principally polarized abelian surfaces that are oriented by a given CM order, which is extracted from an algebraic framework for studying CM orientations using the Ibukiyama-Katsura-Oort correspondence. We also analyze obstructions to transitivity of the Shimura class group action, related to the characteristic-zero notion of CM type.

Introduction

Commutative cryptographic group actions generalize exponentiation in finite cyclic groups and inherit some of its versatility in cryptographic design, such as non-interactive key exchange protocols à la Diffie–Hellman and threshold signatures, see [1] for an overview. At the same time, the concept is general enough to allow for (conjecturally) quantum-resistant instantiations, unlike exponentiation which falls prey to Shor’s algorithm. This generality is, however, relative: the only known fruitful source of post-quantum commutative group actions comes from the theory of complex multiplication (CM). Moreover, nearly all known instantiations work in dimension g=1g = 1, i.e., using elliptic curves, where the groups are ideal-class groups of imaginary quadratic orders, acting on sets of oriented elliptic curves via isogenies. Their cryptographic use was proposed independently by Couveignes [29] and Rostovtsev–Stolbunov [87], using ordinary elliptic curves over finite fields, but the focus has now shifted to supersingular elliptic curves for the sake of flexibility and efficiency. This is implemented, e.g., in [17, 35, 5].

CM theory in arbitrary dimension g≥1g \ge1 was developed by Shimura and Taniyama mid-20th century [89]. Unlike the elliptic curve case, the acting group is not simply the ideal-class group of an imaginary quadratic order, but a slightly more complicated class group attached to a CM order of rank 2g2g. The complication comes from the fact that it acts on principally polarized abelian varieties (PPAVs); the action needs to be compatible with the polarization data.

Given the growing role of higher-dimensional abelian varieties in isogeny-based cryptography, and given the central place of CM theory in the theory of PPAVs, it is a natural goal to study how Shimura class group actions can be put to cryptographic use. Our purpose is to initiate this study for superspecial PPAVs, which are the appropriate generalizations to higher dimension of supersingular elliptic curves. Sanon’s PhD thesis [88] already gave a high-level description of a key exchange protocol from Shimura class groups acting on absolutely simple, ordinary abelian surfaces over a finite field Fq\mathbb{F}_q oriented by their full endomorphism ring. We are unaware of other literature exploring such constructive uses, let alone in the superspecial setting, although [83] mentions the possibility of extending the module-action framework to modules over CM orders, which would generalize our discussion (which corresponds to rank-1 modules). This being said, the Shimura class group action has been on cryptographers’ radars for a long time, in tangential studies such as [68, 6, 7, 63, 10, 51].

When compared to elliptic curves, the cases g>1g > 1 offer two potential advantages: (i) one can reach larger class groups for a given field size, especially when working over a prime field Fp\mathbb{F}_p as in CSIDH [17], which is not possible in large-discriminant frameworks such as [16, 46], and (ii) there potentially exist more prime ideals of a given small norm ℓ\ell, allowing for a key space that is more concentrated on small primes. But we mainly view this work as a didactic exploration of CM orientations on superspecial PPAVs and the corresponding Shimura class group actions, with a focus on their cryptographic use and spiced up with many examples. We also note that, already in dimension g=1g = 1, orientations and CM actions have proven to be important tools beyond the constructive use of cryptographic group actions [34, 45, 66].

Contributions and paper organization. Our contributions are organized as follows. First, after reviewing CM orientations and Shimura class groups in Section 2, with further background to be found in the appendices, we introduce some recurring examples of superspecial CM orientations in Section 3. Next, in Section 4 we discuss how to set up and evaluate Shimura class group actions within the g-REGA model from [1]. This includes finding the generating set g\mathbf{g} and representing the orientation; two auxiliary tools are an enhanced version of Kani’s lemma incorporating the CM orientation, and a dimension-halving trick often allowing the user to keep working in dimension gg (which seems a new observation even for g=1g = 1). Along the way we describe the structure of Shimura class groups of CM orders in biquadratic CM fields (i.e., C2×C2C_2 \times C_2 fields), and we break a security measure proposed by Sanon in Remark 4.8. Then in Section 5, we give a purely algebraic treatment of CM orientations on superspecial principally polarized abelian surfaces (PPASs), within the framework of the Ibukiyama–Katsura–Oort (IKO) correspondence from [49]. We show how to evaluate the Shimura class group action on the IKO-side, and how to produce superspecial PPASs that are oriented by a prescribed CM order; this has applications to the 2-dimensional version of the “one endomorphism” problem (often called OneEnd in the literature [79]), on which we elaborate in Appendix I. Next, in Section 6, we delve into the orbits of the Shimura class group action, which is a rich and much more intricate discussion than in the case g=1g = 1, led by the characteristic-zero notion of CM type. An interesting by-product of our discussion is a very efficient method for deciding whether two given oriented supersingular elliptic curves lie in the same orbit under the usual ideal-class group action, see Example 6.3. We conclude in Section 7 with some security considerations.

Appendices. To keep the main body contained, a considerable amount of material was deferred to the appendices. Besides additional background in Appendices A, J and proofs in Appendices D, E, H, they contain several results worth highlighting. Most notably, building on Section 4, we present a key exchange protocol built from superspecial CM-oriented PPASs, all defined over Fp\mathbb{F}_p, where the real multiplication part is generated by the pp-th power Frobenius endomorphism. The starting orientation is called R2-D4 and described in Appendix C, while concrete parameters tailored for efficient key exchange are discussed in Appendix F. Some compression techniques for CM-oriented superspecial PPASs over Fp\mathbb{F}_p can be found in Appendix G. Along the way, for use in R2-D4 and similar orientations, we give explicit descriptions of the endomorphism rings of certain well-known supersingular elliptic curves in Appendix B, thereby fixing and completing corresponding statements in the existing literature. Away from key exchange, we recall that Appendix I contains results on the 2-dimensional counterpart of OneEnd. In Appendix K we slightly extend a result due to Goren [42], which describes modulo which unramified primes pp a given CM-oriented PPAS in characteristic zero has a superspecial reduction; concretely, unlike Goren, we also cover the C2×C2C_2 \times C_2 case, i.e., the case of CM by a biquadratic field.

Acknowledgements. The authors would like to thank Eyal Goren, the reviewers of a prior version of this paper, and the authors of [28, 50] for helpful input and feedback. For the statement and proof of Lemma 5.14 we strongly benefited from interactions with Claude Opus 5.5 (Anthropic PBC). All authors are supported by the European Union under the Horizon Europe programme with grant agreement No. 101309092 (PQC-SCAN), as well as by the CELSA alliance through the MaCRo project. Castryck and Lorenzon are also supported by the European Research Council (ERC) under the Horizon 2020 programme, grant agreement No. 101020788 (ISOCRYPT), by the Research Council KU Leuven grant C14/24/099, as well as by Cybersecurity Research Flanders with reference number VR20192203. Kutas is partly supported by EPSRC through grant number EP/V011324/1, and together with Dina, he is also supported by the Hungarian Ministry of Innovation and Technology NRDI Office within the framework of the Quantum Information National Laboratory Program. Kutas is also supported by NRDI grant “EXCELLENCE-151343”. Lorenzon is funded by Research Foundation – Flanders (FWO) under a PhD Fellowship fundamental research (project number 1139225N).

Background

We review the notions of principally polarized abelian varieties (PPAVs) equipped with a CM orientation and the Shimura class group action. More elementary background can be found in Appendix § 8, to which we have deferred all proofs.

CM orientations

Henceforth KK denotes a CM field of degree 2g2g, i.e., a totally imaginary quadratic extension of a totally real degree-gg number field K0⊃QK_0 \supset\mathbb{Q}. Observe that KK comes equipped with an automorphism x↦xˉx \mapsto\bar{x} with fixed field K0K_0 that we can think of as complex conjugation. We write K0+K_0^+ for the set of totally positive elements in K0K_0, i.e., whose minimal polynomial over Q\mathbb{Q} has positive real roots only.

Definition 2.1. A KK-orientation on a gg-dimensional PPAV (A,λ)(A,\lambda) is a homomorphism ι:K↪End⁡0(A)\iota: K \hookrightarrow\operatorname{End}^{0}(A) such that ι(αˉ)=ι(α)†\iota(\bar{\alpha})=\iota(\alpha)^{\dagger} for all α∈K\alpha\in K, where †\dagger denotes the Rosati involution. We say that ι\iota is moreover a primitive RR-orientation, for some order R⊂KR \subset K, if ι−1End⁡(A)=R\iota^{-1}\operatorname{End}(A)=R.

Since End⁡(A)\operatorname{End}(A) is closed under the Rosati involution, primitive RR-orientations can only occur for orders that are self-conjugate, i.e., Rˉ=R\bar{R}=R. 1 We call such an order a CM order. A sufficient condition is that RR has maximal real multiplication, i.e., R∩K0=ZK0R \cap K_0=\mathbb{Z}_{K_0}. We remark that we use the terminology of “orientations” for the sake of analogy with cryptographic customs in the case g=1g=1, but we note that many mathematical texts just talk about PPAVs “with CM”.

Consider two KK-oriented PPAVs (A1,λ1,ι1),(A2,λ2,ι2)(A_1,\lambda_1,\iota_1),(A_2,\lambda_2,\iota_2). Let μ∈K0+∩ι1−1End⁡(A1)\mu\in K_0^+ \cap\iota_1^{-1}\operatorname{End}(A_1), i.e., μ∈K\mu\in K is such that ι1(μ)\iota_1(\mu) is a totally positive endomorphism on A1A_1 (e.g., we can choose μ=N∈Z>0\mu=N \in\mathbb{Z}_{>0}). Consider an ι1(μ)\iota_1(\mu)-isogeny φ:(A1,λ1)→(A2,λ2)\varphi:(A_1,\lambda_1)\to(A_2,\lambda_2). Then we say that this polarized isogeny is an oriented isogeny if for all α∈ι1−1End⁡(A1)∩ι2−1End⁡(A2)\alpha\in\iota_1^{-1}\operatorname{End}(A_1)\cap\iota_2^{-1}\operatorname{End}(A_2) we have φ∘ι1(α)=ι2(α)∘φ\varphi\circ\iota_1(\alpha)=\iota_2(\alpha)\circ\varphi. We mark this by writing φ:(A1,λ1,ι1)→(A2,λ2,ι2)\varphi:(A_1,\lambda_1,\iota_1)\to(A_2,\lambda_2,\iota_2). If both orientations are primitive for the same order R⊂KR\subset K then we say that it concerns a horizontal oriented isogeny. An oriented isomorphism is an oriented 1-isogeny.

Definition 2.2. Let KK be a CM field of degree 2g2g. We write Mk(K)\mathcal{M}_k(K) for the set of KK-oriented PPAVs (A,λ,ι)(A,\lambda,\iota) over kk, up to oriented isomorphism. For a CM order R⊂KR\subset K, we write Mk(R)\mathcal{M}_k(R) for the subset of primitively RR-oriented PPAVs.

Remark 2.3. If g=1g=1 then we suppress the canonical principal polarization from the notation and denote the elements of Mk(K)\mathcal{M}_k(K) as (E,ι)(E,\iota). The set Mk(R)\mathcal{M}_k(R) may be empty. E.g., this is the case if g=1g=1, p>0p>0 and p∤[ZK:R]p\nmid[\mathbb{Z}_K:R], see § 6.

The Shimura class group

To any CM order RR in a CM field KK we attach its Shimura class group, denoted C(R)\mathcal{C}(R). The nomenclature in the existing literature is heterogeneous: the Shimura class group also goes under the name polarized class group, while our main reference [65] even just talks about “a Picard group”, denoting it as Pic⁡∗R\operatorname{Pic}_{*} R. Explicitly, consider pairs (a,μ)(\mathfrak{a},\mu) where a\mathfrak{a} is an invertible fractional RR-ideal such that aa‾=μR\mathfrak{a}\overline{\mathfrak{a}}=\mu R, and μ∈K0+\mu\in K_0^+ (i.e., μ\mu is a totally positive element of K0K_0). Endowed with component-wise multiplication, such pairs form a group we denote by IRI_R. Pairs (μR,μμ‾)(\mu R,\mu\overline{\mu}) with μ∈K×\mu\in K^\times form a subgroup we denote by PRP_R. The Shimura class group of RR is the quotient

C(R):=IR/PR.(1)\mathcal{C}(R):=I_R/P_R. \tag*{(1)}

We denote by ∼\sim the equivalence induced by PRP_R on pairs (a,μ)∈IR(\mathfrak{a},\mu)\in I_R. If g=1g=1 then the existence of μ∈K0+=Q>0\mu\in K_0^+=\mathbb{Q}_{>0} such that aa‾=μR\mathfrak{a}\overline{\mathfrak{a}}=\mu R is an automatic condition and it determines μ\mu uniquely (namely, it must be the norm of a\mathfrak{a}). Thus, in this case, it is immediate that C(R)≅Cl⁡(R)\mathcal{C}(R)\cong\operatorname{Cl}(R).

Lemma 2.4. For a given invertible fractional ideal a⊂R\mathfrak{a}\subset R there are at most 2g−12^{g-1} Shimura classes [(a,μ)]∈C(R)[(\mathfrak{a},\mu)]\in\mathcal{C}(R).

Example 2.5. If K0=Q(2)K_0=\mathbb{Q}(\sqrt{2}) then ε1=1+2\varepsilon_1=1+\sqrt{2} is not totally positive, so there is one class only. If K0=Q(3)K_0=\mathbb{Q}(\sqrt{3}) then ε1=2+3\varepsilon_1=2+\sqrt{3} is totally positive, so here there will be two classes, typically, but there are exceptions: e.g., if K=K0(α)K=K_0(\alpha) with α=−ε1\alpha=\sqrt{-\varepsilon_1} then clearly ε1=αα‾\varepsilon_1=\alpha\overline{\alpha} so, here too, there is one class only.

As explained in the proof of Theorem 2.7 below, if a⊂R\mathfrak{a}\subset R then we can act with the Shimura ideal (a,μ)(\mathfrak{a},\mu) on any primitively RR-oriented PPAV (A,λ,ι)(A,\lambda,\iota) by means of an ι(μ)\iota(\mu)-isogeny. Since all existing formulae for isogeny evaluation in higher dimension restrict to NN-isogenies for some positive integer NN, in practice we will restrict to Shimura ideals for which μ=N∈Z>0\mu=N\in\mathbb{Z}_{>0}, even though in Corollary 5.6 we will explain how the KLPT2 algorithm from [13] can be used, in principle, to by-pass this restriction in the case of an oriented superspecial PPAS with “known” endomorphism ring. The Shimura classes of the form [(a,N)][(\mathfrak{a},N)] with a⊂R\mathfrak{a}\subset R and N∈Z>0N\in\mathbb{Z}_{>0} form a subgroup C(R)Z⊂C(R)\mathcal{C}(R)_{\mathbb{Z}}\subset\mathcal{C}(R) whose index is bounded by the following statement, for which we provide a simple proof; this also follows from [7 Lem. 6].

References

  1. [1]N. Alamati, L. De Feo, H. Montgomery, and S. Patranabis. Cryptographic group actions and applications. In Asiacrypt 2020, volume 12492 of Lecture Notes in Computer Science, pages 411–439. Springer, 2020.DOI
  2. [2]B. Allombert, J.-F. Biasse, J. K. Eriksen, P. Kutas, C. Leonardi, A. Page, R. Scheidler, and M. T. Bagi. Faster SCALLOP from non-prime conductor suborders in medium sized quadratic fields. In PKC 2025, volume 16576 of Lecture Notes in Computer Science, pages 333–363. Springer, 2025.DOI
  3. [3]S. Arpin, S. Marsiglia, and C. Springer. Isogeny graphs of abelian varieties and singular ideals in orders. Preprint available at https://arxiv.org/abs/2508.03570.
  4. [4]H. Bass. Torsion free and projective modules. Transactions of the American Mathematical Society, 102(2):319–327, 1962.DOI
  5. [5]A. Basso, G. Borin, R. Rueger, and C. Schaeffer. CORAL: Faster isogeny group action for post-quantum NIKE. In Crypto 2026, volume 16803 of Lecture Notes in Computer Science, pages 506–536. Springer, 2026.DOI
  6. [6]G. Bisson. Computing endomorphism rings of abelian varieties of dimension two. Mathematics of Computation, 84(294):1977–1989, 2015.arxiv.org/abs/1209.1189
  7. [7]G. Bisson and M. Streng. On polarised class groups of orders in quartic CM-fields. Mathematical Research Letters, 24(2):247–270, 2017.
  8. [8]X. Bonnetain, M. Duparc, D. Lazzarini, L. Maino, C. Martindale, C. Petit, S. Schaeffler, A. Schrot­tenloher, and A. Sferlazza. Quantum security analysis of unrestricted isogeny-based group actions. Preprint available at https://eprint.iacr.org/2026/2215.
  9. [9]R. Bröker, D. Gruenewald, and K. Lauter. Explicit CM theory for level 2-structures on abelian surfaces. Algebra & Number Theory, 5(4):495–528, 2011.arxiv.org/abs/0910.1848
  10. [10]E. H. Brooks, D. Jetchev, and B. Wesolowski. Isogeny graphs of ordinary abelian varieties. Research in Number Theory, 3:art. no. 28, 2017.arxiv.org/abs/1609.09793
  11. [11]N. Bruin, E. V. Flynn, and D. Testa. Descent via (3, 3)-isogeny on Jacobians of genus 2 curves. Acta Arith., 165(3):201–223, 2014.DOI
  12. [12]P. Castel. Solving quadratic equations in dimension 5 or more without factoring. In ANTS-X, volume 1 of The Open Book Series, pages 213–233. MSP, 2013.DOI
  13. [13]W. Castryck, T. Decru, P. Kutas, A. Laval, C. Petit, and Y. B. KLPT²: Algebraic pathfinding in dimension two and applications. In Crypto 2025, volume 16000 of Lecture Notes in Computer Science, pages 167–200. Springer, 2025.
  14. [14]W. Castryck, J. K. Eriksen, R. Invernizzi, and F. Vercauteren. The principal ideal problem for endomorphism rings of superspecial abelian varieties. Research in Number Theory. To appear (proceedings of ANTS-XVI).
  15. [15]W. Castryck, M. Houben, F. Vercauteren, and B. Wesolowski. On the decisional Diffie–Hellman problem for class group actions on oriented elliptic curves. Research in Number Theory, 8(4):art. no. 99, 2022. Proceedings of ANTS-XV.arxiv.org/abs/2210.01160
  16. [16]W. Castryck, R. Invernizzi, G. Lorenzon, J. Meers, and F. Vercauteren. Orient Express: Using Frobenius to express oriented isogenies. In Latincrypt 2023, volume 14168 of Lecture Notes in Computer Science, pages 145–173. Springer, 2023.
  17. [17]W. Castryck, T. Lange, C. Martindale, L. Panny, and J. Renes. CSIDH: An efficient post-quantum commutative group action. In Asiacrypt 2018, volume 11274 of Lecture Notes in Computer Science, pages 395–427. Springer, 2018.
  18. [18]W. Castryck, L. Panny, and F. Vercauteren. Rational isogenies from irrational endomorphisms. In Eurocrypt 2020, volume 12106 of Lecture Notes in Computer Science, pages 523–548. Springer, 2020.DOI
  19. [19]W. Castryck, J. S. Kotáková, and F. Vercauteren. Breaking the decisional Diffie–Hellman problem for class group actions using genus theory: Extended version. Journal of Cryptology, 35(4):art. no. 24, 2022.
  20. [20]J. Chávez-Saab, J.-J. Chenu-Droguet, S. Jaques, and F. Rodriguez-Henriquez. The SQALE of CSIDH: sublinear Vélu quantum-resistant isogeny action with low exponents. Journal of Cryptographic Engineering, 12(3):349–368, 2022.
  21. [21]M. Chen, A. Leroux, and L. Panny. SCALLOP-HD: Group action from 2-dimensional isogenies. In PKC 2024, volume 14603 of Lecture Notes in Computer Science, pages 190–216. Springer, 2024.DOI
  22. [22]M. Chenu and B. Smith. Higher-degree supersingular group actions. Mathematical Cryptology, 1(2):85–101, 2022.arxiv.org/abs/2107.08832
  23. [23]A. Childs, D. Jao, and V. Soukharev. Constructing elliptic curve isogenies in quantum subexponential time. Journal of Mathematical Cryptology, 8(1):1–29, 2014.
  24. [24]H. Cohen and H. W. Lenstra. Heuristics on class groups of number fields. In Number Theory Noordwijkerhout 1983, pages 33–62, Berlin, Heidelberg, 1984. Springer.DOI
  25. [25]L. Colò and D. Kohel. Orienting supersingular isogeny graphs. Journal of Mathematical Cryptology, 14:414–437, 2020.DOI
  26. [26]K. Conrad. Galois groups of cubics and quartics (not in characteristic 2). Expository paper, available at https://kconrad.math.uconn.edu/blurbs/galoistheory/cubicquartic.pdf.
  27. [27]M. Corte-Real Santos, H. K. Ritter, and B. Wesolowski. Rapid mixing in superspecial isogeny graphs. Preprint available at https://eprint.iacr.org/2026/2429.
  28. [28]M. Corte-Real Santos, G. Lorenzon, and K. Reijnders. Supersingularity and superspeciality verification of abelian surfaces. Preprint available at https://eprint.iacr.org/2026/2259.
  29. [29]J.-M. Couveignes. Hard homogeneous spaces. Unpublished note available at https://eprint.iacr.org/2006/291.
  30. [30]D. A. Cox. Primes of the Form x²+ny²: Fermat, Class Field Theory, and Complex Multiplication. Pure and Applied Mathematics. Wiley, 2nd edition, 2013.
  31. [31]P. Dartois, J. K. Eriksen, T. B. Foutotsa, A. Herléadan Le Merdy, R. Invernizzi, D. Robert, R. Rueger, F. Vercauteren, and B. Wesolowski. PEGASIS: Practical effective class group action using 4-dimensional isogenies. In Crypto 2025, volume 16000 of Lecture Notes in Computer Science, pages 67–99. Springer, 2025.DOI
  32. [32]P. Dartois, J. K. Eriksen, R. Invernizzi, and F. Vercauteren. qt-Pegasis: Simpler and faster effective class group actions. In Eurocrypt 2026, volume 16544 of Lecture Notes in Computer Science, pages 636–665. Springer, 2026.DOI
  33. [33]P. Dartois, A. Leroux, D. Robert, and B. Wesolowski. SQLsignHD: New dimensions in cryptography. In Eurocrypt 2024, volume 14651 of Lecture Notes in Computer Science, pages 3–32. Springer, 2024.DOI
  34. [34]L. De Feo, C. D. de Saint Guilhem, T. B. Foutotsa, P. Kutas, A. Leroux, C. Petit, J. Silva, and B. Wesolowski. Séta: Supersingular encryption from torsion attacks. In Asiacrypt 2021, volume 13093 of Lecture Notes in Computer Science, pages 249–278. Springer, 2021.DOI
  35. [35]L. De Feo, T. B. Foutotsa, P. Kutas, A. Leroux, S.-P. Merz, L. Panny, and B. Wesolowski. SCALLOP: Scaling the CSI-FiSh. In PKC 2023, volume 13940 of Lecture Notes in Computer Science, pages 345–375. Springer, 2023.DOI
  36. [36]B. A. Dina, S. Ionica, and J. Sijsling. Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication. Mathematics of Computation, 92:349–383, 2023.arxiv.org/abs/2104.04919
  37. [37]Y. A. Drozd, V. V. Kirichenko, and A. V. Roiter. Hereditary and Bass orders. Math. USSR-Izvestiya, 1(6):1357–1375, 1967. Translated from Izv. Akad. Nauk SSSR Ser. Mat. 31 (1967), 1415–1436.DOI
  38. [38]D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry, volume 150 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995.
  39. [39]T. Ekedahl. On supersingular curves and abelian varieties. Mathematica Scandinavica, 60:151–178, 1987.DOI
  40. [40]A. Enge and E. Thomé. Computing class polynomials for abelian surfaces. Experimental Mathematics, 23(2):129–145, 2014.arxiv.org/abs/1305.4330
  41. [41]D. Goldstein and M. Scher. Norms in central simple algebras. Pacific Journal of Mathematics, 292(2):373–388, 2018.arxiv.org/abs/1707.02498
  42. [42]E. Z. Goren. On certain reduction problems concerning abelian surfaces. Manuscripta mathematica, 94(1):33–44, 1997.DOI
  43. [43]E. Z. Goren and K. E. Lauter. Claus invariants for quartic CM fields. Annales de L’Institut Fourier, 57(2):457–480, 2007.DOI
  44. [44]C. Greither. On the two generator problem for the ideals of a one-dimensional ring. Journal of Pure and Applied Algebra, 24(3):265–276, 1982.DOI
  45. [45]A. Herlédan Le Merdy and B. Wesolowski. The supersingular endomorphism ring problem given one endomorphism. IACR Communications in Cryptology, 2(1):art. no. 6, 2025.arxiv.org/abs/2309.11912
  46. [46]M. Houben. Efficient post-quantum commutative group actions from orientations of large discriminant. In Asiacrypt 2025, volume 16248 of Lecture Notes in Computer Science, pages 141–173. Springer, 2025.
  47. [47]M. Houben and L. L. Pham. Computing endomorphisms of superspecial principally polarized abelian surfaces in time and memory p⁴⁄⁵⁺ᵒ⁽¹⁾. Preprint available at https://eprint.iacr.org/2026/2530.
  48. [48]J. G. Huard, B. K. Spearman, and K. S. Williams. Integral bases for quartic fields with quadratic subfields. Journal of Number Theory, 51(1):87–102, 1995.DOI
  49. [49]T. Ibukiyama, T. Katsura, and F. Oort. Supersingular curves of genus two and class numbers. Compositio Mathematica, 57(2):127–152, 1986.
  50. [50]R. Invernizzi, J. K. Eriksen, A. Sferlazza, P. Tasbihgou, and F. Vercauteren. Cryptanalysis of higher-dimensional module actions via twisting and genus theory. Private communication.
  51. [51]S. Ionica and E. Thomé. Isogeny graphs with maximal real multiplication. Journal of Number Theory, 207:385–422, 2020.
  52. [52]G. Ivanyos. Algorithms for algebras over global fields. PhD thesis, Hungarian Academy of Sciences, 1996.
  53. [53]E. Kani. The number of curves of genus two with elliptic differentials. Journal für die reine und angewandte Mathematik, 1997(485):93–122, 1997.DOI
  54. [54]A. Y. Kitaev. Quantum measurements and the Abelian stabilizer problem. Unpublished note available at https://arxiv.org/abs/quant-ph/9511026.
  55. [55]M.-A. Knus, A. Merkurjev, M. Rost, and J.-P. Tignol. The Book of Involutions, volume 44 of American Mathematical Society Colloquium Publications. American Mathematical Society, 1998.DOI
  56. [56]D. Kohel, K. Lauter, C. Petit, and J.-P. Tignol. On the quaternion ℓ-isogeny path problem. LMS Journal of Computation and Mathematics, 17(A):418–432, 2014. Proceedings of ANTS-XI.
  57. [57]P. Koymans and C. Pagano. On the distribution of Cl(K)[ℓ∞] for degree ℓ cyclic fields. Journal of the European Mathematical Society, 24(4):1189–1283, 2022.
  58. [58]G. Kuperberg. A subexponential-time quantum algorithm for the dihedral hidden subgroup problem. SIAM Journal on Computing, 35(1):170–188, 2005.arxiv.org/abs/quant-ph/0302112
  59. [59]G. Kuperberg. Another subexponential-time quantum algorithm for the dihedral hidden subgroup problem. In TQC 2013, volume 22 of Leibniz International Proceedings in Informatics, pages 20–34, 2013.
  60. [60]P. Kutas and M. Montesinos. Efficient computations in central simple algebras using Amitsur cohomology. Journal of Algebra, 665:255–281, 2025.arxiv.org/abs/2307.00261
  61. [61]S. Lang. Complex multiplication, volume 255 of Grundlehren der Mathematischen Wissenschaften. Springer, 1983.
  62. [62]S. Lang. Algebraic Number Theory, volume 110 of Graduate Texts in Mathematics. Springer, 2nd edition, 1994.
  63. [63]K. Lauter and D. Robert. Improved CRT algorithm for class polynomials in genus 2. In ANTS-X, volume 1 of The Open Book Series, pages 437–461. MSP, 2013.DOI
  64. [64]F. Lemmermeyer. Kuroda’s class number formula. Acta Arithmetica, 66(3):245–260, 1994.arxiv.org/abs/2607.27034
  65. [65]H. Lenstra, J. Pila, and C. Pomerance. A hyperelliptic smoothness test. II. Proceedings of the London Mathematical Society, 84(1):105–146, 2002.DOI
  66. [66]J. Love and D. Boneh. Supersingular curves with small noninteger endomorphisms. In ANTS-XIV, volume 4 of The Open Book Series, pages 7–22. MSP, 2020.arxiv.org/abs/1910.03180
  67. [67]S. Marseglia. Cohen–Macaulay type of orders, generators and ideal classes. Journal of Algebra, 658:247–276, 2024.DOI
  68. [68]C. Martindale. Isogeny graphs, modular polynomials, and applications. PhD thesis, Universiteit de Bordeaux and Universiteit Leiden, 2018.DOI
  69. [69]K. McMurdy. Explicit representation of the endomorphism rings of supersingular elliptic curves. Unpublished note available at https://pages.ramapo.edu/~kmcmurdy/research/McMurdy-ssEndoRings.pdf.
  70. [70]J. S. Milne. Abelian varieties. Course notes available at https://www.jmilne.org/math/CourseNotes/av.html.
  71. [71]J. S. Milne. Algebraic number theory. Course notes available at https://www.jmilne.org/math/CourseNotes/ant.html.
  72. [72]J. S. Milne. Complex multiplication. Course notes available at https://www.jmilne.org/math/CourseNotes/cm.html.
  73. [73]M. Montessinos. Equivalent computational problems for superspecial abelian surfaces. Preprint available at https://eprint.iacr.org/2026/120.arxiv.org/abs/2601.18050
  74. [74]J. Neukirch. Algebraic Number Theory, volume 322 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin, Heidelberg, 1999. Translated from the 1992 German original by Norbert Schappacher, with a foreword by G. Harder.
  75. [75]M.-H. Nicole. Superspecial abelian varieties, theta series and the Jacquet-Langlands correspondence. PhD thesis, McGill University, 2005.DOI
  76. [76]H. Onuki. On oriented supersingular elliptic curves. Finite Fields and Their Applications, 69:art. no. 101777, 2021.arxiv.org/abs/2002.09894
  77. [77]A. Page and D. Robert. Introducing Clapoti(s): Evaluating the isogeny class group action in polynomial time. Unpublished note available at https://eprint.iacr.org/2023/1766.
  78. [78]A. Page, D. Robert, and J. Soumier. On the conversion of module representations for higher dimensional supersingular isogenies. In Crypto 2026, volume 16803 of Lecture Notes in Computer Science, pages 415–446. Springer, 2026.DOI
  79. [79]A. Page and B. Wesolowski. The supersingular endomorphism ring and one endomorphism problems are equivalent. In Eurocrypt 2024, volume 14656 of Lecture Notes in Computer Science, pages 388–417. Springer, 2024.arxiv.org/abs/2309.10432
  80. [80]L. Panny, C. Petit, and M. Stopar. KlaPoTi: An asymptotically efficient isogeny group action from 2-dimensional isogenies. IACR Communications in Cryptology, 2(3):art. no. 5, 2025.DOI
  81. [81]M. Peters. Quadratische Formen über Zahlringen. Acta Arithmetica, 24(2):157–164, 1973.DOI
  82. [82]D. Robert. The geometric interpretation of the Tate pairing and its applications. Preprint available at https://eprint.iacr.org/2023/177.
  83. [83]D. Robert. The module action for isogeny based cryptography. Preprint available at https://eprint.iacr.org/2024/1556.
  84. [84]D. Robert. On the efficient representation of isogenies. Survey written for NuTMiC 2024, available at https://eprint.iacr.org/2024/1071.DOI
  85. [85]D. Robert. Some notes on algorithms for abelian varieties. Compilation of notes available at https://eprint.iacr.org/2024/406.
  86. [86]D. Robert. Breaking SIDH in polynomial time. In Eurocrypt 2023, volume 14008 of Lecture Notes in Computer Science, pages 472–503. Springer, 2023.DOI
  87. [87]A. Rostovtsev and A. Stolbunov. Public-key cryptosystem based on isogenies. Unpublished note available at https://eprint.iacr.org/2006/145.
  88. [88]S. P. Sanon. Endomorphism rings of ordinary abelian varieties. PhD thesis, Technische Universität Kaiserslautern, 2022.DOI
  89. [89]G. Shimura. Abelian varieties with complex multiplication and modular functions, volume 46 of Princeton Mathematical Series. Princeton University Press, 1998.
  90. [90]C. L. Siegel. Sums of mᵗʰ powers of algebraic integers. Annals of Mathematics, 46(2):313–339, 1945.DOI
  91. [91]J. H. Silverman. The Arithmetic of Elliptic Curves, volume 106 of Graduate Texts in Mathematics. Springer, 2nd edition, 2009.
  92. [92]B. K. Spearman and K. S. Williams. Unramified quadratic extensions of a quadratic field. The Rocky Mountain Journal of Mathematics, 25(2):783–788, 1995.DOI
  93. [93]M. Streng. Complex multiplication of abelian surfaces. PhD thesis, Leiden University, 2010.
  94. [94]J. Voight. Quaternion algebras, volume 288 of Graduate Texts in Mathematics. Springer, 2021.DOI
  95. [95]B. Wesolowski. The supersingular isogeny problem in time and memory p^{1/3+o(1)}. Preprint available at https://eprint.iacr.org/2026/1486.
  96. [96]B. Wesolowski. Orientations and the supersingular endomorphism ring problem. In Eurocrypt 2022, volume 13277 of Lecture Notes in Computer Science, pages 345–371. Springer, 2022.DOI
  97. [97]B. Wesolowski. The supersingular isogeny path and endomorphism ring problems are equivalent. In FOCS 2022, pages 1100–1111. IEEE Computer Society Press, 2022.arxiv.org/abs/2111.01481
  98. [98]K. S. Williams. Integers of biquadratic fields. Canadian Mathematical Bulletin, 13(4):519–526, 1970.DOI

Paper details

vlnc:W_hvwbwcn8
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY-SA 4.0

Original source

  • Mathematics

Claude Opus 5.5 · View statement →

Looking for related papers…
Contents