[guided]The maximum principle is being used in the vector-bundle form rather than the scalar form. The scalar maximum principle tracks one real-valued function, while the condition here is that an entire self-adjoint endomorphism have nonnegative spectrum. We encode that condition fiberwise by the cone
\begin{align*}
\mathcal C_{p,t} = \{A \in \operatorname{Sym}(E_{p,t}) : (A\omega,\omega)_{g(t)} \ge 0 \text{ for all } \omega \in E_{p,t}\}.
\end{align*}
We verify the hypotheses of the Hamilton Tensor Maximum Principle. First, the base manifold is compact and has no boundary by the theorem statement. Second, the section
\begin{align*}
\mathcal R: M \times [0,T] \to \operatorname{Sym}(E)
\end{align*}
is smooth because $g(t)$ is a smooth Ricci flow and the Uhlenbeck gauge is smooth in space and time. Third, the evolution equation has the required connection-heat form
\begin{align*}
\partial_t \mathcal R = \Delta_t\mathcal R + \Phi(\mathcal R),
\qquad
\Phi(A) := A^2 + A^{\#},
\end{align*}
where $\Delta_t$ is the connection Laplacian of the metric connection $\nabla^t$ on $\operatorname{Sym}(E)$ and $\Phi$ is a fiberwise map on self-adjoint endomorphisms.
Now we check the cone hypotheses. For fixed $(p,t)$, the cone $\mathcal C_{p,t}$ is closed because it is the intersection, over all $\omega \in E_{p,t}$, of the closed half-spaces
\begin{align*}
\{A \in \operatorname{Sym}(E_{p,t}) : (A\omega,\omega)_{g(t)} \ge 0\}.
\end{align*}
It is convex because if $A,B \in \mathcal C_{p,t}$ and $\lambda \in [0,1]$, then for every $\omega \in E_{p,t}$,
\begin{align*}
((\lambda A + (1-\lambda)B)\omega,\omega)_{g(t)}
=
\lambda(A\omega,\omega)_{g(t)} + (1-\lambda)(B\omega,\omega)_{g(t)}
\ge 0.
\end{align*}
Finally, $\mathcal C$ is invariant under $\nabla^t$-parallel transport. Indeed, parallel transport for a metric connection is a fiber isometry; if $P: E_{p,t} \to E_{q,t}$ denotes such parallel transport and $A \in \mathcal C_{p,t}$, then for every $\eta \in E_{q,t}$,
\begin{align*}
((PAP^{-1})\eta,\eta)_{g(t)}
=
(A(P^{-1}\eta),P^{-1}\eta)_{g(t)}
\ge 0.
\end{align*}
Thus $PAP^{-1} \in \mathcal C_{q,t}$.
The remaining hypothesis of the theorem is the boundary tangency condition for the reaction term. A boundary point of the cone of nonnegative [self-adjoint operators](/page/Self-Adjoint%20Operators) is detected by a nonzero vector $\omega$ with
\begin{align*}
(A\omega,\omega)_{g(t)} = 0.
\end{align*}
Therefore the exact condition needed is
\begin{align*}
((A^2 + A^{\#})\omega,\omega)_{g(t)} \ge 0
\end{align*}
for every $A \in \mathcal C_{p,t}$ and every nonzero $\omega \in E_{p,t}$ with $(A\omega,\omega)_{g(t)}=0$. This is the algebraic inequality proved in the next step; once it is known, Hamilton's maximum principle propagates membership in the cone from time $0$ to every later time in $[0,T]$.[/guided]