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

Shlomo Gelaki

Shlomo Gelaki contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath.CTmath.RAmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
4topics
4close 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

10 published item(s)

preprint2022arXiv

Exact factorizations and extensions of finite tensor categories

We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of finite tensor categories to exact sequences of finite tensor categories with respect to exact module categories \cite{EG}. We apply our results to study exact factorizations of quasi-Hopf algebras, and extensions of a finite group scheme theoretical tensor category \cite{G2} by another one. We also provide several examples to illustrate our results.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Minimal extensions of Tannakian categories in positive characteristic

We extend \cite[Theorem 4.5]{DGNO} and \cite[Theorem 4.22]{LKW} to positive characteristic (i.e., to the finite, not necessarily fusion, case). Namely, we prove that if $\D$ is a finite non-degenerate braided tensor category over an algebraically closed field $k$ of characteristic $p>0$, containing a Tannakian Lagrangian subcategory $\Rep(G)$, where $G$ is a finite $k$-group scheme, then $\D$ is braided tensor equivalent to $\Rep(D^ω(G))$ for some $ω\in H^3(G,\mathbb{G}_m)$, where $D^ω(G)$ denotes the twisted double of $G$ \cite{G2}. We then prove that the group $\mathcal{M}_{\rm ext}(\Rep(G))$ of minimal extensions of $\Rep(G)$ is isomorphic to the group $H^3(G,\mathbb{G}_m)$. In particular, we use \cite{EG2,FP} to show that $\mathcal{M}_{\rm ext}(\Rep(μ_p))=1$, $\mathcal{M}_{\rm ext}(\Rep(α_p))$ is infinite, and if $Ø(Γ)^*=u(\g)$ for a semisimple restricted $p$-Lie algebra $\g$, then $\mathcal{M}_{\rm ext}(\Rep(Γ))=1$ and $\mathcal{M}_{\rm ext}(\Rep(Γ\times α_p))\cong \g^{*(1)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Module categories over affine supergroup schemes

Let $k$ be an algebraically closed field of characteristic $0$ or $p>2$. Let $\mathcal{G}$ be an affine supergroup scheme over $k$. We classify the indecomposable exact module categories over the tensor category ${\rm sCoh}_{\rm f}(\mathcal{G})$ of (coherent sheaves of) finite dimensional $\mathcal{O}(\mathcal{G})$-supermodules in terms of $(\mathcal{H},Ψ)$-equivariant coherent sheaves on $\mathcal{G}$. We deduce from it the classification of indecomposable {\em geometrical} module categories over $\sRep(\mathcal{G})$. When $\mathcal{G}$ is finite, this yields the classification of {\em all} indecomposable exact module categories over the finite tensor category $\sRep(\mathcal{G})$. In particular, we obtain a classification of twists for the supergroup algebra $k\mathcal{G}$ of a finite supergroup scheme $\mathcal{G}$, and then combine it with \cite[Corollary 4.1]{EG3} to classify finite dimensional triangular Hopf algebras with the Chevalley property over $k$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On finite non-degenerate braided tensor categories with a Lagrangian subcategory

Let $W$ be a finite dimensional purely odd supervector space over $\mathbb{C}$, and let $\sRep(W)$ be the finite symmetric tensor category of finite dimensional superrepresentations of the finite supergroup $W$. We show that the set of equivalence classes of finite non-degenerate braided tensor categories $\C$ containing $\sRep(W)$ as a Lagrangian subcategory is a torsor over the cyclic group $\mathbb{Z}/16\mathbb{Z}$. In particular, we obtain that there are $8$ non-equivalent such braided tensor categories $\C$ which are integral and $8$ which are non-integral.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Virtually indecomposable tensor categories

Let k be any field. J-P. Serre proved that the spectrum of the Grothendieck ring of the k-representation category of a group is connected, and that the same holds in characteristic zero for the representation category of a Lie algebra over k. We say that a tensor category C over k is virtually indecomposable if its Grothendieck ring contains no nontrivial central idempotents. We prove that the following tensor categories are virtually indecomposable: Tensor categories with the Chevalley property; representation categories of affine group schemes; representation categories of formal groups; representation categories of affine supergroup schemes (in characteristic \ne 2); representation categories of formal supergroups (in characteristic \ne 2); symmetric tensor categories of exponential growth in characteristic zero. In particular, we obtain an alternative proof to Serre's Theorem, deduce that the representation category of any Lie algebra over k is virtually indecomposable also in positive characteristic (this answers a question of Serre), and (using a theorem of Deligne in the super case, and a theorem of Deligne-Milne in the even case) deduce that any (super)Tannakian category is virtually indecomposable (this answers another question of Serre).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On braided fusion categories I

This work is a detailed version of arXiv:0704.0195 [math.QA]. We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and self-contained exposition of the known results on braided fusion categories without assuming them pre-modular or non-degenerate. The guiding heuristic principle of our work is an analogy between braided fusion categories and Casimir Lie algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Semisimplicity in symmetric rigid tensor categories

Let λbe a partition of a positive integer n. Let C be a symmetric rigid tensor category over a field k of characteristic 0 or char(k)>n, and let V be an object of C. In our main result (Theorem 4.3) we introduce a finite set of integers F(λ) and prove that if the Schur functor \mathbb{S}_λ V of V is semisimple and the dimension of V is not in F(λ), then V is semisimple. Moreover, we prove that for each d in F(λ) there exist a symmetric rigid tensor category C over k and a non-semisimple object V in C of dimension d such that \mathbb{S}_λ V is semisimple (which shows that our result is the best possible). In particular, Theorem 4.3 extends two theorems of Serre for C=Rep(G), G is a group, and \mathbb{S}_λ V is \wedge^n V or Sym^n V, and proves a conjecture of Serre (\cite{s1}).

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Centers of graded fusion categories

Let C be a fusion category faithfully graded by a finite group G and let D be the trivial component of this grading. The center Z(C) of C is shown to be canonically equivalent to a G-equivariantization of the relative center Z_D(C). We use this result to obtain a criterion for C to be group-theoretical and apply it to Tambara-Yamagami fusion categories. We also find several new series of modular categories by analyzing the centers of Tambara-Yamagami categories. Finally, we prove a general result about existence of zeroes in S-matrices of weakly integral modular categories.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Some properties of group-theoretical categories

We first show that every group-theoretical category is graded by a certain double coset ring. As a consequence, we obtain a necessary and sufficient condition for a group-theoretical category to be nilpotent. We then give an explicit description of the simple objects in a group-theoretical category (following Ostrik, arXiv:math/0202130) and of the group of invertible objects of a group-theoretical category, in group-theoretical terms. Finally, under certain restrictive conditions, we describe the universal grading group of a group-theoretical category.

0 citations0 reviewsNo code linkedOpen access