\relax 
\citation{hpxh}
\citation{gross1}
\citation{siegel}
\citation{zagier}
\citation{gross1}
\citation{gross2}
\@writefile{toc}{\contentsline {section}{\numberline {1}A review of the classical setting}{3}}
\newlabel{sec:classical}{{1}{3}}
\newlabel{eqn:deltas}{{1}{3}}
\newlabel{eqn:assorder}{{2}{3}}
\citation{kubert_lang}
\newlabel{eqn:quadform}{{3}{4}}
\newlabel{eqn:reciprocity}{{7}{4}}
\newlabel{eqn:OmegaK_classical}{{11}{5}}
\newlabel{eqn:star}{{12}{5}}
\newlabel{thm:srl}{{1.1}{5}}
\newlabel{eqn:zetaQ}{{14}{5}}
\newlabel{eqn:defzeta_imag}{{15}{5}}
\citation{siegel}
\citation{siegel}
\newlabel{thm:kronecker}{{1.2}{6}}
\newlabel{eqn:zetaprime}{{16}{6}}
\newlabel{eqn:kronecker}{{17}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Elliptic units for real quadratic fields}{6}}
\newlabel{sec:construction}{{2}{6}}
\newlabel{ass:reg}{{2.1}{7}}
\newlabel{eqn:assdelta}{{21}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}$p$-adic measures}{8}}
\newlabel{sec:step1}{{2.1}{8}}
\newlabel{eqn:multint}{{22}{8}}
\newlabel{eqn:decompunique}{{23}{8}}
\newlabel{lemma:extends}{{2.4}{8}}
\newlabel{eqn:Up}{{25}{9}}
\newlabel{prop:measure}{{2.6}{9}}
\newlabel{eqn:choosegamma}{{26}{9}}
\newlabel{eqn:ruleball}{{27}{9}}
\citation{hpxh}
\citation{hpxh}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Double integrals}{10}}
\newlabel{sec:step2}{{2.2}{10}}
\newlabel{eqn:dint}{{28}{10}}
\newlabel{eqn:dmint}{{29}{10}}
\citation{hpxh}
\citation{ds1}
\citation{ds2}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Splitting a two-cocycle}{11}}
\newlabel{sec:step3}{{2.3}{11}}
\newlabel{prop:splits}{{2.8}{11}}
\newlabel{eqn:defzeta}{{30}{11}}
\citation{mennicke}
\citation{serre_congruence}
\citation{cbms}
\citation{hpxh}
\citation{bdg}
\citation{dasgupta_thesis}
\citation{dasgupta_uniformisation}
\citation{dasgupta_thesis}
\citation{dasgupta_compute}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}The main conjecture}{13}}
\newlabel{eqn:OmegaK_real}{{32}{13}}
\newlabel{eqn:realstar}{{36}{13}}
\newlabel{conj:main}{{2.14}{13}}
\citation{mazur_special}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Modular symbols and Dedekind sums}{14}}
\newlabel{sec:modsymbols}{{2.5}{14}}
\newlabel{eqn:modsymbalpha}{{40}{14}}
\citation{mazur_special}
\citation{cbms}
\citation{cbms}
\newlabel{eqn:uselater1}{{41}{15}}
\newlabel{eqn:encodeperiods}{{42}{15}}
\newlabel{eqn:uselater2}{{43}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Measures and the Bruhat-Tits tree}{15}}
\newlabel{sec:tree}{{2.6}{15}}
\citation{hpxh}
\citation{cbms}
\newlabel{eqn:harmonicity}{{44}{16}}
\newlabel{eqn:harmonic_cocycle}{{46}{16}}
\citation{cbms}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}Indefinite integrals}{17}}
\newlabel{sec:indefint}{{2.7}{17}}
\newlabel{prop:splitmodU}{{2.15}{17}}
\newlabel{eqn:deftrho}{{49}{17}}
\newlabel{eqn:i_modsym}{{50}{17}}
\newlabel{eqn:i_diff}{{51}{17}}
\citation{mazur_special}
\citation{hpxh}
\citation{hpxh}
\citation{hpxh}
\newlabel{eqn:i_gammainv}{{52}{18}}
\newlabel{eqn:rho_indefint}{{53}{18}}
\newlabel{lemma:formulaforu}{{2.16}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}The action of complex conjugation and of $U_p$}{18}}
\newlabel{sec:cxconj}{{2.8}{18}}
\newlabel{prop:cxconj}{{2.17}{18}}
\citation{hpxh}
\newlabel{rem:narrow}{{2.19}{19}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Special values of zeta-functions}{19}}
\newlabel{sec:brumer_stark}{{3}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}The zeta function}{19}}
\newlabel{eqn:normalise_tau}{{54}{19}}
\citation{zagier}
\newlabel{eqn:zetaQreal}{{55}{20}}
\newlabel{eqn:partial_zeta}{{56}{20}}
\citation{apostol}
\newlabel{eqn:LKchi}{{58}{21}}
\newlabel{thm:main_ordp}{{3.1}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Values at negative integers}{21}}
\newlabel{sec:ordpzeta}{{3.2}{21}}
\newlabel{eqn:dlogalpha}{{59}{21}}
\newlabel{eqn:defF2}{{60}{21}}
\newlabel{eqn:defE2}{{61}{21}}
\citation{siegel_bernoulli}
\newlabel{e:fdef}{{63}{22}}
\newlabel{prop:valuer}{{3.2}{22}}
\citation{lang_ant}
\newlabel{eqn:perE2r}{{65}{23}}
\newlabel{eqn:fe1}{{66}{23}}
\newlabel{eqn:fe}{{67}{23}}
\newlabel{eqn:perE}{{68}{23}}
\citation{zagier}
\citation{coates_sinnott}
\citation{bdg}
\newlabel{eqn:zetavalue}{{69}{24}}
\newlabel{eqn:val0}{{70}{24}}
\newlabel{eqn:cor0}{{71}{24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}The $p$-adic valuation}{24}}
\newlabel{lemma:ordpint}{{3.3}{24}}
\newlabel{prop:splitordp}{{3.4}{25}}
\newlabel{cor:ordp}{{3.5}{25}}
\citation{wiles_brumer}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}The Brumer-Stark conjecture}{26}}
\newlabel{conj:bs}{{3.6}{26}}
\citation{gross1}
\citation{gross1}
\newlabel{eqn:iota}{{76}{27}}
\newlabel{eqn:iotacinfty}{{77}{27}}
\newlabel{eqn:cinfty}{{78}{27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Connection with the Gross-Stark conjecture}{27}}
\newlabel{sec:gross_stark}{{3.5}{27}}
\newlabel{eqn:interpolzetap}{{79}{27}}
\citation{gross1}
\citation{gross1}
\newlabel{eqn:klfpp}{{80}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {4}A Kronecker limit formula}{28}}
\newlabel{sec:kronecker}{{4}{28}}
\newlabel{thm:KLFp}{{4.1}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Measures associated to Eisenstein series }{28}}
\newlabel{sec:measure}{{4.1}{28}}
\newlabel{thm:main}{{4.2}{29}}
\newlabel{e:intf}{{81}{29}}
\newlabel{lemma:pushforward}{{4.4}{29}}
\newlabel{e:mulifts}{{82}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Construction of the $p$-adic $L$-function}{30}}
\newlabel{lemma:padicL}{{4.5}{30}}
\newlabel{eqn:interps}{{83}{30}}
\newlabel{lemma:zetapprime}{{4.6}{30}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}An explicit splitting of a two-cocycle}{31}}
\newlabel{prop:splitlogp}{{4.7}{31}}
\citation{Fuk}
\citation{hal}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Generalized Dedekind Sums}{32}}
\newlabel{sec:gended}{{4.4}{32}}
\newlabel{e:aeform}{{87}{32}}
\newlabel{e:aeform2}{{88}{32}}
\newlabel{e:aeform3}{{89}{33}}
\newlabel{e:afsum}{{91}{33}}
\citation{Hida}
\citation{Hida}
\newlabel{e:intfval}{{92}{34}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Measures on $\@mathbb {Z}_p \times \@mathbb {Z}_p$}{34}}
\newlabel{l:nuxi}{{4.10}{34}}
\newlabel{e:nuxi}{{93}{34}}
\newlabel{e:inmdef}{{94}{34}}
\newlabel{l:mahler}{{4.11}{34}}
\newlabel{e:rterm}{{95}{35}}
\newlabel{e:ut}{{96}{35}}
\newlabel{e:vb}{{97}{35}}
\newlabel{e:huvdef}{{98}{35}}
\newlabel{e:huvdef2}{{99}{35}}
\citation{Hida}
\newlabel{e:vterm}{{101}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}A partial modular symbol of measures on $\@mathbb {Z}_p \times \@mathbb {Z}_p$}{37}}
\newlabel{l:intf}{{4.13}{37}}
\newlabel{e:nudef}{{102}{37}}
\newlabel{e:intinv}{{103}{38}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7}{From} $\@mathbb {Z}_p \times \@mathbb {Z}_p$ to $\@mathbb {X}$}{38}}
\newlabel{l:intfs}{{4.14}{38}}
\newlabel{e:dlim1}{{104}{39}}
\newlabel{e:dlim2}{{105}{39}}
\newlabel{e:dedlim}{{106}{39}}
\newlabel{e:dedinv}{{107}{39}}
\citation{Young}
\citation{hal}
\newlabel{e:xinzp}{{108}{40}}
\newlabel{e:xnizp}{{109}{40}}
\newlabel{e:type1}{{110}{40}}
\newlabel{e:type2}{{111}{40}}
\newlabel{l:nuonx}{{4.16}{41}}
\newlabel{e:intgzp}{{112}{41}}
\newlabel{e:intpx}{{113}{41}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8}The measures $\mu $ and $\Gamma $-invariance}{41}}
\bibcite{apostol}{Ap}
\bibcite{bd_millenium}{BD1}
\newlabel{e:pacts}{{114}{42}}
\newlabel{e:pact1}{{115}{42}}
\newlabel{e:pact2}{{116}{42}}
\bibcite{bdg}{BDG}
\bibcite{coates_sinnott}{CS}
\bibcite{hpxh}{Dar1}
\bibcite{cbms}{Dar2}
\bibcite{dasgupta_thesis}{Das1}
\bibcite{dasgupta_compute}{Das2}
\bibcite{dasgupta_uniformisation}{Das3}
\bibcite{ds1}{deS1}
\bibcite{ds2}{deS2}
\bibcite{Fuk}{Fuk}
\bibcite{gross1}{Gr1}
\bibcite{gross2}{Gr2}
\bibcite{greenberg_stevens}{GS}
\bibcite{gvdp}{GvdP}
\bibcite{hal}{Hal}
\bibcite{Hida}{Hida}
\bibcite{kubert_lang}{KL}
\bibcite{lang_ant}{La}
\bibcite{manin}{Man}
\bibcite{mazur_special}{Maz}
\bibcite{mennicke}{Me}
\bibcite{serre_trees}{Se1}
\bibcite{serre_congruence}{Se2}
\bibcite{siegel}{Sie1}
\bibcite{siegel_bernoulli}{Sie2}
\bibcite{stevens}{Ste}
\bibcite{wiles_brumer}{Wi}
\bibcite{Young}{You}
\bibcite{zagier}{Za}