Invariant Homology on Standard Model Manifolds
Burt A. Ovrut, Tony Pantev, Rene Reinbacher
TL;DR
This work constructs torus-fibered Calabi–Yau threefolds $Z$ with fundamental group ${ m Z}_2 imes{ m Z}_2$ as quotients $Z=X/({ m Z}_2 imes{ m Z}_2)$ of fiber products $X=B imes_{{f P}^1}B'$, where $B,B'$ are restricted rational elliptic surfaces with freely acting ${ m Z}_2 imes{ m Z}_2$ automorphisms. A central technical goal is to compute the ${ m Z}_2 imes{ m Z}_2$-invariant subspace of the fourth homology, $H_4(Z,Z)$, by first working through $H_2(B,Z)$ under the involutions, using a second ${f P}^1$-fibration to obtain a concrete basis of generators. The paper explicitly determines the actions of the involutions $(-1)_B$, $ ho_B$, and translations $t_{e_6},t_{e_4}$, constructs the invariant generators on $B$ (and hence on $X$), and identifies the seven independent ${ m Z}_2 imes{ m Z}_2$-invariant classes descendent to $Z$, yielding $ ext{rank}igl(H_4(Z,Z)igr)=7$ and $h^{1,1}_Z=h^{2,1}_Z=7$. These invariant classes underpin the stable, holomorphic ${ m SU}(4)$ instantons and the anomaly-free, three-family standard-like models with suppressed nucleon decay in heterotic string/M-theory contexts.
Abstract
Torus-fibered Calabi-Yau threefolds Z, with base dP_9 and fundamental group pi_1(Z)=Z_2 X Z_2, are reviewed. It is shown that Z=X/(Z_2 X Z_2), where X=B X_{P_1} B' are elliptically fibered Calabi-Yau threefolds that admit a freely acting Z_2 X Z_2 automorphism group. B and B' are rational elliptic surfaces, each with a Z_2 X Z_2 group of automorphisms. It is shown that the Z_2 X Z_2 invariant classes of curves of each surface have four generators which produce, via the fiber product, seven Z_2 X Z_2 invariant generators in H_4(X,Z). All invariant homology classes are computed explicitly. These descend to produce a rank seven homology group H_4(Z,Z) on Z. The existence of these homology classes on Z is essential to the construction of anomaly free, three family standard-like models with suppressed nucleon decay in both weakly and strongly coupled heterotic superstring theory.
