CICY Coxeter DB | 7487

CICY7487

  • rank 5
  • K₅(3)
  • indefinite
Favorable Kähler-favProduct
h1,1h^{1,1}
5
h2,1h^{2,1}
45
χ\chi
−80
ambient factors
5
polynomials
2
iso-flops
5
Coxeter rank
5
Coxeter group
K₅(3)
Configuration matrix
5×2 configuration
X7487=[P102P111P111P111P111]−805,45X_{7487} = \left[\begin{array}{c|cc} \mathbb{P}^{1} & 0 & 2 \\ \mathbb{P}^{1} & 1 & 1 \\ \mathbb{P}^{1} & 1 & 1 \\ \mathbb{P}^{1} & 1 & 1 \\ \mathbb{P}^{1} & 1 & 1 \end{array}\right]^{5,45}_{-80}
Second Chern class
c2(X)⋅Di=(2424242424)Tc_2(X)\cdot D_i = \begin{pmatrix} 24 & 24 & 24 & 24 & 24 \end{pmatrix}^{T}
Coxeter diagram Gallery →
Coxeter matrix
(1333331333331333331333331)\begin{pmatrix} 1 & 3 & 3 & 3 & 3 \\ 3 & 1 & 3 & 3 & 3 \\ 3 & 3 & 1 & 3 & 3 \\ 3 & 3 & 3 & 1 & 3 \\ 3 & 3 & 3 & 3 & 1 \end{pmatrix}
Iso-flop reflections Kähler representation
M^1\hat{M}_1: row 1, Type 2
M^1=(−1000011000101001001010001)\hat{M}_1 = \begin{pmatrix} -1 & 0 & 0 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 \\ 1 & 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 1 & 0 \\ 1 & 0 & 0 & 0 & 1 \end{pmatrix}
M^2\hat{M}_2: row 2, Type 1b
M^2=(110000−1000011000101001001)\hat{M}_2 = \begin{pmatrix} 1 & 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 & 0 \\ 0 & 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 & 1 \end{pmatrix}
M^3\hat{M}_3: row 3, Type 1b
M^3=(101000110000−1000011000101)\hat{M}_3 = \begin{pmatrix} 1 & 0 & 1 & 0 & 0 \\ 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 & 0 \\ 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 1 & 0 & 1 \end{pmatrix}
M^4\hat{M}_4: row 4, Type 1b
M^4=(100100101000110000−1000011)\hat{M}_4 = \begin{pmatrix} 1 & 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 1 & 1 \end{pmatrix}
M^5\hat{M}_5: row 5, Type 1b
M^5=(100010100100101000110000−1)\hat{M}_5 = \begin{pmatrix} 1 & 0 & 0 & 0 & 1 \\ 0 & 1 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & -1 \end{pmatrix}

Database record

Mathematica 
<|Num -> 7487, H11 -> 5, H21 -> 45, C2 -> {24, 24, 24, 24, 24}, Conf -> {{0, 2}, {1, 1}, {1, 1}, {1, 1}, {1, 1}}, Favour -> True, KahlerPos -> True, IsProduct -> False, IsoFlopRows -> {{1, "Type 2"}, {2, "Type 1b"}, {3, "Type 1b"}, {4, "Type 1b"}, {5, "Type 1b"}}, KahlerRefGens -> {{{-1, 0, 0, 0, 0}, {1, 1, 0, 0, 0}, {1, 0, 1, 0, 0}, {1, 0, 0, 1, 0}, {1, 0, 0, 0, 1}}, {{1, 1, 0, 0, 0}, {0, -1, 0, 0, 0}, {0, 1, 1, 0, 0}, {0, 1, 0, 1, 0}, {0, 1, 0, 0, 1}}, {{1, 0, 1, 0, 0}, {0, 1, 1, 0, 0}, {0, 0, -1, 0, 0}, {0, 0, 1, 1, 0}, {0, 0, 1, 0, 1}}, {{1, 0, 0, 1, 0}, {0, 1, 0, 1, 0}, {0, 0, 1, 1, 0}, {0, 0, 0, -1, 0}, {0, 0, 0, 1, 1}}, {{1, 0, 0, 0, 1}, {0, 1, 0, 0, 1}, {0, 0, 1, 0, 1}, {0, 0, 0, 1, 1}, {0, 0, 0, 0, -1}}}, CoxeterMat -> {{1, 3, 3, 3, 3}, {3, 1, 3, 3, 3}, {3, 3, 1, 3, 3}, {3, 3, 3, 1, 3}, {3, 3, 3, 3, 1}}|>
Plain text 
Num           : 7487
H11           : 5
H21           : 45
C2            : {24, 24, 24, 24, 24}
Conf          : {{0, 2}, {1, 1}, {1, 1}, {1, 1}, {1, 1}}
Favour        : True
KahlerPos     : True
IsProduct     : False
IsoFlopRows   : {{1, "Type 2"}, {2, "Type 1b"}, {3, "Type 1b"}, {4, "Type 1b"}, {5, "Type 1b"}}
KahlerRefGens : {{{-1, 0, 0, 0, 0}, {1, 1, 0, 0, 0}, {1, 0, 1, 0, 0}, {1, 0, 0, 1, 0}, {1, 0, 0, 0, 1}}, {{1, 1, 0, 0, 0}, {0, -1, 0, 0, 0}, {0, 1, 1, 0, 0}, {0, 1, 0, 1, 0}, {0, 1, 0, 0, 1}}, {{1, 0, 1, 0, 0}, {0, 1, 1, 0, 0}, {0, 0, -1, 0, 0}, {0, 0, 1, 1, 0}, {0, 0, 1, 0, 1}}, {{1, 0, 0, 1, 0}, {0, 1, 0, 1, 0}, {0, 0, 1, 1, 0}, {0, 0, 0, -1, 0}, {0, 0, 0, 1, 1}}, {{1, 0, 0, 0, 1}, {0, 1, 0, 0, 1}, {0, 0, 1, 0, 1}, {0, 0, 0, 1, 1}, {0, 0, 0, 0, -1}}}
CoxeterMat    : {{1, 3, 3, 3, 3}, {3, 1, 3, 3, 3}, {3, 3, 1, 3, 3}, {3, 3, 3, 1, 3}, {3, 3, 3, 3, 1}}
1 sibling model share the Coxeter group K₅(3) · filter Explorer · random sibling 7447
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