Skip to main content
Dmitry Vaintrob's user avatar
Dmitry Vaintrob's user avatar
Dmitry Vaintrob's user avatar
Dmitry Vaintrob
  • Member for 14 years, 5 months
  • Last seen more than 1 year ago
  • Cambridge, MA
asked
Loading…
awarded
revised
Loading…
Loading…
awarded
Loading…
Loading…
comment
Rational Isogenies of Prime Degree
Sorry not to have got back to you sooner. Hopefully our paper will be up on arXiv soon, but so far I can give you the bounds. Conditionally (on the GRH) they're as follows: Suppose K is a field not containing the Hilbert class field of an imaginary quadratic field. Set S_K the set of primes $\ell$ such that there exists an $\ell$-isogeny. Then the product of all primes in S_K is bounded by something on the order of $\exp((12n)^n(R+h^2\log^2 \Delta)+n^2 h^2 \log^2\Delta)$ where $n$, $\Delta$, $h$, $R$ are the degree, discriminant, class number and regulator of $K$.
awarded
revised
Rational Isogenies of Prime Degree
Shortened the answer, and (hopefully) made it clearer that this is not yet a finished result.; added 2 characters in body
Loading…
awarded
awarded
revised
Rational Isogenies of Prime Degree
correction: number of quadratic imaginary fields with class number 1 is known to be finite (not a hypothesis.)
Loading…
awarded
answered
Loading…
comment
Bounding archimedean lengths of fundamental units
Correction to the previous comment: yes, I mean precisely the Mahler measure M (not the Weil height H and not its exp - the paper I looked up had renormalized valuations.)
comment
Bounding archimedean lengths of fundamental units
Yes, I mean basically what Dror said, namely $min_U max_{u_i\in U}H(u_i)$ (or exp of that), where $U$ ranges over fundamental bases and $H=M^{1/n}$ is the Weil height (with $n=deg(K)$). A bound close to $e^R$ would be nice -- the bound I know is on the order of $e^{n^n R}$.
awarded
Loading…