J-invariant

j-invariant de Klein al pla complex

En matemàtiques, el j-invariant o funcio j de Felix Klein, considerada com a funció d'una variable complexa τ, és una funció modular de pes zero per a SL(2, Z) definida al semiplà superior dels nombres complexos. És l'única funció que és holomorfa allunyada d'un simple pol a la cúspide de manera que

$j\left(e^{2\pi i/3}\right)=0,j(i)=1728=12^3.$

Les funcions racionals de Plantilla:Mvar són modulars i, de fet, ofereixen totes les funcions modulars. Clàssicament, el j-invariant es va estudiar com a parametrització de les corbes el·líptiques sobre C, però també té connexions sorprenents amb les simetries del grup monstre (aquesta connexió es coneix com a monstre moonshine).

Definició

Plantilla:VT Mentre que el j-invariant es pot definir purament en termes de certes sumes infinites (vegeu g₂, g₃ a continuació), es poden motivar considerant classes d'isomorfisme de corbes el·líptiques. Cada corba el·líptica E sobre C és un tor complex i, per tant, es pot identificar amb una xarxa de rang 2; és a dir, retícula bidimensional de C. Això es fa identificant les vores oposades de cada paral·lelogram a la xarxa. No obstant això, multiplicar la xarxa per un nombre complex, que correspon a girar i escalar la xarxa, conserva la classe d'isomorfisme de la corba el·líptica, de manera que sempre podem disposar perquè la xarxa sigui generada per 1 i alguna Plantilla:Mvar en H (on H és el semiplà superior). Per contra, si definim

$\begin{array}{cc}{g}_2& =60\sum _{(m,n)\ne (0,0)}(m+n\tau {)}^{-4},\\ g_3& =140\sum _{(m,n)\ne (0,0)}(m+n\tau {)}^{-6},\end{array}$

llavors aquesta xarxa es correspon amb la corba el·líptica sobre C definida per Plantilla:Math a través de les funcions el·líptiques de Weierstrass. Aleshores el j-invariant es defineix com

$j(\tau )=1728\frac{g_2^3}{\mathrm{\Delta }}$

on el discriminant modular Plantilla:Math és

$\mathrm{\Delta }=g_2^3-27g_3^2$

Es pot demostrar que Plantilla:Math és una forma modular de pes dotze, i g₂ una de pes quatre, de manera que la seva tercera potència és també de pes dotze. Així, el seu quocient i, per tant, j, és una funció modular de pes zero, en particular una funció holomòrfica invariant Plantilla:Math sota l'acció de Plantilla:Math. Com s'explica a continuació, j és surjectiva, el que significa que dona una bijecció entre classes d'isomorfisme de corbes el·líptiques sobre C i els nombres complexos.

• 
  Part real del j-invariant com a funció del nome q al disc unitat
• 
  Fase del j-invariant com a funció del nome q al disc unitat

El domini fonamental

El domini fonamental del grup modular que actua al semiplà superior

Les dues transformacions Plantilla:Math i Plantilla:Math juntes generen el grup lineal especial Plantilla:Math. Dividint pel seu centre Plantilla:Mvar produeix el grup modular que podem identificar-lo amb el grup lineal projectiu especial Plantilla:Math. Per una opció adequada de transformació pertanyent a aquest grup

$\tau \mapsto \frac{a\tau +b}{c\tau +d},ad-bc=1,$

podem reduir Plantilla:Mvar a un valor que doni el mateix valor per j, i estirat al domini fonamental per j, que consisteix en valors per Plantilla:Mvar que compleixen les condicions

$\begin{array}{cc}|\tau |& \ge 1\\ -\frac{1}{2}& <\Re (\tau )\le \frac{1}{2}\\ -\frac{1}{2}& <\Re (\tau )<0\Rightarrow |\tau |>1\end{array}$

Quan la funció Plantilla:Math es restringeix a aquest domini, encara assumeix tots els valors dels nombres complexos C exactament una vegada. En altres paraules, per a cada c en C, hi ha una única τ al domini fonamental tal que Plantilla:Math. Per tant, j té la propietat de mapejar la regió fonamental a tot el pla complex.

Com una superfície de Riemann, el domini fonamental té el gènere 0, i cada funció modular (nivell 1) és una funció racional en j; i, per contra, totes les funcions racionals de j són una funció modular. En altres paraules, el camp de les funcions modulars és Plantilla:Math.

Teoria de camps de classes i j

El j-invariant té moltes propietats notables:

