Class number problem for real quadratic fields
There are infinitely many real quadratic fields ℚ(√d) with class number one,
where d > 1 is a squarefree integer.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.There are infinitely many real quadratic fields ℚ(√d) with class number one,
where d > 1 is a squarefree integer.
Now form a sequence beginning with any positive integer, where each subsequent term is obtained by applying the operation defined above to the previous term. The Collatz conjecture states that for any positive integer , there exists a natural number such that the -th term of the sequence is 1.
Tunnell's theorem (sufficient condition assuming BSD) for odd squarefree congruent numbers.
Tunnell's theorem (sufficient condition assuming BSD) for even squarefree congruent numbers.
Dickson's conjecture* If a finite set of linear integer forms satisfies Schinzel condition, there exist infinitely many natural numbers such that are primes for all .
Polignac's conjecture* For any integer there are infinitely many primes such that is prime.
The infinitude of Sophie Germain primes* There are infinitely many primes such that is prime.
The infinitude of cousin primes* There are infinitely many primes such that is prime.
The infinitude of sexy primes* There are infinitely many primes such that is prime.
The Elliott–Halberstam conjecture: for every and there exists a constant such that for all .
Conjecture by Goldfeld and Katz–Sarnak: if elliptic curves over ℚ are ordered by their heights, then 50% of the curves have rank 0 and 50% have rank 1. See p. 28 of https://people.maths.bris.ac.uk/~matyd/BSD2011/bsd2011-Bhargava.pdf.
From [PPVW2016], Section 3.1: "from the mid-1960s to the present, it seems that most experts conjectured unboundedness."
From [PPVW2016], Section 8.2: "Our heuristic predicts (a) All but finitely many E ∈ ℰ satisfy rk E(ℚ) ≤ 21". In other words, there are only finitely many elliptic curves over ℚ (up to isomorphism) with rank greater than 21. Notice that this contradicts the previous conjecture.
[PPVW2016] 8.2(b): for 1 ≤ r ≤ 20, the number of elliptic curves over ℚ with rank r and
naïve height at most H is asymptotically H ^ ((21 - r) / 24 + o(1)).
Note: ℰ_H in 8.2(b) should be ℰ_{≤H}, see the statement of Theorem 7.3.3.
When r = 1, the exponent is 20 / 24 = 5 / 6, which agrees with the exponent in
card_heightLE_div_pow_five_div_six_tensto and is consistent with
half_rank_zero_and_half_rank_one.
[PPVW2016] 8.2(c): the number of elliptic curves over ℚ with rank ≥ 21 and naïve height
at most H is asymptotically at most H ^ o(1).
The rank of the Elkies-Klagsbrun curve is exactly 29.
The rank of the Elkies curve is exactly 28.
It is not known whether there is an inifinite number of prime Euclid numbers.
It is not known whether every Euclid number is a square-free number.
Is there a perfect Euler brick?