\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 \citation{MR31:3420} \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{2}{section.1}} \@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Background}}{2}{section.2}} \citation{gross-zagier} \@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Derivatives of $L$-functions}}{3}{section.3}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Gross-Zagier}}{3}{subsection.3.1}} \citation{mccallum} \citation{cremona-algorithms} \citation{cremona-mwrank} \citation{cremona-algorithms} \citation{cremona-algorithms} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.2}{The Index of the Heegner point}}{4}{subsection.3.2}} \newlabel{bsd-heegner}{{3.3}{4}{The Index of the Heegner point\relax }{theorem.3.3}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.3}{Precision}}{4}{subsection.3.3}} \citation{kolyvagin:euler_systems} \citation{gross:kolyvagin} \citation{serre:propgal} \@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Kolyvagin's Method and Consequences}}{5}{section.4}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Kolyvagin's approach to ${\unhbox \voidb@x \hbox {{\fontencoding {OT2}\fontfamily {wncyr}\fontseries {m}\fontshape {n}\selectfont Sh}}}_\textrm {tors}$}}{5}{subsection.4.1}} \citation{gross:kolyvagin} \citation{grigor} \citation{cha:kolyvagin} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{Computational Difficulties}}{6}{subsection.4.2}} \@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Weakening the Hypotheses of Kolyvagin's Method}}{6}{section.5}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{Irreducibility of the mod $p$ representation}}{6}{subsection.5.1}} \citation{kolyvagin:euler_systems} \citation{serre:propgal} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2}{Reducing the hypotheses to statements about torsion}}{7}{subsection.5.2}} \newlabel{proofs}{{5.2}{7}{Reducing the hypotheses to statements about torsion\relax }{subsection.5.2}{}} \@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.2.1}{The mod $p$ representation}}{7}{subsubsection.5.2.1}} \newlabel{weil-pairing-lemma}{{5.2}{7}{The mod $p$ representation\relax }{theorem.5.2}{}} \newlabel{lemma1}{{5.3}{8}{The mod $p$ representation\relax }{theorem.5.3}{}} \newlabel{lemma2}{{5.4}{8}{The mod $p$ representation\relax }{theorem.5.4}{}} \@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.2.2}{Vanishing of Cohomology Groups I}}{8}{subsubsection.5.2.2}} \@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.2.3}{Vanishing of Cohomology Groups II}}{9}{subsubsection.5.2.3}} \citation{gross:kolyvagin} \citation{MR92e:11050} \citation{MR92a:11058} \citation{MR87g:11061b} \citation{MR2020572} \newlabel{lemma:stein}{{5.9}{10}{Vanishing of Cohomology Groups II\relax }{theorem.5.9}{}} \@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.2.4}{Existence of K}}{10}{subsubsection.5.2.4}} \newlabel{Kexists}{{5.2.4}{10}{Existence of K\relax }{subsubsection.5.2.4}{}} \citation{MR81i:12014} \citation{MR2000a:11077} \citation{MR2002a:11051} \citation{silverman:aec} \citation{rubin:main-conjectures} \citation{perrin-riou} \@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Elliptic Curves with Complex Multiplication}}{11}{section.6}} \citation{perrin-riou:thesis} \citation{rubin:main-conjectures} \@writefile{toc}{\contentsline {section}{\tocsection {}{7}{Kato's Theorem}}{12}{section.7}} \@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Algorithm to Bound ${\unhbox \voidb@x \hbox {{\fontencoding {OT2}\fontfamily {wncyr}\fontseries {m}\fontshape {n}\selectfont Sh}}}$}}{12}{section.8}} \citation{cremona:algs} \@writefile{toc}{\contentsline {section}{\tocsection {}{9}{Other Algorithms}}{13}{section.9}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{9.1}{Computing the Mordell-Weil group}}{13}{subsection.9.1}} \citation{MR2004g:11045} \citation{cremona:algorithms} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{9.2}{p-descents}}{14}{subsection.9.2}} \newlabel{descent}{{9.2}{14}{p-descents\relax }{subsection.9.2}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{9.3}{Finding Isogenies}}{14}{subsection.9.3}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{9.4}{Root Number}}{14}{subsection.9.4}} \@writefile{toc}{\contentsline {section}{\tocsection {}{10}{Results of Computations}}{14}{section.10}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.1}{Introduction}}{14}{subsection.10.1}} \newlabel{goal:bsd}{{10.1}{14}{Introduction\relax }{theorem.10.1}{}} \@writefile{lot}{\contentsline {table}{\numberline {10.1}{\ignorespaces The 4 optimal curves with nontrivial ${\unhbox \voidb@x \hbox {{\fontencoding {OT2}\fontfamily {wncyr}\fontseries {m}\fontshape {n}\selectfont Sh}}}(E)_?$ and $N_E\leq 1000$}}{15}{table.1}} \newlabel{tab:sha}{{10.1}{15}{Introduction\relax }{table.1}{}} \newlabel{goal:bsd2}{{10.2}{15}{Introduction\relax }{theorem.10.2}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.2}{The Plan}}{15}{subsection.10.2}} \newlabel{step:refine}{{1}{15}{The Plan\relax }{Item.32}{}} \newlabel{step:alg}{{2}{15}{The Plan\relax }{Item.33}{}} \newlabel{step:implement}{{3}{16}{The Plan\relax }{Item.34}{}} \newlabel{step:correctgen}{{4}{16}{The Plan\relax }{Item.35}{}} \newlabel{step:sel}{{5}{16}{The Plan\relax }{Item.36}{}} \newlabel{step:analysis}{{6}{16}{The Plan\relax }{Item.37}{}} \newlabel{step:tamagawa}{{7}{16}{The Plan\relax }{Item.38}{}} \newlabel{step:lower}{{8}{16}{The Plan\relax }{Item.39}{}} \newlabel{step:os}{{9}{16}{The Plan\relax }{Item.40}{}} \newlabel{step:publish}{{10}{16}{The Plan\relax }{Item.41}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.3}{Status}}{16}{subsection.10.3}} \newlabel{sec:analysis}{{10.4}{16}{Analysis\relax }{subsection.10.4}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.4}{Analysis}}{16}{subsection.10.4}} \newlabel{sec:level}{{10.5}{20}{A Potentially Serious Obstruction\relax }{subsection.10.5}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.5}{A Potentially Serious Obstruction}}{20}{subsection.10.5}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.6}{Some Other Questions (for Dick Gross)}}{22}{subsection.10.6}} \bibcite{cremona:algs}{Cre97} \bibcite{gross:kolyvagin}{Gro91} \bibcite{gross-zagier}{GZ86} \bibcite{kolyvagin:euler_systems}{Kol90} \bibcite{mazur:rational}{Maz78} \bibcite{rubin:main-conjectures}{Rub91} \bibcite{serre:propgal}{Ser72} \bibcite{silverman:aec}{Sil92} \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{12.7778pt} \newlabel{tocindent1}{22.77783pt} \newlabel{tocindent2}{35.1387pt} \newlabel{tocindent3}{0pt} \@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{23}{section*.2}}