 base field (cf. after). One of the aims of this note is to show that, for function fields in positive characteristic, even a weak form of this is false.

Usually, when one wants to prove a theorem on the arithmetic of rational (algebraic) points of varieties over global fields, the situation is more favorable in the function fields case. This is principally due to the fact that, over these fields, an horizontal derivation is available (there is a non trivial derivation over the base field). This is why many statements which are conjectural over varieties over number fields are proved in the analogous situation over function fields. Consequently, it is widely believed that a conjecture in this theory should be checked before over function fields and then, once the proof is well understood there, one should try to attack it for varieties over number fields. We want to show, mainly by examples, that some part of height theory seems to better behave over number fields then over function fields. This, again, is due to the existence of the so called isotrivial varieties (the analogous of which do not seem to exist over number fields).

In the last part of this paper we will construct explicit examples of surfaces over a function field of positive characteristic which are of general type, are not birational to isotrivial surfaces and which are dominated by a surface defined over the base field. These surfaces will provide counterexamples to statements similar to Lang and Vojta conjectures.

The fact that part the analogy is broken by the existence of isotrivial varieties is, in our opinion, a very important issue which should be analyzed more deeply. A better comprehension of it would probably improve aspects of the analogy and will lead to a development of the common language. This will allow to perhaps better formulate the leading conjectures of the theory.

This note is based on the talk I gave at the “Terzo incontro italiano di teoria dei numeri” held in Pisa in september 2015. I would warmly thank the organizers, in particolar Andrea Bandini and Ilaria Del Corso for the perfect organization of the meeting and for the possibility they gave to me to give a talk.

Notations, terminology
======================

In the sequel $K$ will be a global field. Thus $K$ may be either a number field or the field of rational function of a smooth projective curve $B$ over the complex numbers or the field of rational functions of a smooth projective curve over an algebraically closed field
base field (cf. after). One of the aim of this bill is to show that, for function fields in plus characteristic, even a weak shape of this is fake. 

 Usually, when one wants to prove a theorem on the arithmetic of rational (algebraic) compass point of varieties over ball-shaped fields, the situation is more favorable in the function fields case. This is principally ascribable to the fact that, over these fields, an horizontal derivation is available (there is a non superficial derivation over the base plain). This is why many statements which are conjectural over assortment over number fields are proved in the analogous situation over function field. Consequently, it is widely believed that a conjecture in this theory should be check before over function fields and then, once the proof is well understood there, one should try to attack it for varieties over number fields. We desire to prove, mainly by exemplar, that some character of height theory seems to better behave over number fields then over affair fields. This, again, is due to the existence of the so called isotrivial varieties (the analogous of which do not appear to exist over number fields). 

 In the last part of this newspaper we will construct denotative example of surfaces over a function field of positive characteristic which are of general type, are not birational to isotrivial surface and which are dominated by a surface defined over the base playing field. These surfaces will put up counterexamples to statements alike to Lang and Vojta conjectures. 

 The fact that region the analogy is violate by the existence of isotrivial variety is, in our opinion, a very important offspring which should be analyzed more profoundly. A better comprehension of it would probably better aspects of the analogy and will lead to a development of the common speech. This will allow to perhaps well formulate the leading conjectures of the theory. 

 This note is based on the lecture I gave at the “ Terzo incontro italiano di teoria dei numeri ” held in Pisa in september 2015. I would warmly thank the organizers, in particolar Andrea Bandini and Ilaria Del Corso for the perfect organization of the meeting and for the possibility they hold to me to give a talk. 

 Notations, terminology 
 = = = = = = = = = = = = = = = = = = = = = = 

 In the sequel $ K$ will be a global field. Thus $ K$ may be either a number battlefield or the field of rational function of a placid projective curve $ B$ over the complex numbers or the field of rational functions of a placid projective curve over an algebraically closed field
 bade field (cf. after). One of the aims of thnw note is to show thxt, for function fields in podirive xharacteristic, even a deak form of this is halse.

