CoCalc Public Fileswww / tables / discriminants / disc.tex
Author: William A. Stein
1\documentclass[11pt]{article}
2\usepackage{amsfonts}
3\usepackage{amsmath}
4\title{Discriminants of Hecke algebras}
5\author{William A. Stein}
6\newcommand{\T}{\mathbb T}
7\newcommand{\F}{\mathbb F}
8\DeclareMathOperator{\disc}{disc}
9\begin{document}
10\maketitle
11
12Using an implementation of the modular symbols algorithm
13described in Cremona's book {\em Algorithms for modular
14elliptic curves} I computed, for each
15prime $N$ between $2$ and $577$, an integer $D_N$
16which is divisible by the discriminant of
17the Hecke algebra $\T_N$ associated to weight 2 cusp forms
18of level $N$ for $\Gamma_0(N)$.
19For these $N$ we give a table of factored $D_N$.
20
21The Hecke algebra $\T=\T_N$ is an order in a
22product $E=\prod E_t$ of totally
23real number fields.  The {\em discriminant}
24$\disc(\T)$ is the product of
25the discriminants of the number fields $E_i$, multiplied by the
26square of the index of~$\T$ in its normalization.
27
28Fix a prime number $N$ and let $S(N)$ be the space of
29weight 2 cusp forms of level $N$ for $\Gamma_0(N)$.
30For $p$ not equal to $N$ let $T_p$ be the $p$-th Hecke
31operator, and let $d_p$ be the discriminant
32of the characteristic polynomial of $T_p$ acting on $S(N)$.
33Consider the sequence of integers
34$$d_2,\quad \gcd(d_2,d_3), \quad \gcd(d_2,d_3,d_5), \quad 35 \ldots, \quad \gcd(d_2,d_3,\ldots,d_q), \quad \ldots$$
36where we omit $p$ if $p=N$.
37Since each term divides its predecessor, this sequence must
38eventually stabilize at some limit $\Delta_N$.
39Since each term is divisible by the discriminant
40of $\T$, this discriminant divides $\Delta_N$.
41
42I wrote a program which
43computes the above sequence until it repeats some value $D_N$
44for 15 terms.  The result of that computation is given
45in table 1, which can be found at the end of this document.
46
47It is interesting to note that $N=389$ is the only case in our tables
48for which $N|D_N$.
49I have checked up to $N=14537$ and found no other
50cases in which this occurs. Whether or not this ever occurs
51is of interest to Ribet as this hypothesis plays a role
52in his paper, {\em Torsion points on $J_0(N)$ and galois
53representations}.
54
55Another problem is to determine, for each $N$ in table 1, whether
56the primes dividing $D_N$ are exactly the same as the primes dividing
57$\disc(\T)$.  I have checked that this is the case for $N\leq 73$.
58If the ring $\T\otimes\F_p$ is not reduced then $p|\disc(\T)$.
59This ring can't be reduced if $T_q$ is not diagonalizable
60(modulo $p$) for some prime $q$ not equal to $N$.
61However, this sufficient condition is not always necessary as the
62case $N=37$ illustrates.  Here $2$ ramifies in the Hecke algebra
63even though the Hecke operators $T_q$ with $q\not=2$
64act semisimply modulo $2$.
65%Will this difficulty will always occur
66%when there is a basis of $\Q$-rational eigenforms.
67
68\vfill
69\newpage
70\begin{center}
71Factored $D_N$ for $N\leq 577$.
72
73\begin{tabular}{|r||l|}\hline
74$N$	&	$D_N$\\\hline\hline
75$11$	&	$1$	\\\hline
76$13$	&	$0$	\\\hline
77$17$	&	$1$	\\\hline
78$19$	&	$1$	\\\hline
79$23$	&	$5$	\\\hline
80$29$	&	$2^3$	\\\hline
81$31$	&	$5$	\\\hline
82$37$	&	$2^2$	\\\hline
83$41$	&	$2^2.37$	\\\hline
84$43$	&	$2^5$	\\\hline
85$47$	&	$19.103$	\\\hline
86$53$	&	$2^4.37$	\\\hline
87$59$	&	$2^7.31.557$	\\\hline
88$61$	&	$2^4.37$	\\\hline
89$67$	&	$2^4.5^4$	\\\hline
90$71$	&	$3^4.257^2$	\\\hline
91$73$	&	$2^4.3^2.5.13$	\\\hline
92$79$	&	$2^4.83.983$	\\\hline
93$83$	&	$2^8.197.11497$	\\\hline
94$89$	&	$2^6.5^3.6689$	\\\hline
95$97$	&	$2^6.7^2.2777$	\\\hline
96$101$	&	$2^8.17568767$	\\\hline
97\end{tabular}
98\begin{tabular}{|r||l|}\hline
99$N$	&	$D_N$\\\hline\hline
100$103$	&	$2^8.5.17.411721$	\\\hline
101$107$	&	$2^{12}.5.7.1667.19079$	\\\hline
102$109$	&	$2^{10}.7^2.7537$	\\\hline
103$113$	&	$2^{10}.3^4.7^2.11^2.107$	\\\hline
104$127$	&	$2^{12}.3^4.7.86235899$	\\\hline
105$131$	&	$2^{19}.5.46141.75619573$	\\\hline
106$137$	&	$2^{10}.5^2.29.401.895241$	\\\hline
107$139$	&	$2^{14}.3^2.7^2.997.2151701$	\\\hline
108$149$	&	$2^{12}.7^2.234893.1252037$	\\\hline
109$151$	&	$2^{18}.7^2.11.67^2.257.439867$	\\\hline
110$157$	&	$2^{13}.61.397.48795779$	\\\hline
111$163$	&	$2^{15}.3^2.65657.82536739$	\\\hline
112$167$	&	$2^{16}.5.8269.5103536431379173$	\\\hline
113$173$	&	$2^{14}.5^2.7.29.5608385124289$	\\\hline
114$179$	&	$2^{22}.3^4.7^2.313.137707.536747147$	\\\hline
115$181$	&	$2^{16}.5^2.7.61.397.595051637$	\\\hline
116$191$	&	$2^8.3^3.5.382146223.319500117632677$	\\\hline
117$193$	&	$2^{14}.5.11^2.17.103.401.4153.680059$	\\\hline
118$197$	&	$2^{18}.5^2.61.397.35217676193989$	\\\hline
119$199$	&	$2^{16}.3.5^3.29.31.71^2.347.947.37316093$	\\\hline
120$211$	&	$2^{20}.3.5.7^4.41^2.43.229.52184516509$	\\\hline
121$223$	&	$2^{36}.7^2.19.103.3995922697473293141$	\\\hline
122\end{tabular}
123
124\begin{tabular}{|r||l|}\hline        % tex *hack*.
125$N$	&	\mbox{$D_N$\hspace{3.81in}}\\\hline\hline
126$227$	&	$2^{37}.3^2.5^3.7^4.13^2.29.31^2.13591.57139.273349$	\\\hline
127$229$	&	$2^{32}.107.17467.39555937.53625889$	\\\hline
128$233$	&	$2^{22}.3^7.53.139.653.4127.24989.8388019$	\\\hline
129$239$	&	$2^{12}.7^2.2833.51817.97423.1174779433.8920940047$	\\\hline
130$241$	&	$2^{23}.97.1489.20857.651474368435017$	\\\hline
131$251$	&	$2^{28}.5^2.29.373.8768135668531.2006012696666681$	\\\hline
132$257$	&	$2^{65}.29.479.71711.409177.654233.32354821$	\\\hline
133$263$	&	$2^{20}.11.61.397.15631853.34867513.97092067.252746489$	\\\hline
134$269$	&	$2^{22}.3^2.43.151.27767.65657.5550873754172978311$	\\\hline
135$271$	&	$2^{24}.3^2.1367.6091.592661.1132673.14171513.172450541$	\\\hline
136$277$	&	$2^{22}.5^2.19.29.37.137^2.92767.1530091.25531570859$	\\\hline
137\hline\end{tabular}
138
139\begin{tabular}{|r||l|}\hline
140$N$	&	$D_N$\\\hline\hline
141$281$	&	$2^{22}.3.5.181.857.8388019.2647382149.1778899342669$	\\\hline
142$283$	&	$2^{46}.349.1297.413713.73199099.5832488839$	\\\hline
143$293$	&	$2^{26}.3^2.29.233.2351^2.69763.42711913589792108923$	\\\hline
144$307$	&	$2^{50}.3^6.5^5.11^2.13^3.107^2.457.3697.21577.974513.568380457$	\\\hline
145$311$	&	$2^{16}.5^2.29.3013091897.2106873009119126062143259000543887593$	\\\hline
146$313$	&	$2^{24}.5.41^2.8619587.9614923.130838023.2164322751511$	\\\hline
147$317$	&	$2^{26}.7.367.3217.660603043.14989400036918065702697531$	\\\hline
148$331$	&	$2^{38}.3^2.53^2.229.1399.21911.205493.6363601.584461573862449$	\\\hline
149$337$	&	$2^{28}.113.593.2791.2963615537.747945736667.4122851467451$	\\\hline
150$347$	&	$2^{61}.5.7^2.19^2.331.349.479.617.1797330450291217.918291275915301361$	\\\hline
151$349$	&	$2^{28}.13.103.1118857.72318613.6771977049413.1313981654817031$	\\\hline
152$353$	&	$2^{34}.3^2.5.127^2.229.114641.551801.12611821.7779730837.24314514437$	\\\hline
153$359$	&	$2^{36}.3^6.2777.16512254293.64542630435970307.2171776478013633068927$	\\\hline
154$367$	&	$2^{44}.7.81421.251387.418175501.15354151381.13144405392643360366681$	\\\hline
155$373$	&	$2^{32}.7.11^3.23.199.673.2143.1542194372227.72819251148518000363297$	\\\hline
156$379$	&	$2^{34}.59.317.421.278329.5698591.2117788336277.2851210737989187265253$	\\\hline
157$383$	&	$2^{32}.5.11^2.13.72893.3151861.16141144314299.$\\
158	&	$178236551484825400362837637090811$	\\\hline
159$389$	&	$2^{63}.3^4.5^6.31^2.37.389.3881.215517113148241.477439237737571441$	\\\hline
160$397$	&	$2^{57}.23^2.31^2.97.317.761^2.302609750073209.83566618884497478937$	\\\hline
161$401$	&	$2^{96}.5^2.19.163.293^2.811.1218675071.71742740351.388881803749.$\\
162	&	$34393898968391$	\\\hline
163$409$	&	$2^{32}.3^3.17.1667.1741.2341.537071.14884451.18631199.$\\
164	&	$1334964067081334453235547$	\\\hline
165$419$	&	$2^{55}.17.43.113.151.167.971.493657.20375986548898473293.$\\
166	&	$53097073649092855361102575237$	\\\hline
167$421$	&	$2^{34}.3.31.557.4729.825403.857459.144211946777593109.$\\
168	&	$2328579379136648917067$	\\\hline
169$431$	&	$2^{91}.3^4.5^6.11.19^2.29.31.43.197.257.6947^2.37619.$\\
170	&	$29252013842927.806505757406715084824003$	\\\hline
171$433$	&	$2^{68}.3^7.7^2.37^2.101.379.1439.3613.18719.2792477.77087971.$\\
172	&	$5830108671536745647$	\\\hline
173$439$	&	$2^{66}.3^2.5.31^2.173.84179.85667.16794662617.$\\
174	&	$513841517138871835091506167235408934202857$	\\\hline
175$443$	&	$2^{88}.3^2.7^2.31^2.499.6899.48508479390300197.$\\
176	&	$2817219327571188909266947704801865987$	\\\hline
177$449$	&	$2^{40}.3.7^2.101.44933757980789.188247485945671.$\\
178	&	$653016225615601.1431966252229376199841$	\\\hline
179$457$	&	$2^{36}.5.31^2.653.3169.38983093.52621913.33122975406370693.$\\
180	&	$5653726203394180386934181$	\\\hline
181\hline\end{tabular}
182\begin{tabular}{|r||l|}\hline
183$N$	&	$D_N$\\\hline\hline
184$461$	&	$2^{73}.5.7^2.19^3.97^2.80750473.3104029729.607263139073.$\\
185	&	$3729490905341009668647473177$	\\\hline
186$463$	&	$2^{62}.113.311.9929.568201.132502583.1474412920219.$\\
187	&	$2770309905285622039024420194209857723$	\\\hline
188$467$	&	$2^{71}.17^2.1212648089519.32432206859088781.$\\
189	&	$6296651104824906148358708614333895055221783$\\\hline
190$479$	&	$2^{32}.13.17.1861.4021.28745083.41556253.1202203127423.$\\
191	&	$201529385024397103.7037463122648759781611869895003$\\\hline
192$487$	&	$2^{72}.3^{16}.5^4.13^2.17^2.19^4.59.103^2.109.257.$\\
193	&	$623519211698413571686763.15408475904697077364866629$\\\hline
194$491$	&	$2^{104}.5^6.19^2.43.131.479.887.5650859.$\\
195	&	$54796097920639362740205317747356273097682333252495603721$	\\\hline
196$499$	&	$2^{69}.3^{11}.5.71^2.167.495613.25224990196319.$\\
197	&	$573452584782809.277143583167463430555979797274731$	\\\hline
198$503$	&	$2^{78}.3^2.5^4.11^2.19^3.257.821.2003^2.13597.45587.$\\
199	&	$384479819.8659024393.20115672029938390602701696607766073563$	\\\hline
200$509$	&	$2^{71}.3^3.13.157.971.1277.4567.3691783.42330311.$\\
201	&	$1157039662523351992921397.6331071860925306189417509$\\\hline
202$521$	&	$2^{42}.23.53.67.929.13877.531096383.19526270957.1089951135204631559833.$\\
203	&	$14340527343875384245648725589439$	\\\hline
204$523$	&	$2^{91}.3.5.41^3.59.149^2.1201.279121937.8371971617.$\\
205	&	$9059602909494267071628228952878552757512056969593$	\\\hline
206$541$	&	$2^{46}.3^2.5.13.277.307.591581.1940573213.221136462575339.$\\
207	&	$1453183329662653.18044474614550745414465332996771$	\\\hline
208$547$	&	$2^{105}.7^3.73.103^2.5501.11783.16097.43781.1152631.146768003.$\\
209	&	$9959758037.91268351929.102277460687.106666343972273$	\\\hline
210$557$	&	$2^{46}.7^4.13^2.4787.252163.16849164271275021852893.$\\
211	&	$53296770296923102812608983.2381022539751738307256162767$	\\\hline
212$563$	&	$2^{139}.5^2.13^4.37^2.61^2.37591.52667.155083.301703.938251.$\\
213	&	$46706589087295134421.299128314984453465128592656821021$	\\\hline
214$569$	&	$2^{46}.73.449531828286229614392569.189316003.$\\
215	&	$257022598600391962761793946239.2294643649486046267496627432517$	\\\hline
216$571$	&	$2^{166}.3^{12}.5^8.7^4.13^2.17.37^3.41^2.79^2.127^2.181.211.293.709.$\\
217	&	$1579^2.1667^2.12030433.807024744595934649052018211$	\\\hline
218$577$	&	$2^{131}.3^{12}.5^4.13^3.59^2.61^2.257.163753.$\\
219	&	$41340850017998228328234516909328723846661.$\\
220	&	$85934741209775683850815667$	\\\hline
221\end{tabular}
222
223
224\end{center}
225
226\end{document}
227