Related papers: Berger-Joyal duality and traces I
In this paper, we construct a rigid concrete $C^*$-tensor category whose associated compact quantum group, reconstructed via Woronowicz--Tannaka--Krein duality, is the free wreath product of classical groups.
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.
Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules.…
We calculate the Hochschild and cyclic cohomology of the $\mathbb Z_2$ toroidal orbifold $\mathcal A_\theta^{alg} \rtimes \mathbb Z_2$. We also calculate the Chern-Connes pairing of the even cyclic cohomology group with the known elements…
We consider RoCK (or Rouquier) blocks of symmetric groups and Hecke algebras at roots of unity. We prove a conjecture of Turner asserting that a certain idempotent truncation of a RoCK block of weight $d$ of a symmetric group $\mathfrak…
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas…
We prove that any fusion category over $\mathbb{C}$ with exactly one non-invertible simple object is spherical. Furthermore, we classify all such categories that come equipped with a braiding.
Let G and K be groupoids. We present the notion of a (G_{\alpha},K_{\beta})-set and we prove a duality theorem in this context, which extends the duality theorem for graded algebras by groups. For A a unital G-graded algebra and X a finite…
We give a new proof of the equivalence between two of the main models for $(\infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $\Theta_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the…
We study $\Theta_S-$cyclic codes over the family of rings $A_k.$ We characterize $\Theta_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $\Theta_S-$cyclic then…
A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
While there has been growing interest for noncommutative spaces in recent times, most examples have been based on the simplest noncommutative algebra: [x_i,x_j]=i theta_{ij}. Here we present new classes of (non-formal) deformed products…
We investigate ternary products of groupoids and prove that there is a one-to-one correspondence between the collection of right modular groupoids with a left identity element l and laterally commutative, l-bi-unital semiheaps. This result…
Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath…
The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^\Delta$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show…
In the simplicial theory of hypercoverings, we replace the indexing category $\Delta$ by the \emph{symmetric simplicial category} $\Delta S$ and study (a class of) $\Delta S$-hypercoverings, which we call \emph{spaces admitting symmetric…
Since its introduction by Loday in 1995 with motivation from algebraic K-theory, dendriform dialgebras have been studied quite extensively with connections to several areas in mathematics and physics. A few more similar structures have been…
Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and relations. In proof theory this…
Let the discrete group G act properly and isometrically on the Riemannian manifold X. Let C_0(X, \delta) be the section algebra of a smooth locally trivial G-equivariant bundle of elementary C*-algebras representing an element \delta of the…