Intersection theory on Shimura surfaces

Kudla has proposed a general program to relate arithmetic intersection multiplicities of special cycles on Shimura varieties to Fourier coefficients of Eisenstein series. The lowest dimensional case, in which one intersects two codimension one cycles on the integral model of a Shimura curve, has been completed by Kudla, Rapoport and Yang. In the present paper we prove results in a higher dimensional setting. On the integral model of a Shimura surface we consider the intersection of a Shimura curve with a codimension two cycle of complex multiplication points, and relate the intersection to certain cycle classes constructed by Kudla, Rapoport and Yang. As a corollary we deduce that our intersection multiplicities appear as Fourier coefficients of a Hilbert modular form of half-integral weight.

Plurigenera of general type surfaces in mixed characteristic

We construct general type surfaces in mixed characteristic whose geometric genera can be made to jump by an arbitrarily prescribed positive amount under specialization. We then show that this phenomenon of jumping geometric genus presents itself in some compact Shimura surfaces. Finally, we find a set of conditions, met by the latter Shimura surfaces, that forces the higher plurigenera to remain constant in reduction modulo p.