Recorded data and provenance for the associated calculation.
| generated_utc | 2026-10-10T23:28:21.489830+00:00 |
|---|---|
| scope | Exact finite algebra and characteristic identities; not a numerical simulation or a proof of metric completeness. |
| checks_passed | 55 |
View complete data
{
"generated_utc": "2026-10-10T23:28:21.489830+00:00",
"scope": "Exact finite algebra and characteristic identities; not a numerical simulation or a proof of metric completeness.",
"checks_passed": 55,
"checks": [
"u2 normal image rank four",
"su2 normal image rank three",
"central phase has normal weight two",
"unitarity 0",
"discriminant character 0",
"determinant character 0",
"Lie homomorphism 0,0",
"su2 closure 0,0",
"Lie homomorphism 0,1",
"su2 closure 0,1",
"Lie homomorphism 0,2",
"su2 closure 0,2",
"Lie homomorphism 0,3",
"unitarity 1",
"discriminant character 1",
"determinant character 1",
"Lie homomorphism 1,0",
"su2 closure 1,0",
"Lie homomorphism 1,1",
"su2 closure 1,1",
"Lie homomorphism 1,2",
"su2 closure 1,2",
"Lie homomorphism 1,3",
"unitarity 2",
"discriminant character 2",
"determinant character 2",
"Lie homomorphism 2,0",
"su2 closure 2,0",
"Lie homomorphism 2,1",
"su2 closure 2,1",
"Lie homomorphism 2,2",
"su2 closure 2,2",
"Lie homomorphism 2,3",
"unitarity 3",
"discriminant character 3",
"determinant character 3",
"Lie homomorphism 3,0",
"Lie homomorphism 3,1",
"Lie homomorphism 3,2",
"Lie homomorphism 3,3",
"spin-one tensor square has one singlet",
"the spin-one singlet is symmetric",
"full u2 tensor square has no untwisted singlet",
"su3 complexified algebra has rank eight",
"su3 fundamental tensor square has no singlet",
"spin-one tensor-square character is one plus three plus five",
"symmetric-square c1 identity",
"symmetric-square c2 identity",
"CP2 c1 normal",
"CP2 c2 normal",
"ambient quotient Chern identity",
"determinant-free c2",
"normal real p1",
"adjoint real p1",
"normal bundle Euler degree exceeds base dimension"
],
"results": {
"normal_holonomy_algebra_dimension": 4,
"normal_traceless_algebra_dimension": 3,
"spin_one_tensor_square_singlets": 1,
"full_u2_tensor_square_untwisted_singlets": 0,
"su3_fundamental_tensor_square_singlets": 0,
"normal_c1_H": 9,
"normal_c2_H2": 30,
"determinant_free_c2_H2": 3,
"normal_real_p1_H2": 21,
"adjoint_real_p1_H2": -3
},
"sources": {
"experiments/parallel-quadratic-normal-checks.py": "b4b9118f9867c4e91d40f107bf16d324b41645eb905ad11ffb563bd9b9bcb75d"
}
}