  This article has three goals. First, we generalize the result of Deuring and
Serre on the characterization of supersingular locus of modular curves to all
Shimura varieties given by totally indefinite quaternion algebras over totally
real number fields. Second, we generalize the result of Ribet on arithmetic
level raising to such Shimura varieties in the inert case. Third, as an
application to number theory, we use the previous results to study the Selmer
group of certain triple product motive of an elliptic curve, in the context of
the Bloch--Kato conjecture.
