\relax 
\citation{kolyvagin:euler_systems}
\citation{kolyvagin:mordellweil}
\citation{gross:kolyvagin}
\citation{gross-zagier}
\citation{kolyvagin:structure_of_selmer}
\newlabel{FirstPage}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{sec:intro}{{1}{1}}
\newlabel{thm:GZK}{{1.1}{1}}
\newlabel{conj:an-MW}{{1}{1}}
\citation{cornut:compte-rendus}
\citation{gross:kolyvagin}
\citation{kolyvagin:euler_systems}
\citation{mccallum:kolyvagin}
\citation{breuil-conrad-diamond-taylor}
\citation{silverman:aec2}
\newlabel{conj:an-corank}{{2}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Heegner points over ring class fields}{2}}
\newlabel{sec:heegpts}{{2}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Heegner points over ring class fields}{2}}
\newlabel{subsec:heegdefs}{{2.1}{2}}
\citation{cohen:nt}
\citation{delauney:phd}
\citation{elkies:heegner}
\citation{watkins:heegner}
\citation{ejl:cassels}
\citation{cohen:nt}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Explicit computation of the points $y_c$}{3}}
\newlabel{subsec:heegptscomp}{{2.2}{3}}
\newlabel{eqn:modparam}{{1}{3}}
\citation{cremona:onlinetables}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Examples}{4}}
\newlabel{subsec:ptsexamples}{{2.3}{4}}
\citation{gross:kolyvagin}
\citation{mccallum:kolyvagin}
\citation{kolyvagin:structureofsha}
\@writefile{toc}{\contentsline {section}{\numberline {3}Kolyvagin's conjecture: consequences and evidence}{5}}
\newlabel{sec:kolconj}{{3}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Preliminaries}{5}}
\newlabel{subsec:prelim}{{3.1}{5}}
\citation{kolyvagin:structureofsha}
\citation{gross:kolyvagin}
\citation{mccallum:kolyvagin}
\citation{mccallum:kolyvagin}
\citation{gross:kolyvagin}
\citation{gross-zagier}
\citation{kolyvagin:structure_of_selmer}
\newlabel{prop:inequal}{{3.1}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Kolyvagin cohomology classes}{6}}
\newlabel{subsec:kolclasses}{{3.2}{6}}
\newlabel{eqn:cocycle}{{2}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Statement of the conjecture}{6}}
\newlabel{subsec:kolconj}{{3.3}{6}}
\citation{jetchev:tamagawa}
\citation{kolyvagin:structure_of_selmer}
\citation{bump-friedberg-hoffstein}
\citation{murty-murty}
\citation{bump-friedberg-hoffstein}
\citation{nekovar:parity2}
\newlabel{conj:kolconj}{{3}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}A consequence on the structure of Selmer groups}{7}}
\newlabel{subsec:selmer}{{3.4}{7}}
\newlabel{thm:kolselstruct}{{3.2}{7}}
\newlabel{cor:large-selmer}{{3.3}{7}}
\citation{milne:duality}
\citation{tate:p-div}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Cornut's theoretical evidence for Kolyvagin's conjecture}{8}}
\newlabel{subsec:cornut}{{3.5}{8}}
\newlabel{prop:evidence}{{3.4}{8}}
\newlabel{lem:fintors}{{3.5}{8}}
\newlabel{lem:D0}{{3.6}{8}}
\citation{bsdalg1}
\citation{silverman:aec}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}Computational evidence for Kolyvagin's conjecture}{9}}
\newlabel{subsec:389a1}{{3.6}{9}}
\newlabel{prop:389-verify}{{3.7}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Non-trivial elements in the Shafarevich-Tate group}{10}}
\newlabel{sec:expl-sha}{{4}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Non-triviality in Kolyvagin classes.}{10}}
\newlabel{prop:nontriv}{{4.1}{10}}
\citation{gross:kolyvagin}
\citation{gross:kolyvagin}
\citation{mccallum:kolyvagin}
\newlabel{hyp:sel}{{i}{11}}
\newlabel{hyp:nondiv}{{ii}{11}}
\newlabel{hyp:parity}{{iii}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}The example $E = \textrm  {\bf  53a1}$.}{11}}
\newlabel{prop:53a1}{{4.2}{11}}
\citation{jetchev:asymptotic}
\citation{shimura:jac_factors}
\citation{gross:heegner_points}
\@writefile{toc}{\contentsline {section}{Appendix\nobreakspace  {}A. Upper bounds on the logarithmic heights of the Heegner points $y_c$}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1}The automorphic $L$-functions $L(f, \chi , s)$ and $L(\pi _{f \otimes \theta _\chi }, s)$}{12}}
\newlabel{subsec:lfunc}{{A.1}{12}}
\citation{zhang:gross-zagier}
\citation{dokchitser}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2}Zhang's formula}{13}}
\newlabel{thm:zhang}{{A.1}{13}}
\newlabel{eqn:height}{{3}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.3}Computing special values of derivatives of automorphic $L$-functions}{13}}
\citation{dokchitser}
\citation{dokchitser}
\citation{dokchitser}
\citation{dokchitser}
\citation{jetchev:asymptotic}
\citation{ricotta-vidick}
\citation{michel:parkcity}
\citation{michel:parkcity}
\citation{serre:zeta}
\citation{michel:parkcity}
\citation{iwaniec-kowalski}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.4}Asymptotic estimates on the canonical heights $\setbox \z@ \hbox {\frozen@everymath \@emptytoks \mathsurround \z@ $\textstyle h$}\mathaccent "0362{h}(y_c)$}{15}}
\newlabel{subsec:asymptotic}{{A.4}{15}}
\citation{michel:subconvexity}
\citation{silverman:height}
\citation{cremona-siksek}
\citation{cremona-siksek}
\citation{cremona-siksek}
\citation{gross-zagier}
\citation{jetchev:tamagawa}
\citation{cremona-siksek}
\citation{cremona-siksek}
\bibstyle{amsalpha}
\bibdata{biblio}
\bibcite{breuil-conrad-diamond-taylor}{BCDT01}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.5}Height difference bounds and the main estimates}{16}}
\newlabel{subsec:heightbds}{{A.5}{16}}
\bibcite{bump-friedberg-hoffstein}{BFH90}
\bibcite{cohen:nt}{Coh07}
\bibcite{cornut:compte-rendus}{Cor02}
\bibcite{cremona-siksek}{CPS06}
\bibcite{cremona:onlinetables}{Cre}
\bibcite{delauney:phd}{Del02}
\bibcite{dokchitser}{Dok04}
\bibcite{ejl:cassels}{EJL06}
\bibcite{elkies:heegner}{Elk94}
\bibcite{bsdalg1}{GJP{$^{+}$}05}
\bibcite{gross:heegner_points}{Gro84}
\bibcite{gross:kolyvagin}{Gro91}
\bibcite{gross-zagier}{GZ86}
\bibcite{iwaniec-kowalski}{IK04}
\bibcite{jetchev:asymptotic}{Jet}
\bibcite{jetchev:tamagawa}{Jet07}
\bibcite{kolyvagin:euler_systems}{Kol90}
\bibcite{kolyvagin:structure_of_selmer}{Kol91a}
\bibcite{kolyvagin:mordellweil}{Kol91b}
\bibcite{kolyvagin:structureofsha}{Kol91c}
\bibcite{mccallum:kolyvagin}{McC91}
\bibcite{michel:parkcity}{Mic02}
\bibcite{michel:subconvexity}{Mic04}
\bibcite{milne:duality}{Mil86}
\bibcite{murty-murty}{MM97}
\bibcite{nekovar:parity2}{Nek01}
\bibcite{ricotta-vidick}{RV}
\bibcite{serre:zeta}{Ser70}
\bibcite{shimura:jac_factors}{Shi71}
\bibcite{silverman:height}{Sil90}
\bibcite{silverman:aec}{Sil92}
\bibcite{silverman:aec2}{Sil94}
\bibcite{tate:p-div}{Tat67}
\bibcite{watkins:heegner}{Wat04}
\bibcite{zhang:gross-zagier}{Zha01}
\newlabel{LastPage}{{}{18}{}{}{}}