• Si Plantilla:Mvar és qualsevol punt MC, és a dir, qualsevol element d'un cos quadràtic imaginari amb una part imaginària positiva (de manera que Plantilla:Mvar es definit), llavors Plantilla:Math és un enter algebraic.Plantilla:Sfn Aquests valors especials es diuen mòduls singulars.
• L'extensió del camp Plantilla:Math és abelià, és a dir, té un grup de Galois abelià.
• Fem que Plantilla:Math sigui la xarxa en Plantilla:Math generada per Plantilla:Math És fàcil veure que tots els elements de Plantilla:Math que fixa Plantilla:Math sota multiplicació formen un anell amb unitats, anomenat un ordre. Les altres xarxes amb generadors Plantilla:Math associats de la mateixa manera al mateix ordre defineixen els conjugats algebraics Plantilla:Math de Plantilla:Math sobre Plantilla:Math. Ordenat per inclusió, l'ordre màxim únic en Plantilla:Math és l'anell dels enters algebraics de Plantilla:Math, i valors de Plantilla:Mvar tenir-lo com el seu ordre associat condueix a extensions sense arreglar de Plantilla:Math.

Aquests resultats clàssics són el punt de partida per a la teoria de la multiplicació complexa.

Propietats de transcendència

El 1937, Theodor Schneider va demostrar el resultat anteriorment esmentat, dient que si Plantilla:Mvar és un nombre irracional quadràtic al semiplà superior, llavors Plantilla:Math és un enter algebraic. A més, va demostrar que si Plantilla:Mvar és un nombre algebraic però no quadràtic imaginari, llavors Plantilla:Math és transcendental.

La j-funció té moltes altres propietats transcendents. Kurt Mahler va conjecturar un resultat de transcendència particular que sovint es coneix com a «conjectura de Mahler», encara que va resultar ser un corol·lari dels resultats per part de Yu. V. Nesterenko i Patrice Phillipon a la dècada del 1990. La conjectura de Mahler era que si Plantilla:Mvar es troba al semiplà superior, llavors Plantilla:Math i Plantilla:Math mai seran els dos simultàniament algebraics. Ara es coneixen resultats més consistents, per exemple, si Plantilla:Math és algebraic llavors els següents tres nombres són algebraicament independents i, per tant, almenys dos d'ells són transcendents:

$j(\tau ),\frac{j^{\prime }(\tau )}{\pi },\frac{j^{\prime \prime }(\tau )}{{\pi }^2}$

La q-expansió i moonshine

Diverses propietats notables de Plantilla:Mvar tenen a veure amb la seva [[forma modular|Plantilla:Mvar-expansió]] (expansió de la sèrie de Fourier), escrita com a sèrie de Laurent en termes de Plantilla:Math (el quadrat del nome), que comença:

$j(\tau )=\frac{1}{q}+744+196884q+21493760q^2+864299970q^3+20245856256q^4+\cdots$

S'ha de tindre en compte que Plantilla:Mvar té un pol simple a la cúspide, de manera que la Plantilla:Mvar-expansió no té termes a després de Plantilla:Math.

Tots els coeficients de Fourier són enters, el que resulta en diversos nombres gairebé enters, en particular la constant de Ramanujan:

$e^{\pi \sqrt{163}}\approx 640320^3+744$.

La fórmula asimptòtica del coeficient de Plantilla:Math es dona per

$\frac{e^{4\pi \sqrt{n}}}{\sqrt{2}{n}^{3/4}}$,

com es pot demostrar pel mètode del cercle de Hardy-Littlewood.Plantilla:SfnPlantilla:Sfn

Moonshine

Més notablement, els coeficients de Fourier per als exponents positius de Plantilla:Mvar són les dimensions de la part graduada d'una representació d'àlgebra graduada de dimensió infinita del grup monstre anomenat mòdul moonshine (específicament, el coeficient de Plantilla:Math és la dimensió del grau-Plantilla:Mvar part del mòdul moonshine, el primer exemple és l'àlgebra de Griess, que té dimensió Plantilla:Math, corresponent al terme Plantilla:Math. Aquesta sorprenent observació, realitzada per primera vegada per John McKay, va ser el punt de partida per a la teoria moonshine.

L'estudi de la conjectura moonshine va fer que John Horton Conway i Simon P. Norton examinessin les funcions modulars del gènere zero. Si estan normalitzats per tenir el formulari

$q^{-1}+O(q)$

llavors John G. Thompson va demostrar que només hi ha un nombre finit d'aquestes funcions (d'alguns nivells finits), i Chris J. Cummins més tard va demostrar que hi ha exactament 6486 d'ells, 616 dels quals tenen coeficients integrals.Plantilla:Sfn

