Dynamics of Commuting Rational Maps on Berkovich Projective Space over C_p

We study the dynamics of commuting rational maps with coefficients in Cp. By lifting the dynamics from P1(Cp) to Berkovich projective space P1 Berk, we prove that two nonlinear commuting maps have the same Berkovich Julia set and the same canonical measure. As a consequence, two nonlinear commuting maps with coefficient in Cp have the same classical Julia set. We also prove that they have the same pre-periodic Berkovich Fatou components.