Search

Given a premodular category $\mathcal{C}$, we show that its $R$-symbol can be recovered from its $T$-matrice, fusion coefficients and some 2nd generalized Frobenius-Schur indicators. In particular, if $\mathcal{C}$ is modular, its $R$-symbols for a certain gauge choice are completely determined by its modular data., Comment: 9 pages latex

We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and their rank is $p^2 + \frac{q^2 - 1}{p}$., Comment: 9 pages

Accurate assessment of fuel conditions is a prerequisite for fire ignition and behavior prediction, and risk management. The method proposed herein leverages diverse data sources including Landsat-8 optical imagery, Sentinel-1 (C-band) Synthetic Aperture Radar (SAR) imagery, PALSAR (L-band) SAR imagery, and terrain features to capture comprehensive information about fuel types and distributions. An ensemble model was trained to predict landscape-scale fuels such as the 'Scott and Burgan 40' using the as-received Forest Inventory and Analysis (FIA) field survey plot data obtained from the USDA Forest Service. However, this basic approach yielded relatively poor results due to the inadequate amount of training data. Pseudo-labeled and fully synthetic datasets were developed using generative AI approaches to address the limitations of ground truth data availability. These synthetic datasets were used for augmenting the FIA data from California to enhance the robustness and coverage of model training. The use of an ensemble of methods including deep learning neural networks, decision trees, and gradient boosting offered a fuel mapping accuracy of nearly 80\%. Through extensive experimentation and evaluation, the effectiveness of the proposed approach was validated for regions of the 2021 Dixie and Caldor fires. Comparative analyses against high-resolution data from the National Agriculture Imagery Program (NAIP) and timber harvest maps affirmed the robustness and reliability of the proposed approach, which is capable of near-real-time fuel mapping., Comment: 40 pages

Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data for modular categories associated with quantum groups at roots of unity. We produce closed formulas, based on the root system of the associated Lie algebra, for the modular data of these new modular categories., Comment: 37 pages, 22 tables. Several typos corrected and minor changes made

We find all solutions to the constant Yang--Baxter equation $R_{12}R_{13}R_{23}=R_{23}R_{13}R_{12}$ in three dimensions, subject to an additive charge-conservation ansatz. This ansatz is a generalisation of (strict) charge-conservation, for which a complete classification in all dimensions was recently obtained. Additive charge-conservation introduces additional sector-coupling parameters -- in 3 dimensions there are $4$ such parameters. In the generic dimension 3 case, in which all of the $4$ parameters are nonzero, we find there is a single 3 parameter family of solutions. We give a complete analysis of this solution, giving the structure of the centraliser (symmetry) algebra in all orders. We also solve the remaining cases with three, two, or one nonzero sector-coupling parameter(s).

We use the computer algebraic system GAP to classify modular data up to rank 11, and integral modular data up to rank 12. This extends the previously obtained classification of modular data up to rank 6. Our classification includes all the modular data from modular tensor categories up to rank 11. But our list also contains a few potential unitary modular data at ranks 9, 10 and 11, which are not known to correspond to any unitary modular tensor categories (such as those from Kac-Moody algebra, twisted quantum doubles of finite group, as well as their Abelian anyon condensations). It remains to be shown if those potential modular data can be realized by modular tensor categories or not, although we provide some evidence that all but one may be constructed from centers of near-group categories. The classification of modular data corresponds to a classification of modular tensor categories (up to modular isotopes which are not expected to be present at low ranks). The classification of modular tensor categories leads to a classification of gapped quantum phases of matter in 2-dimensional space for bosonic lattice systems with no symmetry, as well as a classification of generalized symmetries in 1-dimensional space., Comment: 443 pages (main text 64 pages), 1 figure

The construction and classification of super-modular categories is an ongoing project, of interest in algebra, topology and physics. In a recent paper, Cho, Kim, Seo and You produced two mysterious families of super-modular data, with no known realization. We show that these data are realized by modifying the Drinfeld centers of near-group fusion categories associated with the groups $\mathbb Z/6$ and $\mathbb Z/2\times \mathbb Z/4$. The methods we develop have wider applications and we describe some of these, with a view towards understanding when near-group centers provide super-modular categories., Comment: 17 pages

Here a loop braid representation is a monoidal functor $\mathsf{F}$ from the loop braid category $\mathsf{L}$ to a suitable target category, and is $N$-charge-conserving if that target is the category $\mathsf{Match}^N$ of charge-conserving matrices (specifically $\mathsf{Match}^N$ is the same rank-$N$ charge-conserving monoidal subcategory of the monoidal category $\mathsf{Mat}$ used to classify braid representations in arXiv:2112.04533) with $\mathsf{F}$ strict, and surjective on $\mathbb{N}$, the object monoid. We classify and construct all such representations. In particular we prove that representations fall into varieties indexed by a set in bijection with the set of pairs of plane partitions of total degree $N$., Comment: 38 pages, 7 figures

