Shioda-Tate formula for an abelian fibered variety and applications

We give an explicit formula for the Mordell-Weil rank of an abelian fibered variety and some of its applications for an abelian fibered hyperk\"ahler manifold. As a byproduct, we also give an explicit example of an abelian fibered variety in which the Picard number of the generic fiber in the sense of scheme is different from the Picard number of generic closed fibers.