CICY Coxeter DB | 7825

CICY7825

  • rank 3
  • [P, P]
  • indefinite
Favorable Kähler-favProduct
h1,1h^{1,1}
4
h2,1h^{2,1}
60
χ\chi
−112
ambient factors
4
polynomials
4
iso-flops
3
Coxeter rank
3
Coxeter group
[P, P]
Configuration matrix
4×4 configuration
X7825=[P11100P10011P10020P41121]−1124,60X_{7825} = \left[\begin{array}{c|cccc} \mathbb{P}^{1} & 1 & 1 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 1 & 1 \\ \mathbb{P}^{1} & 0 & 0 & 2 & 0 \\ \mathbb{P}^{4} & 1 & 1 & 2 & 1 \end{array}\right]^{4,60}_{-112}
Second Chern class
c2(X)⋅Di=(24242452)Tc_2(X)\cdot D_i = \begin{pmatrix} 24 & 24 & 24 & 52 \end{pmatrix}^{T}
Coxeter diagram Gallery →
PP
Coxeter matrixP, H=∞\text{P, H} = \infty
(12P21PPP1)\begin{pmatrix} 1 & 2 & \text{P} \\ 2 & 1 & \text{P} \\ \text{P} & \text{P} & 1 \end{pmatrix}
Iso-flop reflections Kähler representation
M^1\hat{M}_1: row 1, Type 1a
M^1=(−1000010000101001)\hat{M}_1 = \begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 1 & 0 & 0 & 1 \end{pmatrix}
M^2\hat{M}_2: row 3, Type 2
M^2=(1000011000−100021)\hat{M}_2 = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 2 & 1 \end{pmatrix}
M^3\hat{M}_3: row 4, Type 2
M^3=(100401030012000−1)\hat{M}_3 = \begin{pmatrix} 1 & 0 & 0 & 4 \\ 0 & 1 & 0 & 3 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 0 & -1 \end{pmatrix}

Database record

Mathematica 
<|Num -> 7825, H11 -> 4, H21 -> 60, C2 -> {24, 24, 24, 52}, Conf -> {{1, 1, 0, 0}, {0, 0, 1, 1}, {0, 0, 2, 0}, {1, 1, 2, 1}}, Favour -> True, KahlerPos -> True, IsProduct -> False, IsoFlopRows -> {{1, "Type 1a"}, {3, "Type 2"}, {4, "Type 2"}}, KahlerRefGens -> {{{-1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {1, 0, 0, 1}}, {{1, 0, 0, 0}, {0, 1, 1, 0}, {0, 0, -1, 0}, {0, 0, 2, 1}}, {{1, 0, 0, 4}, {0, 1, 0, 3}, {0, 0, 1, 2}, {0, 0, 0, -1}}}, CoxeterMat -> {{1, 2, P}, {2, 1, P}, {P, P, 1}}|>
Plain text 
Num           : 7825
H11           : 4
H21           : 60
C2            : {24, 24, 24, 52}
Conf          : {{1, 1, 0, 0}, {0, 0, 1, 1}, {0, 0, 2, 0}, {1, 1, 2, 1}}
Favour        : True
KahlerPos     : True
IsProduct     : False
IsoFlopRows   : {{1, "Type 1a"}, {3, "Type 2"}, {4, "Type 2"}}
KahlerRefGens : {{{-1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {1, 0, 0, 1}}, {{1, 0, 0, 0}, {0, 1, 1, 0}, {0, 0, -1, 0}, {0, 0, 2, 1}}, {{1, 0, 0, 4}, {0, 1, 0, 3}, {0, 0, 1, 2}, {0, 0, 0, -1}}}
CoxeterMat    : {{1, 2, P}, {2, 1, P}, {P, P, 1}}
20 sibling models share the Coxeter group [P, P] · filter Explorer · random sibling 68146815722272237274727574457446745474557458747074937497761876297654781878207827
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