《tarantello g. selfdual gauge field vortices》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
ProgressinNonlinearDifferentialEquationsandTheirApplicationsVolume72EditorHaimBrezisUniversitePierreetMarieCurie´ParisandRutgersUniversityNewBrunswick,N.J.EditorialBoardAntonioAmbrosetti,ScuolaInternationaleSuperiorediStudiAvanzati,TriesteA.Bahri,RutgersUniversity,NewBrunswickFelixBrowder,RutgersUniversity,NewBrunswickLuisCaffarelli,TheUniversityofTexas,AustinLawrenceC.Evans,UniversityofCalifornia,BerkeleyMarianoGiaquinta,UniversityofPisaDavidKinderlehrer,Carnegie-MellonUniversity,PittsburghSergiuKlainerman,PrincetonUniversityRobertKohn,NewYorkUniversityP.L.Lions,UniversityofParisIXJeanMawhin,UniversiteCatholiquedeLouvain´LouisNirenberg,NewYorkUniversityLambertusPeletier,UniversityofLeidenPaulRabinowitz,UniversityofWisconsin,MadisonJohnToland,UniversityofBath GabriellaTarantelloSelfdualGaugeFieldVorticesAnAnalyticalApproachBirkhauser¨Boston•Basel•Berlin GabriellaTarantelloUniversitadiRoma“TorVergata”`DipartimentodiMatematicaViadellaRicercaScientifica00133RomeItalytarantel@mat.uniroma2.itISBN:978-0-8176-4310-2e-ISBN:978-0-8176-4608-0DOI:10.1007/978-0-8176-4608-0LibraryofCongressControlNumber:2007941559MathematicsSubjectClassification(2000):35J20,35J50,35J60,35Q51,58J05,58J38c2008BirkhauserBoston¨Allrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermis-sionofthepublisher(BirkhauserBoston,c/oSpringerScience¨+BusinessMediaLLC,233SpringStreet,NewYork,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdevelopedisforbidden.Theuseinthispublicationoftradenames,trademarks,servicemarksandsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Printedonacid-freepaper.987654321www.birkhauser.com PrefaceGaugeFieldtheories(cf.[Ry],[Po],[Q],[Ru],[Fr],[ChNe],[Pol],and[AH])havehadagreatimpactinmoderntheoreticalphysics,astheykeepinternalsymmetriesandcanaccountforimportantphysicalphenomenasuchas:spontaneoussymmetrybreak-ing(seee.g.,[En1],[En2],and[Br]),thequantumHalleffect(seee.g.,[GP],[Gi],[McD],[Fro],and[Sto]),chargefractionalization,superconductivity,andsupergravity(seee.g.,[Wi],[Le],[GL],[Park],[Sch],[Ti],and[KeS]).Inthesenotes,wefocusonspecificexamplesofgaugefieldtheorieswhichadmitaselfdualstructurewhenthephysicalparameterssatisfya“critical”couplingconditionthattypicallyidenti-fiesatransitionbetweendifferentregimes.Theselfdualregimeischaracterizedbythepresenceof“special”soliton-typesolutionscorrespondingtominimizersoftheenergywithincertainconstraintsof“topological”nature.Suchsolutions,knownasselfdualsolutions,satisfyasetoffirst-order(selfdual)equationsthatfurnisha“factorization”forthesecond-ordergaugefieldequations.Furthermore,eachclassof“topologicallyequivalent”selfdualsolutionsformthespaceofmoduli,whosecharacterizationisoneofthemainobjectivesingaugetheory.Thesituationisnicelyillustratedbythe(classical)Yang–Millsgaugefieldtheory(cf.[YM]),whosefieldequations(overS4)aresatisfiedbyselfdual/antiselfdualconnections,simplybyvirtueofBianchiidentity.Theselfdual/antiselfdualconnectionsdefinethewell-knowninstantonsolutionsoftheYang–Millsfieldequations.Theycanbecharacterizedbythepropertythat,amongallconnectionswithprescribedsecondChernnumberN∈Z,theN-instantonsiden-tifythosewithminimumYang–Millsenergy.InthiswayoneseesthateverysecondChern–PontryaginclassofS4canberepresentedbyafamilyofinstantons,whichformsthespaceofmoduliinthiscase.ThespaceofmoduliofN-instantonshasbeencompletelycharacterizedintermsoftheassignedsecondChernnumber,N.Inthisrespect,wereferto[AHS1],[Schw],and[JR]foradimensionalanalysisofsuchspace,andto[BPST],[ADHM],[AHS2],[JNR],[JR],[’tH1],and[Wit1]forexplicitconstructionsofN-instantons.AlthoughinstantonsdonotexhaustthewholefamilyoffiniteactionsolutionsoftheYang–Millsequations(seee.g.,[SSU],[Par],[SS],[Bor],[Bu1][Bu2],and[Ta3]),theirimpactbothinmathematicsandinphysicshasbeenremarkable.Fromthemathematicalpointofview,itisenoughtomentiontheirstrikingimplicationstowardthestudyofdifferentialtopologyforfour-dimensional viPrefacemanifolds(cf.[DK]and[FU]).Intheselfdualcontext,weseethroughtheworkcon-tainedin[Fa],[FM2],[JT],[Le],[Ra],[RS],[AH],[Pe],[Wei],[NO],[Bra1],[Bra2],[GO],[PS],[Hi],and[Y1],howinfluentialhasbeenthestudyofYang–Millsinstan-tonstowardtheunderstandingofotherselfdualsoliton-typeconfigurationsincluding:monopoles,vortices,kinks,strings,etc.Inthisrespect,weshallbeconcernedwiththecasewhere,inaccountoftheHiggsmechanism,weincludeaHiggsfieldinthetheory,tobe(weakly)coupledwiththeothergaugefields.InthiswayweareleadtoconsidertheYang–Mills–Higgstheory,wherewestillmayattainselfdualitybyadimensionalreductionprocedureyieldingtomonopolesasthethree-dimensionalsoliton-solutionsforthecorrespondingselfdualYang–Mills–Higgsequations.Wereferto[JT],[Le],[AH],[Pe],[GO],and[Y1]foradetaileddiscussionofmonopolesbasedontheirstrongtieswithinstantons.AnotherinstructiveexampleaboutselfdualityisofferedbytheabelianHiggsmodelaspointedoutbyBogomolnyiin[Bo].Moreprecisely,byconsideringaplanar(abelian)Maxwell–Higgstheorywithascalar“double-well”potential(hav-ingappropriatestrength),Bogomonlyiin[Bo]derivesasetofselfdualequations,whosesolutionsdescribethewell-knownselfdualMaxwell–Higgsvorticesdiscussedin[NO].Onemayregardtheseconfigurationsasthecross-sectionofthe“vortex-tubes”observedexperimentallyinsuperconductorswhicharesubjectedtoanexternalmag-neticfield.Infact,theselfdualsituationidentifiedbyBogomonlyidescribestherel-ativisticanalogoftheGinzburg–Landaumodelinsuperconductivity(cf.[GL]),withparametersthatcorrespondtotheborderlinecasebetweenTypeIandTypeIIsuper-conductors.InanalogywithYang–Millsinstantons,itispossibletodistinguishabelianMaxwell–Higgsselfdualvorticesintodistinct“topological”classes,relativetoeachel-ementofthehomotopygroupofS1.TheroleofS1inthiscontextisreadilyexplained,sincetopologically,itrepresentstheabeliangaugegroupU(1).Moreprecisely,foreveryN∈π1(S1)=Z,thefamilyofselfdualMaxwell–HiggsN-vorticescorre-spondstotheminimaoftheMaxwell–Higgsenergy,asconstrainedtoHiggsfieldswithtopologicaldegreeN.Moreover,thespaceofmoduliformedbyN-vorticesoverasurfaceMhasbeencompletelycharacterizedasamanifoldequivalenttoMNmod-ulothegroupofpermutationsofNelements(see[Ta1],[JT],[Bra1][Bra2],[Ga1],[Ga2],[Ga3],[WY]and[NO],[MNR],[HJS],[Y1]forfurtherresults).Wementionthat,incontrasttoYang–Millsinstantons,selfdualMaxwell–Higgsvorticesfullyde-scribefiniteenergystaticsolutionsoftheMaxwell–Higgsfieldequations.Inthisway,onededucesacompletecharacterizationofGinzburg–Landauvorticesintheselfd-ualregime.Morerecently,muchprogresshasalsobeenmadeintheunderstandingofGinzburg–Landauvorticesawayfromtheselfdualregime,asonemayseeforexamplein[BBH],[DGP],[Riv],and[PR].Intheearly1990s,Chern–Simonstheorieswereintroducedtoaccountfornewphenomenaincondensedmatterphysics,anyonphysics,supercondictivity,andsupergravity(see[D1],[D3]andreferencestherein).Selfdualityenteredthisnewscenariowithaprimaryrole.Infact,itbecameimmediatelyclearthatalthoughtheChern–Simonstermwasextremelyadvantageousfromthepointofviewofthephysicalapplications,itintroducedseriousanalyticaldifficultiesthatpreventedthecorrespondingChern–Simonsgaugefieldequationsfrombeinghandledwith Prefaceviimathematicalrigor.Thus,togainamathematicalgraspofChern–Simons-Higgscon-figurations,ithasbeenusefultoconsiderconvenientselfdualfirst-orderreductionsofthe(difficult)second-orderChern–Simonsfieldequations.Inthisrespect,followingBogomolnyi’sapproach,Jackiw–Weinberg[JW]andHong–Kim–Pac[HKP]intro-ducedanabelianChern–Simons-Higgs6th-ordermodelthatobeysaselfdualregime.Forsuchamodel,theMaxwellelectrodynamicsisreplacedbytheChern–SimonselectrodynamicsandtheHiggs“double-well”potentialisreplacedbya“triple-well”potential.WeshallseehowthosecharacteristicsgiverisetoaChern–Simonsthe-orywhichsupportsarichclassofselfdualvorticesyettobecompletelyclassified.Subsequently,otherinterestingselfdualChern–Simonsmodelswereintroducedbothinrelativisticandnon-relativisticcontextsandaddresstheabelianandnon-abeliansituation.Werefertotheexcellentpresentationonthissubject,asprovidedbyDunnein[D1]and[D3].ThepurposeofthesenotesistoillustratethenewanddelicateanalyticalproblemsposedbythestudyofselfdualChern–Simonsvortices.Weshallpresenttheresolutionofsomevortexproblemsanddiscussthemanyremainingopenquestions.Bythisanalysis,weshallalsobecomecapableofhandlingthecelebratedelectroweaktheoryinrelationtotheselfdualregimecharacterizedbyAmbjorn–Olesenin[AO1],[AO2],and[AO3].InChapter1,weintroducethebasicmathematicallanguageofgaugetheoryinordertoformulateexamplesofChern–Simons-Higgstheoriesbothintheabelianandthenon-abeliansetting.Wearegoingtocomparetheirfeatureswiththewell-knownabelianHiggsandYang–Mills–Higgsmodel.Forthosetheories,wewillseehowtoattainselfdualityandtoderivetherelativeselfdualequationsthatwillrepresentthemainobjectiveofourstudy.Inthisperspective,weshallinvestigatealsotheelectroweaktheoryofGlashow–Salam–Weinberg(see[La])accordingtotheself-dualansatzintroducedbyAmbjorn–Olesen[AO1],[AO2],and[AO3].Inaddition,weshallanalyzeselfgravitatingelectroweakstrings,astheyoccurwhenwetakeintoaccounttheeffectofgravitythroughthecouplingoftheelectroweakfieldequationswithEinsteinequations.InChapter2,weshalladopttheapproachintroducedbyTaubesfortheabelianHiggsmodel(see[Ta1]and[JT])toreducetheselfdualfieldequationsintoellipticproblemsinvolvingexponentialnonlinearities.Naturally,thiswillleadustoexam-ineLiouville-typeequations,whosesolutions(see[Lio])haveenteredalreadyintheexplicitconstructionofsomespecialselfdualconfigurations,forexample:Wittens’in-stantons(cf.[Wit1]),sphericallysymmetricmonopoles(cf.[JT])andOlesen’speriodicone-vortices,(cf.[Ol]).Unfortunately,ourproblemswillnotbeexplicitlysolvable,andweshallneedtointroducesophisticatedanalyticaltoolsinordertoobtainsolutionswhosefeaturescanbedescribedconsistentlywiththephysicalapplications.Tothisend,weshallrecallsomeknownfactsaboutLiuoville-typeequations,inrelationtotheirmeanfieldfor-mulationsandtotheMoser–Trudingerinequality(cf.[Au]).ThismaterialiscollectedinChapter2togetherwithageneraldiscussiononrelatedmathematicalproblemsandapplications. viiiPrefaceOnthebasisofthisinformation,weproceedinChapter3toanalyzeplanarChern–Simonsvorticesfortheabelian6th-ordermodelproposedbyJackiw–Weinberg[JW]andHong–Kim–Pac[HKP].Here,weencounterthefirstnovelfeatureofChern–SimonsvorticesincomparisonwithMaxwell–Higgsvortices.Infact,wearenowdealingwithatheorythatadmitsbothsymmetricandasymmetricvacuastates,andhenceweexpectmultiplevortexconfigurationstooccuraccordingtothenatureofthevacuumbywhichtheyaresupported.Moreprecisely,intheplanarcasethisamountstoclassifyvorticesinrelationtotheirasymptoticbehavioratinfinity.Thus,weshallcall“topological”thosevorticesthatatinfinityareasymptoticallygaugeequivalenttoanasymmetricvacuumstate;while“non-topological”willbecalledthosethatatinfin-ityareasymptoticallygaugeequivalenttothesymmetricvacuum.ThisterminologyisjustifiedbythefactthatonlythetopologicalsolutionscorrespondtominimizersoftheChern–Simons-HiggsenergywithintheclassofHiggsfieldswithassignedtopologicaldegree.ObservethatsincetheMaxwell–Higgsmodeladmitsonlyasymmetricvacuastates,itcanonlysupporttopologicalvortices.ThegoalofChapter3istoshowrigor-ouslythatindeedboth“topological”and“non-topological”vorticesactuallycoexistintheChern–Simons-Higgstheoryproposedin[JW]and[HKP].Inparticular,inSection3.2weshowthatthetopologicalonesareverymuchequivalenttotheMaxwell–Higgsvortices,withwhomtheysharethesameuniquenesspropertyandasymptoticbehavioratinfinity.Itisinterestingtonotehoweverthatthe“topological”Chern–Simonsvor-ticesarebynomeans“approximations”oftheMaxwell–Higgsvortices(inanyreason-ablesense),asonefindsoutfromsomelimitingproperties(seeproperty(3.1.3.)(c)).Insection3.3weshallpresenttheconstructionofChae–Imanuvilov[ChI1]relativetonon-topologicalChern–SimonsvorticeswhichextendsandcompletesthatofSpruck–Yang[SY1]relativetotheradiallysymmetriccase.Wealsobrieflydescribethealter-nativeconstructionofChan–Fu–Lin[CFL]yieldingtonon-topologicalChern–Simonsplanarvorticessatisfyinganice“concentration”propertyaroundthevortexpoints(i.e.,thezeroesoftheHiggsfield),consistentlytowhathasbeenobservedexperimentallyinthephysicalapplications.However,incontrasttothetopologicalcase,acompleteasymptoticdescriptionof“non-topological”vorticesisstillunderinvestigation.Infact,wearestillfarfromafullcharacterizationofselfdualChern–SimonsvorticesinthesamespiritofwhatisavailablefortheMaxwell–Higgsmodel.Forinstance,weobservethatourstudydoesnotclarifywhethertheChern–Simonsfieldequationsadmit(finiteaction)solutionsotherthantheselfdualones;nordoesitevenjustifythatthiscanneverbethecasewhensomesymmetryassumptionholds,asitoccursforinstantonsandmonopoles.Thesituationisevenlessclearforothermodels,forexample,theabelianMaxwell-Chern–Simons-HiggsmodelproposedbyLee–Lee–Min[LLM]asaunifiedtheoryforbothMaxwell–HiggsandChern–Simons-Higgsmodels.Forthismodeltheasymptoticdistinctionbetweentopologicalandnon-topologicalvorticescarriesover,andtheex-istenceofsuchconfigurationshasbeenestablishedrepectivelyin[ChK1]and[ChI3].ButafullclassificationofselfdualMaxwell-Chern–Simons-Higgsvorticesisstillmissing,includingthevalidityofapossibleuniquenesspropertyforthe“topological”ones.See[ChN]forsomecontributioninthisdirection. PrefaceixInthenon-abelianframework,aninterestingselfdualChern–SimonsmodelhasbeenproposedbyDunnein[D2](seealso[D1]).Vorticesinthiscaseareexpectedtohaveanevenricherstructure,sincenowthesysteminvolves“intermediate”vacuastatesthatinterpolatebetweenthesymmetricandtotallyasymmetricones.Sofar,ithasbeenpossibletoestablishonlytheexistenceofaplanarnon-abelianChern–Simonsvortexoftopologicalnature(see[Y6]).Thedifficultyinthestudyofnon-abelianvor-ticesarisesfromthefactthattheyinvolveellipticproblemsinasystemform(see(2.1.21)and(2.1.25))whichintroducesadditionaltechnicaldifficulties,ascomparedtothesingleLiouville-typeequationarisingfromtheChern–Simons6th-ordermodelof[JW]and[HKP].InChapter4,westillconsidervorticesfortheChern–Simons6th-ordermodelin[JW]and[HKP],butnowweanalyzethemunder(gaugeinvariant)periodicboundaryconditions.Thisismotivatedbythefactthatlatticestructuresarelikelytoforminacondensedmattersystem.Also,theyshouldaccountfortheso-called“mixedstates”,thatAbrikosovdescribedtooccurinsuperconductivity.Healsoanticipatedtheirperi-odicstructurelongbeforetheywereobservedexperimentally(cf.[Ab]).AllperiodicselfdualChern–SimonsvorticescorrespondtominimaoftheChern–SimonsenergyintheclassofHiggsfieldswithassignedtopologicaldegree.There-fore,asfortheabelianHiggsmodel,foranygivenintegerN,themodulispaceofperiodicChern–SimonsN-vorticesisformedbyminimizersoftheenergyamongHiggsfieldsoffixedtopologicaldegreeN.ThisspaceofmoduliturnsouttobemuchricherthanthatoftheMaxwell–Higgsmodeldescribedin[WY].Indeed,weseethatintheperiodiccase,avortexmustapproachavacuumstateastheChern–Simonscouplingparametertendstozero.Again,thepresenceofdifferentvacua(asymmet-ricandsymmetric)givesrisetoasymptoticallydifferentvortexbehaviorsandthisleadstomultiplicity.Thus,inanalogytotheplanarcase,weshallcallof“topological-type”thosevorticesasymptoticallygaugeequivalenttoasymmetricvacuastatesandof“non-topological-type”thosevorticesasymptoticallygaugeequivalenttothesym-metricvacuum,whentheChern–Simonscouplingparametertendstozero.Weshallintroduceausefulcriterion(see[DJLPW])todistinguishbetweenthisdifferentclassofvorticesandshow,thatindeed,bothtypescoexistfortheChern–Simons6th-ordermodelin[JW]and[HKP].Theconstructionof“topological-type”vorticesfollowsbyusingaminimizationprincipleinthesamespiritofthatintroducedforplanartopological(Chern–SimonsorMaxwell–Higgs)vortices.Thisapproachallowsustoclarifywhyauniquenessprop-ertyshouldholdfor“topological-type”vortices,asrecentlyestablishedin[T7].Infact,oneseesthatwheneveravortexisasymptoticallygaugerelatedtoanasymmet-ricvacuumstate,thenfromavariationalpointofview,itmustcorrespondtoalocalminimumfortheassociatedactionfunctional(possiblyforsmallvaluesoftheChern–Simonscouplingparameter).Withthisinformationinhand,itisthenpossibletocheckthatuniquenessmusthold(fordetailssee[T7]andalso[Cho],[ChN]).Moreover,forourvariationalproblemitisalsopossibletocarryouta“mountain-pass”construction(cf.[AR]),andthispermitsustodeducetheexistenceofa“non-topological-type”vortex.Unfortunately,suchconstructionguaranteesconvergenceforthe“non-topological-type”vortextowardthesymmetricvacuumstateonlyin xPrefaceLp-norm,andsoitleavesoutimportantinformationaboutthebehaviorofthevortexsolutionnearthe“vortexpoints.”Thus,toimprovesuchconvergencetoholdatleastinuniformnorm,wediscussanalternativeconstruction(introducedin[T1]and[NT3])thatpermitsustohandlesingleordoublevortices.Interestingly,inthedouble-vortexcasesuchconstructionrelatestheChern–Simonsvortexproblemtoameanfieldequa-tionoftheLiouville-type,whichalsoentersintoothercontextssuchasthestudyofextremalsfortheMoser–TrudingerinequalityortheassignedGausscurvatureproblem(seee.g.,[ChY3]andreferencestherein).Asamatteroffact,our“non-topological-type”double-vortexsolutionscorrespondtothe“best”minimizingsequencefortheMoser–Trudingerinequalityontheflattorus.Thus,tocontroltheirbehavior(astheChern–Simonsparametertendstozero)itisnecessarytodevelopadetailedblow-upanalysisconcerningsolutionsofLiouville-typeequationsinthepresenceof“singular”Diracmeasuressupportedatthevortexpoints.ThistaskwillbethecarriedoutinChapter5.Butbeforeorientingourdiscussiontowardsthosetechnicalanalyticalaspects,weshallcompleteChapter4byextendingourapproachtothestudyofperiodicnon-abelianChern–Simonsvortices.Inthisway,welandnaturallyonthefieldofellipticsystemsoftheLiouville-type,forwhichmuchmoreneedstobeunderstoodandclar-ified.Forthisreason,ourcontributionstotheunderstandingofperiodicnon-abelianChern–Simonsvorticesprovideusonlywithpartialanswersandleaveoutmuchroomforimprovements.Mainly,weshallbeconcernedwiththecaseofSU(n+1)-vortices,whoseanalysisinvolvesthestudyofanellipticToda-latticesystemcharacterizedbymanyelementsofanalyticalinterest(see[JoW1],[JoW2]and[JoLW]).InChapter5wediscusstheblow-upbehaviorofsolution-sequencesforLiouville-typeequationsinthepresenceof“singular”sources.TheaimofthischapteristopresentasystematicextensionoftheworkofBrezis–Merle[BM],Li–Shafrir[LS]Brezis–Li–Shafrir[BLS]andLi[L2]concerningthe“regular”case,namely,whensingularsourcesarenottakenintoaccount.Asitturnsout,thistaskbecomesratherdelicatewhenblow-upoccursatthe“singular”set,asituationlikelytooccurforourvortexsolutions.Inthiscase,thecharacterofthe“concentration”phenomenoniscom-plicatedbymoredegenerateaspects.Nonetheless,itisstillpossibletoobtainsharpconcentration/compactnessprinciples,Harnacktypeinequalities,inf+supestimatesand“quantized”properties,whichfurnisharathercompletedescriptionoftheblow-upphenomenon,asoneexpectstooccurforthevortexsolutions.Thematerialpresentedinthissectionisrathertechnical,andonlyconcernsthecaseofasingleequation.However,thepresenceofsingularsourcesgivesusthechancetointroducemanytechnicaltoolswhichwehopemayhelpintheblow-upanalysisforsystems(bothinthe“regular”and“singular”case),aswellas,forrelatedproblems(cf.[Ci],[CP],[KS],[Mu],[CLMP1],[CLMP2],[Ki1],[Ki2],and[Wo]).InChapter6,wetakeadvantageoftheanalysisdevelopedinChapter5inordertocompletethestudyoftheasymptoticbehaviorofChern–Simonsperiodicdouble-vorticesasconstructedinChapter4.Asabyproductofthisanalysis,weshallbeabletoobtainextremalsfortheMoser–Trudingerinequalityontheflattwo-torus. PrefacexiAlso,theinformationinChapter5,incombinationwithsomevariationaltech-niques,willallowustoestablishageneralexistenceresultforanellipticsystemofinterestinthestudyofselfdualelectroweakperiodicvortices.TheobjectiveofChapter7istoestablishtheexistenceofselfdualelectroweakcon-figurationsofAbrikosov’s“mixed-type”vorticesandofself-gravitatingelectroweakstrings.WewillfollowthepathopenedinthestudyofChern–Simonsvorticestoob-tainresultsinelectroweaktheorybymeansofthemethodsandtechniquesintroducedinthepreviouschapters.Thereagain,ouranalysissufficestohandleonlyacertainrangeofparameters,anditwouldbeextremelyusefultoknowwhetherornotourresultsextendtocoverthefullrangeofadmissibleparameters.Inthismonograph,wehavechosentodiscussonlyafewselectedselfdualmodelswhichinourview,mosteffectivelyillustratetheadvantageoftheanalyticalapproachthatispursuedhereandthatoriginatedintheworkofTaubes([Ta1]and[JT]).Asalreadymentioned,thislineofinvestigationhasprovedequallysuccessfulinthestudyofmanyotherselfdualgaugefieldconfigurations.However,forthemodelsconsideredhere,theprogressachievedintheselfdualcaseisparticularlyremarkablesincerigor-ousmathematicalresultsawayfromtheselfdualregimeremainratherscarce(seee.g.,[HaK],[KS1],and[KS2]).Whilewehaveprovidedindicationsonpossibleextensionsofthegivenresultstorelatedmodels,werefertothemonographofYang[Y1]forasystematicuseofTaubes’strategytotreatselfdualsolutionsarisingindifferentphysicalcontexts.Infact,wehopethatthereadercanprofitfromtheanalysisdevelopedhereandfurtherpursuetheinvestigationofavarietyofselfdualmodels,aftertheworkin[Y1].Wehavenottoucheduponotheraspectsrelatedtoselfduality,forexample:“inte-grability”issues(seee.g.,[Das],and[Hop]),dynamicalpropertiesofseldfualvortices(seee.g.,[KL],[Ma],and[BL]),andsolvabilityofinitialvalueproblems(seee.g.,[Ch5],[ChC],and[ChCh2]).Alloftheseproblemsposeveryattractiveandstimulat-ingmathematicalquestions,andcertainlydeservealotmoreattention.Acknowledgments.ItisapleasuretothankHaimBrezisforhisencouragementtotake´onthisprojectandforhisinterestandcontinuedsupport.Also,wehavebenefitedfromtheusefulobservationsoftherefereesandprofitedfromthevaluablecommentsofPierpaoloEsposito. ContentsPreface..........................................................v1SelfdualGaugeFieldTheories..................................11.1Introduction.................................................11.2TheabelianMaxwell–HiggsandChern–Simonstheories...........21.3Non-abeliangaugefieldtheories................................131.3.1Preliminaries..........................................131.3.2Theadjointrepresentationandsomeexamples..............141.3.3Gaugefieldtheories....................................171.3.4TheCartan–Weylgenerators:basics......................191.3.5Yang–Mills–Higgstheory...............................261.3.6Aselfdualnon-abelianChern–Simonsmodel...............301.4Selfdualityintheelectroweaktheory............................352EllipticProblemsintheStudyofSelfdualVortexConfigurations.....432.1Ellipticformulationoftheselfdualvortexproblems................432.2ThesolvabilityofLiouvilleequations............................522.3Variationalframework........................................562.4Moser–Trudingertypeinequalities..............................572.5AfirstencounterwithmeanfieldequationsofLiouville-type........642.6Finalremarksandopenproblems...............................723PlanarSelfdualChern–SimonsVortices..........................753.1Preliminaries................................................753.2PlanartopologicalChern–Simonsvortices........................783.3Auniquenessresult...........................................993.4Planarnon-topologicalChern–Simonsvortices....................1113.5Finalremarksandopenproblems...............................1274PeriodicSelfdualChern–SimonsVortices.........................1314.1Preliminaries................................................1314.2Constructionofperiodic“topological-type”solutions..............134 xivContents4.3Constructionofperiodic“non-topological-type”solutions..........1444.4Analternativeapproach.......................................1504.5MultipleperiodicChern–Simonsvortices........................1624.6Finalremarksandopenproblems...............................1715TheAnalysisofLiouville-TypeEquationsWithSingularSources.....1735.1Introduction.................................................1735.2Backgroundmaterial..........................................1755.3Basicanalyticalfacts..........................................1805.4Aconcentration-compactnessprinciple..........................1845.4.1Theblow-uptechnique.................................1845.4.2Aconcentration-compactnessresultarounda“singular”point......................................1925.4.3Aglobalconcentration-compactnessresult.................1985.5Aquantizationpropertyintheconcentrationphenomenon..........1995.5.1Preliminaries..........................................1995.5.2AversionofHarnack’sinequality........................2005.5.3Inf+Supestimates....................................2065.5.4AQuantizationproperty................................2135.5.5Examples.............................................2205.6Theeffectofboundaryconditions...............................2255.6.1Preliminaries..........................................2255.6.2Pointwiseestimatesoftheblow-upprofile.................2275.6.3Theinf+supestimatesrevised...........................2375.7Theconcentration-compactnesssprinciplecompleted..............2415.8Finalremarksandopenproblems...............................2476MeanFieldEquationsofLiouville-Type..........................2496.1Preliminaries................................................2496.2Anexistenceresult...........................................2536.3ExtremalsfortheMoser–Trudingerinequalityintheperiodicsetting.........................................2616.4TheproofofTheorem4.4.29...................................2746.5Finalremarksandopenproblems...............................2787SelfdualElectroweakVorticesandStrings........................2817.1Introduction.................................................2817.2Planarselfgravitatingelectroweakstrings........................2847.3TheproofofTheorem7.2.2....................................2887.4Periodicelectroweakvortices...................................3007.5Concludingremarks..........................................303References.......................................................305Index............................................................323 1SelfdualGaugeFieldTheories1.1IntroductionInthischapterweintroducethereadertothegaugetheoryformalisminordertofurnishexamplesofgaugefieldtheoriesthatsupportaselfdualstructure.Westartwiththesimplerabeliansituation,wheremostofthetechnicalaspectsofgrouprepresentationtheorycanbeavoided.Fromthephysicalpointofview,anabeliangaugefieldtheorydescribeselectro-magneticparticleinteractions.ThusweshallstartbydiscussingtheabelianMaxwell–Higgsmodel,well-knownalsoastherelativisticcounterpartoftheGinzburg–Landaumodelinsuperconductivity(cf.[GL]).WewillillustrateBogomolnyi’sapproach(cf.[Bo])andattainselfdualityforthismodelwithparametersthatdescribethebor-derlinecasethatdistinguishesbetweentypeIandtypeIIsuperconductors.Nextwewillseehow,inthesamespirit,onecanattainselfdualityinthepres-enceoftheChern–Simonsterm(cf.[D1]).Inthiscontext,wewillfocusonthe“pure”Chern–Simons6th-ordermodelofJackiw–Weinberg[JW]andHong–Kim–Pac[HKP]andontheMaxwell–Chern–Simons–HiggsmodelofLee–Lee–Min[LLM].Subse-quently,wewillturntothetreatmentofnon-abeliangaugetheories,andforthispur-poseweshallneedtorecallsomebasicfactsabouttherepresentationofcompact(semisimple)Liegroups(see[Ca],[Hu],and[Fe]).Inthenon-abelianframework,weshallformulatetheYang–MillsandtheYang–Mills–Higgstheories,aswellasthenon-abelianChern–Simonstheoryin[D2]andthecelebratedelectroweaktheoryofGlashow–Salam–Weinberg(cf.[La]).Wewillshowhowtoattainselfdualityforsuchnon-abelianmodels,whichrepresentonlya“sample”oftheamplelistofselfdual(relativistic)gaugefieldtheoriesavailableinphysicsliterature.Someextensionsofthemodelsconsideredherearecontainedin[KLL],[KiKi],[Kh],[CaL],[CG],[Wit2],[Va],and[D1].Inanycase,werefertheinterestedreadertothemonographbyYang([Y1])forabroaderdiscussionofrelativisticandnon-relativisticselfdualtheoriesthatmodelawiderangeofphysicalphenomena. 21SelfdualGaugeFieldTheories1.2TheabelianMaxwell–HiggsandChern–SimonstheoriesTheabelianMaxwell–Higgs(orsimplyabelian-Higgs)andChern–Simonstheoriesdescribeelectromagneticinteractionsand,asgaugefieldtheories,theyareformulatedbyaLagrangeandensityLexpressedintermsofthegaugepotentialAandtheHiggs(matter)fieldφ.Occasionallyaneutralfieldisalsoincluded.WefocusourattentiononeuclideantheoriesformulatedovertheMinkowskispace(R1+d,g)withmetrictensorg=diag(1,−1,...,−1),wherewedenotebyx0thetimevariableand(x1,...,xd)thespacevariables.Usually,weshalluseGreekindicestoidentifyindifferentlyspaceortimevariables,whiletheromanletterswillbespecifictospacevariables.Weadoptstandardnotationsandusethematricesg=(gαβ)intheusualwaytoraiseorlowerindices,andletg−1=(gαβ)fortheinverse.Moreoverweusethesummationconventionoverrepeatedlowerandupperindices.Inthiscontext,thepotentialfieldAisspecifiedbyitssmoothrealcomponentsA1+d→R,α=0,1,...,d;(1.2.1)α:Rwhereas,theHiggsfieldφisasmoothcomplexvaluedfunctionφ:R1+d→C.(1.2.2)Tobeconsistentwiththetheoreticalgauge-formalism(seenextsection),weidentifythepotentialfieldAwitha1-form(connection)asA=−iAα,(1.2.3)αdxandweexpressthecorresponding(Maxwell)gaugefieldFAasthe2-form(curvature)iαβFA=−Fαβdx∧dx,(1.2.4)2whereFαβ=∂αAβ−∂βAα.(1.2.5)TheHiggsfieldφin(1.2.2)isweaklycoupledwiththepotentialfieldAviatheexteriorcovariantderivativeDAasfollows:αwhereDDAφ=Dαφdxαφ=∂αφ−iAαφandα=0,1,...,d.(1.2.6)WerecordtheBianchiidentity∂γFµν+∂µFνγ+∂νFγµ=0,(1.2.7)whichisvalidforthe(curvature)componentsFαβin(1.2.5).Forlateruse,wepointoutthatinthedimensiond=3,identity(1.2.7)maybemoreconvenientlyexpressedintermsofthedualgaugefield:F˜iF˜αβ1µνA=−αβdx∧dxwhereF˜αβ=εαβµνF22 1.2TheabelianMaxwell–HiggsandChern–Simonstheories3asfollows:∂αββF˜=0,α=0,1,2,3.(1.2.8)RecallthatεαβγνdenotestheusualLevi-Civitaε-symbolwhichistotallyskew-symmetricwithrespecttothepermutationofindicesandisfixedbythecondition:ε0123=1.Innormalizedunits,theabelianMaxwell–HiggsLagrangeandensitytakestheform1αβ1α2L(A,φ)=−FαβF+DαφDφ−V|φ|,(1.2.9)42wherethescalarpotentialVistakenasthefamiliar“double-well”potentialλ2V(|φ|2)=|φ|2−1,(1.2.10)8withλ>0aphysicalparameter.TheinternalsymmetriestypicalofelectromagneticinteractionsareexpressedbythefactthatthefieldsAandφaredefinedonlyuptothefollowinggaugetransformationsφ→eiωφ,(1.2.11)A→A−idω,(1.2.12)foranysmoothrealfunctionωoverR1+d.TheinvarianceofLunderthetranformations(1.2.11)and(1.2.12)canbeeasilyverified.Infact,thevalidityofsuchinvariancepropertyservesasjustificationforthestructureofLin(1.2.9).Clearly,thesameinvarianceunder(1.2.11)and(1.2.12)ismantainedbythecor-respondingEuler–Lagrangeequationsµ∂VDµDφ=−2,(1.2.13)∂φ∂µν=Jµ,(1.2.14)νFwhereµiµµJ=φDφ−Dφφ.(1.2.15)2NotethatJµcanbeconsideredasthecurrentgeneratedbytheinternalsymmetriesexpressedby(1.2.11)and(1.2.12).Infact,inviewof(1.2.13),Jµdefinesaconservedquantity,thatis,∂µJµ=0.Furthermore,byidentifyingρ=J0andj=Jµ(1.2.16)withthechargedensityandthecurrentdensityrespectively,weseethat(1.2.8)and(1.2.14)formulatethefamiliarMaxwell’sequationsintermsoftheelectricfieldE=(Ej)andthemagneticfieldB=(Bj)specifiedasfollows:0j1jklEj=−F,Bj=−εFkl(1.2.17)2(εjkl=ε0jkl;j,k,l=1,2,3). 41SelfdualGaugeFieldTheoriesInparticular,intheabsenceofthematterfield(i.e.,φ=0),Jα=0and(1.2.14)reducestoMaxwell’sequationsinavacuum:∂µν=0.(1.2.18)νFFordetailssee[JT]and[Y1].ThefieldsAandφarenotobservablequantities,astheyaredefinedonlyuptothegaugetransformations(1.2.11)and(1.2.12).Onthecontrary,theelectricandmagneticfields(1.2.17)aswellasthemagnitude|φ|oftheHiggs(matter)fieldaregauge-independentquantities,andhenceobservables.Therefore,fromananalyticalpointofview,wecanhopetoexplicitlysolve(1.2.13)and(1.2.14)onlyintermsofthosegauge-invariantquantities.Weshallbeinterestedinobtaining“soliton”configurations,namely,staticsolu-tionsfor(1.2.13)and(1.2.14)carryingfiniteenergy.Tothisend,notethatbytheGausslawconstraint(i.e.,theµ=0componentof(1.2.14))0ji00∂jF=φDφ−φDφ,(1.2.19)2weeasilyobtainthattheenergydensityassociatedtoL∂L∂L∂LE=∂0Aµ+∂0φ+∂0φ−L(1.2.20)∂∂0Aµ∂(∂0φ)∂∂0φ(inthetemporalgauge)takestheform:1212121D2E=F0j+Fjk+|D0φ|+jφ+V.(1.2.21)2422Ourinterestinstaticconfigurationsismotivatedbythefactthatinanon-relativisticcontext,whenthedimensionisd=3,theLagrangeandensity(1.2.9)withthescalarpotentialVof(1.2.10)hasbeenproposedasamodelforsuperconductivityaccord-ingtotheGinzburg–Landautheory(cf.[GL]).Inthiscontext,φplaystheroleoftheorderparameter,whosemagnitude|φ|measuresthenumberdensityofCooperpairs.Thus,thesuperconductivestateismanifestedwhere|φ|takesvaluesawayfromzero.Furthermore,theconstantλinvolvedinthe“double-well”scalarpotential(1.2.10)definesarelevantphysicalparameterinthiscontext,asitdistinguishesbetweensuper-conductorsofTypeI(i.e.,λ<1)andofTypeII(i.e.,λ>1).Byconsideringacrosssectionofthesuperconductivebulkofamaterial,a“special”situationoccurswhenweconsiderbi-dimensionalsolitonsolutions(vortices)of(1.2.13)and(1.2.14)atthe“critical”couplingvalueofλ=1.Indeed,from(1.2.21)weseethatford=2andλ=1,thestaticenergydensityofthevortex-configurationsinthetemporalgauge(whichallowsustotakeA0=0)coincideswiththeoppositeoftheactionfunctionalLstaticsothatittakestheform,11112E2222static=−Lstatic=F12+|D1φ|+|D2φ|+|φ|−1.(1.2.22)2228 1.2TheabelianMaxwell–HiggsandChern–Simonstheories5Thus,ifweintroducetheoperatorsD±φ=D1φ±iD2φ(tobecomparedwiththe∂¯and∂operatorsofcomplexfunctionsinagauge-freeset-ting)andobservethat2+|D222jk|D1φ|2φ|=|D±φ|±F12|φ|∓ε∂jJk,(1.2.23)wearriveatthefollowingusefulexpressionforthestaticenergy:21211211jkEstatic=|D±φ|+F12±|φ|−1±F12∓ε∂jJk.(1.2.24)22222Againεjkisthe(bi-dimensional)skew-symmetricε-symbol(j,k=1,2),whichwecanobtainfromεαβγνdefinedabovesimplybysettingεjk=ε0jk3.So,byconsideringboundaryconditionssuitabletoneglectingthetotalspatialdivergencetermsin(1.2.24),wefindthatenergyminimizervorticesmustsatisfythefollowingfirst-orderequations:D±φ=0,(1.2.25)2F|φ|2−1=0,(1.2.26)12±A0=0.(1.2.27)Solutionsof(1.2.25)–(1.2.27)areknownastheNielsen–Olesenvortices(cf.[NO])andareenergyminimizersconstrainedtotheclassofgaugepotentialfieldswithafixedmagneticflux.Weshallseethatthiscorrespondstoa“topological”constraint,suchtoproduce“quantization”effects.Equations(1.2.25)–(1.2.27)werederivedbyBogomolnyiin[Bo]asaconvenientfirst-orderfactorizationofthesecond-orderEuler–Lagrangeequations(1.2.13)and(1.2.14),wherethescalarpotentialVsatisfies(1.2.10)withλ=1.Indeed,itisasimpletasktocheckthateverysolutionof(1.2.25)–(1.2.27)alsosatisfies(1.2.13)and(1.2.14).Suchareductionpropertyhasbeenobservedtooccurinquiteavarietyofmod-elsingaugefieldtheory,whenthephysicalparametersarespecifiedaccordingtoanappropriate“critical”coupling.Thefirstinstanceofsuchanoccurancehasbeenobservedinthenon-abeliancontextforthepureYang–Millsmodel(cf.[JT]).Inthiscase,energyminimizers(withinatopologicalclass)giverisetoinstantonsandcorre-spondtoselfdual(orantiselfdual)connections,asdiscussedinSection1.3.5.Byanalogy,ithasbecomeacustomtorefertothereducedfirst-orderequationsastheselfdual(antiselfdual)equations.Wecanrevealtheselfdual/antiselfdualcharacterof(1.2.25)ifweexpressitintheform:Djφ=∓iεjkDkφ.(1.2.28)However,beforeengagingwithnon-abelian(selfdual)gaugefieldtheories,letusseehowasimilarreductionprocedurecanalsobeattainedwhenweenrichtheelectro-dynamicalpropertiesofthetheorybyincludingtheChern–Simonsterm. 61SelfdualGaugeFieldTheoriesTheChern–Simonstheoryisaplanartheory(i.e.,d=2,ormoregeneraldiseven)thatenjoysseveralfavorablephysicalpropertiesnotattainablethroughthe“conventional”Maxwellelectrodynamics.Forinstance,weshallseethatMaxwell–Chern–Simonsvortex-configurationscarrybothelectricalandmagneticcharge,incon-trastwiththeconventionalMaxwellelectrodynamics,thatonlyyieldstoelectricallyneutralGinzburg–Landauvortices.Thisandotherimportantaspectsof(relativisticandnon-relativistic)Chern–SimonstheoriesarewidelydiscussedbyDunnein[D1],inrelationstotheirrelevanceinhighcriticaltemperaturesuperconductivity,thequan-tumHalleffect,conformalfieldtheoryandplanarcondensedmatterphysics.Intheabeliancontext,theChern–SimonsLagrangeandensityLcsisassignedinR1+2intermsofthepotentialfieldA=−iAαdxα,α=0,1,2as1αβγLcs(A)=εAαFβγ,(1.2.29)4whereagainεαβγdenotesthetotallyskew-symmetricpseudotensorfixedbysettingε012=1.ThestructureoftheChern–SimonsLagrangeanLcsmaybejustifiedonthebasisofareductionargumentfromthe4-dimensionalYang–Millsequationstodimensiond=2(see[D1]fordetails).Inthisrespect,observethatLcscorrespondstotheactionfunctionalforthe(trivial)equationFαβ=0(1.2.30)sincewehave∂Lcs1µαβ=εFαβ.(1.2.31)∂Aµ4WeremarktheinterestingfactthatalthoughLcsisnotgauge-invariant,1Lµαβcs(A−idω)=Lcs(A)+∂µωε∂αAβ;2thecorrespondingEuler–Lagrangeequation(1.2.30)isgauge-invariant,andforthisreason,LcsisanadmissibleLagrangeaninthecontextofgaugefieldtheory.Asafirstexample,wedescribeatheoryproposedbyJackiw–Weinberg[JW]andHong–Kim–Pac[HKP]inwhichtheelectrodynamicsofthesystemisgovernedsolelybytheChern–SimonsLagrangean.ThecorrespondingChern–Simons–HiggsLagrangeandensitytakestheform:kαβµα2L(A,φ)=−εAαFβµ+DαφDφ−V|φ|,(1.2.32)4wherethe(dimensionless)couplingconstantk>0measuresthestrengthoftheChern–Simonsterm,whichweshallrefertoastheChern–Simonsparameter. 1.2TheabelianMaxwell–HiggsandChern–Simonstheories7TheEuler–Lagrangeequationsrelativeto(1.2.32)areexpressedasDαφ=−∂V,(1.2.33)αD∂φkεµαβFµαβ=J,(1.2.34)2whereJµ=iφDµφ−φDµφ.(1.2.35)Again,Jµcanbeconsideredastheconservedcurrentforthesystem,withρ=J0thechargedensityandj=Jkthecurrentdensity.Asbefore,usingtheGausslawconstraintobtainedfromtheµ=0componentof(1.2.34),kF0012=iφDφ−φDφ,(1.2.36)weeasilydeducethatfortheLagrangeandensity(1.2.32),theassociateenergydensitytakestheexpression2+|D22E=|D0φ|jφ|+V|φ|(providedweneglectthetotaldivergenceterm).SinceLcsisindependentoftheMinkowskimetric,wecheckthatindeed,itdoesnotcontributetotheenergymomentumtensor.Thus(pure)Chern–Simonsvorticeswillcorrespondtosolutionsfor(1.2.33)and(1.2.34)independentofthex0-variableandwithfinite(static)energy.Notethat,theGausslawconstraint(1.2.36)forthetime-independentcasereducesto2=JkF12=2A0|φ|0.(1.2.37)Identity(1.2.37)canbeusedtogetherwiththeidentityεjk2+|D222|D1φ|2φ|=|D±φ|±F12|φ|∓∂jJk(1.2.38)2(theequivalentof(1.2.23))toobtainthegauge-invariantpartoftheenergydensityrelativetovortexconfigurationsasjk2222εEstatic=|A0φ|+|D±φ|±F12|φ|+V|φ|∓∂jJk2(1.2.39)2εjk=|D24222±φ|±A0|φ|+A0|φ|+V|φ|∓∂jJk.k2AsfortheabelianMaxwell–Higgsmodel,wecanoperateonasuitablechoiceofthescalarpotentialVinordertocompletethesquarein(1.2.39)andidentifyasetoffirst-order(selfdual)equationsthat“factorizes”(1.2.33)and(1.2.34).Toaccomplishthisgoalandaccountforsomephysicalconsistency,Jackiw–Weinbergin[JW]andHong–Kim–Pacin[HKP]proposedthetriple-wellpotential12V|φ|2=|φ|2|φ|2−ν2,(1.2.40)k2 81SelfdualGaugeFieldTheorieswiththemass-scalesymmetry-breakingparameterν2.FortheabelianMaxwell–Higgsmodel(1.2.9)wehaveadoptedthenormalizationν2=1.Alsonoticetheexplicitdependenceofthe(selfdual)scalarpotential(1.2.40)ontheChern–Simonsparameterk.ThereforeasfortheabelianMaxwell–Higgsmodel,weseethataselfdualregimeisreachedwhenthereisabalancebetweenthestrengthoftheelectromagneticterm(MaxwellorChern–Simons)andthepotentialterm.FortheChern–Simons6th-ordermodelproposedin[JW]and[HKP],k12αβγAα222L(A,φ)=−εαFβγ+DαφDφ−|φ||φ|−ν,(1.2.41)4k2the(static)energydensityofvortex-configurationstakestheform2jk221222εEstatic=|D±φ|+|φ|A0±|φ|−ν±νF12∓∂jJk.(1.2.42)k2Consequently,byconsideringsuitableboundaryconditionsthatallowonetoneglectthetotalspatialdivergencetermin(1.2.42),wearriveatthefollowingfirst-orderequa-tionstobesatisfiedbyenergyminimizers(atfixedflux)Chern–Simonsvortexsolu-tions,togetherwiththeGauss-lawconstraint(1.2.37)D±φ=0,(1.2.43)122|φ|(A0±|φ|−ν=0.(1.2.44)kWecanarrange(1.2.37),(1.2.43),and(1.2.44)moreconvenientlyinthefollowingequivalentsetofselfdualequations:⎧⎪⎨D±φ=0,F12=±2|φ|2ν2−|φ|2,(1.2.45)⎪⎩k22A0|φ|2=kF12.Again(1.2.45)representsa“factorization”ofthesecond-orderEuler–Lagrangeequations(1.2.33)and(1.2.34).Indeed,onecaneasilycheckthatasolutionof(1.2.45)alsoverifies(1.2.33)and(1.2.34)withVspecifiedby(1.2.40).Inparticularobservethatawayfromthezerosofφ,theA0-componentofthepotentialfieldisdeterminedsimplybytheidentity:122A0=±ν−|φ|(1.2.46)k(see(1.2.44)).Thus,theselfdualvortexsolutioniscompletelyidentifiedbythecom-ponents(A1,A2,φ),satisfyingthefirsttwoequationsin(1.2.45).ItisinterestingtonotethattheChern–Simonsenergydensitytakesasimilarstruc-ture(i.e.,sumofthequadratictermsplusthespatialdivergenceterms)forthetime-dependentsolutionsof(1.2.33)and(1.2.34),providedwespecifythescalarpotentialVasin(1.2.40). 1.2TheabelianMaxwell–HiggsandChern–Simonstheories9Infact,the(non-static)Gausslawconstraint(1.2.36)maybeusedtogetherwith(1.2.38)todeducethefollowingexpressionfortheenergydensity:22jkEcs=D0φ∓iφ|φ|2−ν2+|D±φ|2±νJ0∓ε∂jJk.(1.2.47)kk2Asnotedabove,forfixedmagneticflux(see(1.2.37)),energyminimizersmaybeidentifiedassolutionsofthefirst-orderequationsD±φ=0,(1.2.48)0i22Dφ=±φ|φ|−ν,(1.2.49)ktobesatisfiedinadditiontotheGausslawconstraint(1.2.36).Equivalently,byinsert-ingequation(1.2.49)into(1.2.36)forthetime-dependentcase,weobtainthefollowingChern–Simonsselfdualequations:⎧⎪⎨D±φ=0,F12=±2|φ|2ν2−|φ|2,(1.2.50)⎪⎩k2D0φ=±iφ|φ|2−ν2.kAsoliton-likesolutionof(1.2.50)maybeconstructedoutofasolution(A0,A1,A2,φ)static,ofthestaticselfdualChern–Simonsequations(1.2.45),simplybylettingiω2x0±φ=ekφstatic,1(1.2.51)2+ω2−|φ2Aj=(Aj)static,A0=±νstatic|,kforanyconstantω∈R.Inviewof(1.2.46)thesoliton-likesolutionabovereducestotheselfdualvortex(A0,A1,A2,φ)static,whenω=0.Nextweseehowananalogousselfdualreductionpropertyremainsvalidbyconsid-eringafullMaxwell–Chern–Simons–Higgstheory(MCSH-theory),thatalsoincludesaneutralscalarfield.WeshalldiscussamodelproposedbyLee–Lee–Min[LLM]withthepurposeofunifyingtheabelianMaxwell–HiggsandChern–Simons-Higgstheoriesconsideredabove.Tothispurpose,itisconvenienttointroducetheexplicitdependenceofthetheoryintermsoftheelectricchargeq(previouslynormalizedto1)sothatthe(dimension-less)Chern–Simonsparameterisexpressedasσk=,(1.2.52)q2withσhavingthedimensionofmass. 101SelfdualGaugeFieldTheoriesTheMCSH-theoryproposedin[LLM]isformulatedbymeansoftheLagrangeandensity1αβσαβγαL(A,φ,N)=−FαβF−εAαFβγ+DαφDφ4q24q2(1.2.53)1α2+∂αN∂N−V|φ|,N,2q2whereNisaneutralscalarfield,andthescalarpotentialVtakestheform22q2ν2q2σV|φ|2,N=|φ|2N−+|φ|2−N,(1.2.54)σ2q2withthemassscaleparameterν2tobeconsideredasasymmetry-breakingparameter.Notethatformally,wemayrecovertheabelianMaxwell–HiggsLagrangeanden-sity(1.2.9)outof(1.2.53)bylettingσ→0whilekeepingqfixed.InthiswaytheChern–SimonstermdropsoutwhiletheneutralscalarfieldNneedstobefixedac-cordingtotherelationσN2=ν.q2Then(1.2.53)reducesto1q22LAH(A,φ)=−Fαβα22αβF+DαφDφ−|φ|−ν,(1.2.55)4q22whichgivesexactlytheselfdualabelianMaxwell–HiggsLagrangeandensitywithallrelevantphysicalparameters.Ontheotherhand,ifweletσ→+∞,q→+∞whilekeepingfixedtheChern–Simonsconstantgivenbytheratio(1.2.52),weagainformallyseethatboththeMaxwelltermandthekinetictermrelativetotheneutralfielddropout,whileNmustbefixedaccordingtotherelationσN=|φ|2.Thusatthelimit,Lin(1.2.53)q2takesexactlytheformoftheChern–SimonsLagrangean(1.2.32).ItisinthissensethatwesaythattheMCSH-Lagrangeanin(1.2.53)formulatesaunifiedtheorybetweentheabelianMaxwell–HiggsandChern–Simonsmodels.The“formal”limitstakenabovecanbeshowntoholdrigorouslyalongvortexconfigurations(see[RT1]).LetusnowdescribetheselfdualstructureoftheMCSH-Lagrangeanrepresentedby(1.2.53)and(1.2.54).Firstofall,noticethatthecorrespondingEuler–Lagrangeequationscompletethosein(1.2.34)and(1.2.33)aswehave:⎧⎪⎪1∂α∂αN=−∂V|φ|2,N,⎨q2∂NDαφ=−∂V|φ|2,N,αD(1.2.56)⎪⎪∂φ⎩1∂µνkµαβµq2νF+2εFαβ=J,withkin(1.2.52)andJµthecurrentdefinedin(1.2.35). 1.2TheabelianMaxwell–HiggsandChern–Simonstheories11Asabove,theµ=0componentofthelastequationin(1.2.56)expressestheGausslawconstraintforthegivensystem,whichisgivenasfollows:1∂0j000jF+kF12=J=iφDφ−φDφ.(1.2.57)q2Asbefore,weshalltakeadvantageof(1.2.57)and(1.2.38)inordertoexpressthefollowingMCSH-energydensity:121222212E=|F0j|+|F12|+|D0φ|+|D1φ|+|D2φ|+|∂0N|2q22q22q22222(1.2.58)122q2q2σ+|∇N|+|φ|N−ν+|φ|−N.2q2σ2q2(neglectingatotalspatialdivergenceterm)inthemoreconvenientform:121E=0j±∂22FjN+|∂0N|+|D±φ|2q22q2221σν2+F22−N+N−(1.2.59)12±q|φ|D0φ∓iφ2q2q2kν2εjk1±0∓∂JjJk+NF0j.k2q2Therefore,withthehelpofsuitableboundaryconditionsthatallowonetoneglectthelasttotalspatialdivergencetermin(1.2.59),theminimalMCSH-energyforfixedflux,issaturatedbythesolutionsofthefollowingselfdualequations:⎧⎪⎪D±φ=0,⎪⎪⎪⎪F0j±∂jN=0,⎨F12±q2|φ|2−kN=0,(1.2.60)⎪⎪2⎪⎪D0φ∓iφN−ν=0,⎪⎪k⎩∂0N=0,withkgivenin(1.2.52).Oncemore,equations(1.2.60)supplementedwiththeGausslawconstraint(1.2.57)identifyafirst-orderfactorizationofthesecond-orderEuler–Lagrangeequations(1.2.56).Inparticular,selfdualMCSH-vorticeswillbeobtainedbyconsideringsolutionsof(1.2.60)independentofthex0-variable.Inthissituation,thecorrespondingequationssimplifyconsiderably,sincethelastequationisautomaticallysatisfied.Wecansatisfythesecondandfourthequationin(1.2.60)simplybysetting:ν2A0=±−N.(1.2.61)k 121SelfdualGaugeFieldTheoriesFurthermore,inthex0-independentcasetheGausslawconstraint(1.2.57)takestheform12A0+kF12=2A0|φ|.(1.2.62)q2Therefore,wecancombine(1.2.61),(1.2.62),andthethirdequationin(1.2.60)toseethataselfdualMCSH-vortexiscompletelydeterminedintermsofthecomponents(A1,A2,φ,N)satisfying:⎧⎪⎪D±φ=0,⎨F12=±q2kN−|φ|2,(1.2.63)⎪⎪2⎩−1N=2|φ|2ν−N+kq2|φ|2−kN.q2kExactlyasbefore,weseethatfromasolution(A1,A2,φ,N)staticof(1.2.63),wemayobtainasoliton-likesolutionof(1.2.60)byletting:iω2x0±φ=ekφstatic,Aj=(Aj)static,j=1,2,122N=Nstatic,andA0=±ν+ω−Nstatic,kforeveryω∈R.Analogousselfdualreductionproceduresareknowntoholdalsofornon-relativisticversionsoftheMaxwellandChern–Simonstheoriesdescribedabove,whereroughlyspeaking,thecovariantderivativeD0φoftheHiggsfieldonlyenterslinearlyintotheLagrangeandensity.Wereferto[D1]foradetaileddiscussioninthisdirection.Alreadyfromthosefirstexamples,wecanremarkonsomeinterestingfeaturescommontoallselfdualequationsdiscussedsofar.Firstly,allofthemincludetheself-dual/antiselfdualequationD±φ=0,(1.2.64)whichwillplayacrucialroleintheanalysisthatfollows.Forthemoment,letusmentionthat(1.2.64)maybeviewedasagauge-invariantversionoftheCauchy–Riemannequation,andinfactitimpliesanholomorphic-typebehaviorfortheHiggsfieldφ(respectivelyφ)uptogaugetranformations(cf.[JT]).Notealsothatexceptfor(1.2.64),theremaining(static)selfdualequationsinvolveonlygauge-invariantquanti-ties(i.e.,F12,|φ|2,andwhenpresent,theneutralscalarfieldN).Therefore,onemayhopetofindanappropriategaugetransformationaccordingtowhichthefullsetofselfdualequationstakethemostconvenientexpressionfromtheanalyticalpointofview.ThisgoalwasattainedfirstbyTaubes(see[Ta1],[Ta2],and[JT])whosuccess-fullyhandledtheselfdualabelianMaxwell–Higgsmodel.Itisoneofourpurposestoshowthat,infact,Taubes’approachworksequallywellfortheChern–Simonsmodelsdiscussedaboveand,moregenerally,forthenon-abeliantheoriesofnextsection. 1.3Non-abeliangaugefieldtheories13Butbeforetreatingnon-abeliangaugefieldtheories,wewishtomentionthatwhileTaubes’approachhasfurnishedacompletecharacterizationofGinzburg–Landauvor-ticesintheselfdualregime,inrecentyearsmuchprogresshasalsobeenmadeawayfromtheselfdualregime(i.e.,λ=1in(1.2.10)).Infact,amuchbetterunderstand-ingofGinzburg–Landauvortexconfigurationsnowexistsindimensiond=2andd=3,alsoinrelationtotheirdynamicalproperties.Inthisrespect,seeforexam-ple:[AM],[AB],[ABG],[JMS],[BeR],[JiR],[ABP],[BPT],[BBH],[BBO],[BOS],[BR],[CHO],[CRS],[DGP],[E],[J1],[J2],[JS1],[JS2],[Lin1],[Lin2],[Lin3],[LR1],[LR2],[LR3],[MSZ],[PiR],[Riv],[RuS],[Sa],[SS1],[SS2],[SS3],[SS4],[SS5],[SS6],[SS7],[Se1],[Se2],[Se3],and[Spi].SucharemarkableunderstandingoftheGinzburg–Landaumodelhasalsopromptedtoundertakeasimilarapproachtothe6th-orderChern–Simonsmodelawayfromtheselfdualregime;contributionsinthisdirectioncanbefoundin[HaK],[KS1],and[KS2].1.3Non-abeliangaugefieldtheories1.3.1PreliminariesInthissectionwediscussexamplesofgaugefieldtheoriesdescribingphysicalinter-actionsotherthantheelectromagneticonestreatedintheprevioussection.Suchtheoriesareformulatedwithinthemathematicalframeworkof(non-abelian)gaugetheoryandarespecifiedaccordingto(arepresentationof)anassignedgaugegroupG.ThegaugegroupGisgivenbyarealLiegroup,usuallycompactandcon-nected,whichactsoverafinite-dimensional(realorcomplex)linearspaceL.Thecorrespondingrepresentation,ρ:G→Aut(L),(1.3.1)willbeusedtodescribetheinternal(local)symmetriesrelativetothetheory.Forthisreason,weshallrefertoLastheinternalsymmetryspace.Bytheusualoperationof“derivation,”wecanexchangeinformationbetweenthegroupGandits(real)LiealgebraG.Inthisway,ρin(1.3.1)inducesarepresentationofGonLwhichweshalldenoteinthesameway.Wereferto[Ca],[Fe],and[Hu]forthedetails.Inmostcaseswecanuse(1.3.1)toidentifyGwithanembeddedsubgroupoftheLiegroupof(square)realinvertiblematrices:GL(n,R)={n×nrealmatrixA:detA=0}.(1.3.2)So,formostpurposes,itisconvenienttothinkofGasamatrixgroup.Inthisrespect,notethatGcouldberepresentedalsobycomplexsquarematrices,namely,elementsofthegroup:GL(n,C)={A:n×ninvertiblecomplexmatrix};(1.3.3)butinthiscaseitisunderstoodthatG(beingarealgroup)isconsideredasubgroupofGL(2n,R). 141SelfdualGaugeFieldTheories1.3.2TheadjointrepresentationandsomeexamplesInthissection,wedescribetheadjointrepresentationforaLiegroupG.Thiswillhelpestablishideasandwillgiveusachancetoreviewarelevantgrouprepresentationforthephysicalapplications.Moreprecisely,theadjointrepresentationconcernsthesituationwhereL=G;namely,thelinear(symmetry)spacecoincideswiththeLiealgebraofG,andAd:G−→AutG(1.3.4)isdefinedasfollows.Lete∈GbetheunitelementofG,i.e.,ge=g=eg∀g∈G.Andforg∈G,definetheinnerautomorphismonGasIg:G−→Ga−→gag−1.ThenAd(g)=d(Ig)|e∈AutG,(1.3.5)whereddenotestheusualdifferentiationofsmoothfunctionsonmanifolds.TheinducedadjointrepresentationovertheLiealgebraG,ad:G−→EndGwithad=d(Ad)|e,(1.3.6)canbeshowntoactsimplybytheLiebracket[,]onG,namely,ad(A)=[A,·](1.3.7)(see[Fe]).The(real)adjointrepresentationintroducedabovecanbeextendedinanaturalwayoverthecomplexificationofthe(real)LiealgebraGasGC=G⊗RC,(1.3.8)whichdefinesacomplexLiealgebraequippedwiththeinducedLiebracket.GCpre-servesthestructuralpropertiesofGandwemayconsidertheextendedmapsAd:G−→Aut(GC)(1.3.9)andad:GC−→End(GC)(1.3.10)A−→[A,·],whereforg∈G,therestrictionsAd(g)|Gandad|Grecover,respectively,theadjointrepresentation(1.3.5)and(1.3.7). 1.3Non-abeliangaugefieldtheories15Weshallconsiderbothrealandcomplexadjointrepresentations.Inliterature,thecomplexadjointrepresentationisalsoreferredtoastheconjugaterepresentationofG.Inthecontextoftheadjointrepresentation,itisinterestingtoconsidertheKillingformk:GC×GC−→C,givenbythesymmetricbilinearformdefinedask(A,B)=tr(ad(A)ad(B)),(1.3.11)whereA,B∈GCandtrdenotethetraceofelementsinEnd(GC).TheKillingformisinvariantundertheadjointtransformationof(1.3.9)(andhence(1.3.5)),inthesensethat,forA,B∈GC:k(Ad(g)(A),Ad(g)(B))=k(A,B),∀g∈G;(1.3.12)andk|G×G∈R.Forlateruse,werecordtheidentityk([A,B],C)=k(A,[B,C]),(1.3.13)whichfollowsfromelementarypropertiesofLiebracketsandtraces.NotethattheKillingformvanishesidenticallywhenGisabelian,i.e.,everyelementofG(andthusofGC)commute:[A,B]=0,∀A,B∈GC.Ontheotherhand,itisalsoofinteresttoanalyzethesituationwherekisnon-degenerate,inwhichcasetherelativegroupissaidtobeasemisimplegroup.Itispossibletoshowthat(see[Fe]):Theorem1.3.1IfGisconnectedandsemisimple,thenGiscompactifandonlyifk|G×Gisnegativedefinite.InthecontextofTheorem1.3.1,theKillingformisusedtoprovideGwithaRiemannianstructure.Inthesequel,weshallexploreitsroleintheCartan–WeyldecompositionofGC.Next,letusseehowtheadjointrepresentationoperatesoveramatrixgroup.Forthispurpose,recallthattheLiealgebraassociatedtoGL(n,R)isgivenbygl(n,R)={n×nrealmatrices},(1.3.14)whosecomplexification(gl(n,R))C=gl(n,C)={n×ncomplexmatrices}(1.3.15)justcorrespondstotheLiealgebraofthecomplexLiegroupGL(n,C).IfGisa(embedded)subgroupofGL(n,R),thenitisnotdifficulttoseethat:ifg∈G⊂GL(n,R)andA∈G⊂gl(n,R)(orA∈GC⊂gl(n,C)),thenAd(g)A=gAg−1∈G(orGC),(1.3.16)whereweusetheusualmatrixmultiplication. 161SelfdualGaugeFieldTheoriesInfact,throughanabuseofnotation,theexpression(1.3.16)canbeadoptedtodenote,ingeneral,the(realorcomplex)adjointrepresentationforanygroup.Nextwerecallsomeexamplesofmatrixgroupsthatwillenterasgaugegroupsinthegaugefieldtheoriesdiscussedbelow.SpecialOrthogonalGroup:SO(n)=A∈GL(n,R):AtA=Id,detA=1(1.3.17)wheretAisthetransposeofA,anditsassociatedLiealgebraisso(n)=A∈gl(n,R):A=−tA.(1.3.18)SpecialUnitaryGroup:ThecomplexcounterpartofSO(n)isgivenby,SU(n)=A∈GL(n,C):AA†=Id,detA=1(1.3.19)whereA†=tAistheHermitianconjugateofA,anditsassociatedLiealgebraissu(n)=A∈gl(n,C):A=−A†,trA=0.(1.3.20)Inparticularnotethatdim2−1,(1.3.21)Rsu(n)=nandthecomplexificationofsu(n)isgivenby(su(n))C=sl(n,C)={A∈gl(n,C):trA=0}.(1.3.22)WerecallthatSU(n)definesacompact,connectedsubgroupoftheunitarygroupU(n)=A∈GL(n,C):AA†=Id(1.3.23)andalsodefinesasemisimplegroupforn≥2(cf.[Ca],[Fe]).Whileforn=1,U(1)={z∈C:|z|=1}definesanabeliancompactgroupwhichwecanidentifywithSO(2).Infact,everyelementofSO(2)canbedescribedbyapairofcomplexnumbers{z,ω}suchthatω=izand|z|=1.WethusseethattheprojectionmapfromC2intoCdefinesaLiegrouphomeomorphismbetweenSO(2)andU(1).NotethatU(1)actsonCbymultiplicationbyaunitarycomplexnumber.InconcludingthissectionwereturntotheroleofdifferentiationasameanstotransferinformationfromGover(itsinfinitesimalexpression)G,aswehaveseenalreadyfrom(1.3.5)to(1.3.6).Asiswell-known,thisproceduremaybereversedbymeansoftheexponentialmap.ForamatrixgroupG⊂GL(n,R)(orG⊂GL(n,C))withLiealgebraG⊂gl(n,R)(orG⊂gl(2n,R)),thisissimplydescribedbytheexponentialofamatrix:+∞AkA∈G−→eA=∈G.(1.3.24)k!k=1 1.3Non-abeliangaugefieldtheories171.3.3GaugefieldtheoriesWereturntothedescriptionofagaugetheoryovera(real)LiegroupG,actingoverthesymmetryspaceLwiththecorrespondingrepresentationρin(1.3.1).FromnowonweshallassumeGtobecompact.Inthissituation,itisalwayspossibletodefineaninnerproductoverLandGinvariantunderthetransformationofρ(g)andAd(g),respectively,∀g∈G(cf.[Ca]).Wedenoteitby(·,·)regardlessofwhetheritpertainstoLorG,sothatnoconfusionshouldarise.Andwelet|·|denotetheassociatednorm.AgaugefieldtheorywithgaugegroupGisformulatedintermsofthefollowingdynamicalvariables:thegaugepotentialA:aconnectionovertheprincipalbundlePwithstructuregroupG,theHiggs(matter)fieldφ:asmoothsectionoftheassociatedbundleEwithfiberL;(cf.[JT],[Tra],and[Jo]).Forthepurposeofthesenotes,itsufficestolimitourattentiontogaugetheorieswhereboththeprincipleandtheassociatedbundlearetrivial;althoughitshouldbementionedthatnon-trivialbundlesdooccurinphysicalliterature.Morepreciselywetake,P=R1+d×G,E=R1+d×L,with(R1+d,g)theMinkowskispaceandg=diag(1,−1,...,−1).Hence,thepotentialfieldAisthegloballydefinedG-valued1-formα,AA=Aαdxα=Aα(x)∈Gα=0,1,...,d,(1.3.25)andtheHiggsfieldφisthesmoothL-valuedfunctionφ:R1+d−→L.(1.3.26)Inturn,ifweletDAdenotethe(exterior)covariantderivativeassociatedtotheconnec-tionAactingonG-valuedforms,thenweobtainthegaugefieldFAasthecurvature2-formcorrespondingtoA:1αβFA=DAA=dA+A∧A=Fαβdx∧dx,(1.3.27)2withFαβ=∂αAβ−∂βAα+Aα,Aβ,(1.3.28)α,β=0,1,...,d.Bymeansofthe(induced)representationofρonG,wecanalsoconsiderthecovariantderivativeDAactingoverL-valuedformsasfollows:DAω=dω+ρ(A)∧ω. 181SelfdualGaugeFieldTheoriesInthisway,wecan(weakly)coupletheHiggsfieldφtothepotentialAasfollows:αwithDDAφ=Dαφdxαφ=∂αφ+ρ(Aα)φ,(1.3.29)α=0,1,...,d.ObservethatwhenwerepresentGaccordingtothe(realorcomplex)adjointrep-resentation,thecomponentsofthecovariantderivativeofφreducetotheexpressionDαφ=∂αφ+[Aα,φ],(1.3.30)α=0,1,...,d.A(relativistic)gaugefieldtheory(innormalizedunits)isformulatedbymeansofaLagrangeandensityoftheform11Fαβ+αφ−V,(1.3.31)L(A,φ)=−αβ,FDαφ,D42withscalarpotentialVtypicallyassignedwithdependenceon|φ|2=(φ,φ).TheinternalsymmetriesofthetheoryarenowexpressedbytheinvarianceofLunderthegaugetransformationsA−→A−1,(1.3.32)g=Ad(g)A+gdgφ−→φg=ρ(g)φ,(1.3.33)foranygivensmoothgaugemapg:R1+d−→G.(1.3.34)Indeed,itisnotdifficulttoverifythefollowing(covariant)transformationrules:FAg=Ad(g)FA,DAgφg=ρ(g)DAφ.(1.3.35)Consequently,theinvarianceoftheinnerproduct(relativetoLorG)immediatelygivestheinvarianceofLunderthetransformations(1.3.32)and(1.3.33).Tofamiliarizeourselveswithsuchaframework,letusseehowtorecasttheelec-tromagnetictheorydiscussedintheprevioussectionwithinthisformalism.Weseethat,forthispurpose,weneedtospecifythegaugegroupG,asgivenbythe(abelian)groupofrotationsinR2,andtheinternalsymmetryspace,asgivenbythecomplexline.Namely,wetakeG=U(1)≡SO(2)andL=C,(1.3.36)andconsiderCequippedwiththestandardinnerproduct(z,w)=zw¯∀z,w∈C.(1.3.37)WeknowthatU(1)definesacompact(topologicallyS1)abelianLiegroup,actingonCasmultiplicationbyaunitarycomplexnumber.TheassociatedLiealgebraGistheimaginaryaxis,whichisrepresentedasG=−iRandwhichactsonCbymultiplication. 1.3Non-abeliangaugefieldtheories19Consequently,forthematterandpotentialfields,wefindthattheexpressions(1.2.2)and(1.2.3).Furthermore,inaccordancewith(1.3.27),(1.3.28)and(1.3.29)—thecorrespondinggauge(Maxwell)fieldandcovariantderivativeofφ—taketheformsof(1.2.4),(1.2.5)and(1.2.6),respectively.Inaddition,agaugetransformationgoverU(1)isassignedsimplybyasmoothfunctionω:R1+d−→Rasfollows:g:R1+d−→U(1)x−→eiω(x).Withthisinformation,wecanrevisittheMaxwell–Higgstheorydiscussedinthepre-vioussectiontofitwithinthegaugefieldformalismillustratedabove.Moregeneral(non-abelian)gaugefieldtheoriesmaybeformulatedwhenwereplaceU(1)withother(matrix)groups.Thus,whileU(1)pertainstoelectromag-netism,thegroupSU(2)isinvolvedintheformulationoftheYang–Mills–Higgstheoryofweakinteractions,whileSU(3)istheappropriategaugegrouptode-scribestronginteractions.InthegroupSU(5)liesthehopefordescribingauniversalunifiedtheorybeyondthealreadycelebratedelectroweaktheoryofGlashow–Salam–Weinbergwhichformulatesaunified(SU(2)×U(1))-gaugefieldtheoryforelectro-magneticandweakinteractions.Weshallpresentamoredetaileddiscussionofnon-abeliangaugefieldtheoriesinthecontextofthe(realorcomplex)adjointrepresentation,whereboththepotentialandthematterfieldsareexpressedonthesamebasisofthegaugealgebra(realorcom-plex).Asisalreadyapparentfromtheexpressionofthecovariantderivative(1.3.30),itisimportanttoconsideronG(orGC),abasisthatsatisfiesthemostconvenientcommutatorrelations.WewillreachthisgoalbymeansoftheCartan–Weylbasisdecomposition(cf.[Ca],and[Hu])whichwediscussbrieflyinthefollowingsection;wewilldescribethemostrelevantfeatures,especiallyinthecontextofsemisimpleLiegroups(e.g.,SU(n)).1.3.4TheCartan–Weylgenerators:basicsInthissectionwegiveabriefaccountontheCartan–Weyldecompositionofacom-plex(finite-dimensional)semisimpleLiealgebra{L,[,]}accordingtothe(complex)adjointrepresentation;wereferto[Ca]and[Hu]fordetails.Tothispurpose,werecallthatthereexistsanelementA∈L,suchthatthelinearmapad(A):L−→L(1.3.38)X−→[A,X]admitsonlyzeroasamultipledegenerateeigenvalue,whilethenumberofremainingnon-zeroeigenvaluesismaximal.Suchnon-zeroeigenvaluesarecalledtherootsofLandnecessarilymustbesimpleeigenvalues.Theeigenspaceofthezeroeigenvalue(i.e.,Kerad(A))containsA,andbyvirtueoftheJacobiidentity[A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0,(1.3.39) 201SelfdualGaugeFieldTheoriesdefinesasubalgebraofL,whichcanbeshowntobeabelian(i.e.,eachpairofitselementscommuteundertheLiebracketoperation).Actually,theeigenspacecoincideswiththemaximalabeliansubalgebraofL,andthusisindependentofthechoiceoftheelementA.SuchamaximalabeliansubalgebraofLisknownastheCartansubalgebra,anditsdimensionrdefinestherankofL.Denotingby{Ha}a=1,...,rabasisfortheCartansubalgebra,wehave:[Ha,Hb]=0∀a,b=1,...,r.(1.3.40)SinceAbelongstotheCartansubalgebrawemaywrite:A=γaHa.(1.3.41)Now,letλbearootofLanddenotebyEλacorrespondingeigenvector,calledarootoperator.Then[A,Eλ]=λEλ.(1.3.42)BymeansoftheJacobiidentity(1.3.39),wefindthat[A,[Ha,Eλ]]=−[Ha,[Eλ,A]]−[Eλ,[A,Ha]]=λ[Ha,Eλ]∀a=1,...,rwherewehaveused(1.3.40)and(1.3.41).Thatis,[Ha,Eλ]isalsoaneigenvectorcorrespondingtothe(simple)eigenvalueλ,andconsequently[Ha,Eλ]=αaEλ∀a=1,...,r.(1.3.43)Inthisway,toeachrootλwecanassociateavectorα=(α1,...,αr)∈Crknownasarootvector.Notethatarootvectorisnon-zero,i.e.,α=0.Itispossibletocheckthattherootvectorαisuniquelydeterminedbyλ,inthesensethatdifferentrootsgiverisetodifferentrootvectors.By(1.3.41)thefollowingrelationholds:aαλ=γa.(1.3.44)Thus,ifwedenoteby⊂Cr{0}thesetofrootvectors,wefindaone-to-onecorrespondencebetweenandthesetofrootsofL.ForthisreasonwecanreplaceEλwithEαtoidentifythecorrespondingrootop-erator.Furthermore{Ha,Eα}definesabasisforL,knownastheCartan–Weylbasis,andforeachX∈Lweobtainthefollowingrootspacedecomposition:ryaHX=a+yαEα.(1.3.45)a=1α∈Nextnoticethat,ifα=(αa)a=1,...,randβ=(βa)a=1,...,r∈aretworootvectorsof,withλα=γaαaandλβ=γaβathecorrespondingroots,thenbymeansoftheJacobiidentity(1.3.39),wecanverifytheidentity:[A,[Eα,Eβ]]=(λα+λβ)[Eα,Eβ].(1.3.46) 1.3Non-abeliangaugefieldtheories21Thusweseethat,eitherEα,Eβcommuteas[Eα,Eβ]=0,(1.3.47)orλα+λβisarootofLandwemustdistinguishbetweenthefollowingcases:i)λα+λβ=0,i.e.,β=−α,wherewefindaHa[Eα,E−α]=αaforsuitableα∈C(1.3.48)ii)λα+λβ=0,i.e.,α+βisarootofAandwefind[Eα,Eβ]=cαβEα+βforsuitablecαβ∈C.(1.3.49)Asamatteroffact,whenEαandEβcommute,wecansupposethattherelations(1.3.48)and(1.3.49)arestillvalidbytakingαa=0orcαβ=0,respectively.Inparticular,fromidentity(1.3.49)weseethatinordertorepresentLwedonotneedtoincludeEα+β,amongitsrootoperatorswhenα+β=0;thiseigenvectormayberecoveredviathebracketoperationfromEαandEβ,providedtheydonotcommute.Therefore,itbecomesaninterestingproblemtodeterminetheminimalsetofrootvectors,knownasthesimplerootvectors,whichgeneratethewholesetbysummingoveritselements.Inthisway,theLiealgebraLwouldbecompletelyrepresentedbythegeneratorsoftheCartansubalgebraandthesimplerootstepoperators.ThesetofsimplerootstepoperatorsisparticularlynicetodescribeforsemisimpleLiealgebraforwhichwecanderivedirectinformationoutoftheKillingform(1.3.11)intherootspacedecomposition.Tothispurpose,let{Xl}beabasisforLwithstructuralconstantsCml,ndefinedbytherelation:lX[Xm,Xn]=Cm,nl.(1.3.50)Then,theKillingformkmaybecompletelyexpressedintermsofthesymmetricsquarematrixg=gm,n,withglCν,(1.3.51)m,n=Cm,νnlaswefindthatagbllk(X,Y)=xa,by,forX=xXlandY=yXl.Therefore,ifLissemisimple,theng=gm,nisinvertible(i.e.,detg=0).Fur-thermore,ifLcorrespondstothecomplexificationofarealLiealgebrarelativetoacompact,connectedsemisimplegroup,thenbyTheorem1.3.1,wemayevenconcludethatgisnegativedefinite.Letusseehowtousethisinformationwhenwefix{Ha,Eα,a=1,...,r,α∈}asabasisforLaccordingtotherootspacedecomposition. 221SelfdualGaugeFieldTheoriesAsaconsequenceofthecommutatorrelations(1.3.40),(1.3.43),(1.3.48),and(1.3.49),weobtainthestructuralconstantstobegivenasfollows:βlCab=0=Cabβ∈
,a,b,l∈{1,...,r}(1.3.52)Cβ=αβlaαaδα,Caα=0α,β∈
,a,b,l∈{1,...,r}(1.3.53)ββcαµδα+µifα+µ=0l0α+µ=0Cαµ=Cαµ=aa(1.3.54)0otherwiseαδα+µ=0lα,β,µ∈
,l∈{1,...,r}.Byvirtueof(1.3.52),(1.3.53),and(1.3.54),wefindthatthematrixgisformedbytwoblocks:{gab}a,b=1,...,rgivenbyitsrestrictionovertheCartansubalgebra,gab=k(Ha,Hb);{gαβ}α,β∈givenbyitsrestrictionovertherootspaceoperatorsgαβ=k(Eα,Eβ),whilegcontainszeroselsewhere.Infact,fora∈{1,...,r}andα∈wefindlblβνβνbgαa=CαbCal+CαβCal+CαβCaν+CαbCaν=0=gaα.(1.3.55)Ontheotherhand,whenα,µ∈wehavelblβνβνbgαµ=CαbCµl+CαβCµl+CαβCµν+CαbCµν=gµα.Weseethatnecessarily−α∈;otherwise,wewouldgetgαµ=0forallµ∈,andinlightof(1.3.55),wewouldcontradictthenon-degeneracyofg.Thus,bytheanalysisoftheblock{gαµ}wehavediscoveredafirstimportantprop-ertyofsemisimpleLiealgebras;namely,ifα∈
,then−α∈
.(1.3.56)Next,weconsidertheblock{gab}a,b=1,...,rrelativetotherestrictionofgontheCartansubalgebra.First,notethat{gab}definesanon-degenerater×rmatrix.Inviewof(1.3.53)and(1.3.48),wecomputeαak(Eα,E−α)=k([Ha,Eα],E−α)=k(Ha,[Eα,E−α])bk(H=αa,Hb)=αbgab,(1.3.57)wherewehaveused(1.3.13). 1.3Non-abeliangaugefieldtheories23Therefore,ifwenormalizetherootoperatorstosatisfyk(Eα,E−α)=1,thenfrom(1.3.57)wededucea=gabααb,(1.3.58)where,asusual,(gab)denotestheinversematrixof(gab).Byvirtueof(1.3.58),itseemsappropriatetointroducethefollowinginnerproductovertheset:aβab(α,β)=αa=βagαb.(1.3.59)Furthermore,intermsofthestructuralconstantsweseethatglCm+ClCα+CβCm+CβCαab=Camblaαblambβaαbββα=CaαCbβ=α∈αaαb,andthenon-degeneracyof{gab}impliesthatthesetofrootvectorsmustspanthewholespaceCr.Suchapropertyindicatesthatthesetofsimplerootsmustcontainexactlyrinde-pendentvectors.Thisresultcanbemaderigorous(cf.[Ca]and[Hu])asitispossibletoshowthat,forasemisimpleLiealgebrathesetofsimplerootscontainsexactlyrindependentvectorsandanyotherrootvectorcanbeobtainedasasumofsimplerootvectorswithintegercoefficientsallhavingthesamesign(either≥0or≤0).Moreprecisely,=α(a)a=1,...,rand∀α∈:(a)+−(1.3.60)α=naαwithna∈Z∀a,orna∈Z∀a.Therootoperatorcorrespondingtothesimplerootα(a)willbedenotedbyEa,a=1,...,randcalledasimplerootstepoperator.Notethat,accordingto(1.3.60),fora=bwehave[Ea,E−b]=0,asα(a)−α(b)∈/.Infact,accordingtoChevalley’snormalizationconditions(cf.[Ca],[Hu],and[Chev]),itisalwayspossibletoarrangetheCartansubalgebragenerators{Ha}a=1,...,randthesimplerootstepoperators{Ea}a=1,...,rtosatisfythefollowingcommutatorandtracerelations:[Ha,Hb]=0(1.3.61)[Ea,E−b]=δaHa(1.3.62)b[Ha,E±b]=±KabE±b(1.3.63)tr(EaE−b)=δa,tr(HaHb)=Kab,tr(HaE±b)=0(1.3.64)ba,b=1,...,r, 241SelfdualGaugeFieldTheorieswherethecoefficientsα(a),α(b)Kab=2(1.3.65)α(a),α(a)formanr×rmatrix,knownastheCartanmatrix.TheabovedecompositioncanbenicelyillustratedforthegroupSU(n),wherethecorrespondingoperatorsHaandEaaredeterminedexplicitly.WestartwiththeparticularlysimplecaseofSU(2),wheretheassociatedLiealgebrasu(2)=A∈gl(2,C):A†=−A,trA=0admits(real)dimension3.Itscomplexificationsl(2,C)={A∈gl(2,C):trA=0}alsoadmits(complex)dimension3.Weeasilydetermineabasisforsl(2,C),asgivenby:100100T1=,T2=,T3=.0−10010†ObservethatT3=T,andthefollowingcommutatorrelationshold:2[T1,T2]=2T2,[T1,T3]=−2T3,(1.3.66)[T2,T3]=T1.(1.3.67)Hence,nopairoflinearlyindependentelementsofsl(2,C)cancommute.Therefore,thecorrespondingCartansubalgebraisone-dimensional(i.e.,r=1),andinviewof(1.3.66)wearriveattheconclusionthatH1=T1,E1=T2givetheCartansubalgebrageneratorandthesimplerootstepoperator,respectively,†whileE−1=E=T3.ItcanbecheckedbydirectinspectionthatalltheChevallery’s1relations(1.3.61)–(1.3.64)areverifiedsinceK=K11=2inthiscase.Toobtainabasisforsu(2),wesimplyhavetouselinear(complex)combinationsofH1,E1andE−1toobtainthreelinearlyindependentanti-Hermitiantracelessmatrices.Easilyweguessthemtobe:iH1,E1−E−1,i(E1+E−1).Infact,itismoreconvenienttotakeasabasisforsu(2)thefollowing:111X1=(E1+E−1),X2=−(E1−E−1),X3=H1.(1.3.68)2i22iThisbasissatisfies[Xa,Xb]=εabcXc,(1.3.69) 1.3Non-abeliangaugefieldtheories25andisrelatedtothe(Hermitian)Paulimatrices:010−iσ1==E1+E−1,σ2==i(E−1−E1),(1.3.70)10i010σ3==H1(1.3.71)0−11σviatheidentityXa=a,a=1,2,3.2iThisfirstexamplegivesahintonhowtoproceedmoregenerallyforthegroupSU(n).WeintroducethematricesTabdefinedbythecondition:(Tabab)jk=δjδk(1.3.72)a,b=1,...,n.SetHa=Taa−Ta+1,a+1,a=1,...,n−1,(1.3.73)andnotethatsuchmatricesarediagonalandhencecommuteas[Ha,Hb]=0,a,b=1,...,n−1.†Inaddition,T=TbaandTab∈sl(n,C)onlyifa=b.Infact,thesetab†Ha,Tab,T,1≤a0definestheChern–Simonscouplingpara-meterwhosestrengthmustbecounterbalancedbythestrengthofthescalarpotentialV=V(φ,φ†),inorderfor(1.3.99)tosupportaselfdualstructure.Tothispurpose,Dunnein[D1](seealso[D2])proposedthefollowinggauge-invariantscalarpotential:†1†2†2V=trφ,φ,φ−νφφ,φφ−νφ(1.3.101)k212=φ,φ†,φ−ν2φ,k2withthesymmetry-breakingmass-scaleparameterν2.AlthoughthepotentialVin(1.3.101)mightappearunusualatfirstsight,weun-coveritsfamiliarnaturebylookingatitoverthesubspaceofsl(n,C),generatedbythesimplerootstepoperatorsEa,a=1,...,n−1in(1.3.77).Infact,forφ=φaEa,withφa∈C,wefind1a2b22V=|φ(ν−Kba|φ|)|,(1.3.102)k2whichmightbetakenasthenaturalextensionoverthe(n−1)-ples{φa}oftheself-dualChern–Simonspotential(1.2.40)withcouplingprovidedbytheCartanmatrixin(1.3.79).TheEuler–Lagrangeequationsrelativeto(1.3.95)aregivenbyα∂VDαDφ=−,(1.3.103)∂φ†kµαβµεFαβ=−iJ,(1.3.104)2withJµ=iDµφ,φ†−φ,(Dµφ)†,(1.3.105) 321SelfdualGaugeFieldTheoriesasthecorrespondingnon-abeliancovariantlyconservedcurrent.Againwenoticeanobviousformalanalogybetween(1.3.105)anditsabeliancounterpart(1.2.35).Fromtheµ=0componentof(1.3.104)weobtainthe(non-abelian)Gausslawconstraint:1†00†F12=−([φ,Dφ]−[(Dφ),φ]).(1.3.106)kAsfortheabeliancase,wecanuse(1.3.106)todeducethefollowingexpressionforthegauge-invariantpartoftheenergydensity:E=trDαφ)†+V(1.3.107)αφ(Dwhereagain,theChern–Simonstermdoesnotcontributeto(1.3.107).TorevealhowthechoiceofVin(1.3.101)impliesaselfdualstructure,werecordthefollowingidentityasthenon-abeliancounterpartof(1.2.38):jk222†ε|D1φ|+|D2φ|=|D±φ|±itrF12φ,φ±∂jQk.(1.3.108)2HereD±φ=D1φ±iD2φ;(1.3.109)andµ†µµ†Q=itrφD−Dφφ(1.3.110)identifiestheabeliancurrentrelativetotheU(1)-invarianceofthetheory.WiththisinformationandwiththechoiceofthescalarpotentialVin(1.3.101),wecanproceedanalogouslytotheabeliansituationandarriveatthefollowingexpressionfortheenergydensity:12εjk2+|D2†φ,φ†2E=|D0φ|±φ|±itrF12φ,φ+,φ−νφ±∂jQkk222=D0φ∓iφ,φ†,φ−ν2φ+|D±φ|2(1.3.111)k2jk톆ε±itrD0φφ−φ(D0φ)±∂jQk.k2Thus,byusingtheelementarypropertiesoftracesandthecomponentQ0oftheabeliancurrent(1.3.110),wefind22jkE=D0φ∓iφ,φ†,φ−ν2φ+|D±φ|2±νQ0±ε∂jQk.(1.3.112)kk2Therefore,withinappropriateboundaryconditionsthatallowustoneglectthetotalspatialdivergencetermin(1.3.112),wecansaturatetheenergylowerboundthroughthesolutionsofthefollowing(first-order)equations: 1.3Non-abeliangaugefieldtheories33D±φ=0(1.3.113)Diφ,φ†,φ−ν2φ,(1.3.114)0φ=±ktobesatisfiedinadditiontotheGausslawconstraint(1.3.106).Inotherwords,(1.3.106),(1.3.113),and(1.3.114)representtheselfdualequationscorrespondingtothenon-abelian(pure)Chern–Simonsmodel(1.3.99)and(1.3.101).Inordertoiden-tifythestaticselfdualsolutions(i.e.,solutionsindependentofthex0-variable),itisconvenienttosubstitute(1.3.114)into(1.3.106)andrewritethe(static)selfdualequa-tionsintheformD±φ=02i2††F12=∓νφ−φ,φ,φ,φ;(1.3.115)k2andthenuse(1.3.114)todetermineonlytheA0-componentofthepotentialfield.Incidentally,noticethattheselfdualequations(1.3.115)aretrivializedintherealadjointrepresenationwhereφ∈su(n),andsoφ†=−φ.Indeedinthiscase,thesecondequationin(1.3.115)leadstoF12=0,while(1.3.114)canonlyresultinthetrivialsolutionφ=0sinceitsleft-handsideisHermitianwhileitsright-handsideisanti-Hermitian.SotheselfdualChern–Simonstheorypresentedhereisoftrueinterestinthecon-jugaterepresentation.Theresulting(non-abelian)selfdualequations(1.3.114)and(1.3.115)aremuchmoredifficulttohandleincomparisonwiththeirabeliancoun-terpart(1.2.45),inspiteoftheiranalogiesata“formal”level.Infact,concerning(1.3.114)and(1.3.115)rigorousanalyticalresultshavebeenobtainedonlyundertheansatzthateachcomponentAαofthepotentialfieldtakesval-uesontheCartansubalgebraofsu(n),whilethematterfieldφbelongstothesubspaceofsl(n,C)generatedbythesimplerootstepoperators.Observethatthecommutatorrelations(1.3.61)–(1.3.64),validfortheCartan–Weylgenerators(1.3.77),provecon-sistencyoftheselfdualequationsundersuchrestrictions.Moreprecisely,weletaHaAα=−iAαaAα∈R,α=0,1,2(1.3.116)aEaφ=φaφ∈C,(1.3.117)a=1,...,n−1;andseethatDaaaaabaαφ=DαφEawithDαφ=∂αφ−iAαKbaφ,(1.3.118)whereKbaarethecoefficientsoftheCartanmatrix.Furthermore,Faaaaαβ=−iFαβHawithFαβ=∂αAβ−∂βAα,(1.3.119)wherenocommutatorappears,as{Ha,a=1,...,n−1}commute;andD††aJ0=i0φ,φ−φ,(D0φ)=J0Ha,(1.3.120) 341SelfdualGaugeFieldTheorieswithJa=iφaDaφa−Daφaφa.(1.3.121)000Therefore,settingDaφa=Daφa±iDaφa,(1.3.122)±12wecanexpress,bystraighforwardcalculations,theselfdualequations(1.3.115)com-ponentwiseasDaφa=0,±a22b2a2(1.3.123)F12=±2ν−|φ|Kba|φ|;kwhiletheGausslawconstraint(1.3.106)becomesa1aF12=J0,(1.3.124)ka=1,...,n−1.Alsonoticethat,fortheabeliancurrentdensity,wehaven−1Q0=Ja.(1.3.125)0a=1Inotherwords,asolutionto(1.3.123)and(1.3.124)giverise(via(1.3.116)and(1.3.117))tothesolutionsfortheselfdualequations(1.3.114)and(1.3.115),whoseenergydensityreduceston−1E=±ν2Fa+spatialdivergenceterms.(1.3.126)12a=1Itisnotsurprisingthatforn=2,thereducedSU(2)-selfdualequationsabovejustco-incidewiththeselfdualequationsoftheabelianU(1)-Chern–Simonsmodel(1.2.41).Ontheotherhand,forn≥3,theselfdualequations(1.3.123)and(1.3.124)rep-resentasystemofselfdualabelian-typeequationscoupledthroughtheCartanmatrix(1.3.79).Thisfactisalsoexpressedbythenatureofthegaugeinvariancepropertiesofequations(1.3.123)and(1.3.124),givenbythetransformationrules:a−→Aa+∂Aαααωa,(1.3.127)aiωbKbaaφ−→eφ.(1.3.128)Wereferto[D1]and[Y1]foradiscussionofothernon-abelianChern–Simonsmodelsconcerningnon-relativisticsettings. 1.4Selfdualityintheelectroweaktheory351.4SelfdualityintheelectroweaktheoryAsalastexample,wepresentAmbjornOlesen’sapproach(cf.[AO1],[AO2],and[AO3])todescribeaselfdualstructureforthecelebratedelectroweaktheoryofGlashow–Salam–Weinberg(cf.[La])ofunifiedelectromagneticandweakforces.Theelectroweaktheoryisarelativistic(SU(2)×U(1))-gaugefieldtheorythatwearegoingtoconsiderovertheMinkowskispace(R1+3,g)withmetrictensorg=diag(1,−1,−1,−1).ThegaugegroupG=SU(2)×U(1)actsoverC2(theinternalsymmetryspace)accordingtotherepresentationρ:SU(2)×U(1)−→Aut(C2).(1.4.1)Wearegoingtodescribethisrepresentationintermsofthematrices:1ta=σa,a=1,2,3,(1.4.2)2whereσaisthe2×2Paulimatrixanda=1,2,3,isdefinedin(1.3.70)and(1.3.71).Tothispurpose,notethatbyvirtueof(1.3.68)and(1.3.69),weknowthat{−ita}a=1,2,3definesabasisforsu(2),andthereholds:[ta,tb]=iεabctc,(1.4.3)Trta,(1.4.4)atb=δbwhereTr=2tristhenormalizedtrace.Hence,wecanusetheexponentialmap(1.3.24)toexpresseveryelementofSU(2)asfollows:−iλataae∈SU(2),λ∈R.(1.4.5)Moreover,letting110t0=,(1.4.6)201wemayextendthenotationin(1.4.5)overthegroupU(1),byrepresentingeveryelementofU(1)asa2×2complexmatrixintheform:e−iξt0∈U(1),ξ∈R.(1.4.7)Then,forh=(e−iλata,e−iξt0)∈G=SU(2)×U(1)andϕ=ϕ1∈C2,theϕ2representationρofGonC2isdefinedas−igλata−ig∗ξt02ρ(h)ϕ=eϕ∈C,(1.4.8)withgandg∗thecouplingconstantsrelativetothegroupSU(2)andU(1),respectively. 361SelfdualGaugeFieldTheoriesInthissetting,thepotentialfieldisexpressedbythepairA=−igAαdxαwithAα=Aaαta,α(1.4.9)B=−ig∗Bαt0dx,whereAaα,a=1,2,3andBαaresmoothrealfunctionsoverR1+d,α=0,1,2,3.Thecorrespondinggaugefieldsaregivenbytheexpressions:iα∧dxβ,withF(1.4.10)FA=−gFαβdxαβ=∂αAβ−∂βAα+igAα,Aβ2iαβFB=−g∗Gαβt0dx∧dx,withGαβ=∂αBβ−∂βBα.(1.4.11)2ConcerningtheHiggsmatterfieldφ,itissimplyexpressedbyaC2-valuedsmoothfunction1+32ϕ1φ:R−→C,φ=;(1.4.12)ϕ2anditisweaklycoupledtothepotentialfieldbymeansofthecovariantderivativeatDαφ=∂αφ−igAαaφ−ig∗Bαt0φ,α=0,1,2,3.(1.4.13)OverC2,weconsiderthestandardinnerproduct:†ϕ1ψ12(,)==¯ϕ1ψ1+¯ϕ2ψ2,for=,=∈C.(1.4.14)ϕ2ψ2While,withtheidentification(1.4.7),wemayusetheusualinnerproduct(1.3.83)fortheelementsofthegaugealgebra.Inthisway,thebosonicsectoroftheelectroweaktheoryisformulatedaccordingtotheLagrangeandensity1†1†2TrFFαβ2αβαL(A,B,ϕ)=−gαβ−g∗GαβG+Dφ(Dαφ)442−λϕ2−φ†φ,(1.4.15)0withλandϕ0twopositiveparameters.Forωa,ξ:R1+3→R,smoothfunctions(a=1,2,3),andf=eigωata∈SU(2),wecheckthattheLagrangeandensityin(1.4.15)isinvariantunderthegaugetransformations:igωata+ig∗ξt0ϕ−→eϕ,A−1−1α−→fAαf+f∂αf,(1.4.16)Bα−→Bα+∂αξ. 1.4Selfdualityintheelectroweaktheory37Byvirtueofsuchinvariance,wecanrewritethetheoryintheunitarygaugedefinedbythecondition0φ=,(1.4.17)ϕwithϕarealscalarfunction.Infact,intheunitarygauge,itisconvenienttoformulatethetheoryintermsofthenewfields’configurations—Wα,PαandZα—obtainedasthelinearcombinationsoftheoriginalfieldsasfollows:P3α=Bαcosθ+Aαsinθ,(1.4.18)Z3α=−Bαsinθ+Aαcosθ,(1.4.19)and112Wα=√Aα+iAα,(1.4.20)2α=0,1,2,3andθ∈(0,π).Tocomprehendtheroleoftheangleθ,weobserve2thatWαandZαaremassivefieldsmediatingshort-range(weak)interactions,whilePαmediateslong-range(electromagnetic)interactions(see[La]).IntermsofPαandZα,thecovariantderivativeDαtakestheexpression:A1t2Dα=∂α−igα1+Aαt2−iPα((gsinθ)t3+(g∗cosθ)t0)(1.4.21)−iZα((gcosθ)t3−(g∗sinθ)t0).ForPαtomediateelectromagenticinteractions,weneedtherelativecoefficientin(1.4.21)tocorrespondtothechargeoperatoreQ=e(t3+t0),whereeistheelectron’scharge.Consequentlywederive:e=g∗cosθ=gsinθ.Thatisgg∗ge=andcosθ=,(1.4.22)11g2+g∗22g2+g∗22θ∈(0,π).2TheangleθisknownastheWeinberg(mixing)angle,andfromnowonitwillbefixedaccordingto(1.4.22).Inthisway,weseethatA1t2Dα=∂α−igα1+Aαt2−iPαeQ−iZαeQ,(1.4.23)withQ=(cotθ)t3−(tanθ)t0.Consequently,intheunitarygaugewhereφisassignedaccordingto(1.4.27),wehave−igA1−iA2ϕDαφ=2αigα,(1.4.24)∂αϕ+Zαϕ2cosθwithϕarealscalarfunction. 381SelfdualGaugeFieldTheoriesTherefore,ifweletDα=∂α−igA3αandsetPαβ=∂αPβ−∂βPα,Zαβ=∂αZβ−∂βZα,thenbydirectinspectionwecanconfirmthattheLagrangeandensityin(1.4.15),whenexpressedintheunitarygaugevariables,takestheform:1αββα1αβ1αβL=−DαWβ−DβWαDW−DW−ZαβZ−PαβP24412α2ααβαβ−gWWα−WWαWβWβ−igZcosθ+PsinθWαWβ21α12+2ϕ2WWα22α22gα+∂ϕ∂αϕ+2gϕZZα−λϕ0−ϕ.(1.4.25)24cosθToobtainselfdualelectroweakvortex-typeconfigurations,AmbjornandOlesen(see[AO1],[AO2],and[AO3])suggestedthatonetakeallmagneticexcitationasconfinedinthethirddirection,accordingtothefollowingvortexansatz:Aa=Aa=B0=B3=0,03(1.4.26)Aa=Aa(x1,x2),Bj=Bj(x1,x2),j=1,2,jja=1,2,3,andϕ=ϕ(x1,x2).(1.4.27)Inaddition,theyassumethatforacomplexfieldW,thereholdsW1=W,iW2=W;(1.4.28)thatis,√√−A2=A1=2Re(W),A2=A1=2Im(W).(1.4.29)2112Wethenfindthefollowingexpressionforthecorrespondingenergydensity212122E=|D1W+D2W|+P12+Z12−2g(Z12cosθ+P12sinθ)|W|222421222222222+2g|W|+(∂iϕ)+2gϕZj+gϕ|W|+λ(ϕ0−ϕ).4cosθNoticethat,undertheansatz(1.4.26)–(1.4.28),theinvarianceofLaccordingtothetransformations(1.4.16)issimplyexpressedbyaresidualU(1)-invariance,oftheenergyEdefinedabove,underthegaugetransformation:iξW,P1W−→ej−→Pj+∂jξe(1.4.30)Zj−→Zj,ϕ−→ϕj=1,2,foranysmoothfunctionξ=ξ(x1,x2). 1.4Selfdualityintheelectroweaktheory39Withtheaimtoattainselfduality,AmbjornandOlesenin[AO1]observedthattheaboveenergydensityEmaybewrittenintheform,1g22+P2−2gsinθ|W|2E=|D1W+D2W|12−ϕ022sinθ1g2g2+Z2−ϕ22+12−ϕ0−2gcosθ|W|ϕZj+εjk∂kϕ22cosθ2cosθg22g2gϕ2gϕ2+λ−2−ϕ2−4+0P02ϕ02ϕ012−Z128cosθ8sinθ2sinθ2sinθg2−∂kεjkZjϕ.(1.4.31)2cosθg2Therefore,forλ≥2wehave8cosθg2gϕ2gϕ2gE≥−ϕ4+0P022012−Z12−∂kεjkZjϕ.(1.4.32)8sinθ2sinθ2sinθ2cosθInaddition,whenthegivenparameterssatisfythe“critical”conditiong2λ=,(1.4.33)8cos2θthenthelowerboundin(1.4.32)issaturatedbythesolutionsofthefollowingsystemofselfdualequations:⎧⎪⎪D1W+iD2W=0,⎪⎪⎪⎨g22P12=ϕ+2gsinθ|W|,2sinθ0(1.4.34)⎪⎪Z12=gϕ2−ϕ2+2gcosθ|W|2,⎪⎪2cosθ0⎪⎩2cosθεZj=−jk∂klogϕ,j=1,2.gAsusual,(1.4.34)representsafirst-orderfactorizationoftheEuler–Lagrangeequa-tionscorrespondingtoLin(1.4.25).Inparticular,eachsolutionof(1.4.34)givesrisetoacriticalpointforL.Notethatintheunitarygaugevariables,therealfieldϕnevervanishes.Alsoobservethatwecancombinethelasttwoequationsin(1.4.34)andobtain,g2−logϕ=(ϕ2−ϕ2)−g2|W|2.(1.4.35)2cosθ0Expression(1.4.32)impliesthatplanarsolutionsof(1.4.34)maycarryinfiniteenergy.Therefore,intheplanarcase,theselfdualitycriterionyieldstosolutionswhichmaynotbareaphysicalmeaning.Nonetheless,weknowthatthesolutionsof(1.4.34)appearinabundanceandmaybeselectedaccordingtotheirdecaypropertyatinfinity(see[SY3]and[ChT1]).Asweshallsee,theappropriateboundaryconditionstoconsiderinthiscon-textaretheperiodicones,asintroducedby’tHooftinagauge-invariantsituation 401SelfdualGaugeFieldTheories(see[’tH2]).Thecorrespondingperiodicelectroweakvortex-likeconfigurationsareknownasW-condensates,andarephysicallyinterestingbyvirtueoftheirconnectiontotheso-calledAbrikosov’s“mixedstates”insuperconductivity.SincetheirpresencewasfirstpredictedbyAmbjornandOlesen([AO1],[AO2],and[AO3])onthegroundsofsomenumericalevidence,theexistenceofW-condensateshasbeenestablishedrigorouslyin[SY2]and[BT2].WewilldiscusstheminChapter7.Theanalysisofselfdualelectroweakvortexconfigurationsactuallycanbeextendedtoselfgravitatingelectroweakstrings;theyoccurinthetheorydescribedabove,whenwealsotakeintoaccounttheeffectofgravity.Inthissituation,themetrictensorgisnolongerfixedbutpartoftheunknownstobedeterminedaccordingtothecoupledelectroweakEinsteinequations.Again,itispossibletoshowthataselfdualregimeisattainedbytheelectroweakEinsteintheory,whenweallowthegravitationalmetrictovaryintheclass2222ds2=dx0−dx3−eηdx1+dx2,(1.4.36)withηtheunknownconformalfactor.Thus,asbefore,forλfixedaccordingtothecriticalcondition(1.4.33),andunderthestringansatzaccordingtowhichηisafunctiondependingonlyonthevariables(x1,x2),andwhen(1.4.26)–(1.4.29)hold,wefindthatselfgravitatingstrings(parallelalongthex3-axis)maybeobatinedbysolvingasetofselfdualequationswhichmodify(1.4.34)asfollows:⎧⎪⎪D1W+iD2W=0,⎪⎪⎪⎨g2η2P12=ϕe+2gsinθ|W|,2sinθ0(1.4.37)⎪⎪Z12=gϕ2−ϕ2eη+2gcosθ|W|2,⎪⎪2cosθ0⎪⎩2cosθεZj=−jk∂klogϕ,j=1,2,gwithηsatisfyingEinstein’sequationsthat,inthissetting,reducetoηgϕ2g−=0Pϕ2−ϕ22,(1.4.38)12+0Z12+4|∇ϕ|8πGsinθcosθwhereGisthegravitationalconstant.Wereferthereaderto[Y1]forthedetails.Herewelimitourselvestoobservingthattheenergydensity,correspondingtosolutionof(1.4.37),takestheform:g2ϕ4gϕ2gϕ2g0+0−ηP0−η−η2E=−e12−eZ12−e∂k(εjkZjϕ).(1.4.39)8sin2θ2sinθ2cosθ2cosθAsamatteroffact,wecanuse(1.4.37)toexpressEequivalentlyasfollows:g2ϕ4gϕ2gE=−00−ηP−η22−η22+e12+eZ12ϕ−ϕ0+2e|∇ϕ|8sinθ2sinθ2cosθg2ϕ4g22=0+ϕ2−ϕ2+g2ϕ2|W|2e−η+2e−η|∇ϕ|2.(1.4.40)24cos2θ08sinθ 1.4Selfdualityintheelectroweaktheory41Therefore,contrarytothepreviouscase,itmakesgoodsensenowtoconsiderplanarselfgravitatingelectroweakstrings(parallelinthex3-direction)satisfyingthefiniteenergycondition!Eeη<+∞,(1.4.41)R2whichcanbeverifiedbyrequiringadeguatebehaviorofηatinfinity.Itisinterestingtonotethat(1.4.39)leadsalsotoageometricalpropertyabout1e−η
ηoftheRiemannsurface(R2,eηδtheGausscurvatureKη=−jk).Indeed,by2meansofEinstein’sequation,KηrelatestoEbytheidentityKη=8πGE+,withthecosmologicalconstant,which(forconsistency)mustbespecifiedasπGg2ϕ4=0.sin2θSo,wecaninterpretthefiniteenergycondition(1.4.41)as(almost)equivalenttoafinitetotalGausscurvatureproperty.Rigorousanalyticalresultsconcerningtheexistenceofselfgravitatingelectroweakstrings,includingsolutionsto(1.4.37),(1.4.38),and(1.4.41)(withfinitetotalGausscurvature)havebeenestablishedrecentlyin[ChT2],andwillbediscussedinChapter7. 2EllipticProblemsintheStudyofSelfdualVortexConfigurations2.1EllipticformulationoftheselfdualvortexproblemsTheexamplesofselfdualproblemsdiscussedinthepreviouschapterallshareacom-monequation(see(2.1.1)below),whichcanbeviewedasagauge-invariantversionoftheCauchy–Riemannequation.FollowinganapproachintroducedbyTaubes(cf.[JT]),weseenexthowtousesuchapropertyinordertoeliminatethegaugeinvariancefromtheselfdualequationsandformulatethemintermsofellipticproblemsoftheLiouville-type,whoseanalysiswillbethemainobjectiveofourstudy.Tobemoreprecise,letφ∈Cbeasmoothcomplex-valuedfunctiondefinedinR2(tobeidentifiedwithCwhennecessary),andA=(Aj)j=1,2;beasmoothrealvectorfieldsuchthat,D2.(2.1.1)±φ:=(∂1±i∂2)φ−i(A1±iA2)φ=0inRSince(2.1.1)isinvariantundertheabelian-gaugetransformation,iωφ,Aφ−→ej−→Aj+∂jω,j=1,2(2.1.2)(foranygivensmoothrealfunctionωdefinedoverR2),wemaysupposeAtobespecifiedaccordingtotheCoulumbgauge,whereAdefinesadivergence-freefield,namely,∂1A1+∂2A2=0.Thus,ifweletηbearealfunctionsuchthat,∇η=±(−A2,A1),(2.1.3)thenψ=e−ηφsatisfies(∂1±i∂2)ψ=0.Soaccordingtowhetherwechoosethe+or−sign,wefindthatψorψisholomorphic.Therefore,ifφisanon-trivialsolutionof(2.1.1),thenφadmitsonlyanisolatednumberofzeroeswithintegralmultiplicity.Fromthepointofviewofthevortexprob-lem,suchzeroesplaytheroleofdefectsandareresponsiblefortheoccurenceofnon-trivialphenomena. 442EllipticProblemsintheStudyofSelfdualVortexConfigurationsAssumingthat{z1,...,zN}arethezeroesofφ,repeatedaccordingtotheirmulti-plicity,andsetting⎛⎞−1$Nh(z)=e−η(z)φ(z)⎝z−zj⎠j=1or⎛⎞−1$Nh(z)=e−η(z)φ(z)⎝z−zj⎠,j=1weseethathdefinesanevervanishingholomorphicfunction.Furthermore,bythechangeofgaugeφ−→|h|h−1φ,wefindthatφtakestheformNφ(z)=|φ(z)|e±ij=1Arg(z−zj)(2.1.4)with$N|φ(z)|=eη|h(z)|z−z.(2.1.5)jj=1Inthisgauge,equation(2.1.1)readsas⎛⎞N∂2log|φ|+∂1⎝Argz−zj⎠=±A1j=1⎛⎞(2.1.6)N∂1log|φ|−∂2⎝Argz−zj⎠=∓A2,j=1andgivesawell-definedsmoothexpressionforthecomponentsA1andA2intermsofthe(gauge-invariantquantity)|φ|.Furthermore,from(2.1.5)and(2.1.3)andthefactthatlog|h|2isaharmonicfunction,wededucethat,N2=−2
η−2log|h|2−4πδ−log|φ|zjj=1N=±2F12−4πδz.jj=1HereδpdenotestheDiracmeasurewithapoleatp∈R2.Atthispoint,wecanusetheremainingselfdualequationstodeterminelog|φ|2(andhence|φ|)asasolutionofanellipticproblem.Inthisway,wehaveeliminatedcompletelythefastidiousgaugeinvariancefromtheselfdualequationsandreducedtheirstudytothesolvabilityofsomeellipticprob-lemsinvolvingonlygauge-invariantquantities. 2.1Ellipticformulationoftheselfdualvortexproblems45Tobemoreprecise,letusstarttodiscusstheabeliancase,whereφdefinestheHiggs(matter)field,andsetu=log|φ|2.(2.1.7)Foragivensetofpoints{z1,...,zN},repeatedaccordingtotheirmultiplicity,wecantakeadvantageof(2.1.4),(2.1.6),and(2.1.8),todefine1Nφ(z)=e2u(z)±ij=1Arg(z−zj),(2.1.8)and⎛⎛⎞⎞N1A1=±⎝∂2u+∂1⎝Arg(z−zj)⎠⎠,2j=1⎛⎛⎞⎞(2.1.9)N1A2=∓⎝∂1u−∂2⎝Arg(z−zj)⎠⎠.2j=1Basedontheargumentsabove,(φ,A)withA=−iAαdxαdefinesavortexsolutionfortheabelianMaxwell–Higgsselfdualequations(1.2.25),(1.2.26),and(1.2.27),providedwetakeφin(2.1.8)andA1andA2in(2.1.9)suchthatusatisfiesNu−4πδ−u=1−ez,(2.1.10)jj=1andlet,A0=0.(2.1.11)Similarly,weobtainavortexsolutionforthepureChern–Simons–Higgsselfdualequations(1.2.45),providedwenowtakeuin(2.1.8)and(2.1.9)tosatisfyN4u2u−u=e(ν−e)−4πδz,(2.1.12)k2jj=1andrecalling(1.2.46),let12uA0=±(ν−e).(2.1.13)kSimilarly,toderiveavortexsolutionfortheMaxwell–Chern–Simons–Higgsselfdualequations(1.2.63),weneedtotakeuandtheneutralscalarfieldNtosatisfy⎧⎪⎪N⎪⎪−u=2q2kN−eu−4πδz,⎨jj=1(2.1.14)⎪⎪⎪⎪1ν2−N=2eu−N+kq2(eu−kN),⎩2qk 462EllipticProblemsintheStudyofSelfdualVortexConfigurationsandrecalling(1.2.61),letν2A0=±−N.(2.1.15)kNotethatforavortexsolutionconstructedinthismanner,theHiggsfieldvanishesex-actlyat{z1,···,zN}accordingtothegivenmultiplicity.Furthermore,forthesolutionuofanyoftheellipticequationsintroducedaboveholdsthedecompositionNu(z)=logz−z2+smoothfunction,(2.1.16)jj=1andsowemaycheckthatthepotentialfieldcomponentsA1andA2intheright-handsideof(2.1.9)extendsmoothlyat{z1,...,zN},thezeroessetofφ.Analogously,forthenon-abelianpureChern–Simonsmodelin(1.3.99),(1.3.100),and(1.3.101),wemayderiveaselfdualvortex(A,φ)undertheansatzA=AαdxαwithAα=−iAaαHa,Aaα∈Randφ=φaEaφa∈C,(2.1.17)whereHaandEa,fora=1,...,rarerespectivelytheCartanalgebrageneratorsandthesimplerootoperatorsforthe(semisimple)gaugegroupGwithrankr.ForthegivenintegersNa∈Nandthesetofpoints{za,...,za}(repeatedaccordingtotheir1Namultiplicity)set1uNaz−zaφa=e2a±ij=1Argj,(2.1.18)a=1,...,r.LetthecomponentsAa,j=1,2bedefinedintermsoftheinvertiblejCartanmatrix,K=(Kab)in(1.3.79),throughtheidentity:⎛⎞1NaKbaAb=±⎝∂2ua+∂1Argz−za⎠,12jj=1⎛⎞1Na(2.1.19)KbaAb=∓⎝∂1ua−∂2Argz−za⎠,22jj=1a=1,...,r.Recalling(1.3.124),wecanalsoobtainthecomponentAabymeansoftherelation:0b12ubKbaA0=±ν−Kbae,a=1,...,r.(2.1.20)kInthisway,wedetermineavortexsolutionforthenon-abelianChern–Simonsself-dualequations(1.3.115)(reducedto(1.3.123)viatheansatz(2.1.17))provided(ua)a=1,...,rdefinesasolutionfortheellipticsystem: 2.1Ellipticformulationoftheselfdualvortexproblems474N−ua=ν2Kbaeub−KbaeubKcbeuc−4πδa.(2.1.21)k2zjj=1IfG=SU(n+1),thentherankr=nandtheCartanmatrixK=(Kab)isexplicitlygivenby(1.3.79).Hence,inthiscase,wecaninterpretthesystem(2.1.21)asthenat-uralextensionofthesingleChern–Simonsequation(2.1.12)toaTodalatticesystemcoupledbytheSU(n+1)Cartanmatrix(1.3.79).Concerningelectroweakvortices,obtainedundertheansatz(1.4.26)–(1.4.29)assolutionsoftheselfdualequations(1.4.34),wecanuseasimilarapproach,andforassignedpoints{z1,...,zN}(repeatedaccordingtotheirmultiplicity)weset,1u+NArgz−zaW=e2j=1j.(2.1.22)Weverifythefirstequationin(1.4.34),namely,DA3+iA3=01W+iD2W=(∂1+i∂2)W−ig12providedusatisfiesN3−∂3−u=2g∂1A2A=2g(P12sinθ+Z12cosθ)−4πδz21jj=1whererecalling(1.4.18)and(1.4.19),wehavetaken⎛⎞N31⎝1⎠,A1=∂2u+∂1Argz−zjg2j=1⎛⎞(2.1.23)N31⎝1⎠,A2=−∂1u−∂2Argz−zjg2j=1definedsmoothlythroughthepointszj,j=1,...,N.Furthermore,takingintoaccountthelastequationin(1.4.34)and(1.4.35),welet,2vcosθϕ=eandZj=−εjk∂kv.(2.1.24)gThus,using(2.1.22),(2.1.23),and(2.1.24),weobtainanelectroweakvortexcon-figurationsolutionoftheselfdualequation(1.4.34),withWvanishingexactlyat{z1,...,zN},providedthepair(u,v)satisfies:⎧⎪⎪N⎪⎨−u=4g2eu+g2ev−4πδz,jj=1(2.1.25)⎪⎪2g2ϕ2⎪⎩2ugv0−
v=−2ge−e+.2cos2θ2cos2θObservethatthefieldsBjandPjmayberecoveredfromA3in(2.1.23)andfromZjjin(2.1.24)via(1.4.18)and(1.4.19),forj=1,2. 482EllipticProblemsintheStudyofSelfdualVortexConfigurationsAnalogously,weproceedtoderiveselfgravitatingelectroweakstrings,whichin-cludetheconformalfactorηintheselfdualequationsgivenin(1.4.37)and(1.4.38).Asabove,weseethatthiscasereducestosolvingthefollowingellipticsystem:⎧⎪⎪N⎪⎪−u=4g2eu+g2ev+η−4πδz,⎪⎪j⎪⎪j=1⎨2−
v=gϕ2−eveη−2g2eu,(2.1.26)⎪⎪2cos2θ0⎪⎪2⎪⎪⎪⎪ηg2ev−ϕ2ϕ4−=0+0eη+2g2eu+v+|∇v|2ev.⎩8πG2cos2θ2sinθThus,fortheselfdualmodelsconsideredabove,wecanobtainvortexconfigura-tions,withaprescribedsetofzeroesforthecomplexfield,bysolvingcertainellipticproblems.Atthispoint,itisimportanttobemorespecificabouttheboundaryconditions.Clearlyourchoiceofboundaryconditionsmustbesignificativefromthepointofviewofthephysicalapplications,asforexampleinidentifyingrelevantquantitiessuchasthetotalenergy,themagneticflux,andtheelectriccharge.Inthisrespect,thefirstsetofboundaryconditionsweshallconsider,concernswithplanarselfdualvortices,wheretheselfdualequations(orequivalently,thecorre-spondingellipticproblems)areexaminedinthewholeplaneR2undersuitabledecayassumptionsatinfinity,thatguaranteefinitetotalenergy.Thesecondsetofboundaryconditionsweconsiderpertainstoperiodicity.Notethatperiodicpatternsofvortexconfigurationshavebeenobservedexperimentallytoforminsuperconductivity,andthattheyareknownastheAbrikosov’s“mixedstates,”inviewofAbrikosov’spioneeringworkaboutsuperconductors(cf.[Ab])wheresuchconfigurationswerefirstpredicted.Therefore,forthe(gauge-invariant)fieldswerequirethe’tHooftperiodicbound-aryconditions(cf.[’tH2])overthecelldomain1+s22=z=s1a2a∈R,0 0,dependingon||andponly,suchthatsupu≤βinfu+(1+β)γ#f#Lp().(5.2.8)Proof.Inequality(5.2.8)isjustadirectconsequenceofHarnack’sinequality.Tothispurpose,letwbetheuniquesolutionfortheDirichletproblem:−
w=fin,w=0in∂.Sincef∈Lp()andp>1,standardellipticestimates(see[GT])implythatmax|w|≤γ#f#Lp(),(5.2.9)¯ 1785TheAnalysisofLiouville-TypeEquationsWithSingularSourceswithγ>0asuitableconstantdependingon||andponly.Moreover,weseethatthefunctionw−udefinesanharmonicfunctioninwhichisnonnegativein∂.Sow−uisnonnegativein,andwecanapplyHarnack’sinequalitytoobtainaconstantβ∈(0,1),dependingonandonly,suchthat1sup(w−u)≤inf(w−u)(5.2.10)βFrom(5.2.9)and(5.2.10),wederivesupu≤βinfu+(1+β)max|w|≤βinfu+(1+β)γ#f#Lp(),asclaimed.Forlateruse,wepresentthefollowingconsequenceofProposition5.2.8.Corollary5.2.9Thereexistsa(universal)constantβ∈(0,1)suchthat,ifξsatisfies−
ξ=ginB2R,ξ≤Cin∂B2R,withg∈Lp(B2R)forsome1 0dependingonponly.Proof.Letu(z)=ξ(Rz)−C.Itsatisfies(5.2.5)in=B2withf(z)=R2g(Rz)∈Lp(B2).So,wecanapplyProposition5.2.8touwith=B1toobtainauniversalconstantβ∈(0,1)andγp>0dependingonponly,suchthatsupu≤βinfu+(1+β)γp#f#Lp(B2).B1B1Fromtheaboveinequality,weeasilyderivethedesiredconclusion.Proposition5.2.10Thereexistsa(universal)constantβ∈(0,1)suchthatforagivenb>0,α≥0,andC>0,everysolutionuof(5.2.1)in:=r≤|z|≤2R,with22αV(z),#V#W(z)=|z|L∞≤bandsup{u(z)+2(α+1)log|z|}≤C,(5.2.11)satisfiessupu≤βinfu+2(α+1)(β−1)logρ+c,(5.2.12)|z|=ρ|z|=ρforeveryρ∈(r,R)andasuitableconstantc>0dependingonlyonα,b,andC. 5.2Backgroundmaterial179Remark5.2.11WewishtostressoncemorethatneitherβorcdependonrandR.Furthermore,property(5.2.11)willappearasanaturalconditioninthesequel.ProofofProposition5.2.10.Foragivenρ∈(r,R),letv(z)=u(ρz)+2(α+1)logρ,(5.2.13)satisfying:()2αv1−
v=|z|V(ρz)einD:=<|z|<2.2Thus,settingf(z)=|z|2αV(ρz)evandrecalling(5.2.11)weseethatsupv≤C+2(α+1)log2:=C1D¯andC#f#L∞(D)≤4be.Therefore,wecanapplyProposition5.2.8tov−C1in={z:|z|=1}⊂Dtoobtain(universal)constantsβ∈(0,1)andγ>0,suchthatsupv≤βinfv+(1+β)γ#f#L∞(D)+(1−β)C1.|z|=1|z|=1Fromtheinequalityaboveandbymeansof(5.2.13)weimmediatelyderive(5.2.12).WeconcludethissectionwithausefulPohozaev-typeidentityvalidfor(smooth)solutionsof(5.2.1):Pohozaev’sidentity:LetW∈W1,∞()andu∈C2()satisfy(5.2.1).Thefol-lowingidentityholdsforeveryregularsubdomainD⊆:!!|∇u|2z·ν−(ν·∇u)(z·∇u)dσ=z·νWeudσ2∂D∂D(5.2.14)!−(2W+z·∇W)euDwhereνistheoutwardnormalvectorto∂D.Proof.AsusualinderivingPohozaev-typeidentities,wemultiplyequation(5.2.1)byz·∇uanintegrateoverDtoobtain!!−(z·∇u)
u=Weuz·∇u.(5.2.15)DDWeshallexpandeachsideof(5.2.15).Infact,bydirectinspection,itisnotdifficulttoverifytheidentity|∇u|2u(z·∇u)=div(∇u(z·∇u))−divz,2 1805TheAnalysisofLiouville-TypeEquationsWithSingularSourcesand(viatheGreen–Gausstheorem)obtaintheleft-handsideof(5.2.14).Concerningtheright-handsideof(5.2.14),wefind!!!!!Weuz·∇u=Wz·∇eu=div(zWeu)−2Weu−(z·∇W)euD!DD!!DD=(z·ν)Weudσ−2Weu−(z·∇W)eu,∂DDDand(5.2.14)isestablished.InthespecialcasewhereWisgivenby(5.2.2),wecanfurtherexpand(5.2.14)andconclude:Corollary5.2.12Letu∈C2(B1)satisfy(5.2.1)inB1where(5.2.2)holdswithV∈W1,+∞(B1).Then,foreveryr∈(0,1),wehave!!1222α+1ur|∇u|−(ν·∇u)dσ−rVedσ2{|z|=r}!!{|z|=r}(5.2.16)=−2(α+1)|z|2αVeu−|z|2α(z·∇V)eu.{|z|≤r}{|z|≤r}5.3BasicanalyticalfactsHere,weaimtoderivesomepreliminaryfactsconcerningasequenceuksatisfying−uukk=Wkein,(5.3.1)whereWkisafamilyofweightfunctionsand⊂R2isaboundedopenregulardomain.Animportantstartingpointforourdiscussionisgivenbythefollowing:Proposition5.3.13Letuksatisfy(5.3.1)andassumethat+(i)#Wk#L∞!()+#uk#L1()≤C,forsuitableC>0,|Wuk(ii)limsupk|e<4π.k→+∞Thenu+isuniformlyboundedinL∞().klocThisresulthasbeenobtainedbyBrezis–Merlein[BM],andholdswithinamoregen-eralLp-framework,whereassumptions(i)and(ii)arereplacedby!+uk4π#Wk#Lp()+#uk#L1()≤Candlimsup|Wk|e<,k→+∞pwith1 0andk0∈N,wehaveWkeuk≤4π−ε0,∀k≥k0.Therefore,weDcanapplyLemma5.2.1andRemark5.2.2tou2,ktoconclude#e|u2,k|#p≤C,L(D)forsuitablep>1andC>0.Inparticular,fromtheestimateabove,itfollowsthatu2,kisuniformlyboundedin1(D).Sinceu+≤u++|u+1L2,k|,wealsogetauniformboundforuinL(D).The1,kk1,kmeanvaluetheoremthenimpliesthatu+isactuallyuniformlyboundedinL∞(D).1,klocMoreover,weconcludethatWukpkeisuniformlyboundedinLloc(D),forsuitablep>1.Consequently,u2,kisuniformlyboundedinL∞(D)andthedesiredconclu-locsionfollows.Following[BM]wegivethefollowing:Definition5.3.14Apointz0∈iscalledablow-uppointforthesequenceukin,ifthereexistsasequence{zk}⊂suchthatzk→z0,andlimuk(zk)=+∞.k→+∞Inthesequel,weshalldenotebySthesetofblow-uppoints,andrefertoitastheblow-upset.AsaconsequenceofProposition5.3.13,wefind:Corollary5.3.15Supposethatuksatisfies(5.3.1)withWksuchthat!1#Wk#L∞()+≤C,forsomeq>0.(5.3.2)|Wk|q(i)If!|Wuk+∞limsupk|e<4π,thenuisuniformlyboundedinL().(5.3.3)klock→+∞ 1825TheAnalysisofLiouville-TypeEquationsWithSingularSources(ii)Ifz0∈isablow-uppointforuk,then!|Wukliminfk|e≥4π,(5.3.4)k→+∞Bδ(z0)foreveryδ>0sufficientlysmall.Furthermore,if,forasuitableconstantC>0,wehave!|Wukk|e0.Stickingtoourcomplexnotations,wearegoingtoidentifythe(independent)vec-torsaj=αje1+βje2withthecomplexnumberwj=αj+iβj,j=1,2,sothatiw1,w2=Re(iw1w2)=0formulatestheconditionforlinearindependency.Inthisway,wemayexpresstheflattorusasM=C(w1Z+w2Z).Bytheworkin[DJLW1]and[NT2],weknowthatforM=C(aZ+ibZ)and00,wemayconsiderthefunctional!12wIµ(w)=||∇gw||2−µloghedσg,w∈E(2.5.1)2L(M)M(recallEin(2.4.16)).Byvirtueof(2.4.15),thefunctionalIµ∈C1(E),anditscriticalpointscorrespondto(weak)solutionsforthemeanfieldequationoftheLiouvill-type'hew1−gw=µhewdσg−|M|inM'M(2.5.2)wdσg=0MwithgtheLaplace–BeltramioperatorcorrespondingtotheRiemannianmetricgonM,and|M|thesurfaceareaofM.Weshallbeinterestedinhandling(2.5.1)or(2.5.2)underthefollowingsetofassumptionsonh:!u0∈L∞(M):u1h=e0∈L(M)andu0dσg=0.(2.5.3)MNoticethatthelastconditionin(2.5.3)impliesnorealrestrictiononh,sinceproblem(2.5.2)remainsunchangedifwereplacehwithth,t>0.Equation(2.5.2)hasattractedmuchattentioninthelasttwodecadesbythecentralroleithasplayedinavarietyofproblemsarisinginconformalgeometry(seee.g.,[Au],[Ba],[ChY1],[ChY2],[ChY3],[CL],[CD],[CL3],[CK3],[H],[Ho],[K],[KW1],[KW2],[L1],[Ob],[Ni],[On],andthereferencestherein),mathematicalphysics(see 2.5AfirstencounterwithmeanfieldequationsofLiouville-type65e.g.,[CLMP1],[CLMP2],[CK1],[CK2],[CK3],[On],[Ki1],[Ki2],[Wo],andthereferencestherein)andappliedmathematics(e.g.,[Cha],[Ci],[CP],[BE],[Ge],[KS],[EN],and[Mu]).Inourcontext,problem(2.5.2)hasenteredinacrucialwayintheunderstandingoftheasymptoticbehaviorof“non-topological”Chern–Simonsvorticesandinthestudyofelectroweakmixedstates.Thesolvabilityof(2.5.2)posesaratherdelicateproblem,aswecanseealreadyonthebasisof(2.4.24).Thisleadsustodistinguishthefollowingcases:Case1:µ∈(0,8π),thenthefunctionalIµiscoerciveandboundedfrombelowinE.Sinceitisalsoweaklylowersemicontinuous,itattainsitsinfimumatasolutionof(2.5.2).Hence,problem(2.5.2)isalwayssolvableinthiscase.Actually,fortheflat2-torus,where(2.5.2)reducestoaperiodicboundaryvalueproblem,itispossibletousetheWeierstrassP-functionintotheLiouvilleformula(2.2.3)toexhibitanexplicitsolutionwhenµ=4π.Fordetailssee[Ol].Inthiscase,itisimportanttounderstandunderwhichcircumstanceswecanclaimuniquenessofthesolution(oroftheminimizer).Whenhisaconstant,thisamountstoaskingifproblem(2.5.2),withµ∈(0,8π),admitsonlythetrivialsolutionw=0.Weknowtheanswertobeaffirmativeforthe2-sphere(cf.[On],[Ho],[CK1],and[Li1]);whereasmultiplicitydoesoccurfortheflat2-torus,M=C(aZ+ibZ)and08π,thenthefunctionalIµisunboundedinE,andmin-maxcrit-icalvaluesmustbesoughtinordertoobtainsolutionsfor(2.5.2).Following[ST],[DJLW3]and[BT2],weshallgiveanexampleofsuchmin-maxconstructioninSection6.2ofChapter6.Noticethatinthiscasewefacethedifficultyofcheckingthatthe(PS)-conditionholdsforIµ.Tothisend,weuseStruwe’smonotonicitytrick(cf.[St1],[St2],[St3],and[Je]),asweseethatIµisdecreasingwithrespecttotheparameterµ.Indeed,recallingJensen’sinequality,!!ifF:R−→RisconvexthenF−udσg≤−F(u)dσg,(2.5.8)MMandusingitwithF(t)=et,wefindthat!!−eu0+wdσg≥1,∀w∈Eandu0dσg=0.(2.5.9)MMThus,inviewof(2.5.3),forµ1≤µ2,wehaveIµ(w)≥Iµ(w),∀w∈E.12Weobtainanexistenceresultfor(2.5.2),whenMadmitsgenusg>0,µ∈(8π,16π)and(2.5.3)holds.Inparticularweareallowedtotakeu0asin(2.5.5).See[ST],[DJLW3],[BT2],andSection6.2inChapter6foradetailedproof.Wementionthat,whenthevalueoftheparameterµ≥16πand(beside(2.5.3)),weassumethath>0inM,thenexistenceresultsfor(2.5.2)canbededucedbythedegreeformulaobtainedbyChen–Linin[CL1]and[CL2].Moreprecisely,ifh∈C0,1(M)isstrictlypositiveonM,thenLiin[L2]showedthat,foreveryµ∈R+8πN,theLeray-SchauderdegreedµatzerooftheFredholmmapId+µTh,withThin 682EllipticProblemsintheStudyofSelfdualVortexConfigurations(2.5.6),iswell-defined.Moreover,forµ∈(8π(n−1),8πn)thedegreedependsonlyontheintegern∈N,andonthetopologicalpropertiesofM.Subsequently,Chen–Linin[ChL1]and[ChL2]wereabletocompleteLi’sanalysisandarrivedatthefollowingformula:1,ifµ∈(0,8π)dµ=(−χ(M)+1)...(−χ(M)+n−1)(2.5.10),ifµ∈(8π(n−1),8πn),n∈N{1}(n−1)!whereχ(M)=2(1−g)istheEulercharacteristicofMwithgenusg.NoticethatforanymanifoldMwithpositivegenus,inparticulartheflat2-torus,weseethatdµ>0,∀µ∈R+8πN,andsowecanensuretheexistenceofasolutionfor(2.5.2)inthiscase.Morepreciselyin[ChL2]itisshownthatfortheflat2-toruswehavedµ=1,∀µ∈(0,+∞).However,thisdoesnotimplythatthecorrespondingsolutionsareuniformlybounded,see[LiL],[LiW],and[Lu].ForthestandardsphereM=S2,wehavedµ=−1forµ∈(8π,16π),andsoexistenceisguaranteedinthiscase;whiledµ=0foranylargervalueµ/∈8πN.Thisleavesthequestionofexistenceasachallenging,openprobleminthiscase.See[Dj]forsomecontributioninthisdirection.Againwestressthattheresultsabovedonotapplywhenh=eu0andu0isgivenby(2.5.5).Indeed,inthiscase,Nu0(z)=4πG(z,zj)j=1whereG(z,p)definestheGreen’sfunctionofginH1(M),satisfying:1gG(·,p)=δp−inM,'|M|(2.5.11)G(·,p)dσg=0.MNotethatG(z,p)=G(p,z)andasiswell-known(cf.[Au]),1G(z,p)=log(dg(z,p))+γ(z,p),2πwheredg(·,·)denotesthedistancefunctiononM,andγ(theregularpartofG)isasuitablesmoothfunctiondefinedonM×M.Consequently,$Nu0(z)=d2(z,zh(z)=egj)V(z),(2.5.12)j=1withsuitable00suchthat,sup|v|≤C||v||+||f||,∀z∈R2.L2(B2(z))L2(B2(z))B1(z)Consequently,forR>1,sup|v|≤C||v||L2(|z|≥R−1)+||f||L2(|z|≥R−1)→0,asR→+∞|z|≥R+1and(3.2.14)isestablished.Remark3.2.5Wewishtoobservethatthemereassumptionp({|z|≥ru=u0+v∈L0}),forsomep≥1andr0>0sufficestoensurethatasolutionvof(3.2.13)alsosatisfies(3.2.14).Thisfollowseasilyfromtheobservationthatu+=max{u,0}andu−=max{−u,0}definesubharmonicfunctionsinR2Z.Thus,bythemeanvaluetheoremwededucethat:u(z)→0,as|z|→+∞.Inthesameway,thecondition∞({|z|≥ru=u0+v∈L0}),forsomer0>0,(3.2.29)impliesu(z)→0,as|z|→+∞,whenevervsatisfies(3.2.13)andeu0+v1−eu0+v∈L1R2.(3.2.30)Indeed,wecanuse,asabove,theinequality(3.2.24)togetherwith(3.2.28)and(3.2.30),toseethatu0+v∈L1({|z|≥r0}),fromwhich(3.2.14)follows.Noticethatifweassume(3.2.30),thenwemaystilldeduce(3.2.14)undertheweakercondition:(u0+v)−∈Lp({|z|≥r0})forsome1≤p≤+∞andr0>0.Indeed(3.2.30)allowustocontrolthepositivepart(u0+v)+bymeansoftheestimate:++0≤(u0+v)+≤e(u0+v)1−e(u0+v)≤eu0+v1−eu0+v∈L1R2.Next,atfixedλ>0,weprovidesomeusefulexponentialdecayestimatesatinfinityforsolutionsof(3.2.13),(3.2.14).Proposition3.2.6Letvbea(classical)solutionfor(3.2.13),(3.2.14),andsetu=u0+v.Foreveryε∈(0,1)andδ>0,thereexistsuitableconstantsCε=Cε(λ)>0andCε,δ=Cε,δ(λ)>0,suchthat√(i)0<1−eu(z)≤Cεe−(1−ε)λ|z|inR2;(3.2.31)√(ii)|u(z)|+|∇u(z)|≤Cε,δe−(1−ε)λ|z|,∀z∈δ=R2∪NBδ(zj).j=1 863PlanarSelfdualChern–SimonsVorticesProof.Recallthatfin(3.2.28)satisfies||f||L1(R2)≤8πN,||f||L∞(R2)≤λ+4N,(3.2.32)andsincevisbounded,wecanuseGreen’srepresentationformulatowrite!1z−y∇v(z)=f(y).22πR2|z−y|Consequently,foreveryR>0weestimate:!!111|∇v(z)|≤|f(y)|+|f(y)|2π{|z−y|>R}|y−z|{|z−y|
1andu∈L()besuchthate∈loclocp11Lloc()withp+p=1.Ifusatisfies(5.2.1)(inthesenseofdistributions),then2,pβ2,βu∈W().Ifinaddition,W∈C()β∈(0,1],thenu∈C()anditlocloclocdefinesaclassicalsolutionfor(5.2.1).Proof.Letf=Weu.Bythegivenassumptionsf∈L1()andthereforewecanlocuseCorollary5.2.4toseethate|u|∈Lp(),∀p≥1.Consequently,f∈Ls()loclocforsomes>1,andthereforewecanuseellipticregularitytheorytofindthatu∈2,s∞pW()forsomes>1.Inparticular,u∈L()andthereforef∈L().Inloclocloc2,pββturn,u∈W()asclaimed.IfwealsohavethatW∈C(),thenf∈C()locloclocandthedesiredconclusionfollowsbySchauder’sestimates(cf.[GT]).1,2Corollary5.2.6Letu∈W()satisfy(5.2.1).Wehave:locp2,pifW∈L()forsomep>1,thenu∈W();loclocβ2,βifW∈C()forsomeβ∈(0,1],thenu∈C()andudefinesaclassicalloclocsolutionfor(5.2.1).Proof.Simplyobservethatinthiscaseby(localizing)theMoser–Trudingerinequality|u|p(2.4.9),weknowthate∈L(),∀p≥1.Therefore,Lemma5.2.5appliestoulocandyieldstothedesiredconclusion.Remark5.2.7Corollary5.2.6canbeusedtojustifytheregularityofthevariousweaksolutionsconstructedinChapters3,4,and7fortheellipticproblemsarisinginChern–Simonsandelectroweakvortextheory.Similarly,thisallowsustosolvethemeanfieldequationweaklyintheSobolevspaceH1bymeansofvariationalmethods.Next,wewishtopointoutaHarnack-typeinequality,validforsolutionsof(5.2.1)whenWsatisfies(5.2.2).Tothispurpose,westartwiththefollowing:Proposition5.2.8Letf∈Lp()forsome1
此文档下载收益归作者所有