Local Heights of CM Points
This chapter computes the local heights and compares them with the derivatives computed before. It checks the theorem place by place and takes into account all the assumptions on the Schwartz function. According to the reduction of the Shimura curve, the situation is divided to the following four cases: archimedean case, supersingular case, superspecial case, and ordinary case. The treatments in different cases are similar in spirit, except that the fourth case is slightly different. The supersingular case is divided into two subcases: unramified case and ramified case. The chapter also describes local heights of CM points at any archimedean place v. The discussion covers the multiplicity function, the kernel function, unramified quadratic extension, ramified quadratic extension, ordinary components, supersingular components, and superspecial components.