Related papers: Profinite tensor powers

We investigate cases where the finite dual coalgebra of a twisted tensor product of two algebras is a cotwisted tensor product of their respective finite dual coalgebras. This is achieved by interpreting the finite dual as a topological…

In this paper we study the relative tensor product of module categories over braided fusion categories using, in part, the notion of the relative center of a module category. In particular we investigate the canonical tensor category…

The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids…

We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model…

We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…

We give a characterization of toral relatively hyperbolic virtually special groups in terms of the profinite completion. We also prove a Tits alternative for subgroups of the profinite completion $\hat G$ of a relatively hyperbolic…

Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

A group $G$ is said to have restricted centralizers if for each $g \in G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. We take…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

We investigate the partial orderings of the form (P(X),\subset), where X is a countable binary relational structure and P(X) the set of the domains of its isomorphic substructures and show that if the components of X are maximally…

In this article we study a special class of vector bundles, called tensors. A tensor consists of a vector bundle $E$ over a smooth irreducible projective variety and a morphism of vector bundles $\varphi$. As for classical vector bundles,…

The $\star_M$-family of tensor-tensor products is a framework which generalizes many properties from linear algebra to third order tensors. Here, we investigate positive semidefiniteness and semidefinite programming under the…

We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category…

We define graded hyper-algebras of vector-valued Siegel modular forms, which allow us to study tensor products of the latter. We also define vector-valued Hecke operators for Siegel modular forms at all places of ${\mathbb Q}$, acting on…

We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give…

We express the outer multiplicities in the tensor products of two fundamental simple modules for an affine Kac-Moody algebra of type $A$ in terms of counting certain sets of multipartitions by exploring the stabilizing limits of certain…

Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products,…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…