Wednesday, 10 March 2010

ag.algebraic geometry - Mirror symmetry mod p?! ... Physics mod p?!

For fixed integers g,n, any projective scheme X over a field k, and a linear map beta:operatornamePic(X)tomathbbZ, the space overlineMg,n(X,beta) of stable maps is well defined as an Artin stack with finite stabilizer, no matter the characteristic of k. You can even replace k by mathbbZ if you like.



Now if X is a smooth projective scheme over R=mathbbZ[1/N] for some integer N, then overlineMg,n(X,beta)timesRmathbbZ/pmathbbZ is a Deligne-Mumford stack for almost all primes p. For such p, overlineMg,n(X,beta)timesRmathbbZ/pmathbbZ has a virtual fundamental cycle, and so you have well-defined Gromov-Witten invariants. This holds for all but finitely many p. Nothing about mathbbC here, that is my point, the construction is purely algebraic and very general.



It is when you say "Hodge structures" then you better work over mathbbC, unless you mean p-Hodge structures.



As far as mirror symmetry in characteristic p, much of it is again characteristic-free. For example Batyrev's combinatorial mirror symmetry for Calabi-Yau hypersurfaces in toric varieties is simply the duality between reflexive polytopes. You can do that in any characteristic, indeed over mathbbZ if you like.

No comments:

Post a Comment