Searcharxiv⌕ Search

arXiv subjects

Edmund Heng

Publications and source records attributed to Edmund Heng.

16 recordsLinked to original sources
arXiv2026

Topological lattice gauge theory enriched by non-invertible symmetry

We use finite group topological lattice gauge theory, also known as the quantum double model, as a lens to explore a notion of topological order enriched by a non-invertible symmetry. For invertible symmetry enriched topological order, there is an established axiomatisation in terms of a G-crossed braided fusion category. We lay the foundations for a generalisation of this notion. By condensing an arbitrary algebra of charges in a quantum double model, we demonstrate that the category of localised excitations in the resulting theory forms a hypergroup-graded extension of the category of deconfined excitations. For every element in the hypergroup, the associated domain wall acts in a typically non-invertible way on these localised excitations. Both this action and the monoidal structure are compatible with the hypergroup grading. The actual categorical action is encoded in a Hopf monad on the category of localised excitations, and gauging the non-invertible symmetry amounts to computing the category of modules over this Hopf monad. Finally, we outline how this framework naturally extends to theories obtained by condensing algebras in a generic string-net model.

cond-mat.str-el↗
arXiv2026

Algebras in fusion categories: species and hereditary algebras

We initiate the study of non-semisimple algebras in fusion categories by establishing the framework of $\mathcal{C}$-species -- analogous to the framework of species and quivers used in the study of Artin algebras. Under the (necessary) assumption that the fusion category is separable, we show that any algebra is Morita equivalent to an admissible quotient of the path algebra of a $\mathcal{C}$-species. Moreover, we show that an algebra is hereditary if and only if no further quotient is required. These results generalise that of Gabriel's for finite-dimensional algebras.

math.RT↗
arXiv2026

Coxeter planes as fixed points of Verlinde fusion rings

For the Coxeter groups of ADE type, we provide a construction of their Coxeter planes as fixed points of actions of hypergroups associated to Verlinde fusion rings. This builds upon the well-known ADE classification of $\mathbb{Z}_+$-modules over these fusion rings.

math.RT↗
arXiv2025

Normalisers of parabolic subgroups of Artin--Tits groups and Tits cone intersections

Let $\Gamma$ be a Coxeter diagram and let $J \subseteq \Gamma$. Motivated by 3-fold flops, Iyama and Wemyss study the hyperplane arrangement in the Tits cone intersection of $J$, which is a $J$-relative generalisation of the classical Coxeter arrangement. For $\Gamma$ of finite-type, we show that its complexified hyperplane complement is a $K(\pi,1)$ space for the normaliser (quotient) of the standard parabolic subgroup of the Artin--Tits group attached to $J$. For general $\Gamma$ we show that Brink--Howlett's groupoid, which describes normalisers of parabolic subgroups of Coxeter groups, has its universal cover described by the wall-and-chamber structure of the Tits cone intersection. We use this to show that wall crossing sequences satisfy an "atomic Matsumoto relation", generalising a theorem of Ko and answering questions raised by Iyama and Wemyss.

math.GR↗
arXiv2025

Periodic elements in finite type Artin-Tits groups and stability conditions

Periodic elements in finite type Artin--Tits groups are elements some positive power of which is central. We give a dynamical characterisation of periodic elements via their action on the corresponding 2-Calabi--Yau category and on its space of (fusion equivariant) Bridgeland stability conditions. The main theorem is that an element $\beta$ is periodic if and only if $\beta$ has a fixed point in the stability manifold.

math.RT↗
arXiv2024

A non-semisimple non-invertible symmetry

We investigate the action of a non-invertible symmetry on spins chains whose topological lines are labelled by representations of the four-dimensional Taft algebra. The main peculiarity of this symmetry is the existence of junctions between distinct indecomposable lines. Sacrificing Hermiticity, we construct several symmetric, frustration-free, gapped Hamiltonians with real spectra and analyse their ground state subspaces. Our study reveals two intriguing phenomena. First, we identify a smooth path of gapped symmetric Hamiltonians whose ground states transform inequivalently under the symmetry. Second, we find a model where a product state and the so-called W state spontaneously break the symmetry, and propose an explanation for the indistinguishability of these two states in the infinite-volume limit in terms of the symmetry category.

cond-mat.str-el↗
arXiv2024

Stability conditions and Artin--Tits groups

We describe spaces of Bridgeland stability conditions on certain triangulated categories associated to Coxeter systems. These categories are defined algebraically using the category of modules for zigzag algebras associated to Coxeter systems, which we construct as distinguished (quadratic, graded) algebra objects in fusion categories. The resulting stability spaces are closely related to conjectural K($π$,1) spaces for Artin--Tits groups.

math.RT↗
arXiv2024

Coxeter embeddings are injective

