9
$\begingroup$

I'm looking for a proof (see my older question here) that the following term is an algebraic integer whenever $\tau_N=\frac{N+\sqrt{-N}}{2}$ is a quadratic irrationality with class number $1$:

$$A_N:=\sqrt{-N}\cdot\frac{E_2(\tau_N)-\frac{3}{\pi\Im(\tau_N)}}{\eta^4(\tau_N)}$$

Here $\eta$ denotes the Dedekind $\eta$-Function and $E_2$ is the Eisenstein series of weight $2$.

I calculated the numerical value of $A_N$ for all discriminants with class number 1. The results are:

  • $A_3 = 0$
  • $A_4 = 0$
  • $A_{7}=3\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{7})^6=729$
  • $A_{8}=4\cdot e^{i\pi/2}\qquad\Longrightarrow\qquad(A_{8})^6=-4096$
  • $A_{11}=8\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{11})^6=262144$
  • $A_{12}=6\cdot4^{1/3}\cdot e^{i\pi/2}\qquad\Longrightarrow\qquad(A_{12})^6=-746496$
  • $A_{16}=12\cdot2^{1/2}\cdot e^{i\pi/2}\qquad\Longrightarrow\qquad(A_{16})^6=-23887872$
  • $A_{19}=24\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{19})^6=191102976$
  • $A_{27}=24\cdot9^{1/3}\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{27})^6=15479341056$
  • $A_{28}=54\cdot e^{i\pi/2}\qquad\Longrightarrow\qquad(A_{28})^6=-24794911296$
  • $A_{43}=144\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{43})^6=8916100448256$
  • $A_{67}=456\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{67})^6=8990607867641856$
  • $A_{163}=8688\cdot e^{i\pi/3}\qquad\Longrightarrow\qquad(A_{163})^6=430049922234001951555584$

Thus we get numerically, that these $A_N$ are algebraic integers, but I don't see how I can prove it. Does anyone know how to do that?

$\endgroup$
3
$\begingroup$

Using a theorem of Masser it is possible to show that the quantities $(A_N)^6$ listed are rational numbers. It seems reasonable to show using his arguments that they must be integral, but this would involve digging deeper into coefficients of modular polynomials.

The reference to look up is the monograph by Masser:

D. Masser, Elliptic Functions and Transcendence, Springer Lecture Notes in Math., vol. 477, 1975.

In Appendix I, he considers the function, $$\Psi(\tau) := \frac{3E_4(\tau)}{2E_6(\tau)} \biggl(E_2(\tau) - \frac{3}{\pi\, \mathrm{Im}(\tau)} \biggr),$$ for $\tau \in \mathbb{H} = \{ \tau \in \mathbb{C} \mid \mathrm{Im}(\tau) > 0 \}$. Now $\Psi$ is invariant under the action of $\mathrm{SL}_2(\mathbb{Z})$, but it is not holomorphic on $\mathbb{H}$. Here $E_4(\tau)$ and $E_6(\tau)$ are normalized Eisenstein series: for $q = e^{2\pi i \tau}$,

$$E_4(\tau) = 1 + 240 \sum_{n=1}^{\infty} \sigma_3(n)q^n,$$ $$E_6(\tau) = 1 - 504 \sum_{n=1}^{\infty} \sigma_5(n)q^n.$$

We also have the discriminant function, $$\Delta(\tau) = \frac{E_4(\tau)^3-E_6(\tau)^2}{1728} = \eta(\tau)^{24} = q \prod_{m=1}^{\infty} (1 - q^m)^{24},$$ and the $j$-invariant, $$j(\tau) = \frac{E_4(\tau)^3}{\Delta(\tau)},$$ which is a modular function. If $\tau \in \mathbb{H}$ is a quadratic irrationality, then $j(\tau)$ is an algebraic integer.

Theorem (Masser, 1975): Let $\tau \in \mathbb{H}$. If $\tau$ is a quadratic irrationailty not equivalent to $i=\sqrt{-1}$, then $\Psi(\tau) \in \mathbb{Q}(j(\tau))$.

Now for $\tau \in \mathbb{H}$, set $$\Phi(\tau) := \left( \frac{E_2(\tau) - \dfrac{3}{\pi\,\mathrm{Im}(\tau)}}{\eta(\tau)^4} \right)^6 = \frac{ \biggl( E_2(\tau) - \dfrac{3}{\pi\,\mathrm{Im}(\tau)} \biggr)^6}{\Delta(\tau)}.$$

Claim: Suppose that $\tau \in \mathbb{H}$ is a quadratic irrationality not equivalent to $i$ or $e^{2\pi i/3}$. Then $\Phi(\tau) \in \mathbb{Q}(j(\tau))$ and so then is algebraic.

To prove this multiply top and bottom by $E_4(\tau)^6 E_6(\tau)^6$ (why we avoid $i$ and $e^{2\pi i /3}$), we have $$\Phi(\tau) = \Psi(\tau)^6 \cdot \frac{2^6 E_6(\tau)^6}{3^6 \Delta(\tau) E_4(\tau)^6}.$$ Now $E_6^6/(\Delta E_4^6)$ is a modular function and so is an element of $\mathbb{Q}(j)$. In fact it is simply $$\frac{E_6(\tau)^6}{\Delta(\tau) E_4(\tau)^6} = \frac{(j(\tau)-1728)^3}{j(\tau)^2}.$$ In any event this, together with Masser's theorem, implies that $\Phi(\tau) \in \mathbb{Q}(j(\tau))$, which proves the claim.

On a final note, Masser shows more explicitly (see equation (106) in his App. I) that when $\tau$ is a quadratic irrationality not equivalent to $i$, $$\Psi(\tau) = 9\gamma_{\tau}\cdot j(\tau) + \frac{3}{2} \cdot \frac{7j(\tau)-6912}{j(\tau) - 1728},$$ where $\gamma_\tau \in \mathbb{Q}$ is an expression in terms of the coefficients of modular polynomials. Since $j(\tau)$ is an algebraic integer, determining more information about $\gamma_{\tau}$ may lead to showing that $D^3 \Phi(\tau)$ is an algebraic integer in general ($D$ the fundamental discriminant for $\tau$).

In the case of class number 1, Masser includes a table of the values of $\Psi(\tau_N)$, so showing that $(A_N)^6$ is an integer in these cases can likely be deduced from his table (I did not have time to verify it).

$\endgroup$
1
  • $\begingroup$ wow, thank you @Matt!!! But my goal is to calculate the values of $\Psi$ from Massers table, so I can't use them for the proof... (sorry I didn't tell earlier) $\endgroup$ – L. Milla Jun 1 '18 at 11:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.