By computing all cyclotomic points on specific algebraic varieties, we establish an independent and highly efficient method to determine the complete set of spherical $ a^3b $-monotiles with rational angles, thereby rigorously completing the classification of edge-to-edge monohedral quadrilateral tilings. Previous classification attempts relied heavily on fragmented older literature, within which several errors and logical gaps have been identified.
Citation: Jinjin Liang, Yixi Liao, Erxiao Wang. Cyclotomic points on algebraic varieties and all rational $ a^3b $-monotiles[J]. AIMS Mathematics, 2026, 11(3): 8225-8241. doi: 10.3934/math.2026338
By computing all cyclotomic points on specific algebraic varieties, we establish an independent and highly efficient method to determine the complete set of spherical $ a^3b $-monotiles with rational angles, thereby rigorously completing the classification of edge-to-edge monohedral quadrilateral tilings. Previous classification attempts relied heavily on fragmented older literature, within which several errors and logical gaps have been identified.
| [1] | C. Adams, The tiling book: an introduction to the mathematical theory of tilings, American Mathematical Society, 2023. |
| [2] | B. Grünbaum, G. C. Shephard, Tilings and patterns, W. H. Freeman & Co., 1987. |
| [3] |
M. Senechal, Which tetrahedra fill space? Math. Mag., 54 (1981), 227–243. https://doi.org/10.2307/2689983 doi: 10.2307/2689983
|
| [4] |
D. M. Y. Sommerville, Division of space by congruent triangles and tetrahedra, Proc. R. Soc. Edinburgh, 43 (1924), 85–116. https://doi.org/10.1017/S0370164600022495 doi: 10.1017/S0370164600022495
|
| [5] |
E. Wang, M. Yan, Tilings of the sphere by congruent pentagons Ⅱ: edge combination $a^3b^2$, Adv. Math., 394 (2022), 107867. https://doi.org/10.1016/j.aim.2021.107867 doi: 10.1016/j.aim.2021.107867
|
| [6] | Y. Liao, E. Wang, Tilings of the sphere by congruent quadrilaterals Ⅱ: edge combination $a^{3}b$ with rational angles, Nagoya Math. J., 253 (2024), 128–163. |
| [7] | Y. Liao, P. Qian, E. Wang, Y. Xu, Tilings of the sphere by congruent quadrilaterals Ⅲ: edge combination $a^{3}b$ with general angles, Forum Math., 36 (2024), 1159–1186. |
| [8] | J. Liang, Y. Liao, Y. Hu, E. Wang, Tilings of the sphere by congruent pentagons Ⅴ: edge combination $a^{4}b$ with rational angles, preprint, arXiv, 2025. https://doi.org/10.48550/arXiv.2507.07038 |
| [9] |
H. P. Luk, H. M. Cheung, Rational angles and tilings of the sphere by congruent quadrilaterals, Ann. Comb., 28 (2024), 485–527. https://doi.org/10.1007/s00026-023-00685-9 doi: 10.1007/s00026-023-00685-9
|
| [10] | K. S. Kedlaya, A. Kolpakov, B. Poonen, M. Rubinstein, Space vectors forming rational angles, preprint, arXiv, 2020. https://doi.org/10.48550/arXiv.2011.14232 |
| [11] |
G. Myerson, Rational products of sines of rational angles, Aequ. Math., 45 (1993), 70–82. https://doi.org/10.1007/BF01844426 doi: 10.1007/BF01844426
|
| [12] | J. H. Conway, A. J. Jones, Trigonometric diophantine equations (on vanishing sums of roots of unity), Acta Arith., 30 (1976), 229–240. |
| [13] |
K. Coolsaet, Spherical quadrangles with three equal sides and rational angles, Ars Math. Contemp., 12 (2017), 415–424. https://doi.org/10.26493/1855-3974.1129.af0 doi: 10.26493/1855-3974.1129.af0
|
| [14] | R. J. Bradford, J. H. Davenport, Effective tests for cyclotomic polynomials, In: P. Gianni, Symbolic and algebraic computation, Springer, 1989, 244–251. https://doi.org/10.1007/3-540-51084-2_22 |
| [15] | F. Beukers, C. J. Smyth, Cyclotomic points on curves, In: A. K. Peters, M. A. Natick, Number theory for the millennium, Urbana, 2002, 67–85. |
| [16] |
I. Aliev, C. Smyth, Solving algebraic equations in roots of unity, Forum Math., 24 (2012), 641–665. https://doi.org/10.1515/form.2011.087 doi: 10.1515/form.2011.087
|