DOCSLIB.ORG

INTRODUCTION to ALGEBRAIC THEORY of QUANDLES Lecture 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
INTRODUCTION to ALGEBRAIC THEORY of QUANDLES Lecture 1 INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLES Lecture 1 Valeriy Bardakov Sobolev Institute of Mathematics, Novosibirsk August 24-28, 2020 ICTS Bengaluru, India V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 1 / 53 Green-board in ICTS V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 2 / 53 Quandles A quandle is a non-empty set with one binary operation that satisfies three axioms. These axioms motivated by the three Reidemeister moves of diagrams 3 of knots in the Euclidean space R . Quandles were introduced independently by S. Matveev and D. Joyce in 1982. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 3 / 53 Definition of rack and quandle Definition A rack is a non-empty set X with a binary algebraic operation (a; b) 7! a ∗ b satisfying the following conditions: (R1) For any a; b 2 X there is a unique c 2 X such that a = c ∗ b; (R2) Self-distributivity: (a ∗ b) ∗ c = (a ∗ c) ∗ (b ∗ c) for all a; b; c 2 X. A quandle X is a rack which satisfies the following condition: (Q1) a ∗ a = a for all a 2 X. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 4 / 53 Symmetries Let X be a rack. For any a 2 X define a map Sa : X −! X, which sends any element x 2 X to element x ∗ a, i. e. xSa = x ∗ a. We shall call Sa the symmetry at a. Proposition For every a 2 X the symmetry Sa is an automorphism of X. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 5 / 53 Proof Rewrite the condition (R2) in the form (a ∗ b)Sc = aSc ∗ bSc. It means that every symmetry is a homomorphism of X. Suppose that xSa = ySa for some x; y 2 X. It means that x ∗ a = y ∗ a and from condition (R1) follows that x = y, i.e. Sa is injective. Also, from (R1) follows that Sa is an epimorphism. Hence, every symmetry is an automorphism. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 6 / 53 Consequences of axioms From (R1) follows that we can define an operation ∗−1 : X × X ! X by the rule a = c ∗ b , c = a ∗−1 b: This equivalent to (a ∗ b) ∗−1 b = a = (a ∗−1 b) ∗ b: From this identity and (R2) follow identities (a ∗ b) ∗−1 c = (a ∗−1 c) ∗ (b ∗−1 c); (a ∗−1 b) ∗ c = (a ∗ c) ∗−1 (b ∗ c); (a ∗−1 b) ∗−1 c = (a ∗−1 c) ∗−1 (b ∗−1 c): V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 7 / 53 Another definition of rack Definition A rack is a set X equipped with two binary operations (a; b) 7! a ∗ b and (a; b) 7! a ∗−1 b which satisfy the axioms (R1)0 (a ∗ b) ∗−1 b = (a ∗−1 b) ∗ b = a for all a; b; c 2 Q, (R2) (a ∗ b) ∗ c = (a ∗ c) ∗ (b ∗ c) for all a; b; c 2 Q. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 8 / 53 Presentation of rack elements Using the second definition of rack we can prove Proposition Let X be a rack with a set of generators A. Then any element u 2 X can be presented in a form "1 "2 "3 "m−1 u = (::: ((ai1 ∗ ai2 ) ∗ ai3 ) ∗ :::) ∗ aim ; aij 2 A; "k 2 {−1; 1g: V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 9 / 53 Trivial quandles The simplest example of quandle is the so called trivial quandle. A quandle X is called trivial if a ∗ b = a for all a; b 2 X, i. e. any symmetry Sb is the trivial automorphism. We see that a trivial quandle can contains arbitrary number of elements. We shall denote the trivial quandle with n elements by Tn. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 10 / 53 Comparing of group axioms and quandle axioms It is interesting to understand: how far quandles from groups, i.e. what group axioms are true for quandles? Proposition 1) A quandle is associative if and only if it is a trivial quandle. 2) If a quandle X contains a unit element e, then X = feg is the trivial 1-element quandle T1. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 11 / 53 Proof 1) Suppose that (x ∗ y) ∗ z = x ∗ (y ∗ z): If we put z = y, then (x ∗ y) ∗ y = x ∗ y. Since elements x; y are arbitrary, we get trivial quandle. 2) Since e is a unit element, then for any x 2 X we have e ∗ x = x ∗ e = x: On the other side x ∗ x = x. Then from (R1) follows that x = e. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 12 / 53 A rack that is not a quandle Hence, only trivial quandle is associative, i.e. is a semi-group. Properties of trivial quandles are different from properties of other quandles. Example If we define on the additive group (Zn; +), n > 1, the operation x ∗ y ≡ x + 1 (mod n) for all x; y 2 Zn, then (Zn; ∗) is a rack which is not a quandle. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 13 / 53 Examples of quandles: conjugation quandle Many examples of quandles comes from groups. Example If G is a group and n is a natural number, then the set G equipped with the binary operations a ∗ b = b−nabn; a ∗−1 b = bnab−n; gives a quandle structure on G called the n-conjugation quandle, denoted by Conjn(G). If n = 1, then we shall call this quandle the conjugation quandle and write Conj(G). If G is abelian group, then Conj(G) is a trivial quandle. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 14 / 53 Examples of quandles: core quandle Example If G is a group, then the set G equipped with the binary operations a ∗ b = ba−1b; a ∗−1 b = ba−1b gives a quandle structure on G called the core quandle, denoted by Core(G). On the core quandles the operation ∗ is the same as the operation ∗−1 we shall call these quandles by involutory quandles. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 15 / 53 Examples of quandles: Takasaki quandle Example If G is an abelian group, then the core quandle is the Takasaki quandle that is the quandle with the binary operation a ∗ b = 2b − a, where we use additive operation in G. The Takasaki quandle is denoted by T ak(G). For G = Z=nZ, T ak(G) is called a dihedral quandle and is denoted by Rn. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 16 / 53 Geometric interpretation of the dihedral quandle Take the regular n-gon and denote its vertices by a0, a1, :::, an−1, going in the counter-clockwise direction. The operation on the quandle Rn we can present as reflection of this n-gon, i.e. ai ∗ aj is the vertex which one get from ai using reflection of n-gon under the line which goes across aj and is the axis of symmetry of n-gon. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 17 / 53 Geometric interpretation of dihedral quandles Figure: ai ∗ aj = aiSaj V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 18 / 53 Geometric interpretations for the Takasaki quandle on the circle S1 Figure: Quandle operation on S1 V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 19 / 53 Geometric interpretations for the Takasaki quandle on the set of real numbers R Figure: Quandle operation on R V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 20 / 53 Symmetric space The following definition is used in differential geometry Definition A symmetric space in the sense of Loos is a manifold M endowed with a multiplication ∗ : M × M ! M; satisfying the following four conditions: 1) x ∗ x = x; 2) (y ∗ x) ∗ x = y; 3) (y ∗ z) ∗ x = (y ∗ x) ∗ (z ∗ x); 4) every point x 2 M has a neighbourhood U such that y ∗ x = y implies y = x for all y 2 U. O. Loos, "Symmetric spaces", 1{2, Benjamin (1969). V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 21 / 53 Examples of quandles: Alexander quandle Example −1 Let M be a module over the ring of Laurent polynomials Z t; t . Then the Alexander quandle At(M) is the set M with the quandle operation given by a ∗ b = ta + (1 − t)b: If we put t = −1, then we get the Takasaki quandle. V. Bardakov (Sobolev Institute of Math.) INTRODUCTION TO ALGEBRAIC THEORY OF QUANDLESAugust 27-30, 2019 22 / 53 Examples of quandles: Joyce-Matveev quandle Example If G is a group and ' 2 Aut(G), then the set G with binary operation a ∗ b = '(ab−1)b gives a quandle structure on G, which we denote by J'(G) and call the Joice-Matveev quandle.
Load more

