セクションを持たないF理論のモデルを考察する。セクションを持たないF理論のモデルにおいては、離散ゲージ群が自然に現れる。セクションを持たないF理論のモデルの構成や、現れる離散ゲージ群について議論する。射影空間の積における超曲面や完全交叉、および射影空間の積の２重被覆を考えることで、genus-1ファイバーを持ったセクションのないカラビ・ヤウ4-foldsを構成する。Jacobian fibrationsやそのMordell-Weil群についても議論する。また、7ブレーン上の非可換ゲージ対称性についても議論する。