F-theory models with U(1) × ℤ2, ℤ4 and transitions in discrete gauge groups

We examine the proposal in the previous paper to resolve the puzzle in transitions in discrete gauge groups. We focus on a four-section geometry to test the proposal. We observed that a discrete ℤ2 gauge group enlarges and U(1) also forms in F-theory along any bisection geometries locus in the four-section geometry built as the complete intersections of two quadrics in ℙ3 fibered over any base. Furthermore, we demonstrate that giving vacuum expectation values to hypermultiplets breaks the enlarged U(1) × ℤ2 gauge group down to a discrete ℤ4 gauge group via Higgsing. We thus confirmed that the proposal in the previous paper is consistent when a four-section splits into a pair of bisections in the four-section geometry. This analysis may be useful for understanding the Higgsing processes occurring in the transitions in discrete gauge groups in six-dimensional F-theory models. We also discuss the construction of a family of six-dimensional F-theory models in which U(1) × ℤ4 forms.