Recommended publications
  • Various Topics in Rack and Quandle Homology
    Various topics in rack and quandle homology April 14, 2010 Master's thesis in Mathematics Jorik Mandemaker supervisor: Dr. F.J.-B.J. Clauwens second reader: Prof. Dr. F. Keune student number: 0314145 Faculty of Science (FNWI) Radboud University Nijmegen Contents 1 Introduction 5 1.1 Racks and quandles . 6 1.2 Quandles and knots . 7 1.3 Augmented quandles and the adjoint group . 8 1.3.1 The adjoint group . 9 1.4 Connected components . 9 1.5 Rack and quandle homology . 10 1.6 Quandle coverings . 10 1.6.1 Extensions . 11 1.6.2 The fundamental group of a quandle . 12 1.7 Historical notes . 12 2 The second cohomology group of alexander quandles 14 2.1 The adjoint group of Alexander quandles . 15 2.1.1 Connected Alexander quandles . 15 2.1.2 Alexander quandles with connected components . 18 2.2 The second cohomology group of connected Alexander quandles . 19 3 Polynomial cocycles 22 3.1 Introduction . 23 3.2 Polynomial cochains . 23 3.3 A decomposition and filtration of the complex . 24 3.4 The 3-cocycles . 25 3.5 Variable Reduction . 27 3.6 Proof of surjectivity . 28 3.6.1 t = s .............................. 29 3.6.2 t < s .............................. 30 3.7 Final steps . 33 4 Rack and quandle modules 35 4.1 Rack and Quandle Modules . 36 4.1.1 Definitions . 36 4.1.2 Some examples . 38 4.2 Reduced rack modules . 39 1 4.3 Right modules and tensor products . 40 4.4 The rack algebra . 42 4.5 Examples . 44 4.5.1 A free resolution for trivial quandles .
    [Show full text]
  • The Homotopy Types of Free Racks and Quandles
    The homotopy types of free racks and quandles Tyler Lawson and Markus Szymik June 2021 Abstract. We initiate the homotopical study of racks and quandles, two algebraic structures that govern knot theory and related braided structures in algebra and geometry. We prove analogs of Milnor’s theorem on free groups for these theories and their pointed variants, identifying the homotopy types of the free racks and free quandles on spaces of generators. These results allow us to complete the stable classification of racks and quandles by identifying the ring spectra that model their stable homotopy theories. As an application, we show that the stable homotopy of a knot quandle is, in general, more complicated than what any Wirtinger presentation coming from a diagram predicts. 1 Introduction Racks and quandles form two algebraic theories that are closely related to groups and symmetry. A rack R has a binary operation B such that the left-multiplications s 7! r Bs are automorphism of R for all elements r in R. This means that racks bring their own symmetries. All natural sym- metries, however, are generated by the canonical automorphism r 7! r B r (see [45, Thm. 5.4]). A quandle is a rack for which the canonical automorphism is the identity. Every group defines −1 a quandle via conjugation g B h = ghg , and so does every subset closed under conjugation. The most prominent applications of these algebraic concepts so far are to the classification of knots, first phrased in terms of quandles by Joyce [28, Cor. 16.3] and Matveev [35, Thm.
    [Show full text]
  • Quandles an Introduction to the Algebra of Knots
    STUDENT MATHEMATICAL LIBRARY Volume 74 Quandles An Introduction to the Algebra of Knots Mohamed Elhamdadi Sam Nelson Quandles An Introduction to the Algebra of Knots http://dx.doi.org/10.1090/stml/074 STUDENT MATHEMATICAL LIBRARY Volume 74 Quandles An Introduction to the Algebra of Knots Mohamed Elhamdadi Sam Nelson American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 57M25, 55M25, 20N05, 20B05, 55N35, 57M05, 57M27, 20N02, 57Q45. For additional information and updates on this book, visit www.ams.org/bookpages/stml-74 Library of Congress Cataloging-in-Publication Data Elhamdadi, Mohamed, 1968– Quandles: an introduction to the algebra of knots / Mohamed Elhamdadi, Sam Nelson. pages cm. – (Student mathematical library ; volume 74) Includes bibliographical references and index. ISBN 978-1-4704-2213-4 (alk. paper) 1. Knot theory. 2. Low-dimensional topology. I. Nelson, Sam, 1974– II. Title. III. Title: Algebra of Knots. QA612.2.E44 2015 514.2242–dc23 2015012551 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service.
    [Show full text]
  • Arxiv:2101.01957V2 [Math.CT] 20 Jan 2021 Ytmo Ymtis Tahdt Ahpit Oeprecisel More Point
    HIGHER COVERINGS OF RACKS AND QUANDLES – PART II FRANÇOIS RENAUD Abstract. This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann’s work on quandle coverings, and the categorical perspective brought to the subject by V. Even, who characterizes coverings as those surjections which are categorically central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher- dimensional centrality conditions defining our higher coverings of racks and quandles. In this second article (Part II), we show that categorical Galois theory applies to the inclusion of the category of coverings into the category of surjective morphisms of racks and quandles. We characterise the induced Galois theoretic concepts of trivial covering, normal covering and covering in this two-dimensional context. The latter is described via our definition and study of double coverings, also called algebraically central double extensions of racks and quandles. We define a suitable and well-behaved commutator which captures the zero, one and two-dimensional concepts of centralization in the category of quandles. We keep track of the links with the corresponding concepts in the category of groups. 1. Introduction This article (Part II ) is the continuation of [60] which we refer to as Part I. In the following paragraphs we recall enough material from Part I, and the first order covering theory of racks and quandles, in order to contextualize and motivate the content of the present paper, in which, based on the firm theoretical groundings of categorical Galois theory, we identify the second order coverings of racks and quandles, and the relative concept of centralization, together with the definition of a suitable commutator in this context.
    [Show full text]
  • Free Medial Quandles
    Algebra Univers. 78 (2017) 43–54 DOI 10.1007/s00012-017-0443-2 Published online May 23, 2017 © 2017 The Author(s) Algebra Universalis This article is an open access publication Free medial quandles Premyslˇ Jedlicka,ˇ Agata Pilitowska, and Anna Zamojska-Dzienio Abstract. This paper gives the construction of free medial quandles as well as free n-symmetric medial quandles and free m-reductive medial quandles. 1. Introduction A binary algebra (Q, ) is called a rack if the following conditions hold, for · every x, y, z Q: ∈ x(yz)=(xy)(xz) (we say Q is left distributive), • the equation xu = y has a unique solution u Q (we say Q is a left • ∈ quasigroup). An idempotent rack is called a quandle (we say Q is idempotent if xx = x for every x Q). A quandle Q is medial if, for every x, y, u, v Q, ∈ ∈ (xy)(uv)=(xu)(yv). An important example of a medial quandle is an abelian group A with an operation defined by a b = (1 h)(a)+h(b), where h is an automorphism ∗ ∗ − of A. This construction is called an affine quandle (or sometimes an Alexander quandle) and denoted by Aff(A, h). In the literature [6, 7], the group A is 1 usually considered to be a Z[t, t− ]-module, where t a = h(a), for each a A. · ∈ We shall adopt this point of view here as well and we usually write Aff(A, r) instead, where r is a ring element. Note that in universal algebra terminology, an algebra is said to be affine if it is polynomially equivalent to a module.
    [Show full text]
  • Applications of Self-Distributivity to Yang-Baxter Operators and Their Cohomology Victoria Lebed
    Applications of self-distributivity to Yang-Baxter operators and their cohomology Victoria Lebed To cite this version: Victoria Lebed. Applications of self-distributivity to Yang-Baxter operators and their cohomology. 2018. hal-01692275v2 HAL Id: hal-01692275 https://hal.archives-ouvertes.fr/hal-01692275v2 Preprint submitted on 2 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. APPLICATIONS OF SELF-DISTRIBUTIVITY TO YANG–BAXTER OPERATORS AND THEIR COHOMOLOGY VICTORIA LEBED Abstract. Self-distributive (SD) structures form an important class of solu- tions to the Yang–Baxter equation, which underlie spectacular knot-theoretic applications of self-distributivity. It is less known that one can go the other way around, and construct an SD structure out of any left non-degenerate (LND) set-theoretic YBE solution. This structure captures important prop- erties of the solution: invertibility, involutivity, biquandle-ness, the associated braid group actions. Surprisingly, the tools used to study these associated SD structures also apply to the cohomology of LND solutions, which gener- alizes SD cohomology. Namely, they yield an explicit isomorphism between two cohomology theories for these solutions, which until recently were studied independently.
    [Show full text]
  • Computations in Emergent Algebras and the Front End Visual System
    What is a space? Computations in emergent algebras and the front end visual system Marius Buliga Institute of Mathematics, Romanian Academy, P.O. BOX 1-764, RO 014700, Bucure¸sti,Romania [email protected] This version: 25.09.2010 Abstract With the help of link diagrams with decorated crossings, I explain computations in emergent algebras, introduced in [6], as the kind of com- putations done in the front end visual system. Keywords: decorated braids, quandles; emergent algebras; dilatation struc- tures (spaces with dilations); front end visual system 1 Computations in the front end visual system as a paradigm In mathematics "spaces" come in many flavours. There are vector spaces, affine spaces, symmetric spaces, groups and so on. We usually take such objects as the stage where the plot of reasoning is laid. But in fact what we use, in many instances, are properties of particular spaces which, I claim, can be seen as coming from a particular class of computations. There is though a "space" which is "given" almost beyond doubt, namely the physical space where we all live. But as it regards perception of this space, we know now that things are not so simple. As I am writing these notes, here in Baixo Gavea, my eyes are attracted by the wonderful complexity of a tree near my window. The nature of the tree is foreign to me, as are the other smaller beings growing on or around the tree. I can make some educated guesses about what they are: some are orchids, there is a smaller, iterated version of the big tree.
    [Show full text]
  • Enveloping Monoidal Quandles
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 146–147 (2005) 133–148 www.elsevier.com/locate/topol Enveloping monoidal quandles Seiichi Kamada a,∗, Yukio Matsumoto b a Department of Mathematics, Hiroshima University, Hiroshima 739-8526, Japan b Graduate School of Mathematical Science, University of Tokyo, Tokyo 153-8914, Japan Received 30 October 2002; received in revised form 31 December 2002; accepted 5 February 2003 Abstract A quandle is a set with a self-distributive binary operation satisfying a certain condition. Here we construct a monoid (a semi-group with the identity) associated with a quandle. This monoid has a structure of a quandle, which contains the original quandle as a sub-quandle. We call it the enveloping monoidal quandle. The purpose of this paper is to introduce the notion of the enveloping monoidal quandle, and to investigate it. 2004 Elsevier B.V. All rights reserved. MSC: primary 58K10; secondary 57Q45, 20F36 Keywords: Quandle; Rack; Monodromy; Braided surface; Lefschetz fibration 1. Introduction A quandle is a set with a self-distributive binary operation satisfying a certain condition. Fenn and Rourke constructed two kinds of groups associated with a quandle, called the associated group and the operator group. They abstract group structures from the quandle. For example, the associated group of the fundamental quandle of an n-dimensional link is the link group. In this paper, we construct a monoid (a semi-group with the identity) associated with a quandle. This monoid also has a structure of a quandle, which contains the original quandle as a sub-quandle.
    [Show full text]
  • Contributions to Quandle Theory: a Study of F-Quandles, Extensions, and Cohomology" (2017)
    University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School May 2017 Contributions to Quandle Theory: A Study of f- Quandles, Extensions, and Cohomology Indu Rasika U. Churchill University of South Florida, [email protected] Follow this and additional works at: http://scholarcommons.usf.edu/etd Part of the Mathematics Commons Scholar Commons Citation Churchill, Indu Rasika U., "Contributions to Quandle Theory: A Study of f-Quandles, Extensions, and Cohomology" (2017). Graduate Theses and Dissertations. http://scholarcommons.usf.edu/etd/6814 This Dissertation is brought to you for free and open access by the Graduate School at Scholar Commons. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Scholar Commons. For more information, please contact [email protected]. Contributions to Quandle Theory: A Study of f-Quandles, Extensions, and Cohomology by Indu Rasika U Churchill A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Mathematics and Statistics College of Arts and Sciences University of South Florida Co-Major Professor: Mohamed Elhamdadi, Ph.D. Co-Major Professor: Abdenacer Makhlouf, Ph.D. Xiang-dong Hou, Ph.D. Masahiko Saito, Ph.D. David Rabson, Ph.D. Date of Approval: May 03, 2017 Keywords: Quandle, f-Quandle, Extension, Cohomology, Cocycle Copyright c 2017, Indu Rasika U Churchill Dedication This doctoral dissertation is dedicated to my mother, father, brother, and husband. Acknowledgments I would like to express my sincere gratitude to my advisor Dr. Mohamed Elhamdadi for his generous and continuous support of my Ph.D.
    [Show full text]
  • DG Algebras and DG Categories
    Math 7350: Differential Graded Algebras and Differential Graded Categories Taught by Yuri Berest Notes by David Mehrle [email protected] Cornell University Spring 2017 Last updated August 16, 2017. The latest version is online here. Contents 1 Introduction: “Handwaving”4 1.1 References............................... 4 1.2 Some Definitions ........................... 4 1.3 The Role of Derived Categories................... 5 I Quivers and Gabriel’s Theorem8 2 Quivers9 2.1 Path Algebras............................. 10 2.2 Representations of Quivers ..................... 13 2.3 Homological Properties of Path Algebras ............. 15 3 Gabriel’s Theorem 23 3.1 Representation Varieties....................... 25 3.2 Algebraic Group Actions on a Variety ............... 27 3.3 (Practical) Algebraic Geometry................... 29 3.4 Back to quivers ............................. 31 3.5 Modules over Hereditary Algebras................. 36 3.6 Classification of graphs......................... 41 3.7 Root Systems ............................. 46 3.8 Proof of Gabriel’s Theorem ..................... 49 4 Generalizations of Gabriel’s Theorem 52 4.1 Tame Representation Type...................... 52 4.2 Kac’s Theorem............................. 53 4.3 Hall Algebra of a Quiver....................... 54 4.4 Quantum groups ........................... 57 4.5 Multilocular Categories ....................... 59 1 II Differential Graded Algebras & Hochschild Homology 61 5 Differential Graded Algebras 62 5.1 Differential Graded Algebras .................... 62 5.2 Algebraic de-Rham theory...................... 67 6 Hochschild Homology 72 6.1 Hochschild Homology........................ 72 6.2 Tor interpretation of Hochschild homology............ 73 6.3 Koszul Complexes .......................... 76 6.4 (Formal) Smoothness......................... 80 6.4.1 Grothendieck’s notion of smoothness........... 80 6.4.2 Quillen’s notion of smoothness............... 82 6.5 Proof of Hochschild-Kostant-Rosenberg.............. 83 6.5.1 The antisymmetrizer map.................
    [Show full text]
  • Hypernumbers and Other Exotic Stuff
    HYPERNUMBERS AND OTHER EXOTIC STUFF (1) MORE ON THE "ARITHMETICAL" SIDE Tropical Arithmetics Introduction to Tropical Geometry - Diane Maclagan and Bernd Sturmfels http://www.cs.technion.ac.il/~janos/COURSES/238900-13/Tropical/MaclaganSturmfels.pdf https://en.wikipedia.org/wiki/Min-plus_matrix_multiplication https://en.m.wikipedia.org/wiki/Tropical_geometry#Algebra_background https://en.wikipedia.org/wiki/Amoeba_%28mathematics%29 https://www.youtube.com/watch?v=1_ZfvQ3o1Ac (friendly introduction) https://en.wikipedia.org/wiki/Log_semiring https://en.wikipedia.org/wiki/LogSumExp Tight spans, Isbell completions and semi-tropical modules - Simon Willerton https://arxiv.org/pdf/1302.4370.pdf (one half of the tropical semiring) Hyperfields for Tropical Geometry I. Hyperfields and dequantization - Oleg Viro https://arxiv.org/pdf/1006.3034.pdf (see section "6. Tropical addition of complex numbers") Supertropical quadratic forms II: Tropical trigonometry and applications - Zur Izhakian, Manfred Knebusch and Louis Rowen - https://www.researchgate.net/publication/326630264_Supertropical_Quadratic_forms_II_Tropical_Trig onometry_and_Applications Tropical geometry to analyse demand - Elizabeth Baldwin and Paul Klemperer http://elizabeth-baldwin.me.uk/papers/baldwin_klemperer_2014_tropical.pdf International Trade Theory and Exotic Algebras - Yoshinori Shiozawa https://link.springer.com/article/10.1007/s40844-015-0012-3 Arborescent numbers: higher arithmetic operations and division trees - Henryk Trappmann http://eretrandre.org/rb/files/Trappmann2007_81.pdf
    [Show full text]
  • Ternary and N-Ary F-Distributive Structures Received April 28, 2017; Accepted January 10, 2018
    Open Math. 2018; 16: 32–45 Open Mathematics Research Article Indu R. U. Churchill*, M. Elhamdadi, M. Green, and A. Makhlouf Ternary and n-ary f-distributive structures https://doi.org/10.1515/math-2018-0006 Received April 28, 2017; accepted January 10, 2018. Abstract: We introduce and study ternary f -distributive structures, Ternary f-quandles and more generally their higher n-ary analogues. A classication of ternary f -quandles is provided in low dimensions. More- over, we study extension theory and introduce a cohomology theory for ternary, and more generally n-ary, f-quandles. Furthermore, we give some computational examples. Keywords: Quandles, f-Distributive Structures, Ternary structures, Extensions, Cohomology MSC: 20G10, 17A30, 17A40 1 Introduction The rst instances of ternary operations appeared in the nineteenth century when Cayley considered cubic matrices. Ternary operations or more generally n-ary operations appeared naturally in various domains of theoretical and mathematical physics. The rst instances of ternary Lie algebras appeared in the Nambu’s Mechanics when generalizing hamiltonian mechanics by considering more than one hamiltonian [1]. The algebraic formulation of Nambu’s Mechanics was achieved by Takhtajan in [2]. Moreover, ternary algebraic structures appeared in String and Superstring theories when Basu and Harvey suggested to replace Lie algebra in the context of Nahm equations by a 3-Lie algebra. Furthermore, a ternary operation was used by Bagger-Lambert in the context of Bagger-Lambert-Gustavsson model of M2-branes and in the work of Okubo [3] on Yang-Baxter equation which gave impulse to signicant development on n-ary algebras. In recent years, there has been a growth of interests in many generalizations of binary structures to higher n-ary contexts.
    [Show full text]