Tate's question, Standard conjecture D, semisimplicity and Dynamical degree comparison conjecture

Let $X$ be a smooth projective variety of dimension $n$ over the algebraic closure of a finite field $\mathbb{F}_p$. Assuming the standard conjecture $D$, we prove a weaker form of the Dynamical Degree Comparison conjecture; equivalence of semisimplicity of Frobenius endomorphism and of any polarized endomorphism (a more general result, in terms of the biggest size of Jordan blocks, holds). We illustrate these results through examples, including varieties dominated by rational maps from Abelian varieties and suitable products of $K3$ surfaces. Using the same idea, we provide a new proof of the main result in a recent paper by the third author, including Tate's question/Serre's conjecture that for a polarized endomorphism $f:X\rightarrow X$, all eigenvalues of the action of $f$ on $H^k(X)$ have the same absolute value.