Skip to main content

Questions tagged [j-invariant]

Filter by
Sorted by
Tagged with
1 vote
0 answers
81 views

The value of the Hauptmodul at CM point

Let $J$ be a classical normalized $j$-invariant (that is, J=j-744). Then, it is a classical result that $J(\tau)$ is an algebraic integer if $\tau$ is an imaginary quadratic number (that is, $a\tau^2+...
0 votes
0 answers
100 views

Algebraic degrees of $j\left(\sqrt{-n}\right)$ and $j\left(\frac{1 + \sqrt{-n}}{2}\right)$ and class numbers of $Q(\sqrt{-n})$

Let $n\in\mathbb N$ be squarefree. Denote by $h(n)$ the class number of $Q(\sqrt{-n})$ and by $d_1(n)$ and $d_2(n)$ the degrees of the algebraic numbers $j\left(\sqrt{-n}\right)$ and $j\left(\frac{1 + ...
2 votes
0 answers
125 views

Is it true that all algebraic values of the $j$-invariant have a real Galois conjugate?

This is a follow-up of my recent question on real values of the $j$-invariant. It has had a partial response so far, establishing that any "reality root" $n$ is indeed rational. Now it ...
3 votes
1 answer
212 views

Arguments where the $j$-invariant has non-trivially real values — and a conjectured duality

The $j$-function (a.k.a. $j$-invariant up to a factor $1728$) is most often only considered for arguments where it yields real values. It is well known that for $a,b,n\in\mathbb N$, $j\left(\dfrac {a+...
0 votes
1 answer
301 views

Uniqueness of the $J$ invariant

It seems that The $J$ invariant is the unique modular function of weight zero for $\operatorname{SL}(2,\mathbb{Z})$ which is holomorphic away from a simple pole at the cusp such that $$J(e^{2\pi i/3})...
9 votes
1 answer
651 views

What is the value of $j(2\sqrt{-163})$?

My question is how to calculate the value of $j(2\sqrt{-163})$ and its minimal polynomial, where the $j$ is elliptic modular function (see https://mathworld.wolfram.com/j-Function.html). The class ...
2 votes
0 answers
158 views

strange factorization of a simple combination of j-invariant coefficients

I am just curious: is it accidental that $744^2+744\cdot 3-196884\cdot2=162000$ has only the small primes $2$, $3$ and $5$ in its factorization?
7 votes
1 answer
503 views

Questions on the $j$-invariant

The j-invariant as a modular function is typically defined $$j(\tau) = \frac{E_4(\tau)^3}{\Delta(\tau)}$$ since $E_4$ is a modular form of weight 4 and $\Delta$ has weight 12, it follows that $j$ is a ...
6 votes
0 answers
385 views

Geometric interpretation of j-invariants of supersingular elliptic curves

In the classical theory of Complex Multiplication, one considers elliptic curves with an endomorphism ring larger than the integers. In this theory, it's possible to determine the j-invariants of all ...
2 votes
1 answer
624 views

Twisted modular equation

Let $\gamma_2(\tau)=j(\tau)^{1/3}$. The modular equation shows that the functions $$j\left(\frac{a\tau+b}{c\tau+d}\right),\qquad ad-bc=n$$ are integral over $\mathbf Z[j]$. Under what conditions is ...
3 votes
1 answer
277 views

How do modular functions of level $N>1$ transform under the full modular group?

Let $f$ be a modular function of level $N>1$ and let $\gamma\in SL_2(\mathbf Z)$. Write $$f(\gamma\tau)=j(\gamma,\tau)f(\tau).$$ First question What can we say in general about the factor $j(\...
2 votes
0 answers
126 views

Expressing modular functions of level 9 and 32 as rational functions

Let $$\gamma_2(\tau)=j(\tau)^{1/3},\qquad \mathfrak f_1(\tau)=\frac{\eta(\tau/2)}{\eta(\tau)},$$ where $j$ is the modular invariant and $\eta$ is the Dedekind eta function. Cox in his Primes of the ...
11 votes
2 answers
551 views

Effective bound on the expansion of the $j$-invariant

The $j$-ivariant has the following Fourier expansion $$j(\tau)=\frac 1q +\sum_{n=0}^{\infty}a_nq^n=\frac{1}{q}+744+196884q+21493760q^2+\cdots.$$ Here is $q=e^{2\pi i \tau}$. Is there some simple ...
2 votes
0 answers
301 views

Zagier's algebraicity of singular moduli

Let $\mathcal M_m\subset M(2,\mathbb Z)$ be the set matrices with determinant $n$. The modular group $\Gamma$ acts on $\mathcal M_m$ from the left and we have the following finite set as a set of ...
0 votes
0 answers
200 views

Why the cofficients of the $j$-invariant polynomial are integers and how to compute them?

In the Page 333 of the book “Elliptic curves number theory and cryptogarphy” Lawrence C. Washington. Given $\tau_i\in H$(up-half plane),and $j(\tau_i)$ is the j-invariant of the lattice $\mathbb Z_\...
3 votes
1 answer
444 views

The degree of the cube root of the $j$-invariant

I have a question which is fairly elementary, but first I must provide relevant context. Without it, my question would seem rather arbitrary and scarcely interesting. Note also that my question can be ...
53 votes
1 answer
5k views

There's something strange about $\sqrt{\big(j(\tau)-1728\big)d}$

Given discriminant $d$ and j-function $j(\tau)$, I was looking at, $$F(\tau) = \sqrt{\big(j(\tau)-1728\big)d}$$ which appears in Ramanujan-type pi formulas. Let $C_d$ be the odd prime factors of the ...
3 votes
1 answer
302 views

Asymptotic Formula of the coefficients of the q-expansion of the J-Invariant

I'm currently writing my master thesis about the j-invariant and his q-expansion. Now i have the result that the growth of the coefficients is asymptotically $$c(n) \sim \frac{e^{4\pi \sqrt{n}}}{\...
1 vote
1 answer
152 views

From an eigenfom with $\mathbf{Q}$-coefficients to $j$-invariants

Given a cuspidal, classical eigenform $f\in S_2(\Gamma_0(N))$ of weight $2$ and with $\mathbf{Q}$-coefficients is there a way of describing the set $J_f$ of $j$-invariants of the elliptic curves lying ...
13 votes
3 answers
3k views

$j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...
35 votes
2 answers
2k views

Difference of j-invariant values and the abc conjecture

I learned of the following example in a recent seminar: if $j(\tau)$ denotes the usual $j$-invariant, and $\alpha = (-1+i\sqrt{163})/2$, then \begin{align*} \frac{j(i)}{1728} &= 1 \\ \frac{-j(\...