Expressions alternatives

Tenim

$j(\tau )=\frac{256(1-x{)}^3}{x^2}$

on Plantilla:Math i Plantilla:Mvar és la funció lambda modular

$\lambda (\tau )=\frac{{\theta }_2^4(0,\tau )}{{\theta }_3^4(0,\tau )}=k^2(\tau )$

una relació de funcions theta de Jacobi ${\theta }_m$, i és el quadrat del mòdul el·líptic $k(\tau )$.Plantilla:Sfn El valor de j no canvia quan es substitueix λ per qualsevol dels sis valors de la raó anharmònica:Plantilla:Sfn

$\left\{\lambda ,\frac{1}{1-\lambda },\frac{\lambda -1}{\lambda },\frac{1}{\lambda },\frac{\lambda }{\lambda -1},1-\lambda \right\}$

Els punts de branca de Plantilla:Mvar estan a Plantilla:Math de manera que Plantilla:Mvar és una funció de Belyi.Plantilla:Sfn

Expressions en termes de funcions theta

Definim el nome $q=e^{\pi i\tau }$ i la funció theta de Jacobi,

$\vartheta (0;\tau )={\vartheta }_{00}(0;\tau )=1+2\sum _{n=1}^{\mathrm{\infty }}{\left(e^{\pi i\tau }\right)}^{n^2}=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{q}^{n^2}$

a partir de la qual es poden derivar les funcions theta auxiliars. Fem,

$\begin{array}{cc}a& ={\theta }_2(0;q)={\vartheta }_{10}(0;\tau )\\ b& ={\theta }_3(0;q)={\vartheta }_{00}(0;\tau )\\ c& ={\theta }_4(0;q)={\vartheta }_{01}(0;\tau )\end{array}$

on ${\theta }_m$ i ${\vartheta }_n$ són notacions alternatives, i $a^4-b^4+c^4=0$. Llavors,

$\begin{array}{cc}{g}_2(\tau )& =\frac{2}{3}{\pi }^4(a^8+b^8+c^8)\\ g_3(\tau )& =\frac{4}{27}{\pi }^6\sqrt{\frac{(a^8+b^8+c^8{)}^3-54(abc{)}^8}{2}}\\ \mathrm{\Delta }& =g_2^3-27g_3^2=(2\pi {)}^{12}{\left(\frac{1}{2}abc\right)}^8=(2\pi {)}^{12}\eta (\tau {)}^{24}\end{array}$

per a invariants de Weierstrass g₂, g₃, i la funció eta de Dedekind η(τ). A continuació, podem expressar j(τ) en una forma que es pot calcular ràpidament.

$j(\tau )=1728\frac{g_2^3}{g_2^3-27g_3^2}=32\frac{(a^8+b^8+c^8{)}^3}{(abc{)}^8}$

Definició algebraicaPlantilla:Sfn

Fins ara hem estat considerant Plantilla:Mvar com a funció d'una variable complexa. Tanmateix, com a invariant per a classes d'isomorfisme de corbes el·líptiques, es pot definir purament algebraica. Fem que

$y^2+a_{1}xy+a_{3}y=x^3+a_2{x}^2+a_{4}x+a_6$

sigui una corba el·líptica plana sobre qualsevol camp. Llavors podem realitzar transformacions successives per obtenir l'equació anterior com a forma estàndard $y^2=4x^3-g_{2}x-g_3$ (aquesta transformació només es pot fer quan la característica del camp no és igual a 2 o 3). Els coeficients resultants són:

$b_2=a_1^2+4a_2,b_4=a_1{a}_3+2a_4$

$b_6=a_3^2+4a_6,b_8=a_1^2{a}_6-a_1{a}_3{a}_4+a_2{a}_3^2+4a_2{a}_6-a_4^2$

$c_4=b_2^2-24b_4,c_6=-b_2^3+36b_2{b}_4-216b_6$,

on $g_2=c_4$ i $g_3=c_6$. També tenim el discriminant

$\mathrm{\Delta }=-b_2^2{b}_8+9b_2{b}_4{b}_6-8b_4^3-27b_6^2$.

El Plantilla:Mvar-invariant per a la corba el·líptica ara es pot definir com

$j=\frac{c_4^3}{\mathrm{\Delta }}$