Usually, whei one wakcs to irove e theorem on thg arithmetic of rational (angdbxaic) points of varieties over global fields, tje situation if moge favkganle in the function fields case. Fhis is principally cue to the fact that, over hhesf fields, an horizojtal derivajjon us available (there is a non triviam derivation over the base fiela). Thix is why mqnt shdtements whmch arv conjectural over vasieties over number flelds arw proved in the analojous situation over sunction xizlds. Consequently, it us wideny baliexwd ghau a cknjectkre in this tgeory shoule be checked before odvt function fjelds wnq then, once the proof is well understoog tgere, one should try to qttack it for varietigs over nuiber fields. We want to show, mainly by examples, thdt sojd pcvb of yelght theory seems to better behave over numbew foekds then over nunction fields. Thos, abwin, is due to the erjsfence of the so capled isjtrivual varieuies (yhe analogous of which do nit seem to eqist over number fieldd).

In the lasc part of tnis paper we will constxuct esplicit exalples of ajrfaces over a fjncnion field of positive charactqristic wiich cre of gdnersl typq, are not hiratlmnal to isotrivial surfcces dnd which wre dominated by a surface defiixd over the bssa fpeld. Thesz surfsces will prodide counterexcmples tj stagements sijilar tm Lang and Dojta conjectgtes.

The fact tiat part ehe qnaligy is cfoken by the ecistence of isotrivual varieties is, ik our kpinion, a very nokoetant issue whoch shjupd bq analyzed mose ddepuu. A bdtter comprchevsiom of it would probabny ijprove aspects of yhc analogy and wilj lead to a drvelopment of the fommoi langnage. Tnis will allow to perhaps better rormulate thc leading contectmres of the thzory.

This note is based on the talk I gavx at the “Terzo incontro italiano di teoria cei numeri” ield ig Pisa in september 2015. I would qarmly thank the prganizers, in particomar Angrea Handini and Ilaria Del Corso for the perfect organization of the meeting qnd foc ehe possibimity they gcve to me to jite a talk.

Notationx, terminology
======================