For a finite group $G$, a $G$-crossed braided fusion category is $G$-graded fusion category with additional structures, namely a $G$-action and a $G$-braiding. We develop the notion of $G$-crossed braided zesting: an explicit method for constructing new $G$-crossed braided fusion categories from a given one by means of cohomological data associated with the invertible objects in the category and grading group $G$. This is achieved by adapting a similar construction for (braided) fusion categories recently described by the authors. All $G$-crossed braided zestings of a given category $\mathcal{C}$ are $G$-extensions of their trivial component and can be interpreted in terms of the homotopy-based description of Etingof, Nikshych and Ostrik. In particular, we explicitly describe which $G$-extensions correspond to $G$-crossed braided zestings.

The topological model for quantum computation is an inherently fault-tolerant model built on anyons in topological phases of matter. A key role is played by the braid group, and in this survey we focus on a selection of ways that the mathematical study of braids is crucial for the theory. We provide some brief historical context as well, emphasizing ways that braiding appears in physical contexts. We also briefly discuss the 3-dimensional generalization of braiding: motions of knots.

Modular data is the most significant invariant of a modular tensor category. We pursue an approach to the classification of modular data of modular tensor categories by building the modular $S$ and $T$ matrices directly from irreducible representations of $SL_2(\mathbb{Z}/n \mathbb{Z})$. We discover and collect many conditions on the $SL_2(\mathbb{Z}/n \mathbb{Z})$ representations to identify those that correspond to some modular data. To arrive at concrete matrices from representations, we also develop methods that allow us to select the proper basis of the $SL_2(\mathbb{Z}/n \mathbb{Z})$ representations so that they have the form of modular data. We apply this technique to the classification of rank-$6$ modular tensor categories, obtaining a classification up to modular data. Most of the calculations can be automated using a computer algebraic system, which can be employed to classify modular data of higher rank modular tensor categories., Comment: 78pp Latex and 271pp of supplementary materials

Ocneanu rigidity implies that there are finitely many (braided) fusion categories with a given set of fusion rules. While there is no method for determining all such categories up to equivalence, there are a few cases for which can. For example, Kazhdan and Wenzl described all fusion categories with fusion rules isomorphic to those of $SU(N)_k$. In this paper we extend their results to a statement about braided fusion categories, and obtain similar results for certain subcategories of $SU(N)_k$.

A braid representation is a monoidal functor from the braid category $\mathsf{B}$, for example given by a solution to the constant Yang-Baxter equation. Given a monoidal category $\mathsf{C}$ with $ob(\mathsf{C})=\mathbb{N}$, a rank-$N$ charge-conserving representation (or spin-chain representation) is a strict monoidal functor $F$ from $\mathsf{C}$ to the category $\mathrm{Match}^N$ of rank-$N$ charge-conserving matrices that is natural in the sense that $F(1)=1$}. In this work we construct all spin-chain braid representations, and classify up to suitable notions of isomorphism., Comment: 34 pages (second version). Substantially revised. (version 3) minor changes, added reference to recent applications

We study the Witt classes of the modular categories $SO(2r)_{2r}$ associated with quantum groups of type $D_r$ at $4r-2$th roots of unity. From these classes we derive infinitely many Witt classes of order 2 that are linearly independent modulo the subgroup generated by the pointed modular categories. In particular we produce an example of a simple, completely anisotropic modular category that is not pointed whose Witt class has order 2, answering a question of Davydov, M\"uger, Nikshych and Ostrik. Our results show that the trivial Witt class $[Vec]$ has infinitely many square roots modulo the pointed classes, in analogy with the recent construction of infinitely many square roots of the Ising Witt classes modulo the pointed classes constructed in a similar way from certain type $B_r$ modular categories. We compare the subgroups generated by the Ising square roots and $[Vec]$ square roots and provide evidence that they also generate linearly independent subgroups., Comment: version 2, revised for readability