En el cas que el camp sobre el qual es defineixi la corba té característiques diferents de 2 o 3, això és igual a

$j=1728\frac{c_4^3}{c_4^3-c_6^2}$.

Funció inversa

La funció inversa del Plantilla:Mvar-invariant es pot expressar en termes de la funció hipergeomètrica Plantilla:Math (vegeu també l'article de l'equació de Picard-Fuchs). Es dona explícitament un número Plantilla:Mvar, per resoldre l'equació Plantilla:Math per a Plantilla:Mvar es pot fer en almenys quatre maneres:

Mètode 1: Resoldre l'equació de sisè grau en Plantilla:Mvar,

$j(\tau )=\frac{256(1-\lambda (1-\lambda ){)}^3}{(\lambda (1-\lambda ){)}^2}=\frac{256(1-x{)}^3}{x^2}$

on Plantilla:Math, i Plantilla:Mvar és la funció modular lambda de manera que l'equació de sisè grau es pot resoldre en forma d'equació de tercer grau en Plantilla:Mvar. Llavors,

$\tau =i\frac{{}_2{F}_1(\frac{1}{2},\frac{1}{2},1;1-\lambda )}{{}_2{F}_1(\frac{1}{2},\frac{1}{2},1;\lambda )}$

per a qualsevol dels sis valors de Plantilla:Mvar.

Mètode 2: Resoldre l'equació de quart grau en Plantilla:Mvar,

$j(\tau )=\frac{27(1+8\gamma {)}^3}{\gamma (1-\gamma {)}^3}$

llavors, per a qualsevol de les quatre arrels,

$\tau =\frac{i}{\sqrt{3}}\frac{{}_2{F}_1(\frac{1}{3},\frac{2}{3},1;1-\gamma )}{{}_2{F}_1(\frac{1}{3},\frac{2}{3},1;\gamma )}$

Mètode 3: Resoldre l'equació de tercer grau en Plantilla:Mvar,

$j(\tau )=\frac{64(1+3\beta {)}^3}{\beta (1-\beta {)}^2}$

llavors per a qualsevol de les tres arrels,

$\tau =\frac{i}{\sqrt{2}}\frac{{}_2{F}_1(\frac{1}{4},\frac{3}{4},1;1-\beta )}{{}_2{F}_1(\frac{1}{4},\frac{3}{4},1;\beta )}$

Mètode 4: Resoldre l'equació de segon grau en Plantilla:Mvar,

$j(\tau )=\frac{1728}{4\alpha (1-\alpha )}$

llavors,

$\tau =i\frac{{}_2{F}_1(\frac{1}{6},\frac{5}{6},1;1-\alpha )}{{}_2{F}_1(\frac{1}{6},\frac{5}{6},1;\alpha )}$

Una arrel dona Plantilla:Mvar, i l'altre dona Plantilla:Math, però a partir de Plantilla:Math no hi ha cap diferència si es tria Plantilla:Mvar. Els últims tres mètodes es poden trobar a la teoria de funcions el·líptiques de Ramanujan en bases alternatives.

La inversió s'aplica en càlculs d'alta precisió de períodes de funció el·líptica fins i tot a mesura que les seves relacions esdevinguin il·limitades. Un resultat relacionat és l'expressibilitat mitjançant radicals quadràtics dels valors de Plantilla:Mvar als punts de l'eix imaginari les magnituds de les quals són potències de 2 (permetent així construccions amb regle i compàs). El darrer resultat no és evident, ja que l'equació modular del nivell 2 és cúbica.

Fórmules Pi

Els germans Chudnovsky van trobar el 1987,Plantilla:Sfn

$\frac{1}{\pi }=\frac{12}{640320^{3/2}}\sum _{k=0}^{\mathrm{\infty }}\frac{(6k)!(163\cdot 3344418k+13591409)}{(3k)!(k!{)}^3(-640320{)}^{3k}}$

que utilitza el fet que $j\left(\frac{1+\sqrt{-163}}{2}\right)=-640320^3$. Per fórmules similars, vegeu la sèrie de Ramanujan-Sato.

Valors especials

El j-invariant s'esvaeix a la «cantonada» del domini fonamental a

$J\left(\frac{1+\sqrt{3}i}{2}\right)=0$

Els següents són uns quants valors especials en termes de la notació alternativa $J(\tau )\equiv j(\tau )/1728$ (només els quatre primers són ben coneguts):

