6.7.3 Lattice points [03VI]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
6.7.3 Lattice points
Let us consider the special case when vector is a lattice vector, i.e. . In A-model picture it corresponds to the integrality of the class of symplectic 2-form. In B-model this means that the non-archimedean field has valuation in . In terms of -affine structures it means that the monodromy of the affine connection is reduced to . Group is a subgroup (and also a quotient group) of an arithmetic subgroup in the Lie group . Also in this case there is a -invariant notion of a point with integer coordinates on , as well of points with coordinates in for any integer . The number of such points is finite. It is not hard to see that where is the area of with a -PL structure corresponding to . This is analogous to the Riemann-Roch formula for an ample line bundle on a complex K3 surface .
The action of on gives rise to a homomorphism where is the symmetric group. Also the action gives a homomorphism from to the mapping class group , the fundamental group of the moduli space of genus zero complex curves with unordered distinct marked points. The last group is closely related to the braid group. The conclusion is that we have constructed homomorphisms from arithmetic groups to a tower of braid groups.
One can deduce from Torelli theorem an interpretation of as a quotient group of the fundamental group of a neighborhood of a cusp in 19-dimensional moduli space of polarized complex algebraic K3-surfaces, where vector corresponds to the polarization. Therefore the homomorphism gives a finite covering of . One may wonder whether there exists a line bundle over whose direct image to coinsides with the direct image of the sheaf from the universal family of K3 surfaces (this question is in spirit of some ideas of Andrey Tyurin, see e.g. [Tyu]).