Abstract:Let $\mathcal{U}$ be a braided tensor category, typically unknown, complicated and in particular non-semisimple. We characterize $\mathcal{U}$ under the assumption that there exists a commutative algebra $A$ in $\mathcal{U}$ with certain properties: Let $\mathcal{C}$ be the category of local $A$-modules in $\mathcal{U}$ and $\mathcal{B}$ the category of $A$-modules in $\mathcal{U}$, which are in our set-up usually much simpler categories than $\mathcal{U}$. Then we can characterize $\mathcal{U}$ as a relative Drinfeld center $\mathcal{Z}_\mathcal{C}(\mathcal{B})$ and $\mathcal{B}$ as representations of a certain Hopf algebra inside $\mathcal{C}$. In particular this allows us to reduce braided tensor equivalences to the knowledge of abelian equivalences, e.g. if we already know that $\mathcal{U}$ is abelian equivalent to the category of modules of some quantum group $U_q$ or some generalization thereof, and if $\mathcal{C}$ is braided equivalent to a category of graded vector spaces, and if $A$ has a certain form, then we already obtain a braided tensor equivalence between $\mathcal{U}$ and $\mathrm{Rep}(U_q)$. A main application of our theory is to prove logarithmic Kazhdan-Lusztig correspondences, that is, equivalences of braided tensor categories of representations of vertex algebras and of quantum groups. Here, the algebra $A$ and the corresponding category $\mathcal{C}$ are a-priori given by a free-field realization of the vertex algebra and by a Nichols algebra. We illustrate this in those examples where the representation theory of the vertex algebra is well enough understood. In particular we prove the conjectured correspondences between the singlet vertex algebra $\mathcal{M}(p)$ and the unrolled small quantum groups of $\mathfrak{sl}_2$ at $2p$-th root of unity. Another new example is the Kazhdan-Lusztig correspondence for $\mathfrak{gl}_{1|1}$.

On a general notion of a polynomial identity and codimensions

An algebraic theory for logarithmic Kazhdan-Lusztig correspondences

Structures on Categories of Polynomials

Cofiniteness conditions, projective covers and the logarithmic tensor product theory

Cohomological dimension of braided Hopf algebras

Structure theorems for braided Hopf algebras

Monoidal Structures on Generalized Polynomial Categories

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

On the Passi and the Mal'cev functors

Frobenius-Perron theory for projective schemes

Hopf-cyclic coefficients in the braided setting

Log-concavity of polynomials arising from equivariant cohomology

Deligne tensor products of categories of modules for vertex operator algebras

Cotorsion pairs, Gorenstein dimensions and triangle-equivalences

Multi-oriented props and homotopy algebras with branes

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Inductive systems of the symmetric group, polynomial functors and tensor categories

Noncommutative Poisson vertex algebras and Courant-Dorfman algebras

Dimension results for extremal-generic polynomial systems over complete toric varieties

A new classification of algebraic identities for linear operators on associative algebras

Polynomial identities and noncommutative versal torsors