Posts Tagged: Dedekind

  • web

    5 years blogging

    Posted on by

    A few recollections and a very quick number game by Hendrik Lenstra.

  • geometry, noncommutative

    noncommutative F_un geometry (2)

    Posted on by

    We use Kontsevich’s idea of thin varieties to define complexified varieties over F\_un.

  • geometry, groups, representations

    Klein’s dessins d’enfant and the buckyball

    Posted on by

    We saw that the icosahedron can be constructed from the alternating group $A_5 $ by considering the elements of a conjugacy class of order 5 elements as the vertices and edges between two vertices if their product is still in the conjugacy class. This description is so nice that one would like to have a… Read more »

  • web

    bloomsday 2 : BistroMath

    Posted on by

    Exactly one year ago this blog was briefly renamed MoonshineMath. The concept being that it would focus on the mathematics surrounding the monster group & moonshine. Well, I got as far as the Mathieu groups… After a couple of months, I changed the name back to neverendingbooks because I needed the freedom to post on… Read more »

  • groups, stories

    Dedekind or Klein ?

    Posted on by

    The black&white psychedelic picture on the left of a tessellation of the hyperbolic upper-halfplane, was called the Dedekind tessellation in this post, following the reference given by John Stillwell in his excellent paper Modular Miracles, The American Mathematical Monthly, 108 (2001) 70-76. But is this correct terminology? Nobody else uses it apparently. So, let’s try… Read more »

  • featured

    Farey symbols of sporadic groups

    Posted on by

    John Conway once wrote : There are almost as many different constructions of $M_{24} $ as there have been mathematicians interested in that most remarkable of all finite groups. In the inguanodon post Ive added yet another construction of the Mathieu groups $M_{12} $ and $M_{24} $ starting from (half of) the Farey sequences and… Read more »

  • featured

    Quiver-superpotentials

    Posted on by

    It’s been a while, so let’s include a recap : a (transitive) permutation representation of the modular group $\Gamma = PSL_2(\mathbb{Z}) $ is determined by the conjugacy class of a cofinite subgroup $\Lambda \subset \Gamma $, or equivalently, to a dessin d’enfant. We have introduced a quiver (aka an oriented graph) which comes from a… Read more »

  • featured

    quivers versus quilts

    Posted on by

    We have associated to a subgroup of the modular group $PSL_2(\mathbb{Z}) $ a quiver (that is, an oriented graph). For example, one verifies that the fundamental domain of the subgroup $\Gamma_0(2) $ (an index 3 subgroup) is depicted on the right by the region between the thick lines with the identification of edges as indicated…. Read more »

  • featured

    the modular group and superpotentials (1)

    Posted on by

    Here I will go over the last post at a more leisurely pace, focussing on a couple of far more trivial examples. Here’s the goal : we want to assign a quiver-superpotential to any subgroup of finite index of the modular group. So fix such a subgroup $\Gamma’ $ of the modular group $\Gamma=PSL_2(\mathbb{Z}) $… Read more »

  • featured

    Superpotentials and Calabi-Yaus

    Posted on by

    Yesterday, Jan Stienstra gave a talk at theARTS entitled “Quivers, superpotentials and Dimer Models”. He started off by telling that the talk was based on a paper he put on the arXiv Hypergeometric Systems in two Variables, Quivers, Dimers and Dessins d’Enfants but that he was not going to say a thing about dessins but… Read more »

  • featured

    the iguanodon dissected

    Posted on by

    Here the details of the iguanodon series. Start with the Farey sequence $F(n) $of order n which is the sequence of completely reduced fractions between 0 and 1 which, when in lowest terms, have denominators less than or equal to n, arranged in order of increasing size. Here are the first eight Fareys F(1) =… Read more »

  • featured

    Farey codes

    Posted on by

    John Farey (1766-1826) was a geologist of sorts. Eyles, quoted on the math-biographies site described his geological work as “As a geologist Farey is entitled to respect for the work which he carried out himself, although it has scarcely been noticed in the standard histories of geology.” That we still remember his name after 200… Read more »

  • featured

    Hyperbolic Mathieu polygons

    Posted on by

    Today we will link modular quilts (via their associated cuboid tree diagrams) to special hyperbolic polygons. The above drawing gives the hyperbolic polygon (the gray boundary) associated to the M(24) tree diagram (the black interior graph). In general, the correspondence goes as follows. Recall that a cuboid tree diagram is a tree such that all… Read more »

  • featured

    The Dedekind tessellation

    Posted on by

    In 1877, Richard Dedekind discovered one of the most famous pictures in mathematics : the black&white tessellation of the upper half-plane in hyperbolic triangles. Recall that the group $SL_2(\mathbb{Z}) $ of all invertible 2×2 integer matrices with determinant $1$ acts on the upper halfplane via

  • featured

    the noncommutative manifold of a Riemann surface

    Posted on by

    The natural habitat of this lesson is a bit further down the course, but it was called into existence by a comment/question by Kea I don’t yet quite see where the nc manifolds are, but I guess that’s coming. As I’m enjoying telling about all sorts of sources of finite dimensional representations of $SL_2(\mathbb{Z}) $… Read more »