SU(3)-structures on quotients of 3-Sasakian orbifolds

Let (S,g,\xi_i,\eta_i,\Phi_i) be a (quasi)-regular 7 dimensional 3-Sasakian manifold and Z the quotient of S by the foliation generated by \xi_3. Denote (C(S),\bar g,J_i) the hyperkähler cone of S and the associated Kähler forms \omega_i:=\bar g(J_i\cdot,\cdot). The holomorphic volume form 2\Omega_{(4)}:=(\omega_1+i\omega_2)^2 is of charge 4i and \eta:=r^2(\eta_1+i\eta_2) is a twist form of charge 2i. Then, the following forms:

produce an LT structure on Z. Moreover, the non-vanishing torsion classes are

Let (S,g,\xi_i,\eta_i,\Phi_i) be a (quasi)-regular 7 dimensional 3-Sasakian orbifold. Denote Z the quotient of S by the foliation generated by \xi_3. Consider the 2-forms \alpha_i defined by

For a,b\in\mathbb{R} and c\in\mathbb{C}, we introduce

These two forms are basic with respect to \xi_3 and define an SU(3)-structure on Z iff

In that case, the SU(3)-structure is LT and the non-vanishing torsion classes are given by

where c=abe^{i\gamma}.

Using the parameters a and b, we can obtain two subclasses of structures summarized in the following table:

1.61.6

[peres2026sunstructuresquotienttorusactions] Let (M^{2n+2s},g,J,\omega_0,\Omega_0) be a Kähler manifold of real dimension 2n+2s with an SU(n+s)-structure (\omega_0,\Omega_0). Suppose that a compact torus T^s of dimension s acts on M holomorphically and in a hamiltonian way with moment map \mu. Consider \mathfrak{t}:=Lie(T^s) the Lie algebra of T^s and choose a basis e_1,\cdots,e_s of \mathfrak{t} and denote V_i the vector field generated by e_i on M. Assume that \Omega_0 is of charge q\in\mathfrak{t}^* with respect to the T^s action and that there exists a twist form \alpha on M of charge \frac{q}{2}. Then, the following forms:

are basic with respect to the T^s action and define an SU(n)-structure on a regular quotient N=\mu^{-1}(c)/T^s for some c\in\mathfrak{t}^*.

\rho_1 is a non-degenerate, closed, (2,0)-form with respect to J_1.

(M,g,J_1,\omega_1,\Omega_{(2n)}) is an SU(2n)-structure without torsion.

[Boyer:1998sf] Let (S,g) be a 3-Sasakian structure with Reeb vector fields \xi_i, dual contact 1-forms \eta_i and characteristic (1,1)-tensor \Phi_i. The following properties hold:

[Boyer:1998sf] Let (S,g,\xi_i,\eta_i,\Phi_i) be a compact 3-Sasakian manifold. The following statements are equivalent:

1. \mathcal{F} is regular,

2. For every u\in S^2,\,\mathcal{F}_u is regular,

3. For one u\in S^2,\,\mathcal{F}_u is regular.

[Boyer:1998sf, Theorem 6.1.5] Let (S,g,\xi_i) be a 3-Sasakian manifold of dimension 4n+3. Assume that there is a connected compact Lie group G acting smoothly and properly on S by 3-Sasakian isometries. Let \mu_S be the corresponding 3-Sasakian moment map and suppose that 0 is a regular value of \mu_S and that G acts freely on \mu_S^{-1}(0). Then, the 3-Sasakian quotient S/\!\!/G=\mu^{-1}(0)/G is of dimension 4(n-\dim G)+3 and admits a 3-Sasakian structure (\hat g,\hat\xi_i) which are characterized by

where \pi : \mu^{-1}_S(0)\to S/\!\!/G.

[Friedrich:1990zg, Theorem 7] Let (S,g) be a compact simply connected regular 7-dimensional 3-Sasakian manifold. Then, S is isometric to either the 7-sphere or to SU(3)/U(1).

We have

The form \eta=r^2(\eta_1+i\eta_2) is a twist form of charge 2i on C(S) for the action of \xi_3.

For every a,b\in\mathbb{R}, c\in\mathbb{C}

For every a,b\in\mathbb{R}, c\in\mathbb{C}

with \mu_Z the Riemannian volume form of g_Z on Z pulled back on S.

On S, the following relations hold:

and

[Boyer:1998sf, Theorem 6.3.1, 7.1.2] Let P be an admissible k\times (n+1) integral matrix and denote T^k_P the action of A_P on \mathbb{H}^{n+1}. Then, the quotient S(P)=S^{4n+3}/\!\!/T^k_P is a smooth 3-Sasakian manifold.

[Boyer:1998sf, Proposition 7.5.11] Let k>1 be an integer. Then, the second Betti number b_2 of S(k) is equal to k.

[Boyer:1998sf, Theorem 2.3.5] Let B be a quaternionic Kähler orbifold with positive scalar curvature. Then, there is a principal SO(3) orbibundle S over B which admits an orbifold 3-Sasakian structure.

[Galicki1988, Theorem 4.26] Let q\leq p be positive coprime integers with p+q odd. Then, \mathbb{C}\mathbb{P}^2(2p,p+q,p+q) carries a positive self-dual Einstein metric.