We introduce a generalisation $LH_n$ of the ordinary Hecke algebras informed by the loop braid group $LB_n$ and the extension of the Burau representation thereto. The ordinary Hecke algebra has many remarkable arithmetic and representation theoretic properties, and many applications. We show that $LH_n$ has analogues of several of these properties. In particular we %introduce consider a class of local (tensor space/functor) representations of the braid group derived from a meld of the (non-functor) Burau representation and the (functor) Deguchi {\em et al}-Kauffman--Saleur-Rittenberg representations here called Burau-Rittenberg representations. In its most supersymmetric case somewhat mystical cancellations of anomalies occur so that the Burau-Rittenberg representation extends to a loop Burau-Rittenberg representation. And this factors through $LH_n$. Let $SP_n$ denote the corresponding quotient algebra, $k$ the ground ring, and $t \in k$ the loop-Hecke parameter. We prove the following: 1) $LH_n$ is finite dimensional over a field. 2) The natural inclusion $LB_n \rightarrow LB_{n+1}$ passes to an inclusion $SP_n \rightarrow SP_{n+1}$. 3) Over $k=\mathbb{C}$, $SP_n / rad $ is generically the sum of simple matrix algebras of dimension (and Bratteli diagram) given by Pascal's triangle. 4) We determine the other fundamental invariants of $SP_n$ representation theory: the Cartan decomposition matrix; and the quiver, which is of type-A. 5) The structure of $SP_n $ is independent of the parameter $t$, except for $t= 1$. \item For $t^2 \neq 1$ then $LH_n \cong SP_n$ at least up to rank$n=7$ (for $t=-1$ they are not isomorphic for $n>2$; for $t=1$ they are not isomorphic for $n>1$). Finally we discuss a number of other intriguing points arising from this construction in topology, representation theory and combinatorics., Comment: v2, added references

We give a rigorous development of the construction of new braided fusion categories from a given category known as zesting. This method has been used in the past to provide categorifications of new fusion rule algebras, modular data, and minimal modular extensions of super-modular categories. Here we provide a complete obstruction theory and parameterization approach to the construction and illustrate its utility with several examples., Comment: 54 pages

We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.

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., Comment: 34 pages. Some typos and an extra reference are removed

We use zesting and symmetry gauging of modular tensor categories to analyze some previously unrealized modular data obtained by Grossman and Izumi. In one case we find all realizations and in the other we determine the form of possible realizations; in both cases all realizations can be obtained from quantum groups at roots of unity.

We develop categorical and number theoretical tools for the classification of super-modular categories. We apply these tools to obtain a partial classification of super-modular categories of rank $8$. In particular we find three distinct families of prime categories in rank $8$ in contrast to the lower rank cases for which there is only one such family.

We unify and generalize several approaches to constructing braid group representations from finite groups, using iterated twisted tensor products. Our results hint at a relationship between the braidings on the $G$-gaugings of a pointed modular category $\mathcal{C}(A,Q)$ and that of $\mathcal{C}(A,Q)$ itself.

We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake., Comment: 11 pages

A braided fusion category is said to have Property $\textbf{F}$ if the associated braid group representations factor over a finite group. We verify integral metaplectic modular categories have property $\textbf{F}$ by showing these categories are group theoretical. For the special case of integral categories $\mathcal{C}$ with the fusion rules of $SO(8)_2$ we determine the finite group $G$ for which $Rep(D^{\omega}G)$ is braided equivalent to $\mathcal{Z}(\mathcal{C})$. In addition, we determine the associated classical link invariant, an evaluation of the 2-variable Kauffman polynomial at a point., Comment: 10 pages

The necklace braid group $\mathcal{NB}_n$ is the motion group of the $n+1$ component necklace link $\mathcal{L}_n$ in Euclidean $\mathbb{R}^3$. Here $\mathcal{L}_n$ consists of $n$ pairwise unlinked Euclidean circles each linked to an auxiliary circle. Partially motivated by physical considerations, we study representations of the necklace braid group $\mathcal{NB}_n$, especially those obtained as extensions of representations of the braid group $\mathcal{B}_n$ and the loop braid group $\mathcal{LB}_n$. We show that any irreducible $\mathcal{B}_n$ representation extends to $\mathcal{NB}_n$ in a standard way. We also find some non-standard extensions of several well-known $\mathcal{B}_n$-representations such as the Burau and LKB representations. Moreover, we prove that any local representation of $\mathcal{B}_n$ (i.e. coming from a braided vector space) can be extended to $\mathcal{NB}_n$, in contrast to the situation with $\mathcal{LB}_n$. We also discuss some directions for future study from categorical and physical perspectives., Comment: 30 pages

