Given the *j-function*,

$$j(\tau)=\frac{1}{q}+744+196884q+21493760q^2+\dots$$

it is well-known that for $\tau=\tfrac{1+\sqrt{-d}}{2}$, positive integer $d$, then $j(\tau)$ is an algebraic integer of degree = *class number* $h(-d)$. Thus,

$$j(\tfrac{1+\sqrt{-163}}{2}) = -12^3(231^2-1)^3$$

$$j(\tfrac{1+\sqrt{-427}}{2}) = -12^3\big((7215+924\sqrt{61})^2-1\big)^3$$

where the squares are due to a certain Eisenstein series. However, ** not** all

*d*yield a cube.

* Conjecture*: Is it true that given

*fundamental discriminant*$d = 3m$, $m \neq$ square, $h(-d) = 2^n$, then $j(\tau) = (U_m)^k\,x^3$ for some integer

*k*, where $U_m$ is a

*fundamental unit*, and $x$ is an algebraic integer of degree $h(-d)$?

For example, given $d = 51, 483, 651$ which have $h(-d) = 2,4,8$, respectively, and fundamental units,

$$U_{17} = 4+\sqrt{17}$$

$$U_{161} = 11775 + 928\sqrt{161}$$

$$U_{217} = 3844063+260952\sqrt{217}$$

then,

$$j(\tfrac{1+\sqrt{-51}}{2}) = -48^3 (U_{17})^2 (5+\sqrt{17})^3$$

$$j(\tfrac{1+\sqrt{-483}}{2}) = -120^3 (U_{161}) {x_1}^3$$

$$j(\tfrac{1+\sqrt{-651}}{2}) = -96^3 (U_{217})^2 {x_2}^3$$

where $x_1,x_2$ are algebraic integers (rather tedious to write down) of degree 4,8, respectively.

Is the conjecture true?

P.S. I tested it with $h(-d) = 6$ and it does not work, so I think it is only for $h(-d) = 2^n$.