Consider a Shimura datum (G,X)(G,X)(G,X) with G=ResF/QHG=\operatorname{Res}_{F/\mathbb{Q}}HG=ResF/QH, where HHH is a connected reductive group over a totally real field FFF. Let…