This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the universal covering. We then establish the Galois correspondence between connected coverings and subgroups of the fundamental group. Quandle coverings are thus formally analogous to coverings of topological spaces, and resemble Kervaire's algebraic covering theory of perfect groups. A detailed investigation also reveals some crucial differences, which we illustrate by numerous examples. As an application we obtain a simple formula for the second (co)homology group of a quandle Q. It has long been known that H_1(Q) = H^1(Q) = [ (Q)], and we construct natural isomorphisms H_2(Q) = (Q,q)_ ab and H^2(Q,A) = Ext(Q,A) = Hom( (Q,q),A), reminiscent of the classical Hurewicz isomorphisms in degree 1. This means that whenever the fundamental group is known, (co)homology calculations in degree 2 become very easy.
As it could be expected, these notions are closely related to quandle extensions and cohomology, which have both been intensively studied in recent years. The subject of rack cohomology originated in the work of R. ,Fenn, C. ,Rourke, and B. ,Sanderson @cite_20 , who constructed a classifying topological space @math for every rack @math . The corresponding quandle (co)homology theory was taken up by J.S. ,Carter and his collaborators, in order to construct knot invariants (see for example @cite_10 @cite_18 @cite_7 ). Quandle coverings were introduced and applied to knot quandles in @cite_0 . They have also appeared in the context of non-abelian extensions, explored by N. ,Andruskiewitsch and M. ,Gra na @cite_16 , where a corresponding non-abelian cohomology theory was proposed. This generalized cohomology, in turn, has been taken up and applied to knot invariants in @cite_7 .
@cite_18 @cite_7 @cite_0 @cite_16 @cite_10 @cite_20
2131458114 2018522565 2002987437 1990891135
Quandle cocycles are constructed from extensions of quandles. The theory is parallel to that of group cohomology and group extensions. An interpretation of quandle cocycle invariants as obstructions to extending knot colorings is given, and is extended to links component-wise. Abstract A fundamental step in the classification of finite-dimensional complex pointed Hopf algebras is the determination of all finite-dimensional Nichols algebras of braided vector spaces arising from groups. The most important class of braided vector spaces arising from groups is the class of braided vector spaces ( C X,c q ) , where X is a rack and q is a 2-cocycle on X with values in C × . Racks and cohomology of racks appeared also in the work of topologists. This leads us to the study of the structure of racks, their cohomology groups and the corresponding Nichols algebras. We will show advances in these three directions. We classify simple racks in group-theoretical terms; we describe projections of racks in terms of general cocycles; we introduce a general cohomology theory of racks containing properly the existing ones. We introduce a “Fourier transform” on racks of certain type; finally, we compute some new examples of finite-dimensional Nichols algebras. Geometric representations of cycles in quandle homology theory are given in terms of colored knot diagrams. Abstract knot diagrams are generalized to diagrams with exceptional points which, when colored, correspond to degenerate cycles. Bounding chains are realized, and used to obtain equivalence moves for homologous cycles. The methods are applied to prove that boundary homomorphisms in a homology exact sequence vanish. We describe a correspondence between the Donaldson–Thomas invariants enumerating D0–D6 bound states on a Calabi–Yau 3-fold and certain Gromov–Witten invariants counting rational curves in a family of blowups of weighted projective planes. This is a variation on a correspondence found by Gross–Pandharipande, with D0–D6 bound states replacing representations of generalised Kronecker quivers. We build on a small part of the theories developed by Joyce–Song and Kontsevich–Soibelman for wall-crossing formulae and by Gross–Pandharipande–Siebert for factorisations in the tropical vertex group. Along the way we write down an explicit formula for the BPS state counts which arise up to rank 3 and prove their integrality. We also compare with previous “noncommutative DT invariants” computations in the physics literature.