$N$-Metaplectic categories, unitary modular categories with the same fusion rules as $SO(N)_2$, are prototypical examples of weakly integral modular categories. As such, a conjecture of the second author would imply that images of the braid group representations associated with metaplectic categories are finite groups, i.e. have property $F$. While it was recently shown that $SO(N)_2$ itself has property $F$, proving property $F$ for the more general class of metaplectic modular categories is an open problem. We verify this conjecture for $N$-metaplectic modular categories when $N$ is odd, exploiting their classification and enumeration to relate them to $SO(N)_2$. In another direction, we prove that when $N$ is divisible by $8$ the $N$-metaplectic categories have $3$ non-trivial bosons, and the boson condensation procedure applied to 2 of these bosons yields $\frac{N}{4}$-metaplectic categories. Otherwise stated: any $8k$-metaplectic category is a $\mathbb{Z}_2$-gauging of a $2k$-metaplectic category, so that the $N$ even metaplectic categories lie towers of $\mathbb{Z}_2$-gaugings commencing with $2k$- or $4k$-metaplectic categories with $k$ odd., Comment: version 3: condensed proofs

We study novel invariants of modular categories that are beyond the modular data, with an eye towards a simple set of complete invariants for modular categories. Our focus is on the $W$-matrix--the quantum invariant of a colored framed Whitehead link from the associated TQFT of a modular category. We prove that the $W$-matrix and the set of punctured $S$-matrices are strictly beyond the modular data $(S,T)$. Whether or not the triple $(S,T,W)$ constitutes a complete invariant of modular categories remains an open question., Comment: 24 pages; references to arXiv:1606.04378 and arXiv:1806.02843 are added

Acyclic anyon models are non-abelian anyon models for which thermal anyon errors can be corrected. In this note, we characterize acyclic anyon models and raise the question if the restriction to acyclic anyon models is a deficiency of the current protocol or could it be intrinsically related to the computational power of non-abelian anyons. We also obtain general results on acyclic anyon models and find new acyclic anyon models such as $SO(8)_2$ and untwisted Dijkgraaf-Witten theories of nilpotent finite groups., Comment: 7 pages, 1 figure

We discuss several useful interpretations of the categorical dimension of objects in a braided fusion category, as well as some conjectures demonstrating the value of quantum dimension as a quantum statistic for detecting certain behaviors of anyons in topological phases of matter. From this discussion we find that objects in braided fusion categories with integral squared dimension have distinctive properties. A large and interesting class of non-integral modular categories such that every simple object has integral squared-dimensions are the metaplectic categories that have the same fusion rules as $SO(N)_2$ for some $N$. We describe and complete their classification and enumeration, by recognizing them as $\mathbb{Z}_2$-gaugings of cyclic modular categories (i.e. metric groups). We prove that any modular category of dimension $2^km$ with $m$ square-free and $k\leq 4$, satisfying some additional assumptions, is a metaplectic category. This illustrates anew that dimension can, in some circumstances, determine a surprising amount of the category's structure., Comment: v2: Title and sections restructured to clarify the relationship between the paper's two major topics. Some previously sketched results are now structured as propositions and proofs. Many previously referenced-away definitions have been made explicit

In topological quantum computing, information is encoded in "knotted" quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of $10^{-10}$, and harnessed to stabilize quantum memory. In this survey, we discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Our focus is on computing and physical motivations, basic mathematical notions and results, open problems and future directions related to and/or inspired by topological quantum computing., Comment: 51 pages, 8 figures, 1 table. Version 2: reorganized, typos fixed, explanations added

We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae., Comment: 18 pages

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary pre-modular category is the equivariantization of a either a modular or super-modular category. Physically, super-modular categories describe universal properties of quasiparticles in fermionic topological phases of matter. In general one does not have a representation of the modular group $\mathrm{SL}(2,\mathbb{Z})$ associated to a super-modular category, but it is possible to obtain a representation of the (index 3) $\theta$-subgroup: $\Gamma_\theta<\mathrm{SL}(2,\mathbb{Z})$. We study the image of this representation and conjecture a super-modular analogue of the Ng-Schauenburg Congruence Subgroup Theorem for modular categories, namely that the kernel of the $\Gamma_\theta$ representation is a congruence subgroup. We prove this conjecture for any super-modular category that is a subcategory of modular category of twice its dimension, i.e. admitting a minimal modular extension. Conjecturally, every super-modular category admits (precisely 16) minimal modular extensions and, therefore, our conjecture would be a consequence., Comment: 11 pages, 1 table. version 2: added Lemma 2.1, added a line to Conjecture 4.1 with explicit level computed

