- Award ID(s):
- 1664359
- NSF-PAR ID:
- 10192360
- Date Published:
- Journal Name:
- Journal of Knot Theory and Its Ramifications
- Volume:
- 29
- Issue:
- 05
- ISSN:
- 0218-2165
- Page Range / eLocation ID:
- 2050032
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the self-extension algebra of the unit \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},\mathbf {1}) is a finitely generated algebra and that, for each object V V in C \mathscr {C} , the graded extension group \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C \mathscr {C} . For example, the stated result holds when C \mathscr {C} is a braided tensor category of odd Frobenius-Perron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0 0 , we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes.more » « less
-
Abstract For a finite group , a ‐crossed braided fusion category is a ‐graded fusion category with additional structures, namely, a ‐action and a ‐braiding. We develop the notion of ‐crossed braided zesting: an explicit method for constructing new ‐crossed braided fusion categories from a given one by means of cohomological data associated with the invertible objects in the category and grading group . This is achieved by adapting a similar construction for (braided) fusion categories recently described by the authors. All ‐crossed braided zestings of a given category are ‐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 ‐extensions correspond to ‐crossed braided zestings.
-
In this paper, we develop the theory of residually finite rationally [Formula: see text] (RFR[Formula: see text]) groups, where [Formula: see text] is a prime. We first prove a series of results about the structure of finitely generated RFR[Formula: see text] groups (either for a single prime [Formula: see text], or for infinitely many primes), including torsion-freeness, a Tits alternative, and a restriction on the BNS invariant. Furthermore, we show that many groups which occur naturally in group theory, algebraic geometry, and in 3-manifold topology enjoy this residual property. We then prove a combination theorem for RFR[Formula: see text] groups, which we use to study the boundary manifolds of algebraic curves [Formula: see text] and in [Formula: see text]. We show that boundary manifolds of a large class of curves in [Formula: see text] (which includes all line arrangements) have RFR[Formula: see text] fundamental groups, whereas boundary manifolds of curves in [Formula: see text] may fail to do so.more » « less
-
Using a result of Longo and Xu, we show that the anomaly arising from a cyclic permutation orbifold of order 3 of a holomorphic conformal net [Formula: see text] with central charge [Formula: see text] depends on the “gravitational anomaly” [Formula: see text]. In particular, the conjecture that holomorphic permutation orbifolds are non-anomalous and therefore a stronger conjecture of Müger about braided crossed [Formula: see text]-categories arising from permutation orbifolds of completely rational conformal nets are wrong. More generally, we show that cyclic permutations of order [Formula: see text] are non-anomalous if and only if [Formula: see text] or [Formula: see text]. We also show that all cyclic permutation gaugings of [Formula: see text] arise from conformal nets.more » « less
-
For a finite-index [Formula: see text] subfactor [Formula: see text], we prove the existence of a universal Hopf ∗-algebra (or, a discrete quantum group in the analytic language) acting on [Formula: see text] in a trace-preserving fashion and fixing [Formula: see text] pointwise. We call this Hopf ∗-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse.more » « less