Source author record

Siu-Hung Ng

Siu-Hung Ng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Higher central charges and Witt groups

In this paper, we introduce the definitions of signatures of braided fusion categories, which are proved to be invariants of their Witt equivalence classes. These signature assignments define group homomorphisms on the Witt group. The higher central charges of pseudounitary modular categories can be expressed in terms of these signatures, which are applied to prove that the Ising modular categories have infinitely many square roots in the Witt group. This result is further applied to prove a conjecture of Davydov-Nikshych-Ostrik on the super-Witt group: the torsion subgroup generated by the completely anisotropic s-simple braided fusion categories has infinite rank.

preprint2021arXiv

Modular categories with transitive Galois actions

In this paper, we study modular categories whose Galois group actions on their simple objects are transitive. We show that such modular categories admit unique factorization into prime transitive factors. The representations of $SL_2(\mathbb{Z})$ associated with transitive modular categories are proven to be minimal and irreducible. Together with the Verlinde formula, we characterize prime transitive modular categories as the Galois conjugates of the adjoint subcategory of the quantum group modular category $\mathcal{C}(\mathfrak{sl}_2,p-2)$ for some prime $p > 3$. As a consequence, we completely classify transitive modular categories. Transitivity of super-modular categories can be similarly defined. A unique factorization of any transitive super-modular category into s-simple transitive factors is obtained, and the split transitive super-modular categories are completely classified.

preprint2020arXiv

Vertex operator superalgebras and 16-fold way

Let $V$ be a vertex operator superalgebra with the natural order 2 automorphism $σ$. Under suitable conditions on $V$, the $σ$-fixed subspace $V_{\bar 0}$ is a vertex operator algebra and the category $C_{V_{\bar 0}}$ of $V_{\bar 0}$-modules is modular tensor category. In this paper, we prove that $C_{V_{\bar 0}}$ is a fermionic modular tensor category and the Müger centralizer $C_{V_{\bar 0}}^0$ of the fermion in $C_{V_{\bar 0}}$ is generated by the irreducible $V_{\bar 0}$-submodules of the $V$-modules. In particular, $C_{V_{\bar 0}}^0$ is a super-modular tensor category and $C_{V_{\bar 0}}$ is a minimal modular extension of $C_{V_{\bar 0}}^0$. We provide a construction of a vertex operator $V^l$ for each positive integer $l$ such that $C_{V^l_{\bar 0}}$ is minimal modular extension of $C_{V_{\bar 0}}^0$. We prove that these modular tensor categories $C_{V^l_{\bar 0}}$ are uniquely determined, up to equivalence, by the congruence class of $l$ modulo 16.

preprint2015arXiv

Congruence Property In Conformal Field Theory

The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of any rational, C_2-cofinite vertex operator algebra is a congruence subgroup. In particular, the q-character of each irreducible module is a modular function on the same congruence subgroup. The Galois symmetry of the modular representations is obtained and the order of the anomaly for those modular categories satisfying some integrality conditions is determined.

preprint2015arXiv

On the Classification of Weakly Integral Modular Categories

We classify all modular categories of dimension $4m$, where $m$ is an odd square-free integer, and all ranks $6$ and $7$ weakly integral modular categories. This completes the classification of weakly integral modular categories through rank $7$. Our results imply that all integral modular categories of rank at most $7$ are pointed (that is, every simple object has dimension $1$). All strictly weakly integral (weakly integral but non-integral) modular categories of ranks $6$ and $7$ have dimension $4m$, with $m$ an odd square free integer, so their classification is an application of our main result. The classification of rank $7$ integral modular categories is facilitated by an analysis of two actions on modular categories: the Galois group of the field generated by the entries of the $S$-matrix and the group of isomorphism classes of invertible simple objects. The interplay of these two actions is of independent interest, and we derive some valuable arithmetic consequences from their actions.

preprint2015arXiv

Rank-finiteness for modular categories

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the context of spherical fusion categories. For a modular category $\mathcal{C}$ with $N=ord(T)$, the order of the modular $T$-matrix, the Cauchy theorem says that the set of primes dividing the global quantum dimension $D^2$ in the Dedekind domain $\mathbb{Z}[e^{\frac{2πi}{N}}]$ is identical to that of $N$.

