1: \begin{definition} 

2: \label{def:HRP} 

3: We define the higher residue pairing $P \colon \GM(F_\chi) 

4: \times \GM(F_\chi) \to {\overline{S}_\T}[\![\Laa_+]\!][\![y]\!][\![z]\!]$ by 

5: \[

6: P(\Omega_1,\Omega_2) = \sum_{p} \overline{\Asym_p 

7: (e^{F_\chi/z} \Omega_1)} \Asym_p( e^{F_\chi/z}\Omega_2) 

8: \]

9: for $\Omega_1,\Omega_2 \in \GM(F_\chi)$, where  $\overline{\Asym_p(e^{F_\chi/z}\Omega_1)} 

10: = \Asym_p(e^{F_\chi/z} \Omega_1)|_{z\to -z}$, and the sum is over critical 

11: points $p$ of $F_\chi$ over ${\overline{S}_\T}[\![\Laa_+]\!][\![y]\!]$ 

12: in Lemma \ref{lem:critical_points}. 

13: Note that the higher residue pairing is invariant under the Galois group 

14: $\Gal({\overline{S}_\T}/S_\T)$, which permutes critical points, and thus $P$ takes values in 

15: $S_\T[\![\Laa_+]\!][\![y]\!][\![z]\!]$. 

16: (In fact it takes values in $S_\T[z][\![\Laa_+]\!][\![y]\!]$ 

17: by Theorem \ref{thm:pairings_match}.) 

18: \end{definition}