Searcharxiv⌕ Search

arXiv subjects

Martín Mombelli

Publications and source records attributed to Martín Mombelli.

13 recordsLinked to original sources
arXiv2025

Central Hopf Monads and Braided Commutative Algebras

Let $ V$ be a braided tensor category and $ C$ a tensor category equipped with a braided tensor functor $G:V\to Z(C)$. For any exact indecomposable $C$-module category $M$, we explicitly construct a right adjoint of the action functor $ρ:Z^V(C)\to C^*_{M}$ afforded by $M$. Here $Z^V(C)$ is the Müger's centralizer of the subcategory $G(V)$ inside the center $Z^V(C)$, also known as the relative center. The construction is parallel to the one presented by K. Shimizu, but using instead the relative coend end. This adjunction turns out to be monadic, thus inducing Hopf monads $T_{V}: C\to C$, such that there is a monoidal equivalence of categories $ C_{T_{V}}\simeq Z^V(C).$ If $\barρ: C^*_{ M}\to Z^V(C)$ is the right adjoint of $ρ,$ then $\barρ(Id_{M})$ is the braided commutative algebra constructed in [R. Laugwitz and C. Walton. Braided commutative algebras over quantized enveloping algebras, Transform. Groups 26(3) (2021), 957--993]. As a consequence of our construction of these algebras, in terms of the right adjoint to $ρ$, we can provide a recipe to compute them when $C=Rep(H\# T)$ is the category of finite-dimensional representations of a finite-dimensional Hopf algebra $H\# T$ obtained by bosonization, and choosing an arbitrary $Rep(H\# T)$-module category $M$. We show an explicit example in the case of Taft algebras.

math.QA↗
arXiv2024

Fibre functors and reconstruction of Hopf algebras

The main objective of the present paper is to present a version of the Tannaka-Krein type reconstruction Theorems: If $F:B\to C$ is an exact faithful monoidal functor of tensor categories, one would like to realize $B$ as category of representations of a braided Hopf algebra $H(F)$ in $C$. We prove that this is the case iff $B$ has the additional structure of a monoidal $C$-module category compatible with $F$, which equivalently means that $F$ admits a monoidal section. For Hopf algebras, this reduces to a version of the Radford projection theorem. The Hopf algebra is constructed through the relative coend for module categories. We expect this basic result to have a wide range of applications, in particular in the absence of fibre functors, and we give some applications. One particular motivation was the logarithmic Kazhdan-Lusztig conjecture.

math.QA↗
arXiv2022

Relative Adjoint Algebras

Given a finite tensor category $\ca$, an exact indecomposable $\ca$-module category $\Mo$, and a tensor subcategory $\Do\subseteq \ca^*_\Mo$, we describe a way to produce \textit{exact} commutative algebras in the center $Z(\ca)$, measuring this inclusion. The construction of such algebras is done in an analogous way as presented by Shimizu \cite{Sh2}, but using instead the \textit{relative (co)end}, a categorical tool developed in \cite{BM} in the realm of representations of tensor categories. We provide some explicit computations.

math.QA↗
arXiv2021

The adjoint algebra for 2-categories

For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of $\ca$-module categories, coincides with the one introduced by Shimizu [Further results on the structure of (Co)ends in fintite tensor categories}, Appl. Categor. Struct. (2019). https://doi.org/10.1007/s10485-019-09577-7]. As a consequence of this general approach, we obtain new results on the adjoint algebra for tensor categories.

math.QA↗
arXiv2021

(Co)ends for representations of tensor categories

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results in the theory of representations of finite tensor categories. As a new application, we present a description of the relative Serre functor for module categories in terms of a module coend, in a analogous way as a Morita invariant description of the Nakayama functor of abelian categories presented in [J. Fuchs, G. Schaumann and C. Schweigert, Eilenberg-Watts calculus for finite categories and a bimodule Radford S^4 theorem, Trans. Amer. Math. Soc. 373 (2020), 1-40]

math.QA↗
arXiv2020

The character algebra for module categories over Hopf algebras

Given a finite dimensional Hopf algebra H and an exact indecomposable module category M over Rep(H), we explicitly compute the adjoint algebra A_M as an object in the category of Yetter-Drinfeld modules over H, and the space of class functions CF(M) associated to M, as introduced by K. Shimizu [ Further results on the structure of (Co)ends in fintite tensor categories, preprint arXiv:1801.02493]. We use our construction to describe these algebras when H is a group algebra and a dual group algebra. This result allows us to compute the adjoint algebra for certain group-theoretical fusion categories.

math.QA↗
arXiv2020

Equivalence classes of exact module categories over graded tensor categories

We describe equivalence classes of exact indecomposable module categories over a finite graded tensor category. When applied to a pointed fusion category, our results coincide with the ones obtained in [S. Natale, On the equivalence of module categories over a group-theoretical fusion category, SIGMA, Symmetry Integrability Geom. Methods Appl. 13 Paper 042, 9 p. (2017)].

math.QA↗
arXiv2017

Group actions on 2-categories

We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonatural transformation and modification. Our first main result is a coherence theorem for 2-categories with an action of a group. For a 2-category B with an action of a group G, we construct a braided G-crossed monoidal category Z_G(B) with trivial component the Drinfeld center of B. We prove that, in the case of a G-action on the 2-category of representation of a tensor category C, the 2-category of equivariant objects is biequivalent to the module categories over an associated G-extension of C. Finally, we prove that the center of the equivariant 2-category is monoidally equivalent to the equivariantization of a relative center, generalizing results obtained in [S. Gelaki, D. Naidu and D. Nikshych, Centers of graded fusion categories, Algebra Number Theory 3, No. 8 (2009), 959--990.]

math.QA↗
arXiv2014

Module categories over equivariantized tensor categories

For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and some extra data. We also give a 2-categorical interpretation of the process of equivariantization of module categories.

math.QA↗
arXiv2011

Module categories over finite pointed tensor categories

We study exact module categories over the representation categories of finite-dimensional quasi-Hopf algebras. As a consequence we classify exact module categories over some families of pointed tensor categories with cyclic group of invertible objets of order p, where p is a prime number.

math.QA↗