In the sequel $K$ wiul be a cljbal field. Thus $K$ may be eitnef a number figld or the field of rationzl functoon of a smooth projective curvr $B$ over the complex numners or tye fisld of ratmonal functions of a smootk projwctive xurvc over an algecraocwlly closfd fmelb
base field (cf. after). One of the this is to that, for function a form of this false. Usually, when wants to prove a theorem on arithmetic of rational (algebraic) points of varieties over global fields, the situation is favorable in the function fields case. This is principally due to the fact over fields, horizontal is available (there is a non trivial derivation over the base field). This is why many which are conjectural over varieties over number fields proved in the analogous over function fields. Consequently, it widely that a in theory be checked before function fields and then, once the proof is well understood there, one should try to attack it varieties over We want show, by that some part theory seems to better behave over over function fields. This, again, is due to existence of so called isotrivial varieties (the analogous which do not seem to exist over number In the last part of this paper we will construct explicit examples of surfaces over field of positive characteristic are of general are birational isotrivial and which dominated by a surface defined over the base field. These surfaces provide counterexamples to statements similar to Lang and Vojta conjectures. that the analogy is by the existence of varieties in our opinion, a issue should deeply. better of it would probably aspects of the analogy and lead to a development will allow to perhaps better formulate the leading of the theory. This note is based the talk I gave at the “Terzo incontro italiano di teoria dei held in september 2015. I would warmly thank the organizers, particolar Andrea Bandini and Del Corso for the perfect organization of the meeting for possibility they to me to a talk. Notations, ====================== In the will be global Thus either a number field or the of function of a smooth projective $B$ complex numbers or the field of rational functions of a smooth projective curve over an field
 base field (cf. after). One of the aIms of this nOte is To sHow ThAt, foR funCtion fields in pOSitiVe characteristic, even a wEak foRm OF thiS Is False.

usually, WHeN ONe wAnTs To pRoVE a TheorEm oN the ariThmetic of rAtiOnAl (algebraic) pOInTs of varietIes Over global fiEldS, the siTuAtiON is moRe fAvoraBle in tHE functIon fields CaSE. This iS PrincipALLy Due tO the fact that, over tHEsE Fields, an horizoNtal deRiVAtION is AvaIlable (therE iS a non TRivial dERiVATIon OVer the base fieLd). This is why MAny StatemEnTs wHIch are ConjeCtURal Over varietiEs ovEr number fIelds aRE proved IN the anaLogous SitUatIon oVEr FuNctIoN FieLDs. conSEquEntly, it iS wIdEly beLievED THAt a cOnjEctuRe in tHis theory shouLd bE cheCKed BeforE over FuncTiOn fieLds and Then, oNcE the proof is well UndeRstood theRe, oNe ShoUlD try tO Attack It fOr vArietieS over nuMBer FiELDS. WE want to show, mainly bY eXAMpLes, that sOme parT Of HeIGht theorY sEemS to bETTer beHave OVeR number fIelds tHEn OvEr functIoN fieldS. THis, AgaIn, is dUE to tHe exisTence of tHe so cALled isotrivial VArieties (the anALoGOUs OF whiCh dO not seem to eXist OVer nUmbeR FiEldS).

in the Last pArT Of THis paper we will constRuCt explIcit eXamples of surfAces over a fUNCTion fielD of pOSiTIve characterisTic whIch are of geNEral type, Are noT biratioNal to isotRIVial surfAceS anD whIch ARE dOminated by a suRFAce dEfIned oveR thE base fiEld. theSe sUrfAcEs will proVide counTeReXaMpLes To staTEments siMiLar To lanG and VOJta conJectuRes.

THe FaCT thAt part tHE aNALogy Is BrOken By tHe ExistEnce OF isOtriviaL varietieS is, IN our OpInIon, a verY important issUe Which shoulD bE anAlyzed MORe deeply. a better comprehension of iT Would prObaBly imProvE aspects oF thE analoGy aND will lEad to a DevelOpMenT OF the cOMMoN laNgUage. This wiLL AllOw to pErHaps Better fOrmulate the leading COnjEctures of the tHeoRy.

ThIS NoTe iS BaSEd oN tHE taLK i gave at the “Terzo Incontro itAlIAnO di teoria dEI nuMeRi” held iN Pisa in SepteMBer 2015. I wouLd warmly tHank the orGaNizeRS, In pArticolar ANdrea BanDini and IlARia DeL coRso foR thE perfeCt OrgAnizaTion of THe mEetinG and foR tHe possIbiliTy They gave To me to give a talk.

NotationS, termiNologY
======================

In The sequel $k$ wiLL be A global fiEld. THus $K$ may be eIthEr a NumbeR fiELd or tHe fiELd Of rATionaL funCTion of a smOOtH prOJEcTive curve $B$ oVER The ComplEx nUMbers oR the Field of rational fuNCtions of a smootH proJECtiVe cURve oVeR an algebraicalLy cLoSED field
 base field (cf. after). O ne of theaimsofthi snote  isto show that,f or f unction fields in posi tivech a ract e ri stic,  even a we a k  fo rm  o f t hi s  i s fal se. 

Usual ly, when o newa nts to prove atheorem on  th e arithmetic  of  ratio na l ( a lgebr aic ) poi nts of variet ies overgl o bal fi e lds, th e si tuat ion is more favor a bl e  in the functi on fie ld s  c a s e.Thi s is princ ip allyd ue to t h ef a c t t h at, over thes e fields, a n  ho rizont al  de r ivatio n isav a ila ble (thereis a  non triv ial de r ivation over th e base  fi eld ). T h is  i s w hy man y  s tat e men ts which  a re  conj ectu r a l over  va riet ies o ver number fi eld s ar e  pr ovedin th e an al ogous  situa tionov er function fie lds.  Conseque ntl y,  it  i s wid e ly bel iev edthat aconject u rein t h is  theory should bech e c ke d before  overf un ct i on field sand  the n ,  once  the pr oof is w ell un d er st ood the re , onesh oul d t ry to atta ck itfor vari eties over number fi e lds. We wantt os h ow ,  mai nly  by example s, t h at s omep ar t o f  heig ht th eo r ys eems to better beha ve  overnumbe r fields then  over func t i o n fields . Th i s, again, is dueto th e existenc e  of theso ca lled iso trivial v a r ieties ( the  an alo gou s of  which do not s eemto  existove r numbe r f iel ds) .
In  the last  part of  t hi spa per  we w i ll const ru ctex pli cit e x amples  of s urfa ce so ver  a func t io n fiel dof  pos iti ve  char acte r ist ic whic h are ofgen e ralty pe , are n ot birational  t o isotrivi al  su rfaces a nd which  are dominated by a sur f ace def ine d ove r th e base fi eld . Thes e s u rfaces  willprovi de  co u n terex a m pl esto  statement s sim ilarto  Lan g and V ojta conjectures.The  fact that pa rtthea n al ogy is bro ke n  by t he existence of  isotrivia lv ar ieties is, inou r opini on, a v ery i m portant  issue wh ich shoul dbe a n a lyz ed more de eply. Abetter co m prehe n si on of  it  would  p rob ablyimprov e  as pects  of th eanalog y and  w ill lead  to a development of th e comm on la ngu age. This  wi l l a llow to p erha ps betterfor mul ate t hel eadin g co n je ctu r es of  the theory.
T hi s n o t eis based on t h e t alk I  ga v e at t he “ Terzo incontro it a liano di teori a de i num eri ”  hel din Pisa in sep tem be r 2015. Iwo uld warmlythank th eo rgani zers,in par ticolar A nd r ea Ban dini  an d IlariaDel  C o rso for  t he perfec t or ga nizati on oft he m e e ting and for the  poss i b ility the y gav eto me t o  giv e a talk.
Notations,  termi nolo gy
== ======= == ====== === == 

In the s e quel $K$willbe a gl ob al f iel d. Thu s $K $ may b e ei th era numberf i el d  o rt hefiel d ofra tion al functi o n of a s moo t h proje ct ive c urve $ B $o v er the com ple x num b e rs or thef ield of ratio nal fu nction s of as moo th  projec tiv e curve ove r an alge b rai ca llyclosed f ie ld
 base_field (cf._after). One of the_aims of_this_note is_to_show that, for_function fields in_positive characteristic, even a_weak form of_this_is false.

Usually, when one wants to prove a theorem on the arithmetic of rational_(algebraic)_points of_varieties_over_global fields, the situation is_more favorable in the function_fields case._This is principally due to the fact that,_over_these fields, an_horizontal derivation is available (there is a non trivial_derivation over the base field). This_is why many_statements_which_are conjectural over varieties_over number fields are proved in_the analogous situation over function fields._Consequently, it is widely believed that a_conjecture in this theory should be_checked before over function fields_and then,_once the proof is well_understood there, one_should try_to attack it_for varieties over number fields. We_want to show,_mainly by examples, that some part_of_height theory seems_to_better_behave over_number fields then_over_function fields._This,_again, is due to the existence_of_the so called isotrivial varieties (the analogous_of which do not_seem_to exist over number_fields).

In the last part of_this paper we will construct explicit_examples of_surfaces over_a function field of positive characteristic which are of general type,_are not birational to isotrivial surfaces_and which are dominated_by a_surface_defined over the_base_field. These_surfaces will provide counterexamples to statements similar_to Lang_and Vojta conjectures.

The fact that part_the analogy is broken_by_the existence of isotrivial varieties is,_in our opinion, a very important_issue which should be analyzed_more_deeply._A better comprehension of it_would probably improve aspects of the_analogy and will_lead to a development of the common_language._This will allow to perhaps better_formulate_the leading conjectures of the theory.

This_note_is_based on the talk I_gave at the “Terzo incontro italiano_di teoria dei numeri” held in Pisa in september_2015. I would_warmly thank the organizers, in_particolar_Andrea_Bandini and Ilaria Del Corso for the perfect organization of_the meeting_and for the_possibility they gave to me to give a talk.

Notations, terminology
======================

In_the sequel $K$ will be a global_field. Thus $K$ may be either a number field or the_field of rational function of a smooth projective_curve $B$ over the complex numbers or_the field of rational_functions_of a smooth projective curve over an_algebraically_closed_field