We show that certain embeddings of Coxeter groups within other Coxeter groups are injective using the notion of Coxeter partitions. Moreover, we study Lusztig's partitions, which are generalizations of Lusztig's admissible maps and Crisp's foldings. We show that they classify the simplest type of Coxeter partitions, whose embeddings of Coxeter groups send each generator to a product of commuting generators. Consequently, these embeddings are also injective, and we prove that they preserve Coxeter numbers. These results were previously known, due to work of Mühlherr and Dyer.

math.GR↗
arXiv2024

Classification of finite type fusion quivers

In recent work, the second author introduced the concept of Coxeter quivers, generalizing several previous notions of a quiver representation. Finite type Coxeter quivers were classified, and their indecomposable objects were shown to be in bijection with positive roots, generalizing a classical theorem of Gabriel. In this paper we define fusion quivers, a natural generalization of Coxeter quivers. We classify the finite type fusion quivers, and prove the analogue of Gabriel's theorem. As a special case, this proves a generalised quantum McKay correspondence for fusion categories, an analogue of Auslander--Reiten's result for finite groups in the fusion categorical setting.

math.RT↗
arXiv2024

Coxeter quiver representations in fusion categories and Gabriel's theorem

We introduce a notion of representation for a class of generalised quivers known as Coxeter quivers. These representations are built using fusion categories associated to $U_q(\mathfrak{s}\mathfrak{l}_2)$ at roots of unity and we show that many of the classical results on representations of quivers can be generalised to this setting. Namely, we prove a generalised Gabriel's theorem for Coxeter quivers that encompasses all Coxeter--Dynkin diagrams -- including the non-crystallographic types $H$ and $I$. Moreover, a similar relation between reflection functors and Coxeter theory is used to show that the indecomposable representations correspond bijectively to the positive roots of Coxeter root systems over fusion rings.

math.RT↗
arXiv2023

Fusion-equivariant stability conditions and Morita duality

Given a triangulated category $D$ with an action of a fusion category $C$, we study the moduli space $Stab_{C}(D)$ of fusion-equivariant Bridgeland stability conditions on $D$. The main theorem is that the fusion-equivariant stability conditions form a closed, complex submanifold of the moduli space of stability conditions on $D$. As an application of this framework to finite group actions on categories, we generalise a result of Macr\`{i}--Mehrotra--Stellari by establishing a biholomorphism between the space of $G$-invariant stability conditions on $D$ and the space of $rep(G)$-equivariant stability conditions on the equivariant category $D^G$. We also describe applications to the study of stability conditions associated to McKay quivers and to geometric stability conditions on free quotients of smooth projective varieties.

math.RT↗
arXiv2023

Faithfulness of the 2-Braid Group via Zigzag Algebra in Type B

We show that certain category of bimodules over a finite dimensional quiver algebra known as type B zigzag algebra is a quotient category of the category of type B Soergel bimodules. This leads to an alternate proof of Rouquier's conjecture on the faithfulness of the 2-braid groups for type B.

math.RT↗
arXiv2023

Categorification and Dynamics in Generalised Braid Groups

Recent developments in the theory of stability conditions and its relation to Teichmuller theory have revealed a deep connection between triangulated categories and surfaces. Motivated by this, we prove a categorical analogue of the Nielsen-Thurston classification theorem for the rank two generalised braid groups by viewing them as (sub)groups of autoequivalences of certain triangulated categories. This can be seen as a categorical generalisation of the classification known for the type $A$ braid groups when viewed as mapping class groups of the punctured discs. Firstly, we realise the generalised braid groups as groups of autoequivalences through categorical actions that categorify the corresponding Burau representations. These categorifications are achieved by constructing certain algebra objects in the tensor categories associated to the quantum group $U_q(\mathfrak{sl}_2)$, generalising the construction of zigzag algebras used in the categorical actions of simply-laced-type braid groups to include the non-simply-laced-types. By viewing the elements of the generalised braid groups as autoequivalences of triangulated categories, we study their dynamics through mass growth (categorical entropy), as introduced by Dimitrov--Haiden--Katzarkov--Kontsevich. Our classification is then achieved in a similar fashion to Bestvina-Handel's approach to the Nielsen-Thurston classification for mapping class groups. Namely, our classification can be effectively decided through a given algorithm that also computes the mass growth of the group elements. Moreover, it shows that the mass growth of the pseudo-Anosov elements are computable from certain rank two matrices. This is the author's PhD thesis.

math.RT↗
arXiv2023

Curves in the disc, the type B braid group, and the type B zigzag algebra

We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting on the homotopy category of its projective modules. This categorical action is also closely related to the topological action of $\mathcal{A}(B)$, viewed as mapping class group of the punctured disc -- hence our exposition can be seen as a type $B$ analogue of Khovanov-Seidel's work in arXiv:math/0006056v2. Moreover, we show that certain category of bimodules over our type $B$ zigzag algebra is a quotient category of Soergel bimodules, resulting in an alternative proof to Rouquier's conjecture on the faithfulness of the 2-braid groups for type $B$.

math.GT↗