skip to main content


Title: Analyzing the Weyl Construction for Dynamical Cartan Subalgebras
Abstract When the reduced twisted $C^*$-algebra $C^*_r({\mathcal{G}}, c)$ of a non-principal groupoid ${\mathcal{G}}$ admits a Cartan subalgebra, Renault’s work on Cartan subalgebras implies the existence of another groupoid description of $C^*_r({\mathcal{G}}, c)$. In an earlier paper, joint with Reznikoff and Wright, we identified situations where such a Cartan subalgebra arises from a subgroupoid ${\mathcal{S}}$ of ${\mathcal{G}}$. In this paper, we study the relationship between the original groupoids ${\mathcal{S}}, {\mathcal{G}}$ and the Weyl groupoid and twist associated to the Cartan pair. We first identify the spectrum ${\mathfrak{B}}$ of the Cartan subalgebra $C^*_r({\mathcal{S}}, c)$. We then show that the quotient groupoid ${\mathcal{G}}/{\mathcal{S}}$ acts on ${\mathfrak{B}}$, and that the corresponding action groupoid is exactly the Weyl groupoid of the Cartan pair. Lastly, we show that if the quotient map ${\mathcal{G}}\to{\mathcal{G}}/{\mathcal{S}}$ admits a continuous section, then the Weyl twist is also given by an explicit continuous $2$-cocycle on ${\mathcal{G}}/{\mathcal{S}} \ltimes{\mathfrak{B}}$.  more » « less
Award ID(s):
1800749
PAR ID:
10451790
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2022
Issue:
20
ISSN:
1073-7928
Page Range / eLocation ID:
15721 to 15755
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. A bstract It is well-known that blackhole and cosmological horizons in equilibrium situations are well-modeled by non expanding horizons (NEHs) [1–3]. In the first part of the paper we introduce multipole moments to characterize their geometry, removing the restriction to axisymmetric situations made in the existing literature [4]. We then show that the symmetry group $$ \mathfrak{G} $$ G of NEHs is a 1-dimensional extension of the BMS group $$ \mathfrak{B} $$ B . These symmetries are used in a companion paper [5] to define charges and fluxes on NEHs, as well as perturbed NEHs. They have physically attractive properties. Finally, it is generally not appreciated that $$ \mathcal{I} $$ I ± of asymptotically flat space-times are NEHs in the conformally completed space-time . Forthcoming papers will (i) show that $$ \mathcal{I} $$ I ± have a small additional structure that reduces $$ \mathfrak{G} $$ G to the BMS group $$ \mathfrak{B} $$ B , and the BMS charges and fluxes can be recovered from the NEH framework; and, (ii) develop gravitational wave tomography for the late stage of compact binary coalescences: reading-off the dynamics of perturbed NEHs in the strong field regime (via evolution of their multipoles), from the waveform at $$ \mathcal{I} $$ I + . 
    more » « less
  2. A bstract In a companion paper [1] we showed that the symmetry group $$ \mathfrak{G} $$ G of non-expanding horizons (NEHs) is a 1-dimensional extension of the Bondi-Metzner-Sachs group $$ \mathfrak{B} $$ B at $$ \mathcal{I} $$ I + . For each infinitesimal generator of $$ \mathfrak{G} $$ G , we now define a charge and a flux on NEHs as well as perturbed NEHs. The procedure uses the covariant phase space framework in presence of internal null boundaries $$ \mathcal{N} $$ N along the lines of [2–6]. However, $$ \mathcal{N} $$ N is required to be an NEH or a perturbed NEH. Consequently, charges and fluxes associated with generators of $$ \mathfrak{G} $$ G are free of physically unsatisfactory features that can arise if $$ \mathcal{N} $$ N is allowed to be a general null boundary. In particular, all fluxes vanish if $$ \mathcal{N} $$ N is an NEH, just as one would hope; and fluxes associated with symmetries representing ‘time-translations’ are positive definite on perturbed NEHs. These results hold for zero as well as non-zero cosmological constant. In the asymptotically flat case, as noted in [1], $$ \mathcal{I} $$ I ± are NEHs in the conformally completed space-time but with an extra structure that reduces $$ \mathfrak{G} $$ G to $$ \mathfrak{B} $$ B . The flux expressions at $$ \mathcal{N} $$ N reflect this synergy between NEHs and $$ \mathcal{I} $$ I + . In a forthcoming paper, this close relation between NEHs and $$ \mathcal{I} $$ I + will be used to develop gravitational wave tomography, enabling one to deduce horizon dynamics directly from the waveforms at $$ \mathcal{I} $$ I + . 
    more » « less
  3. This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \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 I quantum subgroups of C ( s l r + 1 , k ) \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 C ( s l 2 , 16 ) Rep ⁡ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ⁡ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ⁡ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ⁡ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\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 C ( s l r + 1 , k ) \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 - D D case, which is used to construct one of the exceptionals. 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 I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I 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 C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . 
    more » « less
  4. Abstract

    Let $k$ be an algebraically closed field of characteristic $p$, and let ${\mathcal{O}}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ be a finite group and $B$ a block of ${\mathcal{O}} G$ with normal abelian defect group and abelian $p^{\prime}$ inertial quotient $L$. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the key steps towards Donovan’s conjecture. For ${\mathcal{O}}=k$, we give an explicit description of the basic algebra of $B$ as a quiver with relations. It is a quantized version of the group algebra of the semidirect product $P\rtimes L$.

     
    more » « less
  5. Abstract

    We use [11] to study the algebra structure of twisted cotriangular Hopf algebras ${}_J\mathcal{O}(G)_{J}$, where $J$ is a Hopf $2$-cocycle for a connected nilpotent algebraic group $G$ over $\mathbb{C}$. In particular, we show that ${}_J\mathcal{O}(G)_{J}$ is an affine Noetherian domain with Gelfand–Kirillov dimension $\dim (G)$, and that if $G$ is unipotent and $J$ is supported on $G$, then ${}_J\mathcal{O}(G)_{J}\cong U({\mathfrak{g}})$ as algebras, where ${\mathfrak{g}}={\textrm{Lie}}(G)$. We also determine the finite dimensional irreducible representations of ${}_J\mathcal{O}(G)_{J}$, by analyzing twisted function algebras on $(H,H)$-double cosets of the support $H\subset G$ of $J$. Finally, we work out several examples to illustrate our results.

     
    more » « less