We show that the class of every primitive indefinite binary quadratic form is naturally represented by an infinite graph (named çark) with a unique cycle embedded on a conformal annulus. This cycle is called the spine of the çark. Every choice of an edge of a fixed çark specifies an indefinite binary quadratic form in the class represented by the çark. Reduced forms in the class represented by a çark correspond to some distinguished edges on its spine. Gauss reduction is the process of moving the edge in the direction of the spine of the çark. Ambiguous and reciprocal classes are represented by çarks with symmetries. Periodic çarks represent classes of non-primitive forms.
Nous montrons que la classe de toute forme quadratique binaire indéterminée et primitive est représentée de façon naturelle par un graphe infini (appellé çark) avec un unique cycle, plongé dans une couronne conforme. Ce cycle est appelé le rachis du çark. Le choix d’un arc d’un çark donné spécifie une forme quadratique binaire indéterminée dans la classe représentée par le çark. Les formes réduites dans la classe représentée par un çark correspondent à certains arcs distingués sur son rachis. La réduction de Gauss est le processus de déplacement de l’arc vers la direction du rachis du çark. Les classes ambiguës et réciproques sont représentées par des çarks ayant une symétrie. Les çarks périodiques représentent les classes des formes non-primitives.
Revised:
Accepted:
Published online:
Mots-clés : binary quadratic forms, dessins d’enfants, bipartite ribbon graphs, çarks, ambiguous forms, reciprocal forms, Markoff number
A. Muhammed Uludağ 1; Ayberk Zeytin 1; Merve Durmuş 2

@article{JTNB_2017__29_2_445_0, author = {A. Muhammed Uluda\u{g} and Ayberk Zeytin and Merve Durmu\c{s}}, title = {Binary quadratic forms as dessins}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {445--469}, publisher = {Soci\'et\'e Arithm\'etique de Bordeaux}, volume = {29}, number = {2}, year = {2017}, doi = {10.5802/jtnb.987}, language = {en}, url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.987/} }
TY - JOUR AU - A. Muhammed Uludağ AU - Ayberk Zeytin AU - Merve Durmuş TI - Binary quadratic forms as dessins JO - Journal de théorie des nombres de Bordeaux PY - 2017 SP - 445 EP - 469 VL - 29 IS - 2 PB - Société Arithmétique de Bordeaux UR - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.987/ DO - 10.5802/jtnb.987 LA - en ID - JTNB_2017__29_2_445_0 ER -
%0 Journal Article %A A. Muhammed Uludağ %A Ayberk Zeytin %A Merve Durmuş %T Binary quadratic forms as dessins %J Journal de théorie des nombres de Bordeaux %D 2017 %P 445-469 %V 29 %N 2 %I Société Arithmétique de Bordeaux %U https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.987/ %R 10.5802/jtnb.987 %G en %F JTNB_2017__29_2_445_0
A. Muhammed Uludağ; Ayberk Zeytin; Merve Durmuş. Binary quadratic forms as dessins. Journal de théorie des nombres de Bordeaux, Volume 29 (2017) no. 2, pp. 445-469. doi : 10.5802/jtnb.987. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.987/
[1] On Galois extensions of a maximal cyclotomic field, Math. USSR, Izv., Volume 14 (1980), pp. 247-256 | DOI
[2] On primitive words, Int. J. Algebra, Volume 4 (2010) no. 13-16, pp. 693-707
[3] Binary quadratic forms. An algorithmic approach., Algorithms and Computation in Mathematics, 20, Springer, 2007, xiv+318 pages
[4] A course in computational algebraic number theory, Graduate Texts in Mathematics, 138, Springer, 1993, xxi+534 pages
[5] The sensual (quadratic) form, The Carus Mathematical Monographs, 26, The Mathematical Association of America, 1997, xiii+152 pages
[6] Farey graph and binary quadratic forms, Istanbul Technical University, Turkey (2012) (Ph. D. Thesis)
[7] Génération d’une section des classes de conjugaison et arbre des mots de Lyndon de longueur bornée, Theor. Comput. Sci., Volume 60 (1988) no. 3, pp. 255-283 | DOI
[8] Lexicographic compositions and de Bruijn sequences, J. Comb. Theory, Volume 22 (1977), pp. 17-30 | DOI
[9] Disquisitiones arithmeticae, Yale University Press, 1966, xx+472 pages
[10] Sunburst version 0 (2013) (available at http://math.gsu.edu.tr/azeytin/infomod/node/3)
[11] Symbolic dynamics for the modular surface and beyond, Bull. Am. Math. Soc., Volume 44 (2007) no. 1, pp. 87-132 | DOI
[12] Über die Transformation elfter Ordnung der elliptischen Functionen, Clebsch Ann., Volume XV (1879), pp. 533-555
[13] An arithmetic-geometric method in the study of the subgroups of the modular group, Am. J. Math., Volume 113 (1991) no. 6, pp. 1053-1133 | DOI
[14] Graphs on surfaces and their applications, Encyclopaedia of Mathematical Sciences, 141, Springer, 2004, xv+455 pages
[15] Applications of a Theory of Permutations in Circular Procession to the Theory of Numbers, Proc. Lond. Math. Soc., Volume s1-23 (1891) no. 1, pp. 305-318 | DOI
[16] Real quadratic irrational numbers and modular group action, Southeast Asian Bull. Math., Volume 35 (2011) no. 3, pp. 439-445
[17] Real multiplication and noncommutative geometry (ein Alterstraum), The legacy of Niels Henrik Abel, Springer, 2004, pp. 685-727
[18] Modular group acting on real quadratic fields, Bull. Aust. Math. Soc., Volume 37 (1988) no. 2, pp. 303-309 | DOI
[19] Reciprocal geodesics, Analytic number theory. A tribute to Gauss and Dirichlet (Clay Mathematics Proceedings), Volume 7, American Mathematical Society, 2007, pp. 217-237
[20] Generating Bracelets in Constant Amortized Time, SIAM J. Comput., Volume 31 (2001) no. 1, pp. 259-268 | DOI
[21] The On-Line Encyclopedia of Integer Sequences (published electronically at http://oeis.org/)
[22] PARI/GP version 2.5.0, 2012 (available at http://pari.math.u-bordeaux.fr/)
[23] The modular group and its actions, Volume I, Handbook of group actions (Advanced Lectures in Mathematics), Volume 31, International Press and Higher Education Press, 2015, pp. 333-370
[24] A panorama of the fundamental group of the modular orbifold, Handbook of Teichmüller Theory, Vol. VI (IRMA Lectures in Mathematics and Theoretical Physics), Volume 27, European Mathematical Society, 2016, pp. 501-519
[25] Zetafunktionen und quadratische Körper. Eine Einführung in die höhere Zahlentheorie, Hochschultext, Springer, 1981, ix+144 pages
[26] New points of view on the selberg zeta function, Proceedings of Japanese-German Seminar (2002), pp. 1-10
[27] On reduction theory of binary quadratic forms, Publ. Math., Volume 89 (2016), pp. 203-221
[28] InfoMod: A visual and computational approach to Gauss’ binary quadratic forms (2017) (https://arxiv.org/abs/1704.00902)
Cited by Sources: