CICY Coxeter DB | 2317

CICY2317

  • rank 4
  • I₂(4) × I₂(4)
  • finite
Favorable Kähler-favProduct
h1,1h^{1,1}
7
h2,1h^{2,1}
23
χ\chi
−32
ambient factors
7
polynomials
10
iso-flops
4
Coxeter rank
4
Coxeter group
I₂(4) × I₂(4)
Configuration matrix
7×10 configuration
X2317=[P11100000000P10011000000P10000110000P10000001100P10000000011P40011101010P41100010101]−327,23X_{2317} = \left[\begin{array}{c|cccccccccc} \mathbb{P}^{1} & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 \\ \mathbb{P}^{4} & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 0 & 1 & 0 \\ \mathbb{P}^{4} & 1 & 1 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 1 \end{array}\right]^{7,23}_{-32}
Second Chern class
c2(X)⋅Di=(24242424245252)Tc_2(X)\cdot D_i = \begin{pmatrix} 24 & 24 & 24 & 24 & 24 & 52 & 52 \end{pmatrix}^{T}
Coxeter diagram Gallery →
44
Coxeter matrix
(1224214224124221)\begin{pmatrix} 1 & 2 & 2 & 4 \\ 2 & 1 & 4 & 2 \\ 2 & 4 & 1 & 2 \\ 4 & 2 & 2 & 1 \end{pmatrix}
Iso-flop reflections Kähler representation
M^1\hat{M}_1: row 1, Type 1a
M^1=(−1000000010000000100000001000000010000000101000001)\hat{M}_1 = \begin{pmatrix} -1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix}
M^2\hat{M}_2: row 2, Type 1a
M^2=(10000000−10000000100000001000000010001000100000001)\hat{M}_2 = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix}
M^3\hat{M}_3: row 6, Type 1b
M^3=(1000000010002000100100001010000011000000−100000001)\hat{M}_3 = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 2 & 0 \\ 0 & 0 & 1 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix}
M^4\hat{M}_4: row 7, Type 1b
M^4=(100000201000000010001000100100001010000010000000−1)\hat{M}_4 = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 2 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 1 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & -1 \end{pmatrix}

Database record

Mathematica 
<|Num -> 2317, H11 -> 7, H21 -> 23, C2 -> {24, 24, 24, 24, 24, 52, 52}, Conf -> {{1, 1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 1, 1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 1, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 1}, {0, 0, 1, 1, 1, 0, 1, 0, 1, 0}, {1, 1, 0, 0, 0, 1, 0, 1, 0, 1}}, Favour -> True, KahlerPos -> True, IsProduct -> False, IsoFlopRows -> {{1, "Type 1a"}, {2, "Type 1a"}, {6, "Type 1b"}, {7, "Type 1b"}}, KahlerRefGens -> {{{-1, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0}, {0, 0, 0, 0, 0, 1, 0}, {1, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 0}, {0, -1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0}, {0, 1, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 2, 0}, {0, 0, 1, 0, 0, 1, 0}, {0, 0, 0, 1, 0, 1, 0}, {0, 0, 0, 0, 1, 1, 0}, {0, 0, 0, 0, 0, -1, 0}, {0, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 2}, {0, 1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 1}, {0, 0, 0, 1, 0, 0, 1}, {0, 0, 0, 0, 1, 0, 1}, {0, 0, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, -1}}}, CoxeterMat -> {{1, 2, 2, 4}, {2, 1, 4, 2}, {2, 4, 1, 2}, {4, 2, 2, 1}}|>
Plain text 
Num           : 2317
H11           : 7
H21           : 23
C2            : {24, 24, 24, 24, 24, 52, 52}
Conf          : {{1, 1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 1, 1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 1, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 1}, {0, 0, 1, 1, 1, 0, 1, 0, 1, 0}, {1, 1, 0, 0, 0, 1, 0, 1, 0, 1}}
Favour        : True
KahlerPos     : True
IsProduct     : False
IsoFlopRows   : {{1, "Type 1a"}, {2, "Type 1a"}, {6, "Type 1b"}, {7, "Type 1b"}}
KahlerRefGens : {{{-1, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0}, {0, 0, 0, 0, 0, 1, 0}, {1, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 0}, {0, -1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0}, {0, 1, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 2, 0}, {0, 0, 1, 0, 0, 1, 0}, {0, 0, 0, 1, 0, 1, 0}, {0, 0, 0, 0, 1, 1, 0}, {0, 0, 0, 0, 0, -1, 0}, {0, 0, 0, 0, 0, 0, 1}}, {{1, 0, 0, 0, 0, 0, 2}, {0, 1, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 1}, {0, 0, 0, 1, 0, 0, 1}, {0, 0, 0, 0, 1, 0, 1}, {0, 0, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, -1}}}
CoxeterMat    : {{1, 2, 2, 4}, {2, 1, 4, 2}, {2, 4, 1, 2}, {4, 2, 2, 1}}
2 sibling models share the Coxeter group I₂(4) × I₂(4) · filter Explorer · random sibling 23352665
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