Let k be the algebraic closure of a finite field of odd characteristic p, and X a smooth projective scheme over the Witt ring W (k) which is geometrically connected in characteristic zero. We introduce the notion of Higgs-de Rham flow1 and prove that the category of periodic Higgs-de Rham flows over X/W(k) is equivalent to the category of Fontaine modules, hence further equivalent to the category of crystalline representations of the e ́tale fundamental group π_1(X_K ) of the generic fiber of X, after Fontaine-Laffaille and Faltings, where K is the fraction field of W(k). Moreover, we prove that every semistable Higgs bundle over the special fiber X_k of X of rank ≤ p initiates a semistable Higgs–de Rham flow and thus those of rank ≤ p − 1 with trivial Chern classes induce k-representations of π_1(X_K ). A fundamental construction in this paper is the inverse Cartier transform over a truncated Witt ring. In characteristic p, it was constructed by Ogus–Vologodsky in the nonabelian Hodge theory in positive characteristic; in the affine local case, our construction is related to the local Ogus–Vologodsky correspondence of Shiho.

This volume contains the written account of the Bonn seminar on arith-metic geometry 2003/2004. It gives a coherent exposition of the theory of intersections of modular correspondences. The focus of the seminar is the formula for the intersection number of arithmetic modular correspondences due to Gross and Keating. Other topics treated are Hurwitz's theorem on the intersection of modular correspondences over the field of complex numbers, and the relation of the arithmetic intersection numbers to Fourier coefficients of Siegel-Eisenstein series. Also included is background material on one-dimensional formal groups and their endomorphisms, and on quadratic forms over the ring of p-adic integers.

We study BPS states of 5d N=1 SU(2) Yang-Mills theory on S^1×R^4. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface F_0. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle interpolates smoothly with the spectrum of 4d N=2 Seiberg-Witten theory, recovering spectral networks in the limit.

As a continuation of\lianyaufour, we study modular properties of the periods, the mirror maps and Yukawa couplings for multi-moduli Calabi-Yau varieties. In Part A of this paper, motivated by the recent work of Kachru-Vafa, we degenerate a three-moduli family of Calabi-Yau toric varieties along a codimension one subfamily which can be described by the vanishing of certain Mori coordinate, corresponding to going to the``large volume limit''in a certain direction. Then we see that the deformation space of the subfamily is the same as a certain family of K3 toric surfaces. This family can in turn be studied by further degeneration along a subfamily which in the end is described by a family of elliptic curves. The periods of the K3 family (and hence the original Calabi-Yau family) can be described by the squares of the periods of the elliptic curves. The consequences include:(1) proofs of various conjectural formulas of physicists\vk\lkm involving mirror maps and modular functions;(2) new identities involving multi-variable hypergeometric series and modular functions--generalizing\lianyaufour. In Part B, we study for two-moduli families the perturbation series of the mirror map and the type A Yukawa couplings near certain large volume limits. Our main tool is a new class of polynomial PDEs associated with Fuchsian PDE systems. We derive the first few terms in the perturbation series. For the case of degree 12 hypersurfaces in\P^ 4 [6, 2, 2, 1, 1], in one limit the series of the couplings are expressed in terms of the j function. In another limit, they are expressed in terms of rational functions. The latter give explicit formulas for infinite sequences of``instanton

No abstract uploaded!