-
Hecke-Clifford algebras at roots of unity and conformal embeddings
Authors:
Cain Edie-Michell,
Hans Wenzl
Abstract:
In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the ètale algebra object corresponding to the conformal embedding…
▽ More
In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the ètale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Interpolation categories for Conformal Embeddings
Authors:
Cain Edie-Michell,
Noah Snyder
Abstract:
In this paper we give a diagrammatic description of the categories of modules coming from the conformal embeddings $\mathcal{V}(\mathfrak{sl}_N,N) \subset \mathcal{V}(\mathfrak{so}_{N^2-1},1)$. A small variant on this construction (morally corresponding to a conformal embedding of $\mathfrak{gl}_N$ level $N$ into $\mathfrak{o}_{N^2-1}$ level $1$) has uniform generators and relations which are rati…
▽ More
In this paper we give a diagrammatic description of the categories of modules coming from the conformal embeddings $\mathcal{V}(\mathfrak{sl}_N,N) \subset \mathcal{V}(\mathfrak{so}_{N^2-1},1)$. A small variant on this construction (morally corresponding to a conformal embedding of $\mathfrak{gl}_N$ level $N$ into $\mathfrak{o}_{N^2-1}$ level $1$) has uniform generators and relations which are rational functions in $q = e^{2 πi/4N}$, which allows us to construct a new continuous family of tensor categories at non-integer level which interpolate between these categories. This is the second example of such an interpolation category for families of conformal embeddings after Zhengwei Liu's interpolation categories $\mathcal{V}(\mathfrak{sl}_N, N\pm 2) \subset \mathcal{V}(\mathfrak{sl}_{N(N\pm 1)/2},1)$ which he constructed using his classification Yang-Baxter planar algebras. Our approach is different from Liu's, we build a two-color skein theory, with one strand coming from $X$ the image of defining representation of $\mathfrak{sl}_N$ and the other strand coming from an invertible object $g$ in the category of local modules, and a trivalent vertex coming from a map $X \otimes X^* \rightarrow g$. We anticipate small variations on our approach will yield interpolation categories for every infinite discrete family of conformal embeddings.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Type $\textrm{II}$ quantum subgroups for quantum $\mathfrak{sl}_N$. $\textrm{II}$: Classification
Authors:
Cain Edie-Michell,
Terry Gannon
Abstract:
In this paper we study the indecomposable module categories over $\mathcal{C}(\mathfrak{sl}_N, k)$, the category of integrable level-$k$ respresentations of affine Kac-Moody $\mathfrak{sl}_N$. Our first main result classifies these module categories in the case of generic $k$, i.e. $k$ is sufficiently large relative to $N$. As $\mathcal{C}(\mathfrak{sl}_N, k)$ is a braided tensor category, there i…
▽ More
In this paper we study the indecomposable module categories over $\mathcal{C}(\mathfrak{sl}_N, k)$, the category of integrable level-$k$ respresentations of affine Kac-Moody $\mathfrak{sl}_N$. Our first main result classifies these module categories in the case of generic $k$, i.e. $k$ is sufficiently large relative to $N$. As $\mathcal{C}(\mathfrak{sl}_N, k)$ is a braided tensor category, there is a relative tensor product structure on its category of module categories. In the generic setting we obtain a formula for the relative tensor product rules between the indecomposable module categories. Our second main result classifies the indecomposable module categories over $\mathcal{C}(\mathfrak{sl}_N, k)$ for $N\leq 7$, with no restrictions on $k$. In this non-generic setting, exceptional module categories are obtained. This work relies heavily on previous results by the two authors. In previous literature, module category classification results were known only for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
The construction of a $E_7$-like quantum subgroup of $SU(3)$
Authors:
Cain Edie-Michell,
Lance Marinelli
Abstract:
In this short note we construct an embedding of the planar algebra for $\overline{\operatorname{Rep}(U_q(sl_3))}$ at $q = e^{2πi \frac{1}{24}}$ into the graph planar algebra of di Francesco and Zuber's candidate graph $\mathcal{E}_4^{12}$. Via the graph planar algebra embedding theorem we thus construct a rank 11 module category over $\overline{\operatorname{Rep}(U_q(sl_3))}$ whose graph for actio…
▽ More
In this short note we construct an embedding of the planar algebra for $\overline{\operatorname{Rep}(U_q(sl_3))}$ at $q = e^{2πi \frac{1}{24}}$ into the graph planar algebra of di Francesco and Zuber's candidate graph $\mathcal{E}_4^{12}$. Via the graph planar algebra embedding theorem we thus construct a rank 11 module category over $\overline{\operatorname{Rep}(U_q(sl_3))}$ whose graph for action by the vector representation is $\mathcal{E}_4^{12}$. This fills a small gap in the literature on the construction of $\overline{\operatorname{Rep}(U_q(sl_3))}$ module categories. As a consequence of our construction, we obtain the principal graphs of subfactors constructed abstractly by Evans and Pugh.
△ Less
Submitted 1 February, 2024; v1 submitted 31 August, 2023;
originally announced August 2023.
-
Cell Systems for $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}$ Module Categories
Authors:
Daniel Copeland,
Cain Edie-Michell
Abstract:
In this paper, we define the KW cell system on a graph $Γ$, depending on parameters $N\in \mathbb{N}$, $q$ a root of unity, and $ω$ an $N$-th root of unity. This is a polynomial system of equations depending on $Γ$ and the parameters. Using the graph planar algebra embedding theorem, we prove that when $q = e^{2πi \frac{1}{2(N+k)}}$, solutions to the KW cell system on $Γ$ classify module categorie…
▽ More
In this paper, we define the KW cell system on a graph $Γ$, depending on parameters $N\in \mathbb{N}$, $q$ a root of unity, and $ω$ an $N$-th root of unity. This is a polynomial system of equations depending on $Γ$ and the parameters. Using the graph planar algebra embedding theorem, we prove that when $q = e^{2πi \frac{1}{2(N+k)}}$, solutions to the KW cell system on $Γ$ classify module categories over $\overline{\mathrm{Rep}(U_q(sl_N))^ω}$ whose action graph for the object $Λ_1$ is $Γ$. The KW cell system is a generalisation of the Etingof-Ostrik and the De Commer-Yamashita classifying data for $\overline{\mathrm{Rep}(U_q(sl_2))}$ module categories, and Ocneanu's cell calculus for $\overline{\mathrm{Rep}(U_q(sl_3))}$ module categories.
To demonstrate the effectiveness of this cell calculus, we solve the KW cell systems corresponding to the exceptional module categories over $\overline{\mathrm{Rep}(U_q(sl_4))}$ when $q= e^{2πi \frac{1}{2(4+k)}}$, as well as for all three infinite families of charge conjugation modules. Building on the work of the second author, this explicitly constructs and classifies all irreducible module categories over $\mathcal{C}(sl_4, k)$ for all $k\in \mathbb{N}$. These results prove claims made by Ocneanu on the quantum subgroups of $SU(4)$. We also construct exceptional module categories over $\overline{\mathrm{Rep}(U_q(sl_4))^ω}$ where $ω\in \{-1, i, -i\}$. Two of these module categories have no analogue when $ω=1$.
The main technical contributions of this paper are a proof of the graph planar algebra embedding theorem for oriented planar algebras, and a refinement of Kazhdan and Wenzl's skein theory presentation of the category $\overline{\mathrm{Rep}(U_q(sl_N))^ω}$. We also explicitly describe the subfactors coming from a solution to a KW cell system.
△ Less
Submitted 15 February, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Classification of pivotal tensor categories with fusion rules related to $SO(4)$
Authors:
Daniel Copeland,
Cain Edie-Michell
Abstract:
In this paper we classify all semisimple tensor categories with the same fusion rules as $\operatorname{Rep}(SO(4))$, or one of the associated truncations. We show that such categories are explicitly classified by two non-zero complex numbers. Furthermore we show these tensor categories are always braided, and there exist exactly 8 braidings.
In this paper we classify all semisimple tensor categories with the same fusion rules as $\operatorname{Rep}(SO(4))$, or one of the associated truncations. We show that such categories are explicitly classified by two non-zero complex numbers. Furthermore we show these tensor categories are always braided, and there exist exactly 8 braidings.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories
Authors:
Cain Edie-Michell,
Masaki Izumi,
David Penneys
Abstract:
A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories. The main tools for this classification are skein theory, a generalization of Ostrik's results o…
▽ More
A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories. The main tools for this classification are skein theory, a generalization of Ostrik's results on formal codegrees to analyze the induction of the group elements to the center, and a computation similar to Larson's rank-finiteness bound for $\mathbb{Z}/3\mathbb{Z}$-near group pseudounitary fusion categories. This last computation is contained in an appendix coauthored with attendees from the 2014 AMS MRC on Mathematics of Quantum Phases of Matter and Quantum Information.
△ Less
Submitted 13 October, 2021; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Type $II$ quantum subgroups of $\mathfrak{sl}_N$. $I$: Symmetries of local modules
Authors:
Cain Edie-Michell,
with an appendix by Terry Gannon
Abstract:
This paper is the first of a pair that aims to classify a large number of the type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. In this work we classify the braided auto-equivalences of the categories of local modules for all known type $I$ quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. We find that the symmetries are all non-exceptional except for fou…
▽ More
This paper is the first of a pair that aims to classify a large number of the type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. In this work we classify the braided auto-equivalences of the categories of local modules for all known type $I$ quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds $\mathcal{C}( \mathfrak{sl}_{2},16)_{\operatorname{Rep}(\mathbb{Z}_2)}$, $\mathcal{C}( \mathfrak{sl}_{3},9)_{\operatorname{Rep}(\mathbb{Z}_3)}$, $\mathcal{C}( \mathfrak{sl}_{4},8)_{\operatorname{Rep}(\mathbb{Z}_4)}$, and $\mathcal{C}( \mathfrak{sl}_{5},5)_{\operatorname{Rep}(\mathbb{Z}_5)}$.
We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type $D$-$D$ case, which is used to construct one of the exceptionals. Finally we uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals.
In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. When paired with Gannon's type $I$ classification for $r\leq 6$, this will complete the type $II$ classification for these same ranks.
This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$.
△ Less
Submitted 27 October, 2022; v1 submitted 17 February, 2021;
originally announced February 2021.
-
Auto-equivalences of the modular tensor categories of type $A$, $B$, $C$ and $G$
Authors:
Cain Edie-Michell
Abstract:
We compute the monoidal and braided auto-equivalences of the modular tensor categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$, $\mathcal{C}(\mathfrak{so}_{2r+1},k)$, $\mathcal{C}(\mathfrak{sp}_{2r},k)$, and $\mathcal{C}(\mathfrak{g}_{2},k)$. Along with the expected simple current auto-equivalences, we show the existence of the charge conjugation auto-equivalence of…
▽ More
We compute the monoidal and braided auto-equivalences of the modular tensor categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$, $\mathcal{C}(\mathfrak{so}_{2r+1},k)$, $\mathcal{C}(\mathfrak{sp}_{2r},k)$, and $\mathcal{C}(\mathfrak{g}_{2},k)$. Along with the expected simple current auto-equivalences, we show the existence of the charge conjugation auto-equivalence of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$, and exceptional auto-equivalences of $\mathcal{C}(\mathfrak{so}_{2r+1},2)$, $\mathcal{C}(\mathfrak{sp}_{2r},r)$, $\mathcal{C}(\mathfrak{g}_{2},4)$. We end the paper with a section discussing potential applications of these computations.
△ Less
Submitted 29 May, 2020; v1 submitted 8 February, 2020;
originally announced February 2020.
-
A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$
Authors:
Cain Edie-Michell
Abstract:
In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci category, or of the dual even part of the $2D2$ subfactor. As a by-product of proving our main classification result we produce a classification of finite unitar…
▽ More
In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci category, or of the dual even part of the $2D2$ subfactor. As a by-product of proving our main classification result we produce a classification of finite unitarizable quotients of $\operatorname{Fib}^{*N}$ satisfying a certain symmetry condition.
△ Less
Submitted 6 March, 2020; v1 submitted 18 April, 2019;
originally announced April 2019.
-
Simple current auto-equivalences of modular tensor categories
Authors:
Cain Edie-Michell
Abstract:
In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal, braided, or pivotal. We also discuss the composition of these auto-equivalences constructed from invertible objects. To demonstrate the practicality of this cons…
▽ More
In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal, braided, or pivotal. We also discuss the composition of these auto-equivalences constructed from invertible objects. To demonstrate the practicality of this construction, we construct auto-equivalences of several real-world examples of modular tensor categories.
△ Less
Submitted 25 February, 2019;
originally announced February 2019.
-
Classifying fusion categories $\otimes$-generated by an object of small Frobenius-Perron dimension
Authors:
Cain Edie-Michell
Abstract:
The goal of this paper is to classify fusion categories $\otimes$-generated by a $K$-normal object (defined in this paper) of Frobenius-Perron dimension less than 2. This classification has recently become accessible due to a result of Morrison and Snyder, showing that any such category must be a cyclic extension of a category of adjoint $ADE$ type. Our main tools in this classification are the re…
▽ More
The goal of this paper is to classify fusion categories $\otimes$-generated by a $K$-normal object (defined in this paper) of Frobenius-Perron dimension less than 2. This classification has recently become accessible due to a result of Morrison and Snyder, showing that any such category must be a cyclic extension of a category of adjoint $ADE$ type. Our main tools in this classification are the results of Etingof, Ostrik, and Nikshych, classifying cyclic extensions of a given category in terms of data computed from the Brauer-Picard group, and Drinfeld centre of that category, and the results of the author, which compute the Brauer-Picard group and Drinfeld centres of the categories of adjoint $ADE$ type.
Our classification includes the expected categories, constructed from cyclic groups and the categories of $ADE$ type. More interestingly we have categories in our classification that are non-trivial de-equivariantizations of these expected categories. Most interesting of all, our classification includes three infinite families constructed from the exceptional quantum subgroups $\mathcal{E}_4$ of $\mathcal{C}( \mathfrak{sl}_4, 4)$, and $\mathcal{E}_{16,6}$ of $\mathcal{C}( \mathfrak{sl}_2, 16)\boxtimes \mathcal{C}( \mathfrak{sl}_3,6)$.
△ Less
Submitted 6 March, 2020; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging
Authors:
Cain Edie-Michell,
Corey Jones,
Julia Plavnik
Abstract:
In this note, we examine the gauging of the $\mathbb{Z}/2\mathbb{Z}$ permutation action on the tensor square of a modular tensor category. When $\mathcal{C}$ has no nontrivial invertible objects, we provide formulas for the fusion rules of both the extensions, expressed in terms of the fusion rules of $\mathcal{C}$, and the subsequent equivariantizations, which additionally requires the modular da…
▽ More
In this note, we examine the gauging of the $\mathbb{Z}/2\mathbb{Z}$ permutation action on the tensor square of a modular tensor category. When $\mathcal{C}$ has no nontrivial invertible objects, we provide formulas for the fusion rules of both the extensions, expressed in terms of the fusion rules of $\mathcal{C}$, and the subsequent equivariantizations, which additionally requires the modular data of $\mathcal{C}$. We discuss several examples related to quantum groups at roots of unity.
△ Less
Submitted 22 September, 2019; v1 submitted 4 April, 2018;
originally announced April 2018.
-
Equivalences of Graded Categories
Authors:
Cain Edie-Michell
Abstract:
We further the techniques developed by Etingof, Nikshych, and Ostrik in order to classify the $\mathcal{C}$-based equivalences between two $G$-graded extensions of $\mathcal{C}$. The main result of this paper (which follows from this classification) shows that there is an action of the group $\operatorname{Aut}(G)\times \operatorname{Aut}_\otimes(\mathcal{C})$ on the set of all $G$-graded extensio…
▽ More
We further the techniques developed by Etingof, Nikshych, and Ostrik in order to classify the $\mathcal{C}$-based equivalences between two $G$-graded extensions of $\mathcal{C}$. The main result of this paper (which follows from this classification) shows that there is an action of the group $\operatorname{Aut}(G)\times \operatorname{Aut}_\otimes(\mathcal{C})$ on the set of all $G$-graded extensions of $\mathcal{C}$, and further, any two extensions in the same orbit of this action are monoidally equivalent. As a warm up for the proof of our classification result we reprove the classification of graded extensions of a fusion category, making extensive use of graphical calculus. Aside from our main result, we provide several other practical applications of our classification of $\mathcal{C}$-based equivalences.
△ Less
Submitted 14 December, 2018; v1 submitted 2 November, 2017;
originally announced November 2017.
-
A field guide to categories with $A_n$ fusion rules
Authors:
Cain Edie-Michell,
Scott Morrison
Abstract:
We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor), identifications of the subcategories of invertible objects, and explicit descriptions of the Drinfeld centres. The first section describes the classification of…
▽ More
We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor), identifications of the subcategories of invertible objects, and explicit descriptions of the Drinfeld centres. The first section describes the classification of these categories (as monoidal, dagger, pivotal, and braided categories). The second section describes the properties of these categories.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
The Brauer-Picard groups of the fusion categories coming from the $ADE$ subfactors
Authors:
Cain Edie-Michell
Abstract:
We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We…
▽ More
We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We also perform the same calculations for the fusion categories constructed from the full $ADE$ subfactors. Of particular interest, the even part of the $D_{10}$ subfactor is shown to have Brauer-Picard group $S_3 \times S_3$. We develop combinatorial arguments to compute the underlying algebra objects of these invertible bimodules.
△ Less
Submitted 13 February, 2018; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Ideals of Steinberg algebras of strongly effective groupoids, with applications to Leavitt path algebras
Authors:
Lisa Orloff Clark,
Cain Edie-Michell,
Astrid an Huef,
Aidan Sims
Abstract:
We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results a…
▽ More
We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results are new even for the special case of Leavitt path algebras; so we describe explicitly what they say in this context, and give two concrete examples.
△ Less
Submitted 26 January, 2016;
originally announced January 2016.
-
Uniqueness Theorems for Steinberg Algebras
Authors:
Lisa Orloff Clark,
Cain Edie-Michell
Abstract:
We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of Steinberg to characterise the center of Steinberg algebras associated to minimal groupoids
We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of Steinberg to characterise the center of Steinberg algebras associated to minimal groupoids
△ Less
Submitted 18 March, 2014;
originally announced March 2014.