We first establish some conventions meant to simplify notation: the two horizontal arrows of diagram (?) are both denoted by \pi_1, and we will let the context determine which map any given equation is referring to. Similarly, the equivariant hyperplane classes for the three projective spaces in both rows of (?) are denoted h_1,\eta_1 and H (as in Section ?); each class in the top row is the pull-back of the corresponding class in the bottom row. So, for instance, any polynomial in H, c_1, c_2 denotes both a class for \mathbb P(W_{d}^{\oplus r+2}) and one for \mathbb P(W_{d}^{\oplus r+1}), with the latter being the pullback via i_r of the former.
The commutativity of the diagram (?) implies that for k=0,1:
i_{r\ast}(\pi_{1_{\ast}}(h_1^k)) =\pi_{1_{\ast}}((\text{id}\times i_r)_\ast(h_1^k)).
Starting with the left hand side of (?), \pi_{1_{\ast}}(h_1^k) = \alpha^{r}_{1,k}(H) by definition, and by the projection formula one has
i_{r_{\ast}}(\alpha^{r}_{1,k}(H)) =\alpha^{r}_{1,k}(H) P_d(H),
where P_d(H) := P_{0,d}(H) from (?).
For the right hand side of (?), we apply the projection formula to obtain
\pi_{1_{\ast}}((\text{id}\times i_r)_\ast(h_1^k)) = h_1^k P_{d-1}(\eta_1).
Using that H = h_1+\eta_1 (where we omit \pi_1^\ast from the notation for the pullback of the class H), and the presentation of the equivariant Chow ring of \mathbb P(W_1), we may write
h_1^k P_{d-1}(\eta_1) = R_{1,k,0}^{r,d}(H,c_1, c_2)+ R_{1,k,1}^{r,d}(H,c_1,c_2)h_1,
where the right hand side of (?) is the remainder of the division of P_{d-1}(H-h_1) by the polynomial P_{1}(h_1)=(h_1^2- c_1h_1 +c_2).
Pushing forward and using the projection formula, we then obtain:
\pi_{1_{\ast}}((\text{id}\times i_r)_\ast(h_1^k)) = R_{1,k,0}^{r,d}(H,c_1, c_2)\alpha^{r+1}_{1,0}(H)+ R_{1,k,1}^{r,d}(H,c_1,c_2)\alpha^{r+1}_{1,1}(H).
From equations (?),(?) and (?), by substituting H= \frac{d+1}{2} c_1 one obtains the square size 2 linear system
P_d \alpha_{1,k}^{r} = R_{1,k,0}^{r,d}\alpha^{r+1}_{1,0}+ R_{1,k,1}^{r,d}\alpha^{r+1}_{1,1},
where k = 0,1.
We observe that all coefficients in (?) are divisible by P_{d-2}:=P_{d-2}\left(\frac{d-1}{2}c_1\right).
Claim. We have the following identities:
\begin{aligned}
P_d &= \left(
d^2 c_2-\frac{d^2 -1}{4} c_1^2
\right)P_{d-2}\\
R_{1,0,0}^{r,d} &= \left(
\frac{d+1}{2} c_1
\right) P_{d-2}\\
R_{1,0,1}^{r,d} &=
-d P_{d-2}\\
R_{1,1,0}^{r,d} &= dc_2P_{d-2}\\
R_{1,1,1}^{r,d} &= \left(
\frac{1-d}{2}c_1
\right)P_{d-2}
\end{aligned}
Using the results from Claim ?, proved at the end of the section, the linear system (?) simplifies to
\left(
d^2 c_2-\frac{d^2 -1}{4} c_1^2
\right)\left[
\begin{array}{c}
\alpha^{r}_{1,0}\\
\alpha^{r}_{1,1}
\end{array}
\right] =
\left[
\begin{array}{cc}
\frac{d+1}{2} c_1
& -d\\
d c_2 &
\frac{1-d}{2}c_1
\end{array}
\right]
\left[
\begin{array}{c}
\alpha^{r+1}_{1,0}\\
\alpha^{r+1}_{1,1}
\end{array}
\right]
The linear system (?) may be solved for the \alpha_{1,k}^{r+1}’s to obtain:
\begin{aligned}
\alpha^{r+1}_{1,0}
&=
\frac{1-d}{2}c_1\alpha^{r}_{1,0}+
d \alpha^{r}_{1,1}
\\
\alpha^{r+1}_{1,1}
&=
-d c_2\alpha^{r}_{1,0}+
\frac{d+1}{2}c_1\alpha^{r}_{1,1}.
\end{aligned}
Together with the initial conditions
\alpha_{1,0}^{0} = d, \ \ \ \alpha_{1,1}^{0} = \frac{d+1}{2}c_1,
the equations in (?) for all r\geq 0 determine recursively all values of \alpha_{1,k}^{r}. To conclude the proof, it suffices to observe that (?) and (?) give rise to the system of functional equations:
\left\{
\begin{array}{ccc}
\mathcal{A}_{1,0}-d
&=&
\frac{1-d}{2}c_1\mathcal{A}_{1,0}+
d \mathcal{A}_{1,1}
\\
\mathcal{A}_{1,1} - \frac{d+1}{2}c_1
&=&
-d c_2\mathcal{A}_{1,0}+
\frac{d+1}{2}c_1\mathcal{A}_{1,1},
\end{array}
\right.
together with the boundary conditions
\mathcal{A}_{1,0}(0,0,d) = d, \ \ \ \ \mathcal{A}_{1,1}(0,0,d) = 0.
It is then immediate to verify that (?),(?) are satisfied by the generating functions (5.1),(?). Thus Theorem 5.1 is proved (as soon as the identities from Claim ? are established).