Decomposition of the Geometric Kernel

This chapter describes the decomposition of the geometric kernel. It considers the assumptions on the Schwartz function and decomposes the height series into local heights using arithmetic models. The intersections with the Hodge bundles are zero, and a decomposition to a sum of local heights by standard results in Arakelov theory is achieved. The chapter proceeds by reviewing the definition of the Néeron–Tate height and shows how to compute it by the arithmetic Hodge index theorem. When there is no horizontal self-intersection, the height pairing automatically decomposes to a summation of local pairings. The chapter proves that the contribution of the Hodge bundles in the height series is zero. It also compares two kernel functions and states the computational result. It concludes by deducing the kernel identity.