The Arithmetic Hodge-Index Theorem And Rigidity Of Algebraic Dynamical Systems Over Function Fields