欢迎来到天天文库
浏览记录
ID:14308091
大小:1.18 MB
页数:143页
时间:2018-07-27
《introduction to algebraic geometry - dolgachev》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、Systemsofalgebraicequations1Lecture1.SYSTEMSOFALGEBRAICEQUATIONSThemainobjectsofstudyinalgebraicgeometryaresystemsofalgebraicequationsandtheirsetsofsolutions.Letkbeaeldandk[T;:::;T]=k[T]bethealgebraofpolynomialsinn1nvariablesoverk.Asystemofalgebraicequationsoverkisanexp
2、ressionfF=0gF2SwhereSisasubsetofk[T].WeshalloftenidentifyitwiththesubsetS.nLetKbeaeldextensionofk.AsolutionofSinKisavector(x;:::;x)2Ksuchthat1nforallF2SF(x;:::;x)=0:1nLetSol(S;K)denotethesetofsolutionsofSinK.LettingKvary,wegetdierentsetsofnsolutions,eachasubsetofK.Fore
3、xample,letS=fF(T;T)=0g:12beasystemconsistingofoneequationintwovariables.Then2Sol(S;Q)isasubsetofQanditsstudybelongstonumbertheory.ForexampleoneofthemostbeautifulresultsofthetheoryistheMordellTheorem(untilveryrecentlytheMordellConjecture)whichgivesconditionsfornitenessof
4、thesetSol(S;Q):2Sol(S;R)isasubsetofRstudiedintopologyandanalysis.Itisaunionofanitesetand2analgebraiccurve,orthewholeR,orempty.Sol(S;C)isaRiemannsurfaceoritsdegenerationstudiedincomplexanalysisandtopology.Allthesesetsaredierentincarnationsofthesameobject,ananealgebraic
5、varietyoverkstudiedinalgebraicgeometry.OnecangeneralizethenotionofasolutionofasystemofequationsbyallowingKtobeanycommutativek-algebra.RecallthatthismeansthatKisacommutativeunitaryringequippedwithastructureofvectorspaceoverksothatthemultiplicationlawinKisabilinearmapKK!K
6、.Themapk!Kdenedbysendinga2ktoa1isanisomorphismfromktoasubeldofKisomorphictoksowecanandwewillidentifykwithasubeldofK.ThesolutionsetsSol(S;K)arerelatedtoeachotherinthefollowingway.Let:K!Lbeahomomorphismofk-algebras,i.eahomomorphismofringswhichisidenticalonk.Wecannnne
7、xtendittothehomomorphismofthedirectproducts:K!L.Thenweobtainforanya=(a;:::;a)2Sol(S;K),1nn(a):=((a);:::;(a))2Sol(S;L):1nThisimmediatelyfollowsfromthedenitionofahomomorphismofk-algebras(checkit!).Letsol(S;):Sol(S;K)!Sol(S;L)12Lecture1bethecorrespondingmapofthesolut
8、ionsets.Thefollowingpropertiesareimmediate:(i)sol(S;id)=id;whereiddenotestheidentitymapofasetA;KASol(S;
此文档下载收益归作者所有