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. On 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.