The arithmetic RTF
method was proposed by W. Zhang [1]} to attack the arithmetic Gan-Gross-Prasad conjecture, which is an exact generalization of the Gross-Zagier formula to unitary Shimura varieties. Subsequently, the author used this method to prove the general Gross-Zagier formula over function fields [2]}.

Арифметический метод РТФ был предложен В. Чжангом [1] для атаки на арифметическое предположение Гана-Гросса-Прасада, которое является точным обобщением формулы Гросса-Загье на унитарные шимуровские многообразия. Позднее автор использовал этот метод для доказательства общей формулы Гросса-Загье над функциональными полями [2].