  We prove the Gross-Zagier-Zhang formula over global function fields of arbitrary characteristics. It is an explicit formula which relates the Neron-Tate heights of CM points on abelian varieties and central derivatives of associated quadratic base change $L$-functions. Our proof is based on an arithmetic variant of a relative trace identity of Jacquet. This approach is proposed by W. Zhang. 
The Gross-Zagier-Zhang formula over function fields