Source author record

Victor Ostrik

Victor Ostrik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

18 published item(s)

preprint2026arXiv

On the structure of Witt groups and minimal extension conjecture

Let $\mathcal{E}=\text{Rep}(G)$ be a Tannakian fusion category. For a braided fusion category $\mathcal{C}$ over $\mathcal{E}$ we give sufficient and necessary conditions that characterize the Witt relation $[\mathcal{C}]=[\mathcal{E}]$. Then we show the Witt group $\mathcal{W}(\mathcal{E})$ is naturally a direct sum of Witt group $\mathcal{W}:=\mathcal{W}(\text{Vec})$ and the group $\text{H}^4(G,\mathbb{K}^\times)$. Consequently, for any non-degenerate fusion category $\mathcal{C}$ over $\mathcal{E}$, there is a positive integer $n$ (e.g. $n=|G|$) such that $\mathcal{C}^{\boxtimes_\mathcal{E}^n}$ admits a minimal extension.

preprint2022arXiv

On Frobenius exact symmetric tensor categories

A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde category Ver_p (i.e., is the representation category of an affine group scheme in Ver_p) if and only if it has moderate growth and is Frobenius exact. This implies that Frobenius exact pre-Tannakian categories of moderate growth admit a well-behaved notion of Frobenius-Perron dimension. It follows that any semisimple pre-Tannakian category of moderate growth has a fiber functor to Ver_p (so in particular Deligne's theorem holds on the nose for semisimple pre-Tannakian categories in characteristics 2,3). This settles a conjecture of the third author from 2015. In particular, this result applies to semisimplifications of categories of modular representations of finite groups (or, more generally, affine group schemes), which gives new applications to classical modular representation theory. For example, it allows us to characterize, for a modular representation V, the possible growth rates of the number of indecomposable summands in V^{\otimes n} of dimension prime to p.

preprint2020arXiv

$p$-adic dimensions in symmetric tensor categories in characteristic $p$

To every object $X$ of a symmetric tensor category over a field of characteristic $p>0$ we attach $p$-adic integers $\text{Dim}_+(X)$ and $\text{Dim}_-(X)$ whose reduction modulo $p$ is the categorical dimension $\text{dim}(X)$ of $X$, coinciding with the usual dimension when $X$ is a vector space. We study properties of $\text{Dim}_{\pm}(X)$, and in particular show that they don't always coincide with each other, and can take any value in $\mathbb{Z}_p$. We also discuss the connection of $p$-adic dimensions with the theory of $λ$-rings and Brauer characters.

preprint2020arXiv

On the Frobenius functor for symmetric tensor categories in positive characteristic

We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor $F: \mathcal{C}\to \mathcal{C}\boxtimes {\rm Ver}_p$, where ${\rm Ver}_p$ is the Verlinde category (the semisimplification of ${\rm Rep}_{\bf k}(\mathbb{Z}/p)$). This generalizes the usual Frobenius twist functor in modular representation theory and also one defined in arXiv:1503.01492, where it is used to show that if $\mathcal{C}$ is finite and semisimple then it admits a fiber functor to ${\rm Ver}_p$. The main new feature is that when $\mathcal{C}$ is not semisimple, $F$ need not be left or right exact, and in fact this lack of exactness is the main obstruction to the existence of a fiber functor $\mathcal{C}\to {\rm Ver}_p$. We show, however, that there is a 6-periodic long exact sequence which is a replacement for the exactness of $F$, and use it to show that for categories with finitely many simple objects $F$ does not increase the Frobenius-Perron dimension. We also define the notion of a Frobenius exact category, which is a STC on which $F$ is exact, and define the canonical maximal Frobenius exact subcategory $\mathcal{C}_{\rm ex}$ inside any STC $\mathcal{C}$ with finitely many simple objects. Namely, this is the subcategory of all objects whose Frobenius-Perron dimension is preserved by $F$. We prove that a finite STC is Frobenius exact if and only if it admits a (necessarily unique) fiber functor to ${\rm Ver}_p$. We also show that a sufficiently large power of $F$ lands in $\mathcal{C}_{\rm ex}$. Also, in characteristic 2 we introduce a slightly weaker notion of an almost Frobenius exact category and show that a STC with Chevalley property is (almost) Frobenius exact.

preprint2020arXiv

Symplectic level-rank duality via tensor categories

We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.

preprint2016arXiv

Computations in symmetric fusion categories in characteristic p

We study properties of symmetric fusion categories in characteristic $p$. In particular, we introduce the notion of a super Frobenius-Perron dimension of an object $X$ of such a category, and derive an explicit formula for the Verlinde fiber functor $F(X)$ of $X$ (defined by the second author) in terms of the usual and super Frobenius-Perron dimension of $X$. We also compute the decomposition of symmetric powers of objects of the Verlinde category, generalizing a classical formula of Cayley and Sylvester for invariants of binary forms. Finally, we show that the Verlinde fiber functor is unique, and classify braided fusion categories of rank two and triangular semisimple Hopf algebras in any characteristic.

preprint2014arXiv

Character D-modules via Drinfeld center of Harish-Chandra bimodules

The category of character D-modules is realized as Drinfeld center of the abelian monoidal category of Harish-Chandra bimodules. Tensor product of Harish-Chandra bimodules is related to convolution of D-modules via the long intertwining functor (Radon transform) by a result of Beilinson and Ginzburg. Exactness property of the long intertwining functor on a cell subquotient of the Harish-Chandra bimodules category shows that the truncated convolution category can be realized as a subquotient of the category of Harish-Chandra bimodules. Together with the description of the truncated convolution category arXiv:math/0605628v3 this allows us to derive classification of irreducible character sheaves over $\mathbb C$ obtained by Lusztig by a different method. We also give a simple description for the top cohomology of convolution of character sheaves over $\mathbb C$ in a given cell modulo smaller cells and relate the so-called Harish-Chandra functor to Verdier specialization in the De Concini-Procesi compactification.

preprint2011arXiv

On the structure of the Witt group of braided fusion categories

We analyze the structure of the Witt group W of braided fusion categories introduced in the previous paper arXiv:1009.2117v2. We define a "super" version of the categorical Witt group, namely, the group sW of slightly degenerate braided fusion categories. We prove that sW is a direct sum of the classical part, an elementary Abelian 2-group, and a free Abelian group. Furthermore, we show that the kernel of the canonical homomorphism S: W --> sW is generated by Ising categories and is isomorphic to Z/16Z. Finally, we give a complete description of etale algebras in tensor products of braided fusion categories.

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.