preprint2014arXiv

Cleft Extensions and Quotients of Twisted Quantum Doubles

Given a pair of finite groups $F, G$ and a normalized 3-cocycle $ω$ of $G$, where $F$ acts on $G$ as automorphisms, we consider quasi-Hopf algebras defined as a cleft extension $\Bbbk^G_ω\#_c\,\Bbbk F$ where $c$ denotes some suitable cohomological data. When $F\rightarrow \overline{F}:=F/A$ is a quotient of $F$ by a central subgroup $A$ acting trivially on $G$, we give necessary and sufficient conditions for the existence of a surjection of quasi-Hopf algebras and cleft extensions of the type $\Bbbk^G_ω\#_c\, \Bbbk F\rightarrow \Bbbk^G_ω\#_{\overline{c}} \, \Bbbk \overline{F}$. Our construction is particularly natural when $F=G$ acts on $G$ by conjugation, and $\Bbbk^G_ω\#_c \Bbbk G$ is a twisted quantum double $D^ω(G)$. In this case, we give necessary and sufficient conditions that Rep($\Bbbk^G_ω\#_{\overline{c}} \, \Bbbk \overline{G}$) is a modular tensor category.

preprint2012arXiv

On Total Frobenius-Schur Indicators

We define total Frobenius-Schur indicator for each object in a spherical fusion category $C$ as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If $C$ is the representation category of a semisimple quasi-Hopf algebra $H$, we prove that the total indicators are non-negative integers which satisfy a certain divisibility condition. In addition, if $H$ is a Hopf algebra, then all the total indicators are positive. Consequently, the positivity of total indicators is a necessary condition for a quasi-Hopf algebra being gauge equivalent to a Hopf algebra. Certain twisted quantum doubles of finite groups and some examples of Tambara-Yamagami categories are discussed for the sufficiency of this positivity condition.

preprint2010arXiv

Congruence Subgroups and Generalized Frobenius-Schur Indicators

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via generalized Frobenius-Schur indicators. The set of all equivariant indicators admits a natural action of the modular group. Using the properties of equivariant indicators, we prove a congruence subgroup theorem for modular categories. As a consequence, all modular representations of a modular category have finite images, and they satisfy a conjecture of Eholzer. In addition, we obtain two formulae for the generalized indicators, one of them a generalization of Bantay's second indicator formula for a rational conformal field theory. This formula implies a conjecture of Pradisi-Sagnotti-Stanev, as well as a conjecture of Borisov-Halpern-Schweigert.

preprint2010arXiv

On Hopf algebras of dimension 4p

In this paper, we prove that a non-semisimple Hopf algebra H of dimension 4p with p an odd prime over an algebraically closed field of characteristic zero is pointed provided H contains more than two group-like elements. In particular, we prove that non-semisimple Hopf algebras of dimensions 20, 28 and 44 are pointed or their duals are pointed, and this completes the classification of Hopf algebras in these dimensions.

preprint2009arXiv

On the trace of the antipode and higher indicators

We introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual simple module, and the higher Frobenius-Schur indicators of the regular representation. We further study the values of these higher indicators in the context of complex semisimple quasi-Hopf algebras H. We prove that these indicators are non-negative provided the module category over H is modular, and that for a prime p, the p-th indicator is equal to 1 if, and only if, p is a factor of dim H. As an application, we show the existence of a non-trivial self-dual simple H-module with bounded dimension which is determined by the value of the second indicator.

preprint2006arXiv

On Radicals of Module Coalgebras

We introduce the notion of idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras, and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming bijective antipode.

preprint2005arXiv

Higher Frobenius-Schur Indicators for Pivotal Categories

We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.

preprint2000arXiv

Group Cohomology and Gauge Equivalence of some Twisted Quantum Doubles

Dijkgraaf, Pasquier and Roche introduced twisted quantum doubles of a finite group in the context of conformal field theory. We study equivalences that arise among the braided monoidal categories associated to these quantum doubles, especially in the commutative case. This involves a close study of the cohomology of various complexes introduced by Eilenberg-MacLane. We show among other things that an equivalence of braided monoidal categories is the same as gauge equivalence of the corresponding quantum doubles, and that an invariant for an equivalence class is given by a metabolic quadratic space.