Abelian varieties and theta functions as invariants for compact Riemannian manifolds constructions

Chris Peters

Description

Abelian varieties and theta functions as invariants for compact Riemannian manifolds; constructions inspired by superstring theory. Chris Peters Institut Fourier, Universite Grenoble I St.-Martin d'Heres, France January 13 2010 1 Introduction In some forms of superstring theory particular theta-functions come up as partition functions. The associated Abelian varieties come either from cer- tain cohomology groups of the underlying universe or, in more recent theories (e.g. [Witten] [Mo-Wi]), are linked to their K-groups. Expressed in mathematical terms, one canonically associates to the co- homology or the K-theory of an even dimensional compact spin manifold a principally polarized Abelian variety. Moreover, if the dimension is 2 mod 8 a particular line bundle is singled out whose first Chern class is the principal polarization. This bundle thus has a non-zero section represented by a theta function which, after suitable normalization, is indeed the partition function of the underlying theory. Let me give some further detail on the physical motivation. There are several types of superstring theories, e.g. type I which is self-dual and types IIA and IIB wich are related via T -duality. The theories start from a space- time Y which in a first approximation can be taken to be Y = X ? T where T is the time-“axis” 1 and X is some compact Riemannian manifold.

• algebraic geometers


• harmonic forms


• riemannian manifold


• ramond-ramond field


• inte- gral over


• dc ·


• defined has been


• has

Sujets

• Weil im Schönbuch
• Peters
• Riemannian manifold
• Ramond?Ramond field

Informations

• Publié par: pefav
• Nombre de lectures: 13
• Langue: English

Extrait

Abelianvarietiesandthetafunctionsasinvariants forcompactRiemannianmanifolds;constructions inspiredbysuperstringtheory. ChrisPeters InstitutFourier,Universite´GrenobleI St.-Martind’He`res,France January132010 1Introduction Insomeformsofsuperstringtheoryparticulartheta-functionscomeupas partitionfunctions.TheassociatedAbelianvarietiescomeeitherfromcer- taincohomologygroupsoftheunderlyinguniverseor,inmorerecenttheories (e.g.[Witten][Mo-Wi]),arelinkedtotheirK-groups. Expressedinmathematicalterms,onecanonicallyassociatestotheco- homologyortheK-theoryofanevendimensionalcompactspinmanifolda principallypolarizedAbelianvariety.Moreover,ifthedimensionis2mod8 aparticularlinebundleissingledoutwhosefirstChernclassistheprincipal polarization.Thisbundlethushasanon-zerosectionrepresentedbyatheta functionwhich,aftersuitablenormalization,isindeedthepartitionfunction oftheunderlyingtheory. Letmegivesomefurtherdetailonthephysicalmotivation.Thereare severaltypesofsuperstringtheories,e.g.typeIwhichisself-dualandtypes IIAandIIBwicharerelatedviaT-duality.Thetheoriesstartfromaspace- timeYwhichinafirstapproximationcanbetakentobeY=X × T whereTisthetime-“axis” 1 andXissomecompactRiemannianmanifold. InTypeIIAtheorytheRamond-Ramondfieldisacloseddifferentialform G=G 0 +G 2 + ∙∙∙ onXwithcomponentsofallevendegreeswhilein typeIIBGisanodddegreecloseddifferentialformonX.Moreover,these formsareintegral(thatistheyhaveintegralperiodsoverintegralhomology 1 Tcouldbeacircleinphysicaltheoriesbutitcouldevenbeapoint(“absenceof branes”). 1

cycles).ThereasonisthattheyarePoincare´dualtocertainsubmanifoldsof Xwhicharethe“world”-partofabraneinY.Suchafieldshouldbethought ofassomeconfigurationinthetheory.Thepartitionfunctionassemblesall possibleconfigurationsinsomegeneratingfunctionwhichcaninturnbeused toderivefurtherphysicalpropertiesofthemodel.IntypeIIAtheorythis partitionfunctionisoftheformΘ(0)/ΔwhereΘissomenormalizedtheta- function.WhileΔiscanonicallyassociatedtotheRiemannianmanifoldX, thisisnolongerthecaseforΘ.Instead,assuggestedbyWittenin[Witten] andlaterbyMooreandWittenin[Mo-Wi]oneshouldliftthediscussion uptoK-theoryusingtheCherncharacter.Butthen,inordertomake acanonicalchoiceforΘonehastoassumethatthemanifoldhasaspin structureandhasdimension2mod8.Seethediscussionin § 2formore details. Foralgebraicgeometerstheseconstructionslookabitesotericatfirst sight,themoresincetheyarephrasedintermsforeigntothem.Forin- stance,analgebraicgeometermightask:istheconstructionrelatedtothe Weiljacobian?ThiswasthequestionposedtomebyV.Srinivasand motivatedthepresentnote.Clearly,ananswerentailsacarefulanalysisof theconstructionproposedin[Mo-Wi].Thispresupposespreciseknowledge oftopologicalK-theoryrelatedtotheindextheoremsofAtiyah-Singeret. al.,asubjectnottoowell-knownamongalgebraicgeometers.Tomakethis notereadablefortheaveragealgebraicgeometerIhaveplacedthesefacts in2appendices. Hereisanoutlineofthepaper.Thebackgroundfromphysicsiscollected in § 2.Itisnotnecessaryforanunderstandingoftherestofthepaper,but itpurportstoexplainhowphysicistcametotheparticularJacobiansand thenormalizedtheta-functions. Thebasicconstructionimplicitlyusedin[Mo-Wi]isreallysimpleand givenin § 3.ItisapparentlywellknownamongphysicistsbutIcouldnot findareferenceforitinthispreciseform,althoughavariantiswellknown insymplecticgeometry,cf.[McD-S,Prop.2.48(ii)]. Thenin § 4.1examplesusingcohomologyaregivenandin § 4.2examples usingK-groupsleadinguptotheexamplein[Mo-Wi].Itshouldbenoted thattheproofforthecrucialunimodularitypropertyismissinginloc.cit. Iexplaininthissectionhowitcanbeviewedasaspecialcaseofanold result[AH3]onnormalizedmultipliers. Thenfollowsashortdigressiononnormalizedthetafunctionsandfinally in § 5.2thisisappliedtogiveamathematicalformulationofthepertaining resultsof[Mo-Wi, § 3].Thisusesinacrucialwaysomeconstructionsfrom realK-theory. 2