\relax \citation{sa1} \citation{ilk} \citation{fr1} \citation{fr2} \citation{ma3} \citation{lm} \citation{ma3} \citation{ma4} \citation{ml} \@writefile{toc}{\contentsline {chapter}{Foreword}{ix}} \@writefile{toc}{\contentsline {chapter}{Notation}{xi}} \citation{noe} \citation{hi} \citation{ga} \citation{coh} \citation{se9} \citation{mae} \@writefile{toc}{\contentsline {chapter}{Introduction}{xiii}} \citation{sw1} \citation{le} \citation{sa2} \citation{sa1} \newlabel{thm:krasner}{{2}{xiv}} \citation{wa} \citation{ek} \citation{ct} \citation{shih1} \citation{shih2} \citation{hi} \citation{vi} \citation{me2} \citation{th2} \@writefile{toc}{\contentsline {chapter}{\numberline {1}Examples in low degree}{1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {1.1}The groups ${\bf Z}/2{\bf Z}$, ${\bf Z}/3{\bf Z}$, and $S_3$}{1}} \@writefile{toc}{\contentsline {section}{\numberline {1.2}The group $C_4$}{2}} \newlabel{thm:criterion4}{{1.2.1}{2}} \newlabel{lemma:c4cohom}{{1.2.2}{2}} \citation{se1} \newlabel{eqn:*}{{1.2}{3}} \newlabel{thm:criterioninchar2}{{1.2.3}{3}} \citation{se6} \newlabel{thm:embed4}{{1.2.4}{4}} \citation{cr} \@writefile{toc}{\contentsline {section}{\numberline {1.3}Application of tori to abelian \hfil \penalty -\@M Galois groups of exponent $2,3,4,6$ }{6}} \citation{vo2} \citation{re} \citation{sha1} \citation{is} \citation{sha3} \citation{ilk} \@writefile{toc}{\contentsline {chapter}{\numberline {2}Nilpotent and solvable groups as Galois groups over ${\bf Q}$}{9}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {2.1}A theorem of Scholz-Reichardt}{9}} \newlabel{thm:scholz}{{2.1.1}{9}} \newlabel{def:scholzprop}{{2.1.2}{10}} \newlabel{thm:scholz2}{{2.1.3}{10}} \citation{se7} \newlabel{prop:tatelemma}{{2.1.7}{13}} \newlabel{lemma:disjoint}{{2.1.9}{14}} \citation{ne} \citation{hu} \@writefile{toc}{\contentsline {section}{\numberline {2.2}The Frattini subgroup of a finite group}{16}} \newlabel{prop:fratnilp}{{2.2.2}{16}} \citation{sha2} \citation{is} \newlabel{prop:structsolv}{{2.2.4}{17}} \newlabel{claim:ishanov}{{2.2.5}{17}} \citation{se2} \citation{cts1} \citation{l1} \@writefile{toc}{\contentsline {chapter}{\numberline {3}Hilbert's irreducibility theorem}{19}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {3.1}The Hilbert property}{19}} \citation{we} \citation{oe} \@writefile{toc}{\contentsline {section}{\numberline {3.2}Properties of thin sets}{21}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Extension of scalars}{21}} \newlabel{section:extensionofscalars}{{3.2.1}{21}} \newlabel{prop:extensionofscalars}{{3.2.1}{21}} \citation{ku} \citation{jou} \citation{ha} \citation{de2} \citation{z} \newlabel{cor:finexthilb}{{3.2.2}{22}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Intersections with linear subvarieties}{22}} \newlabel{prop:bertini}{{3.2.3}{22}} \newlabel{cor:projectivespacehilb}{{3.2.4}{22}} \@writefile{toc}{\contentsline {section}{\numberline {3.3}Irreducibility theorem and thin sets}{23}} \newlabel{sec:irrp}{{3.3}{23}} \newlabel{prop:irreducibility}{{3.3.1}{23}} \newlabel{cor:gexists}{{3.3.2}{23}} \newlabel{prop:infmanyext}{{3.3.3}{23}} \citation{hi} \citation{hi} \citation{l1} \@writefile{toc}{\contentsline {section}{\numberline {3.4}Hilbert's irreducibility theorem}{25}} \newlabel{section:hilbertirreducibility}{{3.4}{25}} \citation{l1} \citation{se9} \citation{l1} \citation{l1} \citation{se9} \newlabel{prop:sunits}{{3.4.3}{26}} \citation{coh} \citation{se9} \citation{se9} \citation{schm} \newlabel{thm:cohen}{{3.4.4}{27}} \@writefile{toc}{\contentsline {section}{\numberline {3.5}Hilbert property and weak approximation}{27}} \newlabel{sec:hilb_prop_and_wap}{{3.5}{27}} \newlabel{prop:proposition1}{{3.5.1}{28}} \newlabel{prop:proposition2}{{3.5.2}{28}} \newlabel{thm:thinprop}{{3.5.3}{28}} \citation{vo1} \citation{cts1} \citation{ek} \citation{ct} \citation{ct} \citation{cts2} \citation{bo} \newlabel{conj:wwagalprop}{{3.5.8}{30}} \@writefile{toc}{\contentsline {section}{\numberline {3.6}Proofs of prop.\ \ref {prop:proposition1} and \ref {prop:proposition2}}{30}} \newlabel{sec:proofs}{{3.6}{30}} \newlabel{thm:langweil}{{3.6.1}{30}} \newlabel{thm:boundonsingularfibre}{{3.6.2}{31}} \newlabel{thm:densitypap}{{3.6.3}{33}} \newlabel{thm:thinsetpap}{{3.6.4}{33}} \citation{jou} \@writefile{toc}{\contentsline {chapter}{\numberline {4}Galois extensions of Q(T): first examples }{35}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {4.1}The property Gal$_T$}{35}} \newlabel{conj:galt}{{4.1.1}{35}} \citation{ma3} \@writefile{toc}{\contentsline {section}{\numberline {4.2}Abelian groups}{36}} \newlabel{sec:abelian_groups}{{4.2}{36}} \newlabel{prop:galtab}{{4.2.1}{36}} \newlabel{prop:embedding_pb_tori}{{4.2.2}{37}} \newlabel{lemma:Y_is_Q_rational}{{4.2.3}{37}} \@writefile{toc}{\contentsline {section}{\numberline {4.3}Example: the quaternion group $Q_8$}{38}} \newlabel{lemma:E_is_trivial}{{4.3.1}{38}} \newlabel{eqn:stableiso}{{4.3.2}{38}} \citation{jy} \citation{hi} \@writefile{toc}{\contentsline {section}{\numberline {4.4}Symmetric groups}{39}} \newlabel{sec:galtsymgroup}{{4.4}{39}} \newlabel{thm:morsesn}{{4.4.1}{39}} \newlabel{lemma:factsn1}{{4.4.2}{39}} \citation{hu} \newlabel{lemma:factsn2}{{4.4.3}{40}} \newlabel{lemma:factsn3}{{4.4.4}{40}} \citation{wi} \citation{ab} \citation{ab2} \citation{se11} \newlabel{thm:morsesngeneral}{{4.4.5}{41}} \newlabel{prop:raminfty}{{4.4.6}{41}} \citation{sel} \citation{ma4} \@writefile{toc}{\contentsline {section}{\numberline {4.5}The alternating group $A_n$}{43}} \newlabel{sec:alt_grp}{{4.5}{43}} \citation{hi} \@writefile{toc}{\contentsline {section}{\numberline {4.6}Finding good specializations of $T$}{44}} \citation{j2} \citation{j2} \newlabel{lemma:jordan}{{4.6.1}{45}} \citation{shih1} \citation{shih2} \citation{ml2} \@writefile{toc}{\contentsline {chapter}{\numberline {5}Galois extensions of Q(T) given by torsion on elliptic curves}{47}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {5.1}Statement of Shih's theorem}{47}} \newlabel{sec:shih}{{5.1}{47}} \newlabel{thm:shih}{{5.1.1}{47}} \@writefile{toc}{\contentsline {section}{\numberline {5.2}An auxiliary construction}{48}} \citation{f} \newlabel{prop:char}{{5.2.1}{49}} \newlabel{cor:char}{{5.2.2}{49}} \@writefile{toc}{\contentsline {section}{\numberline {5.3}Proof of Shih's theorem}{49}} \newlabel{sec:shih_proof}{{5.3}{49}} \citation{shih1} \newlabel{prop:xon}{{5.3.1}{50}} \@writefile{toc}{\contentsline {section}{\numberline {5.4}A complement}{52}} \newlabel{prop:hilbelliptic}{{5.4.1}{52}} \citation{ma3} \citation{pr} \citation{me1} \citation{me2} \@writefile{toc}{\contentsline {section}{\numberline {5.5}Further results on ${\rm {\bf PSL}}_2({\bf F}_q)$ and ${\rm {\bf SL}}_2({\bf F}_q)$ as Galois groups}{53}} \citation{se4} \citation{sga1} \@writefile{toc}{\contentsline {chapter}{\numberline {6}Galois extensions of C(T)}{55}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {6.1}The GAGA principle}{55}} \newlabel{thm:gaga}{{6.1.1}{55}} \citation{fo} \citation{gh} \citation{sga1} \citation{gr} \newlabel{thm:kodaira}{{6.1.3}{56}} \@writefile{toc}{\contentsline {section}{\numberline {6.2}Coverings of Riemann surfaces}{57}} \@writefile{toc}{\contentsline {section}{\numberline {6.3}From ${\bf C}$ to ${\mathaccent "7016\relax {\bf Q}}$}{57}} \newlabel{sec:top_to_alg}{{6.3}{57}} \citation{sga1} \newlabel{thm:algtop}{{6.3.1}{58}} \newlabel{thm:fieldchange}{{6.3.3}{59}} \citation{bor} \@writefile{toc}{\contentsline {section}{\numberline {6.4}Appendix: universal ramified coverings of Riemann surfaces with signature}{60}} \newlabel{thm:univcovsig}{{6.4.1}{60}} \citation{fo} \newlabel{thm:classification}{{6.4.3}{62}} \citation{shim} \citation{sie} \@writefile{toc}{\contentsline {chapter}{\numberline {7}Rigidity and rationality on finite groups}{65}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {7.1}Rationality}{65}} \newlabel{sec:rationality}{{7.1}{65}} \citation{de1} \citation{th1} \newlabel{prop:rat_inertia}{{7.1.2}{66}} \@writefile{toc}{\contentsline {section}{\numberline {7.2}Counting solutions of equations in finite groups}{67}} \newlabel{sec:count_sol}{{7.2}{67}} \newlabel{eqn:c1}{{7.1}{67}} \newlabel{eqn:c2}{{7.2}{68}} \newlabel{thm:countm}{{7.2.1}{68}} \citation{atlas} \@writefile{toc}{\contentsline {section}{\numberline {7.3}Rigidity of a family of conjugacy classes}{70}} \newlabel{sec:rigidity_of_family}{{7.3}{70}} \newlabel{eqn:compute_omega_prime}{{7.3}{70}} \newlabel{clm:order_zn}{{7.3.1}{71}} \newlabel{prop:theta}{{7.3.3}{71}} \citation{ma3} \@writefile{toc}{\contentsline {section}{\numberline {7.4}Examples of rigidity}{72}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.1}The symmetric group $S_n$}{72}} \newlabel{sec:rigid_sn}{{7.4.1}{72}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.2}The alternating group $A_5$}{73}} \newlabel{sec:rigid_a5}{{7.4.2}{73}} \newlabel{prop:rigid_a5}{{7.4.1}{73}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.3}The groups ${\rm {\bf PSL}}_2({\bf F}_p)$}{74}} \newlabel{prop:rigid_psl2p}{{7.4.3}{74}} \citation{atlas} \citation{atlas} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.4}The group ${\rm {\bf SL}}_2({\bf F}_8)$}{75}} \newlabel{sec:rigid_sl2f8}{{7.4.4}{75}} \newlabel{prop:rigid_sl2_f8}{{7.4.5}{75}} \citation{atlas} \citation{ho} \citation{atlas} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.5}The Janko group $J_1$}{77}} \citation{atlas} \citation{ho} \citation{atlas} \citation{hunt} \citation{ma3} \citation{th2} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.6}The Hall-Janko group $J_2$ }{78}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.4.7}The Fischer-Griess Monster $M$}{78}} \newlabel{sec:rigid_monster}{{7.4.7}{78}} \citation{ma3} \citation{se8} \@writefile{toc}{\contentsline {chapter}{\numberline {8}Construction of Galois extensions of Q(T) \hfil \penalty -\@M by the rigidity method}{81}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {8.1}The main theorem}{81}} \newlabel{thm:main}{{8.1.1}{81}} \newlabel{eqn:es}{{8.1}{81}} \citation{se3} \@writefile{toc}{\contentsline {section}{\numberline {8.2}Two variants}{83}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}First variant}{83}} \citation{be2} \citation{ml} \newlabel{thm:main1}{{8.2.1}{84}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2.2}Second variant}{84}} \newlabel{thm:main2}{{8.2.2}{84}} \citation{fr1} \citation{ma3} \citation{ma3} \citation{se5} \@writefile{toc}{\contentsline {section}{\numberline {8.3}Examples}{85}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}The symmetric group $S_n$}{85}} \newlabel{subsec:sn}{{8.3.1}{85}} \citation{anvers} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3.2}The alternating group $A_5$}{86}} \newlabel{subsec:a5}{{8.3.2}{86}} \newlabel{sec:rig_cov_a5}{{8.3.2}{86}} \citation{anvers} \citation{anvers} \citation{he} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3.3}The group ${\rm {\bf PSL}}_2({\bf F}_p)$}{87}} \newlabel{sec:rig_cov_psl2p}{{8.3.3}{87}} \citation{hunt} \citation{ma3} \citation{pa} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3.4}The ${\rm Gal}_T$ property for the smallest simple groups}{88}} \@writefile{toc}{\contentsline {section}{\numberline {8.4}Local properties}{88}} \newlabel{sec:local_prop}{{8.4}{88}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.4.1}Preliminaries}{88}} \citation{sa1} \citation{ra} \citation{bc} \newlabel{prop:krasner}{{8.4.1}{89}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.4.2}A problem on good reduction}{89}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.4.3}The real case}{90}} \newlabel{thm:cx1}{{8.4.2}{90}} \newlabel{cor:odd_dont_count}{{8.4.4}{91}} \newlabel{thm:cx2}{{8.4.5}{91}} \citation{kn} \citation{harb} \citation{ki} \citation{ko} \@writefile{toc}{\contentsline {subsection}{\numberline {8.4.4}The $p$-adic case: a theorem of Harbater}{93}} \@writefile{toc}{\contentsline {chapter}{\numberline {9}The form Tr(x$^2$) and its applications}{95}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {9.1}Preliminaries}{95}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}Galois cohomology (mod 2)}{95}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}Quadratic forms}{95}} \citation{sch} \citation{bl} \citation{sch} \newlabel{thm:springer}{{9.1.1}{96}} \newlabel{thm:milnor}{{9.1.2}{96}} \citation{rr} \newlabel{thm:harder}{{9.1.3}{97}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}Cohomology of $S_n$}{97}} \@writefile{toc}{\contentsline {section}{\numberline {9.2}The quadratic form ${\rm Tr\,}(x^2)$}{98}} \newlabel{thm:odd_const}{{9.2.1}{98}} \citation{se6} \citation{me2} \citation{vi} \newlabel{thm:trx2}{{9.2.2}{99}} \newlabel{cor:lift_an_tilde}{{9.2.3}{99}} \@writefile{toc}{\contentsline {section}{\numberline {9.3}Application to extensions with Galois \hfil \penalty -\@M group ${\mathaccent "707E\relax A_n}$}{99}} \newlabel{sec:trx2_antilde}{{9.3}{99}} \newlabel{thm:mestre}{{9.3.1}{99}} \newlabel{prop:generally_true}{{9.3.2}{100}} \citation{cre} \citation{schn} \@writefile{toc}{\contentsline {chapter}{\numberline {10}Appendix: the large sieve inequality}{103}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{toc}{\contentsline {section}{\numberline {10.1}Statement of the theorem}{103}} \newlabel{thm:largesieveinequality}{{10.1.1}{103}} \newlabel{cor:sieve}{{10.1.2}{103}} \citation{se9} \citation{mov} \citation{mo1} \@writefile{toc}{\contentsline {section}{\numberline {10.2}A lemma on finite groups}{105}} \newlabel{lemma:nonarchimedean}{{10.2.1}{105}} \@writefile{toc}{\contentsline {section}{\numberline {10.3}The Davenport-Halberstam theorem}{105}} \newlabel{thm:davenporthalberstam}{{10.3.1}{106}} \citation{mo2} \citation{se9} \@writefile{toc}{\contentsline {section}{\numberline {10.4}Combining the information}{107}} \newlabel{eqn:ineq1}{{10.1}{107}} \newlabel{eqn:ineq2}{{10.2}{107}} \citation{se10} \bibcite{ab}{Ab1} \bibcite{ab2}{Ab2} \bibcite{anvers}{ANVERS} \bibcite{atlas}{ATLAS} \bibcite{bc}{Bc} \bibcite{be1}{Be1} \bibcite{be2}{Be2} \bibcite{bl}{BL} \bibcite{bo}{Bo} \bibcite{bor}{Bor} \bibcite{coh}{Coh} \bibcite{ct}{CT} \@writefile{toc}{\contentsline {chapter}{Bibliography}{109}} \bibcite{cts1}{CTS1} \bibcite{cts2}{CTS2} \bibcite{cre}{Cr} \bibcite{cr}{CR} \bibcite{da}{Da} \bibcite{dd}{DD} \bibcite{de1}{De1} \bibcite{de2}{De2} \bibcite{ek}{Ek} \bibcite{f}{F} \bibcite{fo}{Fo} \bibcite{fr1}{Fr1} \bibcite{fr2}{Fr2} \bibcite{ga}{Ga} \bibcite{gh}{GH} \bibcite{gr}{GR} \bibcite{harb}{Harb} \bibcite{ha}{Ha} \bibcite{he}{He} \bibcite{hi}{Hi} \bibcite{ho}{Ho} \bibcite{hu}{Hu} \bibcite{hunt}{Hunt} \bibcite{ilk}{ILK} \bibcite{is}{Is} \bibcite{j1}{J1} \bibcite{j2}{J2} \bibcite{j3}{J3} \bibcite{jou}{Jou} \bibcite{jy}{JY} \bibcite{ki}{Ki} \bibcite{ko}{K\"o} \bibcite{kn}{KN} \bibcite{ku}{Ku} \bibcite{l1}{L} \bibcite{le}{Le} \bibcite{lm}{LM} \bibcite{mae}{Mae} \bibcite{ma1}{Ma1} \bibcite{ma2}{Ma2} \bibcite{ma3}{Ma3} \bibcite{ma4}{Ma4} \bibcite{me1}{Me1} \bibcite{me2}{Me2} \bibcite{ml}{Ml1} \bibcite{ml2}{Ml2} \bibcite{mo1}{Mo1} \bibcite{mo2}{Mo2} \bibcite{mov}{MoV} \bibcite{ne}{Ne} \bibcite{noe}{Noe} \bibcite{oe}{Oe} \bibcite{os}{Os} \bibcite{pa}{Pa} \bibcite{pr}{Pr} \bibcite{ra}{Ra} \bibcite{re}{Re} \bibcite{rr}{RR} \bibcite{sa1}{Sa1} \bibcite{sa2}{Sa2} \bibcite{sch}{Sch} \bibcite{schm}{Schm} \bibcite{schn}{Schn} \bibcite{se1}{Se1} \bibcite{se2}{Se2} \bibcite{se3}{Se3} \bibcite{se4}{Se4} \bibcite{se5}{Se5} \bibcite{se6}{Se6} \bibcite{se7}{Se7} \bibcite{se8}{Se8} \bibcite{se9}{Se9} \bibcite{se10}{Se10} \bibcite{se11}{Se11} \bibcite{sel}{Sel} \bibcite{sga1}{SGA1} \bibcite{sha1}{Sha1} \bibcite{sha2}{Sha2} \bibcite{sha3}{Sha3} \bibcite{shih1}{Shih1} \bibcite{shih2}{Shih2} \bibcite{shim}{Shim} \bibcite{sie}{Sie} \bibcite{sw1}{Sw1} \bibcite{sw2}{Sw2} \bibcite{th1}{Th1} \bibcite{th2}{Th2} \bibcite{th3}{Th3} \bibcite{vi}{Vi} \bibcite{vo1}{Vo1} \bibcite{vo2}{Vo2} \bibcite{wa}{Wa} \bibcite{we}{We} \bibcite{wi}{Wi} \bibcite{z}{Z} \@writefile{toc}{\contentsline {chapter}{Index}{117}}