No Arabic abstract
It is well known that for any prime $pequiv 3$ (mod $4$), the class numbers of the quadratic fields $mathbb{Q}(sqrt{p})$ and $mathbb{Q}(sqrt{-p})$, $h(p)$ and $h(-p)$ respectively, are odd. It is natural to ask whether there is a formula for $h(p)/h(-p)$ modulo powers of $2$. We show the formula $h(p) equiv h(-p) m(p)$ (mod $16$), where $m(p)$ is an integer defined using the negative continued fraction expansion of $sqrt{p}$. Our result solves a conjecture of Richard Guy.
The Mordell-Weil groups $E(mathbb{Q})$ of elliptic curves influence the structures of their quadratic twists $E_{-D}(mathbb{Q})$ and the ideal class groups $mathrm{CL}(-D)$ of imaginary quadratic fields. For appropriate $(u,v) in mathbb{Z}^2$, we define a family of homomorphisms $Phi_{u,v}: E(mathbb{Q}) rightarrow mathrm{CL}(-D)$ for particular negative fundamental discriminants $-D:=-D_E(u,v)$, which we use to simultaneously address questions related to lower bounds for class numbers, the structures of class groups, and ranks of quadratic twists. Specifically, given an elliptic curve $E$ of rank $r$, let $Psi_E$ be the set of suitable fundamental discriminants $-D<0$ satisfying the following three conditions: the quadratic twist $E_{-D}$ has rank at least 1; $E_{text{tor}}(mathbb{Q})$ is a subgroup of $mathrm{CL}(-D)$; and $h(-D)$ satisfies an effective lower bound which grows asymptotically like $c(E) log (D)^{frac{r}{2}}$ as $D to infty$. Then for any $varepsilon > 0$, we show that as $X to infty$, we have $$#, left{-X < -D < 0: -D in Psi_E right } , gg_{varepsilon} X^{frac{1}{2}-varepsilon}.$$ In particular, if $ell in {3,5,7}$ and $ell mid |E_{mathrm{tor}}(mathbb{Q})|$, then the number of such discriminants $-D$ for which $ell mid h(-D)$ is $gg_{varepsilon} X^{frac{1}{2}-varepsilon}.$ Moreover, assuming the Parity Conjecture, our results hold with the additional condition that the quadratic twist $E_{-D}$ has rank at least 2.
Using predictions in mirror symmetry, Cu{a}ldu{a}raru, He, and Huang recently formulated a Moonshine Conjecture at Landau-Ginzburg points for Kleins modular $j$-function at $j=0$ and $j=1728.$ The conjecture asserts that the $j$-function, when specialized at specific flat coordinates on the moduli spaces of versal deformations of the corresponding CM elliptic curves, yields simple rational functions. We prove this conjecture, and show that these rational functions arise from classical $ _2F_1$-hypergeometric inversion formulae for the $j$-function.
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$. In this paper, we prove this conjecture for large $n$.
Let $X_0^{star}(k,n,s)$ denote the sum of all multiple zeta-star values of weight $k$, depth $n$ and height $s$. Kaneko and Ohno conjecture that for any positive integers $m,n,s$ with $m,ngeqslant s$, the difference $(-1)^mX_0^{star}(m+n+1,n+1,s)-(-1)^nX_0^{star}(m+n+1,m+1,s)$ can be expressed as a polynomial of zeta values with rational coefficients. We give a proof of this conjecture in this paper.
We prove that if the set of unordered pairs of real numbers is colored by finitely many colors, there is a set of reals homeomorphic to the rationals whose pairs have at most two colors. Our proof uses large cardinals and it verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals.