CICY Coxeter DB | 7862

CICY7862

  • rank 4
  • W₄
  • indefinite
Favorable Kähler-favProduct
h1,1h^{1,1}
4
h2,1h^{2,1}
68
χ\chi
−128
ambient factors
4
polynomials
1
iso-flops
4
Coxeter rank
4
Coxeter group
W₄
Configuration matrix
4×1 configuration
X7862=[P12P12P12P12]−1284,68X_{7862} = \left[\begin{array}{c|c} \mathbb{P}^{1} & 2 \\ \mathbb{P}^{1} & 2 \\ \mathbb{P}^{1} & 2 \\ \mathbb{P}^{1} & 2 \end{array}\right]^{4,68}_{-128}
Second Chern class
c2(X)⋅Di=(24242424)Tc_2(X)\cdot D_i = \begin{pmatrix} 24 & 24 & 24 & 24 \end{pmatrix}^{T}
Coxeter diagram Gallery →
PPPPPP
Coxeter matrixP, H=∞\text{P, H} = \infty
(1PPPP1PPPP1PPPP1)\begin{pmatrix} 1 & \text{P} & \text{P} & \text{P} \\ \text{P} & 1 & \text{P} & \text{P} \\ \text{P} & \text{P} & 1 & \text{P} \\ \text{P} & \text{P} & \text{P} & 1 \end{pmatrix}
Iso-flop reflections Kähler representation
M^1\hat{M}_1: row 1, Type 2
M^1=(−1000210020102001)\hat{M}_1 = \begin{pmatrix} -1 & 0 & 0 & 0 \\ 2 & 1 & 0 & 0 \\ 2 & 0 & 1 & 0 \\ 2 & 0 & 0 & 1 \end{pmatrix}
M^2\hat{M}_2: row 2, Type 2
M^2=(12000−10002100201)\hat{M}_2 = \begin{pmatrix} 1 & 2 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 2 & 1 & 0 \\ 0 & 2 & 0 & 1 \end{pmatrix}
M^3\hat{M}_3: row 3, Type 2
M^3=(1020012000−100021)\hat{M}_3 = \begin{pmatrix} 1 & 0 & 2 & 0 \\ 0 & 1 & 2 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 2 & 1 \end{pmatrix}
M^4\hat{M}_4: row 4, Type 2
M^4=(100201020012000−1)\hat{M}_4 = \begin{pmatrix} 1 & 0 & 0 & 2 \\ 0 & 1 & 0 & 2 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & -1 \end{pmatrix}

Database record

Mathematica 
<|Num -> 7862, H11 -> 4, H21 -> 68, C2 -> {24, 24, 24, 24}, Conf -> {{2}, {2}, {2}, {2}}, Favour -> True, KahlerPos -> True, IsProduct -> False, IsoFlopRows -> {{1, "Type 2"}, {2, "Type 2"}, {3, "Type 2"}, {4, "Type 2"}}, KahlerRefGens -> {{{-1, 0, 0, 0}, {2, 1, 0, 0}, {2, 0, 1, 0}, {2, 0, 0, 1}}, {{1, 2, 0, 0}, {0, -1, 0, 0}, {0, 2, 1, 0}, {0, 2, 0, 1}}, {{1, 0, 2, 0}, {0, 1, 2, 0}, {0, 0, -1, 0}, {0, 0, 2, 1}}, {{1, 0, 0, 2}, {0, 1, 0, 2}, {0, 0, 1, 2}, {0, 0, 0, -1}}}, CoxeterMat -> {{1, P, P, P}, {P, 1, P, P}, {P, P, 1, P}, {P, P, P, 1}}|>
Plain text 
Num           : 7862
H11           : 4
H21           : 68
C2            : {24, 24, 24, 24}
Conf          : {{2}, {2}, {2}, {2}}
Favour        : True
KahlerPos     : True
IsProduct     : False
IsoFlopRows   : {{1, "Type 2"}, {2, "Type 2"}, {3, "Type 2"}, {4, "Type 2"}}
KahlerRefGens : {{{-1, 0, 0, 0}, {2, 1, 0, 0}, {2, 0, 1, 0}, {2, 0, 0, 1}}, {{1, 2, 0, 0}, {0, -1, 0, 0}, {0, 2, 1, 0}, {0, 2, 0, 1}}, {{1, 0, 2, 0}, {0, 1, 2, 0}, {0, 0, -1, 0}, {0, 0, 2, 1}}, {{1, 0, 0, 2}, {0, 1, 0, 2}, {0, 0, 1, 2}, {0, 0, 0, -1}}}
CoxeterMat    : {{1, P, P, P}, {P, 1, P, P}, {P, P, 1, P}, {P, P, P, 1}}
Conventions and glossary

Conventions

Configuration matrix
Rows are the ambient \(\mathbb{P}^{n_i}\) factors; columns indicate the homogeneous degrees of the defining polynomials. The superscript is \((h^{1,1},\,h^{2,1})\) and the subscript is the Euler characteristic \(\chi = 2(h^{1,1} - h^{2,1})\).
Second Chern class
The intersection numbers \(c_2(X)\cdot D_i\) in the favorable divisor basis \(\{D_i\}_{i \in \{ 1, \dotsc, h^{1,1} \}}\).

Glossary

Iso-flop (isomorphic flop)
A flop \(X \dashrightarrow X'\) between diffeomorphic families of Calabi–Yau threefolds.
Kähler-favorable
A favorable CICY whose Kähler cone directly descends from that of the ambient space.
Iso-flop row: Type 1a
A configuration matrix row of the form \(\left[\begin{array}{c|cccccc} \mathbb{P}^{n} & 1 & \cdots & 1 & 0 & \cdots & 0 \end{array}\right]\) whose charge vectors over the ones columns all coincide. The flop across the corresponding Kähler cone wall is always an iso-flop.
Iso-flop row: Type 1b
A configuration matrix row of the same form as Type 1a but without the coincident charge vectors. The flop across the corresponding Kähler cone wall is typically (but not necessarily) not an iso-flop.
Iso-flop row: Type 2
A configuration matrix row of the form \(\left[\begin{array}{c|ccccccc} \mathbb{P}^{n} & 2 & 1 & \cdots & 1 & 0 & \cdots & 0 \end{array}\right]\), including the case with no ones. The flop across the corresponding Kähler cone wall is always an iso-flop.
Parabolic (P) vs. hyperbolic (H)
Both mark a Coxeter-matrix entry of infinite order: the product \(Q_{ij} = \hat{M}_i \hat{M}_j\) has \(\operatorname{ord}(Q_{ij}) = \infty\). They distinguish two inequivalent types of faithful representation: parabolic (P) and hyperbolic (H). See Section 4.1 of the companion paper for details.
Non-Kähler-favorable (NonKahlerPos)
A CICY whose Kähler cone does not directly descend from that of the ambient space. The Coxeter symmetry is left undetermined for such models.

‹ Back to the explorer