On <i>p</i>-adic valuations of <i>L</i>(1) of elliptic curves with CM by √-3 (Q4454352)

Let \(D\) be a squarefree nonunit in the ring of Eisenstein integers \(\mathbb Z[\rho]\), where \(\rho\) is a primitive cube root of unity. Then the elliptic curve \(E_{D,\lambda}: y^2 = x^3 - 2^4 3^3 D^\lambda\) has complex multiplication by \(\mathbb Z[\rho]\), and we can attach a grössencharacter \(\psi_{D,\lambda}\) to \(E_{D,\lambda}\). Let \(L(\overline{\psi}_D,s)\) denote the Hecke \(L\)-function associated to the conjugate of \(\psi_{D,\lambda}\). Finally, let \(\omega\) denote the real period of \(y^2 = 4x^3 - 1\). Then it is known [\textit{N. M. Stephens}, J. Reine Angew. Math. 231, 121--162 (1968; Zbl 0221.10023)] that \(L(\overline{\psi}_{D,\lambda},1)/\omega\) is a rational number. In [Manuscr. Math. 108, 385--397 (2002; Zbl 1020.11039)], \textit{X. Zhang} and the author proved that if \(D\) is a squarefree integer in \(\mathbb Z[\rho]\) with \(n\) prime factors, then \(L(\overline{\psi}_{D,2},1)/\omega\) is divisible by \(\sqrt{-3}^{n-2}\). In this article, he proves similar results for the divisibility of this number by \(3\) for \(\lambda = 2, 4\), and the divisibility by \(2\) for \(\lambda = 3\). Analogous results for the curve \(y^2 = x^3 - D^2 x\) with complex multiplication by \(\mathbb Z[i]\) have been obtained by \textit{M. J. Razar} [Am. J. Math. 96, 104--126 (1974; Zbl 0296.14015); ibid. 127--144 (1974; Zbl 0296.14016)] and \textit{C. Zhao} [Math. Proc. Camb. Philos. Soc. 131, 385--404 (2001; Zbl 1042.11038)].