Reinier Bröker
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Reinier Bröker has a total of 6 co-authors. Here are the top co-authors by number of shared publications:
- Kristin Lauter
Microsoft Research
8 shared publications - Andrew V. Sutherland
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, USA
4 shared publications - Everett W. Howe
Unaffiliated Mathematician, San Diego, USA
2 shared publications - Peter Stevenhagen
Mathematisch Instituut, Universiteit Leiden
2 shared publications - David Gruenewald
University of Sydney
1 shared publication - Marco Streng
Universiteit Leiden, Postbus 9512, 2300 RA Leiden, The Netherlands
1 shared publication
Latest Publications
- 1 February 2015
- Published by Wiley in LMS Journal of Computation and Mathematics
- Vol. 18 (1) , 170-197
Genus-2 curves and Jacobians with a given number of points
We study the problem of efficiently constructing a curve $C$ of genus $2$ over a finite field $\mathbb{F}$ for which either the curve $C$ itself or its Jacobian has a prescribed number $N$ of $\mathbb{F}$ -rational points.In the case of the Jacobian, we show that any ‘CM-construction’ to produce the required genus- $2$ curves necessarily takes time exponential in the size of its input.On the other hand, we provide an algorithm for producing a genus- $2$ curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus- $2$ curve having exactly $10^{2014}+9703$ (prime) points, and two genus- $2$ curves each having exactly $10^{2013}$ points.In an appendix we provide a complete parametrization, over an arbitrary base field $k$ of characteristic neither two nor three, of the family of genus- $2$ curves over $k$ that have $k$ -rational degree- $3$ maps to elliptic curves, including formulas for the genus- $2$ curves, the associated elliptic curves, and the degree- $3$ maps.Supplementary materials are available with this article.- 1 February 2015
- Published by Wiley in LMS Journal of Computation and Mathematics
- Vol. 18 (1) , 170-197
Genus-2 curves and Jacobians with a given number of points
We study the problem of efficiently constructing a curve $C$ of genus $2$ over a finite field $\mathbb{F}$ for which either the curve $C$ itself or its Jacobian has a prescribed number $N$ of $\mathbb{F}$ -rational points.In the case of the Jacobian, we show that any ‘CM-construction’ to produce the required genus- $2$ curves necessarily takes time exponential in the size of its input.On the other hand, we provide an algorithm for producing a genus- $2$ curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus- $2$ curve having exactly $10^{2014}+9703$ (prime) points, and two genus- $2$ curves each having exactly $10^{2013}$ points.In an appendix we provide a complete parametrization, over an arbitrary base field $k$ of characteristic neither two nor three, of the family of genus- $2$ curves over $k$ that have $k$ -rational degree- $3$ maps to elliptic curves, including formulas for the genus- $2$ curves, the associated elliptic curves, and the degree- $3$ maps.Supplementary materials are available with this article.- Open Access
Genus-2 curves and Jacobians with a given number of points
We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorithm for producing a genus-2 curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus-2 curve having exactly 10^2014 + 9703 (prime) points, and two genus-2 curves each having exactly 10^2013 points. In an appendix we provide a complete parametrization, over an arbitrary base field k of characteristic neither 2 nor 3, of the family of genus-2 curves over k that have k-rational degree-3 maps to elliptic curves, including formulas for the genus-2 curves, the associated elliptic curves, and the degree-3 maps.
Open AccessGenus-2 curves and Jacobians with a given number of points
We study the problem of efficiently constructing a curve C of genus 2 over a finite field F for which either the curve C itself or its Jacobian has a prescribed number N of F-rational points. In the case of the Jacobian, we show that any `CM-construction' to produce the required genus-2 curves necessarily takes time exponential in the size of its input. On the other hand, we provide an algorithm for producing a genus-2 curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus-2 curve having exactly 10^2014 + 9703 (prime) points, and two genus-2 curves each having exactly 10^2013 points. In an appendix we provide a complete parametrization, over an arbitrary base field k of characteristic neither 2 nor 3, of the family of genus-2 curves over k that have k-rational degree-3 maps to elliptic curves, including formulas for the genus-2 curves, the associated elliptic curves, and the degree-3 maps.
- 27 February 2014
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 83 (290) , 2977-2999
Evaluating Igusa functions
The moduli space of principally polarized abelian surfaces is parametrized by three Igusa functions. In this article we investigate a new way to evaluate these functions by using the Siegel Eisenstein series. We explain how to compute the Fourier coefficients of certain Siegel modular forms using classical modular forms of half-integral weight. One of the results in this paper is an explicit algorithm to evaluate the Igusa functions to a prescribed precision.
- 27 February 2014
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 83 (290) , 2977-2999
Evaluating Igusa functions
The moduli space of principally polarized abelian surfaces is parametrized by three Igusa functions. In this article we investigate a new way to evaluate these functions by using the Siegel Eisenstein series. We explain how to compute the Fourier coefficients of certain Siegel modular forms using classical modular forms of half-integral weight. One of the results in this paper is an explicit algorithm to evaluate the Igusa functions to a prescribed precision.
- 15 November 2013
- Published by Elsevier in Journal of Algebra
- Vol. 394, 374-396
Abelian surfaces admitting an (l,l)-endomorphism
- 15 November 2013
- Published by Elsevier in Journal of Algebra
- Vol. 394, 374-396
Abelian surfaces admitting an (l,l)-endomorphism
- Open Access
Modular polynomials via isogeny volcanoes
We present a new algorithm to compute the classical modular polynomial Phi_n in the rings Z[X,Y] and (Z/mZ)[X,Y], for a prime n and any positive integer m. Our approach uses the graph of n-isogenies to efficiently compute Phi_n mod p for many primes p of a suitable form, and then applies the Chinese Remainder Theorem (CRT). Under the Generalized Riemann Hypothesis (GRH), we achieve an expected running time of O(n^3 (log n)^3 log log n), and compute Phi_n mod m using O(n^2 (log n)^2 + n^2 log m) space. We have used the new algorithm to compute Phi_n with n over 5000, and Phi_n mod m with n over 20000. We also consider several modular functions g for which Phi_n^g is smaller than Phi_n, allowing us to handle n over 60000.
Open AccessModular polynomials via isogeny volcanoes
We present a new algorithm to compute the classical modular polynomial Phi_n in the rings Z[X,Y] and (Z/mZ)[X,Y], for a prime n and any positive integer m. Our approach uses the graph of n-isogenies to efficiently compute Phi_n mod p for many primes p of a suitable form, and then applies the Chinese Remainder Theorem (CRT). Under the Generalized Riemann Hypothesis (GRH), we achieve an expected running time of O(n^3 (log n)^3 log log n), and compute Phi_n mod m using O(n^2 (log n)^2 + n^2 log m) space. We have used the new algorithm to compute Phi_n with n over 5000, and Phi_n mod m with n over 20000. We also consider several modular functions g for which Phi_n^g is smaller than Phi_n, allowing us to handle n over 60000.
- Open Access
Explicit CM-theory for level 2-structures on abelian surfaces
For a complex abelian variety $A$ with endomorphism ring isomorphic to the maximal order in a quartic CM-field $K$, the Igusa invariants $j_1(A), j_2(A),j_3(A)$ generate an abelian extension of the reflex field of $K$. In this paper we give an explicit description of the Galois action of the class group of this reflex field on $j_1(A),j_2(A),j_3(A)$. We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynomials. Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby implying that the `isogeny volcano' algorithm to compute endomorphism rings of ordinary elliptic curves over finite fields does not have a straightforward generalization to computing endomorphism rings of abelian surfaces over finite fields.Open AccessExplicit CM-theory for level 2-structures on abelian surfaces
For a complex abelian variety $A$ with endomorphism ring isomorphic to the maximal order in a quartic CM-field $K$, the Igusa invariants $j_1(A), j_2(A),j_3(A)$ generate an abelian extension of the reflex field of $K$. In this paper we give an explicit description of the Galois action of the class group of this reflex field on $j_1(A),j_2(A),j_3(A)$. We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynomials. Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby implying that the `isogeny volcano' algorithm to compute endomorphism rings of ordinary elliptic curves over finite fields does not have a straightforward generalization to computing endomorphism rings of abelian surfaces over finite fields. - Top Cited PapersOpen Access
- 14 July 2011
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 81 (278) , 1201-1231
Modular polynomials via isogeny volcanoes
We present a new algorithm to compute the classical modular polynomial Φ l \Phi _l in the rings Z [ X , Y ] \mathbf {Z}[X,Y] and ( Z / m Z ) [ X , Y ] (\mathbf {Z}/m\mathbf {Z})[X,Y] , for a prime l l and any positive integer m m . Our approach uses the graph of l l -isogenies to efficiently compute Φ l mod p \Phi _l\bmod p for many primes p p of a suitable form, and then applies the Chinese Remainder Theorem (CRT). Under the Generalized Riemann Hypothesis (GRH), we achieve an expected running time of O ( l 3 ( log l ) 3 log log l ) O(l^3 (\log l)^3\log \log l) , and compute Φ l mod m \Phi _l\bmod m using O ( l 2 ( log l ) 2 + l 2 log m ) O(l^2(\log l)^2+ l^2\log m) space. We have used the new algorithm to compute Φ l \Phi _l with l l over 5000, and Φ l mod m \Phi _l\bmod m with l l over 20000. We also consider several modular functions g g for which Φ l g \Phi _l^g is smaller than Φ l \Phi _l , allowing us to handle l l over 60000.
- 14 July 2011
- Published by American Mathematical Society (AMS) in Mathematics of Computation
- Vol. 81 (278) , 1201-1231
Top Cited PapersOpen AccessModular polynomials via isogeny volcanoes
We present a new algorithm to compute the classical modular polynomial Φ l \Phi _l in the rings Z [ X , Y ] \mathbf {Z}[X,Y] and ( Z / m Z ) [ X , Y ] (\mathbf {Z}/m\mathbf {Z})[X,Y] , for a prime l l and any positive integer m m . Our approach uses the graph of l l -isogenies to efficiently compute Φ l mod p \Phi _l\bmod p for many primes p p of a suitable form, and then applies the Chinese Remainder Theorem (CRT). Under the Generalized Riemann Hypothesis (GRH), we achieve an expected running time of O ( l 3 ( log l ) 3 log log l ) O(l^3 (\log l)^3\log \log l) , and compute Φ l mod m \Phi _l\bmod m using O ( l 2 ( log l ) 2 + l 2 log m ) O(l^2(\log l)^2+ l^2\log m) space. We have used the new algorithm to compute Φ l \Phi _l with l l over 5000, and Φ l mod m \Phi _l\bmod m with l l over 20000. We also consider several modular functions g g for which Φ l g \Phi _l^g is smaller than Φ l \Phi _l , allowing us to handle l l over 60000.
- 1 April 2011
- Published by Wiley in LMS Journal of Computation and Mathematics
- Vol. 14, 108-126
p-adic class invariants
We develop a newp-adic algorithm to compute the minimal polynomial of a class invariant. Our approach works for virtually any modular function yielding class invariants. The main algorithmic tool is modular polynomials, a concept which we generalize to functions of higher level.
- 1 April 2011
- Published by Wiley in LMS Journal of Computation and Mathematics
- Vol. 14, 108-126
p-adic class invariants
We develop a newp-adic algorithm to compute the minimal polynomial of a class invariant. Our approach works for virtually any modular function yielding class invariants. The main algorithmic tool is modular polynomials, a concept which we generalize to functions of higher level.
- Open Access
Evaluating Igusa functions
The moduli space of principally polarized abelian surfaces is parametrized by three Igusa functions. In this article we investigate a new way to evaluate these functions by using Siegel Eisenstein series. We explain how to compute the Fourier coefficients of certain Siegel modular forms using classical modular forms of half-integral weight. One of the results in this paper is an explicit algorithm to evaluate the Igusa functions to a prescribed precision.
Open AccessEvaluating Igusa functions
The moduli space of principally polarized abelian surfaces is parametrized by three Igusa functions. In this article we investigate a new way to evaluate these functions by using Siegel Eisenstein series. We explain how to compute the Fourier coefficients of certain Siegel modular forms using classical modular forms of half-integral weight. One of the results in this paper is an explicit algorithm to evaluate the Igusa functions to a prescribed precision.
- 22 April 2010
- Published by Springer Nature in The Ramanujan Journal
- Vol. 22 (3) , 293-313
An explicit height bound for the classical modular polynomial
- 22 April 2010
- Published by Springer Nature in The Ramanujan Journal
- Vol. 22 (3) , 293-313
An explicit height bound for the classical modular polynomial