资源描述:
《universal binary hermitian forms》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、MATHEMATICSOFCOMPUTATIONVolume66,Number219,July1997,Pages1161{1168S0025-5718(97)00860-0UNIVERSALBINARYHERMITIANFORMSA.G.EARNESTANDAZARKHOSRAVANIAbstract.Wewilldetermine(uptoequivalence)alloftheintegralpositivedeniteHermitianlatticesinimaginaryquadraticeldsofclassnumber1thatr
2、epresentallpositiveintegers.1.IntroductionThesearchforpositivedenitequaternaryintegralquadraticformswhichrepre-sentallpositiveintegershasalongandillustrioushistory,datingbacktoLagrange'sproofin1770thattheformx2+y2+z2+w2hasthisproperty.Suchformsarereferredtoasuniversalinthecon
3、temporaryliterature.Moregenerally,apositiveintegralquadraticformoveratotallyrealnumbereldissaidtobeuniversalifeverytotallypositiveintegeroftheeldisrepresentedbytheform.Whilenouni-versalpositivebinaryquadraticformsexist,Maass[8]showedthatthesumofthreepsquaresisuniversaloverQ(
4、5).In1994,Chan,KimandRaghavan[1]showedthatpppamongtherealquadraticelds,onlytheeldsQ(2),Q(3),andQ(5)admituniversalternaryclassicintegralquadraticforms;allsuchformsarelistedbytheauthors.Inthispaper,weconsidertheanalogousproblemofndinguniversalpositivedeniteHermitianforms.Itw
5、illbeshownthatoverallimaginaryquadraticelds,thereexistonlynitelymanyclassesofuniversalbinarypositivedeniteHermit-ianforms.Allsuchformswillbedeterminedfortheimaginaryquadraticeldspofclassnumber1;i.e.,theeldsQ(m)wherem=−1;−2;−3;−7;−11;−19;−43;−67;−163.Computationalmethodswe
6、reusedtoproducealistcontainingallpotentiallyuniversalbinaryHermitianforms,andallclassesintheirgenera,overthenineimaginaryquadraticeldsofclassnumber1.Wenowgiveabriefoutlineofthemethodused.First,anupperboundforthediscriminantofauniversalbinaryHermitianformisdeterminedforeachoft
7、heelds.Next,inequalitiesareobtainedviareductiontheoryforthecoecientsofsuchforms.Thepotentiallyuniversalreducedformsarethenlistedandarescreenedforpossibleuniversalitybydetermin-ingwhethertheintegers1through5arerepresented.Thisroughscreeningleavesthirteencandidates.Ofthese,six
8、giveriseviathetracemappingofJacobson[4]todiagonalintegralquat