\relax \ifx\hyper@anchor\@undefined \global \let \oldcontentsline\contentsline \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} \global \let \oldnewlabel\newlabel \gdef \newlabel#1#2{\newlabelxx{#1}#2} \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} \AtEndDocument{\let \contentsline\oldcontentsline \let \newlabel\oldnewlabel} \else \global \let \hyper@last\relax \fi \bibstyle{amsalpha} \@writefile{toc}{\contentsline {chapter}{\numberline {1}Characteristic Polynomials of Hecke Operators}{3}{chapter.1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {1.1}Level $1$ Weight $24$}{3}{section.1.1}} \newlabel{koopa}{{1.1}{3}{Level $1$ Weight $24$\relax }{section.1.1}{}} \newlabel{prob:cp24}{{1.1.1}{3}{Level $1$ Weight $24$\relax }{theorem.1.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Preliminary theorems}{4}{subsection.1.1.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {1.1.2}Main Result and its Proof}{4}{subsection.1.1.2}} \citation{conrey-farmer:nonvanish} \citation{farmer-james:maeda} \@writefile{toc}{\contentsline {section}{\numberline {1.2}Higher Level}{6}{section.1.2}} \@writefile{toc}{\contentsline {section}{\numberline {1.3}High Weight}{6}{section.1.3}} \@writefile{toc}{\contentsline {chapter}{\numberline {2}Modular Forms Modulo $p$}{7}{chapter.2}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {2.1}Big images}{7}{section.2.1}} \newlabel{prob:detimg}{{2.1.1}{7}{Big images\relax }{theorem.2.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.2}Non-liftable weight one modular forms over\nobreakspace {}$\@mathbb {F}_p$}{8}{section.2.2}} \@writefile{toc}{\contentsline {chapter}{\numberline {3}Hilbert Modular Forms}{9}{chapter.3}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {3.1}Database}{9}{section.3.1}} \@writefile{toc}{\contentsline {section}{\numberline {3.2}Investigate the Birch and Swinnteron-Dyer conjecture}{9}{section.3.2}} \@writefile{toc}{\contentsline {chapter}{\numberline {4}Computing with Classical Modular Forms}{10}{chapter.4}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {4.1}Compute Every Elliptic Curve of Conductor $234446$}{10}{section.4.1}} \newlabel{prob:allcurve}{{4.1.1}{10}{Compute Every Elliptic Curve of Conductor $234446$\relax }{theorem.4.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.2}Find all elliptic curves of conductor $\leq 234446$}{11}{section.4.2}} \newlabel{ch:to234446}{{4.2.1}{12}{Find all elliptic curves of conductor $\leq 234446$\relax }{theorem.4.2.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.3}Weight $144169$}{12}{section.4.3}} \@writefile{toc}{\contentsline {section}{\numberline {4.4}A Problem About Bernoulli Numbers}{12}{section.4.4}} \@writefile{toc}{\contentsline {section}{\numberline {4.5}Half Integral Weight Modular Forms}{13}{section.4.5}} \@writefile{toc}{\contentsline {chapter}{\numberline {5}Non-classical Modular Forms}{14}{chapter.5}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {5.1}Hilbert-Siegel Modular Forms}{14}{section.5.1}} \citation{stein:book} \citation{sage} \citation{gunnells:experimental} \citation{stein:book} \@writefile{toc}{\contentsline {section}{\numberline {5.2}Modular forms on higher rank groups}{15}{section.5.2}} \citation{mmc1} \citation{stein:book} \citation{gunnells:experimental} \citation{gunnells:experimental} \citation{ash:galrep} \citation{gunnells:computation} \citation{gunnells:experimental} \citation{harder-arbeit} \citation{stein:book} \citation{coul} \citation{staffeldt} \citation{mmc1} \citation{mmc2} \citation{mazur-stein-tate:padic} \citation{mazur-tate:canonical} \citation{schneider:height1} \citation{schneider:height2} \citation{MR1042777} \citation{MR1091621} \citation{MR1263527} \citation{MR1299736} \citation{MR2021039} \citation{MR2076563} \citation{schneider:height1} \citation{schneider:height2} \citation{mazur-tate:canonical} \citation{mazur-tate:refined} \citation{perrin-riou:expmath} \@writefile{toc}{\contentsline {chapter}{\numberline {6}$p$-adic Heights}{18}{chapter.6}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {6.1}Background}{18}{section.6.1}} \citation{mazur-stein-tate:padic} \citation{mazur-stein-tate:padic} \citation{mazur-tate:sigma} \citation{mazur-tate:sigma} \citation{mazur-tate:sigma} \citation{mazur-tate:sigma} \newlabel{eqn:heightdef}{{6.1.1}{20}{Background\relax }{equation.6.1.1}{}} \newlabel{eqn:quad}{{6.1.2}{20}{Background\relax }{equation.6.1.2}{}} \newlabel{page:bil}{{6.1}{20}{Background\relax }{equation.6.1.2}{}} \newlabel{eqn:bil}{{6.1.3}{20}{Background\relax }{equation.6.1.3}{}} \newlabel{conj:hpnd}{{6.1.3}{20}{Background\relax }{theorem.6.1.3}{}} \citation{mazur-tate:sigma} \citation{mazur-tate:sigma} \citation{kedlaya:counting_mw} \citation{mazur-stein-tate:padic} \citation{edixhoven:kedlaya} \citation{kedlaya:counting_mw} \citation{kedlaya:mw2} \citation{mazur-stein-tate:padic} \newlabel{prob:acheight}{{6.1.6}{21}{Background\relax }{theorem.6.1.6}{}} \newlabel{eqn:xt}{{6.1.4}{21}{Background\relax }{equation.6.1.4}{}} \newlabel{thm:uniqde}{{6.1.8}{21}{Background\relax }{theorem.6.1.8}{}} \newlabel{eqn:sigmadef}{{6.1.5}{21}{Background\relax }{equation.6.1.5}{}} \@writefile{toc}{\contentsline {section}{\numberline {6.2}An Example: Computing $\@mathcal {E}_2((37a,5))$}{21}{section.6.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Introduction}{21}{subsection.6.2.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Example: Computing the Matrix of Frobenius for $37A$ at $p=5$}{24}{subsection.6.2.2}} \citation{sage} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Source Code}{26}{subsection.6.2.3}} \citation{mazur-stein-tate:padic} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.4}Future Problems}{28}{subsection.6.2.4}} \newlabel{prob:padic_height_alg}{{6.2.7}{28}{Future Problems\relax }{theorem.6.2.7}{}} \citation{ribet-stein:serre} \citation{diamond:refined} \citation{coleman-stein:padicapprox} \@writefile{toc}{\contentsline {chapter}{\numberline {7}Level Raising and Lowering Modulo $p^n$}{30}{chapter.7}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {7.1}Problems}{31}{section.7.1}} \@writefile{toc}{\contentsline {chapter}{\numberline {8}Invariants of Modular Abelian Varieties}{32}{chapter.8}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {8.1}Endomorphism ring of $\mathaccentV {bar}016{A}/\@mathbb {F}_p$}{32}{section.8.1}} \citation{ribet:abvars} \citation{gonz-lario:manin} \@writefile{toc}{\contentsline {section}{\numberline {8.2}Endomorphism Rings over Number Fields}{34}{section.8.2}} \citation{kohel-stein:ants4} \citation{conrad-stein:compgroup} \citation{agashe-stein:bsd} \@writefile{toc}{\contentsline {section}{\numberline {8.3}Component Groups}{35}{section.8.3}} \@writefile{toc}{\contentsline {section}{\numberline {8.4}Mordell-Weil Groups and Torsion subgroups}{35}{section.8.4}} \@writefile{toc}{\contentsline {section}{\numberline {8.5}Analytic invariants}{35}{section.8.5}} \citation{kohel-stein:ants4} \citation{agashe-ribet-stein:manin} \newlabel{prob:watkinsanalogue}{{8.5.3}{36}{Analytic invariants\relax }{theorem.8.5.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.6}The Manin constant}{36}{section.8.6}} \citation{stevens:param} \citation{stein-watkins:ns} \newlabel{prob:qexp}{{8.6.3}{37}{The Manin constant\relax }{theorem.8.6.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.7}Birch and Swinnerton-Dyer Conjectures}{37}{section.8.7}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.7.1}Refined Conjectures}{37}{subsection.8.7.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.7.2}Intrinsic Characterization of Optimality}{37}{subsection.8.7.2}} \@writefile{toc}{\contentsline {section}{\numberline {8.8}The Shafarevich-Tate Group}{37}{section.8.8}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.8.1}Verifying the Full Conjecture for Elliptic Curves}{37}{subsection.8.8.1}} \newlabel{sec:ecconj}{{8.8.1}{37}{Verifying the Full Conjecture for Elliptic Curves\relax }{subsection.8.8.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.8.2}Finiteness of ${\unhbox \voidb@x \hbox {{\fontencoding {OT2}\fontfamily {wncyr}\fontseries {m}\fontshape {n}\selectfont Sh}}}$}{38}{subsection.8.8.2}} \citation{perrin-riou:expmath} \@writefile{toc}{\contentsline {chapter}{\numberline {9}Fun with Visualizing Modular Forms (in SAGE)}{40}{chapter.9}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \bibdata{biblio} \@writefile{toc}{\contentsline {chapter}{\numberline {10}Other Projects}{42}{chapter.10}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \bibcite{gunnells:computation}{AGM02} \bibcite{agashe-ribet-stein:manin}{ARS06} \bibcite{agashe-stein:bsd}{AS05} \bibcite{ash:galrep}{Ash92} \bibcite{coul}{BCIO01} \bibcite{MR2076563}{Bes04} \bibcite{conrey-farmer:nonvanish}{CF99} \bibcite{MR1091621}{Col91} \bibcite{coleman-stein:padicapprox}{Col03} \bibcite{conrad-stein:compgroup}{CS01} \bibcite{diamond:refined}{Dia95} \bibcite{edixhoven:kedlaya}{Edi} \bibcite{farmer-james:maeda}{FJ02} \bibcite{gonz-lario:manin}{GL01} \bibcite{gunnells:experimental}{Gun00} \bibcite{harder-arbeit}{Har} \bibcite{MR2021039}{IW03} \bibcite{kedlaya:counting_mw}{Ked01} \bibcite{kedlaya:mw2}{Ked04} \bibcite{kohel-stein:ants4}{KS00} \bibcite{mmc2}{MM89} \bibcite{mmc1}{MM93} \bibcite{mazur-stein-tate:padic}{MST06} \bibcite{mazur-tate:canonical}{MT83} \bibcite{mazur-tate:refined}{MT87} \bibcite{mazur-tate:sigma}{MT91} \bibcite{MR1263527}{Nek93} \bibcite{MR1299736}{Pla94} \bibcite{perrin-riou:expmath}{PR03} \bibcite{ribet:abvars}{Rib92} \bibcite{ribet-stein:serre}{RS01} \bibcite{schneider:height1}{Sch82} \bibcite{schneider:height2}{Sch85} \bibcite{sage}{SJ05} \bibcite{staffeldt}{Sta79} \bibcite{stevens:param}{Ste89} \bibcite{stein:book}{Ste07} \bibcite{stein-watkins:ns}{SW04} \bibcite{MR1042777}{Zar90}