Classification of discrete modular symmetries in type IIB flux vacua

We classify discrete modular symmetries in the effective action of Type IIB string on toroidal orientifolds with three-form fluxes, emphasizing on T⁶/Z₂ and T⁶/(Z₂×Z₂^') orientifold backgrounds. In the three-form flux background, the modular group is spontaneously broken down to its congruence subgroup whose pattern is severely constrained by a quantization of fluxes and tadpole cancellation conditions. We explicitly demonstrate that the congruence subgroups appearing in the effective action arise on magnetized D-branes wrapping certain cycles of tori.