BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Robert McRae

Robert McRae contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath.RTmath.CTmath-phmath.MPhep-th

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
6topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2023arXiv

An $\mathfrak{sl}_2$-type tensor category for the Virasoro algebra at central charge $25$ and applications

Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mathcal{O}_{25}$ is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional $\mathfrak{sl}_2$-modules. We also show that this $\mathfrak{sl}_2$-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge $1$. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge $25$ as a $PSL_2(\mathbb{C})$-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of $SL_2$ at level $-1$, showing that it has a symmetric tensor category of representations equivalent to $\mathrm{Rep}\,PSL_2(\mathbb{C})$. This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges $1$ and $25$, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Gluing vertex algebras

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for $\mathcal{C}$ a braided tensor category, we give a detailed construction of the canonical algebra in $\mathcal{C}\boxtimes\mathcal{C}^\text{rev}$: if $\mathcal{C}$ is semisimple but not necessarily finite or rigid, then $\bigoplus_{X\in\text{Irr}(\mathcal{C})}X'\boxtimes X$ is a commutative algebra, with $X'$ a representing object for $\text{Hom}_\mathcal{C}(\bullet\otimes_\mathcal{C}X,\mathbf{1}_{\mathcal{C}})$. Conversely, let $A=\bigoplus_{i\in I}U_i\boxtimes V_i$ be a simple commutative algebra in $\mathcal{U}\boxtimes\mathcal{V}$ with $\mathcal{U}$ semisimple and rigid but not necessarily finite, and $\mathcal{V}$ rigid but not necessarily semisimple. If the unit objects of $\mathcal{U}$ and $\mathcal{V}$ form a commuting pair in $A$, we show there is a braid-reversed equivalence between subcategories of $\mathcal{U}$ and $\mathcal{V}$ sending $U_i$ to $V_i^*$. When $\mathcal{U}$ and $\mathcal{V}$ are module categories for simple vertex operator algebras $U$ and $V$, we glue $U$ and $V$ along $\mathcal{U}\boxtimes\mathcal{V}$ via a map $τ:\text{Irr}(\mathcal{U})\rightarrow\text{Obj}(\mathcal{V})$ such that $τ(U)=V$ to create $A=\bigoplus_{X\in\text{Irr}(\mathcal{U})}X'\otimesτ(X)$. Thus under certain conditions, $τ$ extends to a braid-reversed equivalence between $\mathcal{U}$ and $\mathcal{V}$ if and only if $A$ is a simple conformal vertex algebra extending $U\otimes V$. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and $W$-algebras at admissible levels.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On semisimplicity of module categories for finite non-zero index vertex operator subalgebras

Let $V\subseteq A$ be a conformal inclusion of vertex operator algebras and let $\mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $\mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $\mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $\mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite and non-zero. As a consequence, we show that if $A$ is strongly rational, then $V$ is also strongly rational under the following conditions: $A$ contains $V$ as a $V$-module direct summand, $V$ is $C_2$-cofinite with a rigid tensor category of modules, and $A$ has non-zero categorical dimension as a $V$-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that $A$ is a vertex operator superalgebra.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Direct limit completions of vertex tensor categories

We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On ribbon categories for singlet vertex algebras

We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra $\mathcal{M}(p)$, $p\geq 2$. The first category consists of all finite-length $\mathcal{M}(p)$-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra $\mathcal{W}(p)$. We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On the tensor structure of modules for compact orbifold vertex operator algebras

Suppose $V^G$ is the fixed-point vertex operator subalgebra of a compact group $G$ acting on a simple abelian intertwining algebra $V$. We show that if all irreducible $V^G$-modules contained in $V$ live in some braided tensor category of $V^G$-modules, then they generate a tensor subcategory equivalent to the category $\mathrm{Rep}\,G$ of finite-dimensional representations of $G$, with associativity and braiding isomorphisms modified by the abelian $3$-cocycle defining the abelian intertwining algebra structure on $V$. Additionally, we show that if the fusion rules for the irreducible $V^G$-modules contained in $V$ agree with the dimensions of spaces of intertwiners among $G$-modules, then the irreducibles contained in $V$ already generate a braided tensor category of $V^G$-modules. These results do not require rigidity on any tensor category of $V^G$-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when $V^G$ is $C_2$-cofinite but not necessarily rational. When $V^G$ is both $C_2$-cofinite and rational and $V$ is a vertex operator algebra, we use the equivalence between $\mathrm{Rep}\,G$ and the corresponding subcategory of $V^G$-modules to show that $V$ is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge $1$ admits a braided tensor category structure equivalent to $\mathrm{Rep}\,SU(2)$, up to modification by an abelian $3$-cocycle.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Vertex algebraic intertwining operators among generalized Verma modules for affine Lie algebras

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When $\mathfrak{g}=\mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $\hat{\mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Vertex algebraic intertwining operators among generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$

We construct vertex algebraic intertwining operators among certain generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$ and calculate the corresponding fusion rules. Additionally, we show that under some conditions these intertwining operators descend to intertwining operators among one generalized Verma module and two (generally non-standard) irreducible modules. Our construction relies on the irreducibility of the maximal proper submodules of generalized Verma modules appearing in the Garland-Lepowsky resolutions of standard $\widehat{\mathfrak{sl}(2,\mathbb{C})}$-modules. We prove this irreducibility using the composition factor multiplicities of irreducible modules in Verma modules for symmetrizable Kac-Moody Lie algebras of rank $2$, given by Rocha-Caridi and Wallach.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Integral forms for tensor powers of the Virasoro vertex operator algebra $L(\frac{1}{2},0)$ and their modules

We construct integral forms containing the conformal vector $ω$ in certain tensor powers of the Virasoro vertex operator algebra $L(\frac{1}{2},0)$, and we construct integral forms in certain modules for these algebras. When a triple of modules for a tensor power of $L(\frac{1}{2},0)$ have integral forms, we classify which intertwining operators among these modules respect the integral forms. As an application, we explore how these results might be used to obtain integral forms in framed vertex operator algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Intertwining operators among modules for affine Lie algebra and lattice vertex operator algebras which respect integral forms

We define an integral intertwining operator among modules for a vertex operator algebra to be an intertwining operator which respects integral forms in the modules, and we show that an intertwining operator is integral if it is integral when restricted to generators of the integral forms in the modules. We apply this result to classify integral intertwining operators which respect certain natural integral forms in modules for affine Lie algebra and lattice vertex operator algebras.

0 citations0 reviewsNo code linkedOpen access