We give a complete classification of modular categories of dimension $p^3m$ where $p$ is prime and $m$ is a square-free integer. When $p$ is odd, all such categories are pointed. For $p=2$ one encounters modular categories with the same fusion ring as orthogonal quantum groups at certain roots of unity, namely $SO(2m)_2$. As an immediate step we classify a more general class of so-called even metaplectic modular categories with the same fusion rules as $SO(2N)_2$ with $N$ odd., Comment: Version 2: typos corrected Version 3: several proofs tightened up, typos corrected and improvement of exposition

We provide an elementary introduction to topological quantum computation based on the Jones representation of the braid group. We first cover the Burau representation and Alexander polynomial. Then we discuss the Jones representation and Jones polynomial and their application to anyonic quantum computation. Finally we outline the approximation of the Jones polynomial and explicit localizations of braid group representations.

We study spin and super-modular categories systematically as inspired by fermionic topological phases of matter, which are always fermion parity enriched and modelled by spin TQFTs at low energy. We formulate a $16$-fold way conjecture for the minimal modular extensions of super-modular categories to spin modular categories, which is a categorical formulation of gauging the fermion parity. We investigate general properties of super-modular categories such as fermions in twisted Drinfeld doubles, Verlinde formulas for naive quotients, and explicit extensions of $PSU(2)_{4m+2}$ with an eye towards a classification of the low-rank cases., Comment: Latest post-referee version. Many typos fixed, many explanations expanded, several inconsistencies corrected. 8 figures

Two-dimensional topological states of matter offer a route to quantum computation that would be topologically protected against the nemesis of the quantum circuit model: decoherence. Research groups in industry, government and academic institutions are pursuing this approach. We give a mathematician's perspective on some of the advantages and challenges of this model, highlighting some recent advances. We then give a short description of how we might extend the theory to three-dimensional materials., Comment: 10 figures, 1 table. Submitted to the proceeding of Quantumfest 2015. Dedicated to the memory of Sujeev Wickramasekara

We obtain a classification of metaplectic modular categories: every metaplectic modular category is a gauging of the particle-hole symmetry of a cyclic modular category. Our classification suggests a conjecture that every weakly-integral modular category can be obtained by gauging a symmetry of a pointed modular category.

A non-abelian anyon can only occur in the presence of ground state degeneracy in the plane. It is conceivable that for some strange anyon with quantum dimension $>1$ that the resulting representations of all $n$-strand braid groups $B_n$ are overall phases, even though the ground state manifolds for $n$ such anyons in the plane are in general Hilbert spaces of dimensions $>1$. We observe that degeneracy is all that is needed: for an anyon with quantum dimension $>1$ the non-abelian statistics cannot all be overall phases on the degeneracy ground state manifold. Therefore, degeneracy implies non-abelian statistics, which justifies defining a non-abelian anyon as one with quantum dimension $>1$. Since non-abelian statistics presumes degeneracy, degeneracy is more fundamental than non-abelian statistics., Comment: State the main result as a theorem and add several clarifications

Motivated by physical and topological applications, we study representations of the group $\mathcal{LB}_3$ of motions of $3$ unlinked oriented circles in $\mathbb{R}^3$. Our point of view is to regard the three strand braid group $\mathcal{B}_3$ as a subgroup of $\mathcal{LB}_3$ and study the problem of extending $\mathcal{B}_3$ representations. We introduce the notion of a \emph{standard extension} and characterize $\mathcal{B}_3$ representations admiting such an extension. In particular we show, using a classification result of Tuba and Wenzl, that every irreducible $\mathcal{B}_3$ representation of dimension at most $5$ has a (standard) extension. We show that this result is sharp by exhibiting an irreducible $6$-dimensional $\mathcal{B}_3$ representation that has no extensions (standard or otherwise). We obtain complete classifications of (1) irreducible $2$-dimensional $\mathcal{LB}_3$ representations (2) extensions of irreducible $3$-dimensional $\mathcal{B}_3$ representations and (3) irreducible $\mathcal{LB}_3$ representations whose restriction to $\mathcal{B}_3$ has abelian image.

The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an application, we determine all possible fusion rules for all rank=$5$ modular categories and describe the corresponding monoidal equivalence classes., Comment: arXiv admin note: substantial text overlap with arXiv:1310.7050

We study representations of the loop braid group $LB_n$ from the perspective of extending representations of the braid group $B_n$. We also pursue a generalization of the braid/Hecke/Temperlely-Lieb paradigm---uniform finite dimensional quotient algebras of the loop braid group algebras., Comment: 22 pages, 1 figure. Revised introduction and title. Add a reference and fix minor typos

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., Comment: Version 2: fixed missing metadata, version 3: corrected incomplete introduction and added theorem numbers, version 4: 32 pages, significant cosmetic revisions, version 5: final revision pre-submission