Sharp Bounds for Totally Invariant Cycles of Projective Varieties

Let $X$ be a smooth projective variety, $f:X\to X$ an int-amplified endomorphism, and $L$ any ample line bundle on $X$. We prove that, in every codimension, the total degree of prime cycles that become totally invariant under an iterate of $f$ satisfies an explicit Hilbert-function bound on their total $L$-degree. In particular, when $X={\mathbf{P}}^n$, the number of totally invariant prime $(n-r)$-cycle is bounded by $\left(\genfrac{}{}{0px}{}{n+1}{r}\right)$, and this bound is optimal.