CICY Coxeter DB | 7522

CICY7522

  • rank 4
  • K₁,₃(P)
  • indefinite
Favorable Kähler-favProduct
h1,1h^{1,1}
4
h2,1h^{2,1}
44
χ\chi
−80
ambient factors
4
polynomials
6
iso-flops
4
Coxeter rank
4
Coxeter group
K₁,₃(P)
Configuration matrix
4×6 configuration
X7522=[P1110000P1001100P1000020P6111112]−804,44X_{7522} = \left[\begin{array}{c|cccccc} \mathbb{P}^{1} & 1 & 1 & 0 & 0 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 1 & 1 & 0 & 0 \\ \mathbb{P}^{1} & 0 & 0 & 0 & 0 & 2 & 0 \\ \mathbb{P}^{6} & 1 & 1 & 1 & 1 & 1 & 2 \end{array}\right]^{4,44}_{-80}
Second Chern class
c2(X)⋅Di=(24242464)Tc_2(X)\cdot D_i = \begin{pmatrix} 24 & 24 & 24 & 64 \end{pmatrix}^{T}
Coxeter diagram Gallery →
PPP
Coxeter matrixP, H=∞\text{P, H} = \infty
(122P212P221PPPP1)\begin{pmatrix} 1 & 2 & 2 & \text{P} \\ 2 & 1 & 2 & \text{P} \\ 2 & 2 & 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 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 2, Type 1a
M^2=(10000−10000100101)\hat{M}_2 = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 \end{pmatrix}
M^3\hat{M}_3: row 3, Type 2
M^3=(1000010000−100011)\hat{M}_3 = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 1 & 1 \end{pmatrix}
M^4\hat{M}_4: row 4, Type 2
M^4=(100401040014000−1)\hat{M}_4 = \begin{pmatrix} 1 & 0 & 0 & 4 \\ 0 & 1 & 0 & 4 \\ 0 & 0 & 1 & 4 \\ 0 & 0 & 0 & -1 \end{pmatrix}

Database record

Mathematica 
<|Num -> 7522, H11 -> 4, H21 -> 44, C2 -> {24, 24, 24, 64}, Conf -> {{1, 1, 0, 0, 0, 0}, {0, 0, 1, 1, 0, 0}, {0, 0, 0, 0, 2, 0}, {1, 1, 1, 1, 1, 2}}, Favour -> True, KahlerPos -> True, IsProduct -> False, IsoFlopRows -> {{1, "Type 1a"}, {2, "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, 0, 0}, {0, 0, 1, 0}, {0, 1, 0, 1}}, {{1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, -1, 0}, {0, 0, 1, 1}}, {{1, 0, 0, 4}, {0, 1, 0, 4}, {0, 0, 1, 4}, {0, 0, 0, -1}}}, CoxeterMat -> {{1, 2, 2, P}, {2, 1, 2, P}, {2, 2, 1, P}, {P, P, P, 1}}|>
Plain text 
Num           : 7522
H11           : 4
H21           : 44
C2            : {24, 24, 24, 64}
Conf          : {{1, 1, 0, 0, 0, 0}, {0, 0, 1, 1, 0, 0}, {0, 0, 0, 0, 2, 0}, {1, 1, 1, 1, 1, 2}}
Favour        : True
KahlerPos     : True
IsProduct     : False
IsoFlopRows   : {{1, "Type 1a"}, {2, "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, 0, 0}, {0, 0, 1, 0}, {0, 1, 0, 1}}, {{1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, -1, 0}, {0, 0, 1, 1}}, {{1, 0, 0, 4}, {0, 1, 0, 4}, {0, 0, 1, 4}, {0, 0, 0, -1}}}
CoxeterMat    : {{1, 2, 2, P}, {2, 1, 2, P}, {2, 2, 1, P}, {P, P, P, 1}}
6 sibling models share the Coxeter group K₁,₃(P) · filter Explorer · random sibling 743574627491771977367742
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