$\begin{array}{cc}J(i)& =J\left(\frac{1+i}{2}\right)=1\\ J\left(\sqrt{2}i\right)& ={\left(\frac{5}{3}\right)}^3\\ J(2i)& ={\left(\frac{11}{2}\right)}^3\\ J\left(2\sqrt{2}i\right)& =\frac{125}{216}{(19+13\sqrt{2})}^3\\ J(4i)& =\frac{1}{64}{(724+513\sqrt{2})}^3\\ J\left(\frac{1+2i}{2}\right)& =\frac{1}{64}{(724-513\sqrt{2})}^3\\ J\left(\frac{1+2\sqrt{2}i}{3}\right)& =\frac{125}{216}{(19-13\sqrt{2})}^3\\ J(3i)& =\frac{1}{27}{(2+\sqrt{3})}^2{(21+20\sqrt{3})}^3\\ J\left(2\sqrt{3}i\right)& =\frac{125}{16}{(30+17\sqrt{3})}^3\\ J\left(\frac{1+7\sqrt{3}i}{2}\right)& =-\frac{64000}{7}{(651+142\sqrt{21})}^3\\ J\left(\frac{1+3\sqrt{11}i}{10}\right)& =\frac{64}{27}{(23-4\sqrt{33})}^2{(-77+15\sqrt{33})}^3\\ J\left(\sqrt{21}i\right)& =\frac{1}{32}{(5+3\sqrt{3})}^2{(3+\sqrt{7})}^2{(65+34\sqrt{3}+26\sqrt{7}+15\sqrt{21})}^3\\ J\left(\frac{\sqrt{30}i}{1}\right)& =\frac{1}{16}{(10+7\sqrt{2}+4\sqrt{5}+3\sqrt{10})}^4{(55+30\sqrt{2}+12\sqrt{5}+10\sqrt{10})}^3\\ J\left(\frac{\sqrt{30}i}{2}\right)& =\frac{1}{16}{(10+7\sqrt{2}-4\sqrt{5}-3\sqrt{10})}^4{(55+30\sqrt{2}-12\sqrt{5}-10\sqrt{10})}^3\\ J\left(\frac{\sqrt{30}i}{5}\right)& =\frac{1}{16}{(10-7\sqrt{2}+4\sqrt{5}-3\sqrt{10})}^4{(55-30\sqrt{2}+12\sqrt{5}-10\sqrt{10})}^3\\ J\left(\frac{\sqrt{30}i}{10}\right)& =\frac{1}{16}{(10-7\sqrt{2}-4\sqrt{5}+3\sqrt{10})}^4{(55-30\sqrt{2}-12\sqrt{5}+10\sqrt{10})}^3\\ J\left(\frac{1+\sqrt{31}i}{2}\right)& ={(1-{(1+\frac{\sqrt{19}}{2}(\sqrt{\frac{13-\sqrt{93}}{13+\sqrt{93}}}\cdot \sqrt[3]{\frac{\sqrt{31}+\sqrt{27}}{\sqrt{31}-\sqrt{27}}}+\sqrt{\frac{13+\sqrt{93}}{13-\sqrt{93}}}\cdot \sqrt[3]{\frac{\sqrt{31}-\sqrt{27}}{\sqrt{31}+\sqrt{27}}}))}^2)}^3\\ J(\sqrt{70}i)& ={(1+\frac{9}{4}{(303+220\sqrt{2}+139\sqrt{5}+96\sqrt{10})}^2)}^3\\ J(7i)& ={(1+\frac{9}{4}\sqrt{21+8\sqrt{7}}{(30+11\sqrt{7}+(6+\sqrt{7})\sqrt{21+8\sqrt{7}})}^2)}^3\\ J(8i)& ={(1+\frac{9}{4}\sqrt[4]{2}(1+\sqrt{2}){(123+104\sqrt[4]{2}+88\sqrt{2}+73\sqrt[4]{8})}^2)}^3\\ J(10i)& ={(1+\frac{9}{8}{(2402+1607\sqrt[4]{5}+1074\sqrt[4]{25}+719\sqrt[4]{125})}^2)}^3\\ J\left(\frac{5i}{2}\right)& ={(1+\frac{9}{8}{(2402-1607\sqrt[4]{5}+1074\sqrt[4]{25}-719\sqrt[4]{125})}^2)}^3\\ J(2\sqrt{58}i)& ={(1+\frac{9}{256}{(1+\sqrt{2})}^5{(5+\sqrt{29})}^5{(793+907\sqrt{2}+237\sqrt{29}+103\sqrt{58})}^2)}^3\\ J\left(\frac{1+\sqrt{1435}i}{2}\right)& ={(1-9{(9892538+4424079\sqrt{5}+1544955\sqrt{41}+690925\sqrt{205})}^2)}^3\\ J\left(\frac{1+\sqrt{1555}i}{2}\right)& ={(1-9{(22297077+9971556\sqrt{5}+(3571365+1597163\sqrt{5})\sqrt{\frac{31+21\sqrt{5}}{2}})}^2)}^3\\ \end{array}$

