\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Applications of modular symbols}{35}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:computing}{{3}{35}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Computing the space of modular symbols}{35}}
\newlabel{sec:computingmk}{{3.1}{35}}
\newlabel{alg:MkNK}{{3.2}{36}}
\citation{sturm:cong}
\newlabel{alg:MkNO}{{3.5}{37}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Computing the Hecke algebra}{37}}
\newlabel{sec:computinghecke}{{3.2}{37}}
\citation{sturm:cong}
\newlabel{prop:perfectpair}{{3.6}{38}}
\newlabel{thm:sturm}{{3.7}{38}}
\newlabel{prop:determine}{{3.8}{38}}
\newlabel{thm:bound}{{3.9}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Representing and enumerating Dirichlet characters}{38}}
\citation{cohen-oesterle:dimensions}
\citation{atkin-lehner}
\citation{winnie:newforms}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}The dimension of $S_k(N,\varepsilon )$}{40}}
\newlabel{sec:dimensionformulas}{{3.4}{40}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Decomposing the space of modular symbols}{40}}
\newlabel{sec:decomposemodsym}{{3.5}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}Duality}{41}}
\newlabel{eqn:pairing}{{3.1}{41}}
\newlabel{prop:heckeduality}{{3.14}{41}}
\newlabel{alg:decompmknew}{{3.15}{41}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}Efficient computation of Hecke operators on the dual space}{42}}
\citation{lang:algebra}
\citation{cremona:algs}
\newlabel{alg:efficienttpdual}{{3.17}{43}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Eigenvectors}{43}}
\newlabel{sec:eigenvector}{{3.5.3}{43}}
\citation{lang:algebra}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.4}Eigenvalues}{44}}
\newlabel{sec:eigenvalues}{{3.5.4}{44}}
\newlabel{alg:eigenvalues}{{3.19}{44}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.5}Sorting and labeling eigenforms}{44}}
\newlabel{sec:sorting}{{3.5.5}{44}}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Intersections and congruences}{45}}
\newlabel{sec:intersection}{{3.6}{45}}
\newlabel{prop:intersection}{{3.20}{45}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces T-shirt design}}{46}}
\newlabel{cap:tshirt}{{3.1}{46}}
\newlabel{ex:kilford}{{3.23}{46}}
\citation{cremona-mazur}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6.1}A strategy for computing congruences}{47}}
\newlabel{prop:degcong}{{3.24}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}The rational period mapping}{47}}
\newlabel{sec:ratperiod}{{3.7}{47}}
\newlabel{defn:theta}{{3.25}{47}}
\newlabel{alg:ratperiod}{{3.26}{48}}
\newlabel{ex:ratperiod1}{{3.27}{48}}
\newlabel{lem:ratperiodlemma}{{3.28}{48}}
\citation{manin:parabolic}
\citation{stevens:thesis}
\@writefile{toc}{\contentsline {section}{\numberline {3.8}The images of cuspidal points}{49}}
\newlabel{sec:torsionsubgroup}{{3.8}{49}}
\newlabel{sec:cuspdiff}{{3.8}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8.1}Rational torsion}{49}}
\citation{milne:abvars}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8.2}Upper bound on torsion: Counting points mod\nobreakspace  {}$p$}{50}}
\@writefile{toc}{\contentsline {section}{\numberline {3.9}The modular degree}{50}}
\newlabel{sec:moddeg}{{3.9}{50}}
\newlabel{defn:modulardegree}{{3.34}{50}}
\citation{mestre-oesterle:crelle}
\newlabel{rem:moddegmestre}{{3.38}{51}}
\citation{agashe:phd}
\citation{darmon-merel}
\citation{mazur-sd}
\@writefile{toc}{\contentsline {section}{\numberline {3.10}The rational part of $L(A_f,j)$}{52}}
\newlabel{sec:ratpartformula}{{3.10}{52}}
\newlabel{sec:rationalvals}{{3.10}{52}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10.1}$L$-functions}{52}}
\newlabel{defn:lseries}{{3.39}{52}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10.2}Winding elements}{52}}
\newlabel{defn:windingelement}{{3.40}{52}}
\citation{cremona:algs}
\citation{gross:central}
\citation{hatada:rationality}
\citation{mazur:arithmetic_values}
\citation{mazur-sd}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10.3}Real and minus volumes}{53}}
\newlabel{sec:realvolume}{{3.10.3}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10.4}The theorem}{53}}
\newlabel{ratpart}{{3.41}{53}}
\newlabel{pg:latticeindex}{{3.43}{54}}
\newlabel{latticeker}{{3.44}{54}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10.5}Bounding the denominator of the ratio}{55}}
\citation{cremona:algs}
\citation{diamond-im}
\citation{manin:parabolic}
\citation{manin:parabolic}
\citation{agashe:phd}
\newlabel{lemma:eisact}{{3.47}{56}}
\newlabel{cor:denominator}{{3.48}{56}}
\citation{katzmazur}
\citation{agashe-stein:manin}
\citation{ganz-lario:manin}
\citation{mazur:rational}
\citation{mazur:rational}
\citation{mazur:rational}
\citation{mazur:eisenstein}
\citation{mazur:rational}
\@writefile{toc}{\contentsline {section}{\numberline {3.11}The Manin constant}{57}}
\newlabel{sec:maninconstant}{{3.11}{57}}
\newlabel{defn:maninconstant}{{3.11}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.11.1}The primes that might divide\nobreakspace  {}$c_A$}{57}}
\newlabel{eqn:qexp}{{3.2}{57}}
\citation{mazur:rational}
\citation{mazur:eisenstein}
\citation{empirical}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.11.2}Numerical evidence for the $c_A=1$ conjecture}{58}}
\@writefile{toc}{\contentsline {section}{\numberline {3.12}Analytic invariants}{59}}
\newlabel{sec:analytic}{{3.12}{59}}
\newlabel{defn:periodmapping}{{3.12}{59}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.1}Extended modular symbols}{59}}
\newlabel{defn:extendedmodsyms}{{3.12.1}{59}}
\citation{cremona:algs}
\citation{cremona:algs}
\citation{manin:parabolic}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.2}Numerically computing period integrals}{60}}
\newlabel{intsum}{{3.3}{60}}
\newlabel{lem:intexp}{{3.53}{60}}
\newlabel{intexp}{{3.4}{60}}
\newlabel{modsym-errorterm}{{3.54}{60}}
\newlabel{onlyoo}{{3.56}{61}}
\citation{cremona:periods}
\citation{goldfeld:complexity}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.3}The $W_N$-trick}{62}}
\newlabel{sec:wntrick}{{3.12.3}{62}}
\newlabel{wntrick}{{3.57}{63}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.4}Computing the period mapping}{64}}
\newlabel{computephi}{{3.12.4}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.5}Computing special values}{64}}
\newlabel{sec:compspecval}{{3.12.5}{64}}
\newlabel{specialvalueformula}{{3.7}{64}}
\citation{tate:bsd}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.6}The real and minus volume associated to $A_f$}{65}}
\newlabel{sec:realmeasure}{{3.12.6}{65}}
\newlabel{defn:realminusvolume}{{3.58}{65}}
\citation{empirical}
\citation{empirical}
\newlabel{defn:omega}{{3.61}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.7}The component groups $c_{\infty }^+$ and $c_{\infty }^-$}{66}}
\newlabel{sec:numbercomponents}{{3.12.7}{66}}
\citation{empirical}
\citation{empirical}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.12.8}Examples}{67}}
\@writefile{toc}{\contentsline {subsubsection}{Jacobians of genus-two curves}{67}}
\newlabel{sec:analytic-empirical}{{3.12.8}{67}}
\citation{cremona:algs}
\@writefile{lot}{\contentsline {table}{\numberline {3.1}{\ignorespaces Volumes associated to level one cusp forms.}}{68}}
\newlabel{table:vols}{{3.1}{68}}
\@writefile{toc}{\contentsline {subsubsection}{Level one cusp forms}{68}}
\@writefile{toc}{\contentsline {subsubsection}{CM elliptic curves of weight greater than two}{68}}
\newlabel{cmellipticcurves}{{3.12.8}{68}}
\@writefile{toc}{\contentsline {subsubsection}{Some abelian varieties of large dimension}{68}}
\@writefile{lot}{\contentsline {table}{\numberline {3.2}{\ignorespaces CM elliptic curves of weight $>2$.}}{69}}
\newlabel{table:cmcurves}{{3.2}{69}}
\@writefile{lot}{\contentsline {table}{\numberline {3.3}{\ignorespaces Volumes of higher dimensional abelian varieties.}}{69}}
\newlabel{table:bigvols}{{3.3}{69}}
\@setckpt{algorithms}{
\setcounter{page}{70}
\setcounter{equation}{8}
\setcounter{enumi}{2}
\setcounter{enumii}{2}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{1}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{12}
\setcounter{subsection}{8}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{1}
\setcounter{table}{3}
\setcounter{parentequation}{0}
\setcounter{theorem}{63}
\setcounter{listnum}{0}
}