Posts Tagged: simples

  • absolute, stories

    Art and the absolute point

    Posted on by

    In his paper Cyclotomy and analytic geometry over $\mathbb{F}_1$ Yuri I. Manin sketches and compares four approaches to the definition of a geometry over $\mathbb{F}_1$, the elusive field with one element. He writes : “Preparing a colloquium talk in Paris, I have succumbed to the temptation to associate them with some dominant trends in the… Read more »

  • featured

    The odd knights of the round table

    Posted on by

    Here’s a tiny problem illustrating our limited knowledge of finite fields : “Imagine an infinite queue of Knights ${ K_1,K_2,K_3,\ldots } $, waiting to be seated at the unit-circular table. The master of ceremony (that is, you) must give Knights $K_a $ and $K_b $ a place at an odd root of unity, say $\omega_a… Read more »

  • featured

    Pollock your own noncommutative space

    Posted on by

    I really like Matilde Marcolli’s idea to use some of Jackson Pollock’s paintings as metaphors for noncommutative spaces. In her talk she used this painting and refered to it (as did I in my post) as : Jackson Pollock “Untitled N.3”. Before someone writes a post ‘The Pollock noncommutative space hoax’ (similar to my own… Read more »

  • featured, games, number theory

    On2 : Conway’s nim-arithmetics

    Posted on by

    Conway’s nim-arithmetic on ordinal numbers leads to many surprising identities, for example who would have thought that the third power of the first infinite ordinal equals 2…

  • geometry, number theory, stories

    Andre Weil on the Riemann hypothesis

    Posted on by

    Some quotes of Andre Weil on the Riemann hypothesis.

  • groups, math

    Arnold’s trinities version 2.0

    Posted on by

    Arnold has written a follow-up to the paper mentioned last time called “Polymathematics : is mathematics a single science or a set of arts?” (or here for a (huge) PDF-conversion). On page 8 of that paper is a nice summary of his 25 trinities : I learned of this newer paper from a comment by… Read more »

  • absolute

    Looking for F_un

    Posted on by

    There are only a handful of human activities where one goes to extraordinary lengths to keep a dream alive, in spite of overwhelming evidence : religion, theoretical physics, supporting the Belgian football team and … mathematics. In recent years several people spend a lot of energy looking for properties of an elusive object : the… 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

    BC stands for Bi-Crystalline graded

    Posted on by

    Towards the end of the Bost-Connes for ringtheorists post I freaked-out because I realized that the commutation morphisms with the $X_n^* $ were given by non-unital algebra maps. I failed to notice the obvious, that algebras such as $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $ have plenty of idempotents and that this mysterious ‘non-unital’ morphism was nothing else but multiplication… Read more »

  • featured

    Weil descent

    Posted on by

    A classic Andre Weil-tale is his narrow escape from being shot as a Russian spy The war was a disaster for Weil who was a conscientious objector and so wished to avoid military service. He fled to Finland, to visit Rolf Nevanlinna, as soon as war was declared. This was an attempt to avoid being… Read more »

  • web

    working archive plugin, please!

    Posted on by

    Over the last two weeks Ive ported all old neverendingbooks-post from the last 4 years to a nearly readable format. Some tiny problems remain : a few TeX-heavy old posts are still in $…$ format rather than LaTeXrender-compatible (but Ill fix this soon), a few links may turn out to be dead (still have to… 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

    Anabelian & Noncommutative Geometry 2

    Posted on by

    Last time (possibly with help from the survival guide) we have seen that the universal map from the modular group $\Gamma = PSL_2(\mathbb{Z}) $ to its profinite completion $\hat{\Gamma} = \underset{\leftarrow}{lim}~PSL_2(\mathbb{Z})/N $ (limit over all finite index normal subgroups $N $) gives an embedding of the sets of (continuous) simple finite dimensional representations $\mathbf{simp}_c~\hat{\Gamma} \subset… Read more »

  • featured

    Anabelian vs. Noncommutative Geometry

    Posted on by

    This is how my attention was drawn to what I have since termed anabelian algebraic geometry, whose starting point was exactly a study (limited for the moment to characteristic zero) of the action of absolute Galois groups (particularly the groups $Gal(\overline{K}/K) $, where K is an extension of finite type of the prime field) on… Read more »

  • featured

    Segal’s formal neighbourhood result

    Posted on by

    Yesterday, Ed Segal gave a talk at the Arts. His title “Superpotential algebras from 3-fold singularities” didnt look too promising to me. And sure enough it was all there again : stringtheory, D-branes, Calabi-Yaus, superpotentials, all the pseudo-physics babble that spreads virally among the youngest generation of algebraists and geometers. Fortunately, his talk did contain… Read more »

  • stories

    problema bovinum

    Posted on by

    Suppose for a moment that some librarian at the Bodleian Library announces that (s)he discovered an old encrypted book attributed to Isaac Newton. After a few months of failed attempts, the code is finally cracked and turns out to use a Public Key system based on the product of two gigantic prime numbers, $2^{32582657}-1 $… Read more »

  • featured

    M-geometry (3)

    Posted on by

    For any finite dimensional A-representation S we defined before a character $\chi(S) $ which is an linear functional on the noncommutative functions $\mathfrak{g}_A = A/[A,A]_{vect} $ and defined via $\chi_a(S) = Tr(a | S) $ for all $a \in A $ We would like to have enough such characters to separate simples, that is we… Read more »

  • featured

    M-geometry (1)

    Posted on by

    Take an affine $\mathbb{C} $-algebra A (not necessarily commutative). We will assign to it a strange object called the tangent-quiver $\vec{t}~A $, compute it in a few examples and later show how it connects with existing theory and how it can be used. This series of posts can be seen as the promised notes of… Read more »

  • featured

    Hexagonal Moonshine (3)

    Posted on by

    Hexagons keep on popping up in the representation theory of the modular group and its close associates. We have seen before that singularities in 2-dimensional representation varieties of the three string braid group $B_3 $ are ‘clanned together’ in hexagons and last time Ive mentioned (in passing) that the representation theory of the modular group… Read more »

  • featured

    Hexagonal Moonshine (2)

    Posted on by

    Delving into finite dimensional representations of the modular group $\Gamma = PSL_2(\mathbb{Z}) $ it is perhaps not too surprising to discover numerical connections with modular functions. Here, one such strange observation and a possible explanation. Using the _fact_ that the modular group $\Gamma = PSL_2(\mathbb{Z}) $ is the free group product $C_2 \ast C_3 $… Read more »

  • featured

    Hexagonal Moonshine (1)

    Posted on by

    Over at the Arcadian Functor, Kea is continuing her series of blog posts on M-theory (the M is supposed to mean either Monad or Motif). A recurrent motif in them is the hexagon and now I notice hexagons popping up everywhere. I will explain some of these observations here in detail, hoping that someone, more… Read more »

  • featured

    recap and outlook

    Posted on by

    After a lengthy spring-break, let us continue with our course on noncommutative geometry and $SL_2(\mathbb{Z}) $-representations. Last time, we have explained Grothendiecks mantra that all algebraic curves defined over number fields are contained in the profinite compactification $\widehat{SL_2(\mathbb{Z})} = \underset{\leftarrow}{lim}~SL_2(\mathbb{Z})/N $ of the modular group $SL_2(\mathbb{Z}) $ and in the knowledge of a certain subgroup… Read more »

  • featured

    anabelian geometry

    Posted on by

    Last time we saw that a curve defined over $\overline{\mathbb{Q}} $ gives rise to a permutation representation of $PSL_2(\mathbb{Z}) $ or one of its subgroups $\Gamma_0(2) $ (of index 2) or $\Gamma(2) $ (of index 6). As the corresponding monodromy group is finite, this representation factors through a normal subgroup of finite index, so it… Read more »

  • featured

    noncommutative curves and their maniflds

    Posted on by

    Last time we have seen that the noncommutative manifold of a Riemann surface can be viewed as that Riemann surface together with a loop in each point. The extra loop-structure tells us that all finite dimensional representations of the coordinate ring can be found by separating over points and those living at just one point… Read more »