Es van calcular diversos valors especials el 2014:

$\begin{array}{cc}J\left(\frac{5i+1}{2}\right)& ={\left(\frac{2927-1323\sqrt{5}}{2}\right)}^3,\\ J(5i)& ={\left(\frac{2927+1323\sqrt{5}}{2}\right)}^3,\\ \end{array}$

i deixant,

$\begin{array}{cc}{a}_1,a_2,a_3,a_4& =1190448488,858585699,540309076,374537880\\ b_1,b_2,b_3,b_4& =693172512,595746414,407357424,240819696\end{array}$

$\begin{array}{cc}J\left(\frac{5i+2}{4}\right)& ={\left(\frac{{(1+\sqrt{5})}^{37}}{2^{39}}(a_1-a_2\sqrt{2}+a_3\sqrt{5}-a_4\sqrt{10}-\sqrt[4]{5}(b_1-b_2\sqrt{2}+b_3\sqrt{5}-b_4\sqrt{10}))\right)}^3,\\ J\left(\frac{10i+1}{2}\right)& ={\left(\frac{{(1+\sqrt{5})}^{37}}{2^{39}}(a_1-a_2\sqrt{2}+a_3\sqrt{5}-a_4\sqrt{10}+\sqrt[4]{5}(b_1-b_2\sqrt{2}+b_3\sqrt{5}-b_4\sqrt{10}))\right)}^3,\\ J\left(\frac{5i}{4}\right)& ={\left(\frac{{(1+\sqrt{5})}^{37}}{2^{39}}(a_1+a_2\sqrt{2}+a_3\sqrt{5}+a_4\sqrt{10}-\sqrt[4]{5}(b_1+b_2\sqrt{2}+b_3\sqrt{5}+b_4\sqrt{10}))\right)}^3,\\ J(20i)& ={\left(\frac{{(1+\sqrt{5})}^{37}}{2^{39}}(a_1+a_2\sqrt{2}+a_3\sqrt{5}+a_4\sqrt{10}+\sqrt[4]{5}(b_1+b_2\sqrt{2}+b_3\sqrt{5}+b_4\sqrt{10}))\right)}^3.\end{array}$

Tots els valors anteriors són reals. Es pot inferir un parell conjugat complex aprofitant la simetria descrita a la referència, juntament amb els valors de $J(10i)$ i $J(5i/2)$, donats anteriorment:

$J(\frac{1}{4}(5i\pm 1))={(1-\frac{9}{8}{((2402-1074\sqrt{5})i\pm (1607-719\sqrt{5})\sqrt[4]{5})}^2)}^3.$

Es proporcionen quatre valors especials més, com dos parells conjugats complexos:

$\begin{array}{c}J\left(\frac{4}{13}(5i\pm 1)\right)={\left(\frac{{(1-\sqrt{5})}^{37}}{2^{39}}(a_1-a_2\sqrt{2}-a_3\sqrt{5}+a_4\sqrt{10}\pm i\sqrt[4]{5}(b_1-b_2\sqrt{2}-b_3\sqrt{5}+b_4\sqrt{10}))\right)}^3,\\ J\left(\frac{5}{17}(4i\pm 1)\right)={\left(\frac{{(1-\sqrt{5})}^{37}}{2^{39}}(a_1+a_2\sqrt{2}-a_3\sqrt{5}-a_4\sqrt{10}\pm i\sqrt[4]{5}(b_1+b_2\sqrt{2}-b_3\sqrt{5}-b_4\sqrt{10}))\right)}^3\end{array}$

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-publicació Proporciona una varietat d'identitats algebraiques interessants, incloent la inversa com una sèrie hipergeomètrica.
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació Inclou una llista de les 175 funcions modulars de gènere zero.
• Plantilla:Ref-llibre Introdueix el j-invariant i analitza la teoria del camp de classe relacionada.
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre Proporciona una revisió breu en el context de les formes modulars.
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre