Braid Group Research Articles

Homomorphisms of commutator subgroups of braid groups with small number of strings

Homomorphisms of commutator subgroups of braid groups with small number of strings

Necessary and sufficient conditions for the irreducibility of a linear representation of the braid group Bn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_n$$\\end{document}

Valerij G. Bardakov and P. Bellingeri introduced a new linear representation ρ¯F\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\bar{\\rho }_F$$\\end{document} of degree n+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n+1$$\\end{document} of the braid group Bn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_n$$\\end{document}. We study the irreducibility of this representation. We prove that ρ¯F\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\bar{\\rho }_F$$\\end{document} is reducible to the degree n-1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n-1$$\\end{document}. Moreover, we give necessary and sufficient conditions for the irreducibility of the complex specialization of its n-1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n-1$$\\end{document} degree composition factor ϕ¯F\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\bar{\\phi }_F$$\\end{document}.

Mutations of numerically exceptional collections on surfaces

A conjecture of Bondal–Polishchuk states that, in particular for the bounded derived category of coherent sheaves on a smooth projective variety, the action of the braid group on full exceptional collections is transitive up to shifts. We show that the braid group acts transitively on the set of maximal numerically exceptional collections on rational surfaces up to isometries of the Picard lattice and twists with line bundles. Considering the blow-up of the projective plane in up to 9 points in very general position, these results lift to the derived category. More precisely, we prove that, under these assumptions, a maximal numerically exceptional collection consisting of line bundles is a full exceptional collection and any two of them are related by a sequence of mutations and shifts. The former extends a result of Elagin–Lunts and the latter a result of Kuleshov–Orlov, both concerning del Pezzo surfaces. In contrast, we show in concomitant work (Krah in Invent Math 235(3):1009–1018, 2024) that the blow-up of the projective plane in 10 points in general position admits a non-full exceptional collection of maximal length consisting of line bundles.

Diagrams for primitive cycles in spaces of pure braids and string links

Diagrams for primitive cycles in spaces of pure braids and string links

Machine learning of knot topology in non-Hermitian band braids

The deep connection among braids, knots and topological physics has provided valuable insights into studying topological states in various physical systems. However, identifying distinct braid groups and knot topology embedded in non-Hermitian systems is challenging and requires significant efforts. Here, we demonstrate that an unsupervised learning with the representation basis of su(n) Lie algebra on n-fold extended non-Hermitian bands can fully classify braid group and knot topology therein, without requiring any prior mathematical knowledge or any pre-defined topological invariants. We demonstrate that the approach successfully identifies different topological elements, such as unlink, unknot, Hopf link, Solomon ring, trefoil, and so on, by employing generalized Gell-Mann matrices in non-Hermitian models with n=2 and n=3 energy bands. Moreover, since eigenstate information of non-Hermitian bands is incorporated in addition to eigenvalues, the approach distinguishes the different parity-time symmetry and breaking phases, recognizes the opposite chirality of braids and knots, and identifies out distinct topological phases that were overlooked before. Our study shows significant potential of machine learning in classification of knots, braid groups, and non-Hermitian topological phases.

Tangleoids with quantum field theories in biosystems

Abstract The open question whether quantum field theories can be used in biological systems will be addressed in this study. Quantum effects were reported for certain biological systems like the magnetic orientation sense in migratory birds. In quantum field theories it is possible to derive effective quantum field theories with welded tangleoids including braid relations that describe composite particles based on the dynamics of microscopic particle where these composite particles are made of. We observe that the generators of the tangleoid category that will depict the Feynman graphs are X X for a scattering vertex. This arises after carrying out the integral over bosonic fields A μ {A}_{\mu } in the partition function (D) that will lead to an four-valent interaction vertex generated by a quartic term in the fermionic fields. With X + {X}_{+} and X − {X}_{-} we will depict order changes like that regarding time orderings. Ordinary propagators are depicted by ∪ \cup and ∩ \cap . Finally, the generators ! \! and ¡ \hspace{0.1em}\text{¡}\hspace{0.1em} come into play if other foreign fields are picked up.

Non-Abelian Braiding of Topological Edge Bands.

Braiding is a geometric concept that manifests itself in a variety of scientific contexts from biology to physics, and has been employed to classify bulk band topology in topological materials. Topological edge states can also form braiding structures, as demonstrated recently in a type of topological insulators known as Möbius insulators, whose topological edge states form two braided bands exhibiting a Möbius twist. While the formation of Möbius twist is inspiring, it belongs to the simple Abelian braid group B_{2}. The most fascinating features about topological braids rely on the non-Abelianness in the higher-order braid group B_{N} (N≥3), which necessitates multiple edge bands, but so far it has not been discussed. Here, based on the gauge enriched symmetry, we develop a scheme to realize non-Abelian braiding of multiple topological edge bands. We propose tight-binding models of topological insulators that are able to generate topological edge states forming non-Abelian braiding structures. Experimental demonstrations are conducted in two acoustic crystals, which carry three and four braided acoustic edge bands, respectively. The observed braiding structure can correspond to the topological winding in the complex eigenvalue space of projective translation operator, akin to the previously established point-gap winding topology in the bulk of the Hatano-Nelson model. Our Letter also constitutes the realization of non-Abelian braiding topology on an actual crystal platform, but not based on the "virtual" synthetic dimensions.

Knotted 4-regular graphs. II. Consistent application of the Pachner moves

A common choice for the evolution of the knotted graphs in loop quantum gravity is to use the Pachner moves, adapted to graphs from their dual triangulations. Here, we show that the natural way to consistently use these moves is on framed graphs with edge twists, where the Pachner moves can only be performed when the twists, and the vertices the edges are incident on, meet certain criteria. For other twists, one can introduce an algebraic object, which allow any knotted graph with framed edges to be written in terms of a generalized braid group.

A four-term exact sequence of surface orbifold pure braid groups

We prove a four-term exact sequence of surface orbifold pure braid groups for all genus ≥1, 2-dimensional orientable orbifolds with cone points. This also corrects and generalizes our earlier result (genus zero case) in [7] and [8].

Commutator subgroups and crystallographic quotients of virtual extensions of symmetric groups

The virtual braid group VBn, the virtual twin group VTn and the virtual triplet group VLn are extensions of the symmetric group Sn, which are motivated by the Alexander-Markov correspondence for virtual knot theories. The kernels of natural epimorphisms of these groups onto the symmetric group Sn are the pure virtual braid group VPn, the pure virtual twin group PVTn and the pure virtual triplet group PVLn, respectively. In this paper, we investigate commutator subgroups, pure subgroups and crystallographic quotients of these groups. We derive explicit finite presentations of the pure virtual triplet group PVLn, the commutator subgroup VTn′ of VTn and the commutator subgroup VLn′ of VLn. Our results complete the understanding of these groups, except that of VBn′, for which the existence of a finite presentation is not known for n≥4. We also prove that VLn/PVLn′ is a crystallographic group and give an explicit construction of infinitely many torsion elements in it.

Unified invariant of knots from homological braid action on Verma modules

AbstractWe re‐build the quantum unified invariant of knots from braid groups' action on tensors of Verma modules. It is a two variables series having the particularity of interpolating both families of colored Jones polynomials and ADO polynomials, that is, semisimple and non‐semisimple invariants of knots constructed from quantum . We prove this last fact in our context that re‐proves (a generalization of) the famous Melvin–Morton–Rozansky conjecture first proved by Bar‐Natan and Garoufalidis. We find a symmetry of nicely generalizing the well‐known one of the Alexander polynomial, ADO polynomials also inherit this symmetry. It implies that quantum non‐semisimple invariants are not detecting knots' orientation. Using the homological definition of Verma modules we express as a generating sum of intersection pairing between fixed Lagrangians of configuration spaces of disks. Finally, we give a formula for using a generalized notion of determinant, that provides one for the ADO family. It generalizes that for the Alexander invariant.

On the irreducibility of local representations of the Braid group Bn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_n$$\\end{document}

We prove that any homogeneous local representation φ:Bn→GLn(C)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varphi :B_n \\rightarrow GL_n(\\mathbb {C})$$\\end{document} of type 1 or 2 of dimension n≥6\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n\\ge 6$$\\end{document} is reducible. Then, we prove that any representation φ:Bn→GLn(C)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varphi :B_n \\rightarrow GL_n(\\mathbb {C})$$\\end{document} of type 3 is equivalent to a complex specialization of the standard representation τn\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ au _n$$\\end{document}. Also, we study the irreducibility of all local linear representations of the braid group B3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_3$$\\end{document} of degree 3. We prove that any local representation of type 1 of B3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_3$$\\end{document} is reducible to a Burau type representation and that any local representation of type 2 of B3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_3$$\\end{document} is equivalent to a complex specialization of the standard representation. Moreover, we construct a representation of B3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_3$$\\end{document} of degree 6 using the tensor product of local representations of type 2. Let ui\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$u_i$$\\end{document}, i=1,2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$i=1,2$$\\end{document}, be non-zero complex numbers on the unit circle. We determine a necessary and sufficient condition that guarantees the irreducibility of the obtained representation.

Stokes matrices and exceptional isomorphisms

AbstractWe prove that the integral Stokes matrices of size 4 with given Coxeter invariant of nonzero discriminant decompose into finitely many braid group orbits. We also establish exceptional isomorphisms between moduli spaces of points on algebraic unit 3-spheres and certain moduli of local systems on positive genus surfaces.

Symplectic Fourier–Deligne Transforms on G/U and the Algebra of Braids and Ties

Abstract We explicitly identify the algebra generated by symplectic Fourier–Deligne transforms (i.e., convolution with Kazhdan–Laumon sheaves) acting on the Grothendieck group of perverse sheaves on the basic affine space $G/U$, answering a question originally raised by A. Polishchuk. We show it is isomorphic to a distinguished subalgebra, studied by I. Marin, of the generalized algebra of braids and ties (defined in Type $A$ by F. Aicardi and J. Juyumaya and generalized to all types by Marin), providing a connection between geometric representation theory and an algebra defined in the context of knot theory. Our geometric interpretation of this algebra entails some algebraic consequences: we obtain a short and type-independent geometric proof of the braid relations for Juyumaya’s generators of the Yokonuma–Hecke algebra (previously proved case-by-case in types $A, D, E$ by Juyumaya and separately for types $B, C, F_{4}, G_{2}$ by Juyumaya and S. S. Kannan), a natural candidate for an analogue of a Kazhdan–Lusztig basis, and finally an explicit formula for the dimension of Marin’s algebra in Type $A_{n}$ (previously only known for $n \leq 4$).

Exceptional sequences and rooted labeled forests

We give a representation-theoretic bijection between rooted labeled forests with [Formula: see text] vertices and complete exceptional sequences for the quiver of type [Formula: see text] with straight orientation. The ascending and descending vertices in the forest correspond to relatively injective and relatively projective objects in the exceptional sequence. We conclude that every object in an exceptional sequence for linearly oriented [Formula: see text] is either relatively projective or relatively injective or both. We construct a natural action of the extended braid group on rooted labeled forests and show that it agrees with the known action of the braid group on complete exceptional sequences. We also describe the action of [Formula: see text], the Garside element of the braid group, on rooted labeled forests using representation theory and show how this relates to cluster theory.

Beyond braid statistics: Constructing a lattice model for anyons with exchange statistics intrinsic to one dimension

Anyons obeying fractional exchange statistics arise naturally in two dimensions: Hard-core two-body constraints make the configuration space of particles not simply-connected. The braid group describes how topologically-inequivalent exchange paths can be associated to non-trivial geometric phases for abelian anyons. Braid-anyon exchange statistics can also be found in one dimension (1D), but this requires broken Galilean invariance to distinguish different ways for two anyons to exchange. However, recently it was shown that an alternative form of exchange statistics can occur in 1D because hard-core three-body constraints also make the configuration space not simply-connected. Instead of the braid group, the topology of exchange paths and their associated non-trivial geometric phases are described by the traid group. In this article we propose a first concrete model realizing this alternative form of anyonic exchange statistics. Starting from a bosonic lattice model that implements the desired geometric phases with number-dependent Peierls phases, we then define anyonic operators so that the kinetic energy term in the Hamiltonian becomes local and quadratic with respect to them. The ground-state of this traid-anyon-Hubbard model exhibits several indications of exchange statistics intermediate between bosons and fermions, as well as signs of emergent approximate Haldane exclusion statistics. The continuum limit results in a Galilean invariant Hamiltonian with eigenstates that correspond to previously constructed continuum wave functions for traid anyons. This provides not only an a-posteriori justification of our lattice model, but also shows that our construction serves as an intuitive approach to traid anyons, i.e. anyons intrinsic to 1D.

Uniqueness of roots up to conjugacy in circular and hosohedral-type Garside groups

Abstract We consider a particular class of Garside groups, which we call circular groups. We mainly prove that roots are unique up to conjugacy in circular groups. This allows us to completely classify these groups up to isomorphism. As a consequence, we obtain the uniqueness of roots up to conjugacy in complex braid groups of rank 2. We also consider a generalization of circular groups, called hosohedral-type groups. These groups are defined using circular groups, and a procedure called the Δ-product, which we study in generality. We also study the uniqueness of roots up to conjugacy in hosohedral-type groups.

Cocycle Twisting of Semidirect Products and Transmutation

Abstract We apply Majid’s transmutation procedure to Hopf algebra maps $H \to {{\mathbb {C}}}[T]$, where $T$ is a compact abelian group, and explain how this construction gives rise to braided Hopf algebras over quotients of $T$ by subgroups that are cocentral in $H$. This allows us to unify and generalize a number of recent constructions of braided compact quantum groups, starting from the braided $SU_{q}(2)$ quantum group, and describe their bosonizations.

Shi arrangements and low elements in affine Coxeter groups

Abstract Given an affine Coxeter group W, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan–Lusztig cells for W. Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in W. Low elements in W were introduced to study the word problem of the corresponding Artin–Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in W. In this article, we show, in the case of an affine Coxeter group, that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a by-product of our proof, we show that the descent walls – the walls that separate a region from the fundamental alcove – of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.

Presentations of Braid Groups of Type A Arising from (m+2)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(m+2)$$\\end{document}-angulations of Regular Polygons

Coloured quiver mutation, introduced by Buan, A.B., Thomas, H (Adv. Math. 222(3), 971–995 2009), gives a combinatorial interpretation of tilting in higher cluster categories. In type A work of Baur, K., Marsh, B. (Trans. Am. Math. Soc. 360(11), 5789-5803 2008) shows that m-coloured quivers and m-coloured quiver mutations have a nice geometrical description, given in terms of (m+2)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(m+2)$$\\end{document}-angulations of a regular polygon, and rotations of an m-diagonal. In this paper, using such correspondence, we describe presentations of braid groups of type A arising from coloured quivers of mutation type A.