Related papers: Foncteurs de division et structure de I tenseur 2 …

In this paper we consider the locally self-injective property of the product FI$^m$ of the category FI of finite sets and injections. Explicitly, we prove that the external tensor product commutes with the coinduction functor, and hence…

For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on…

This paper is the first one in a series of three dealing with the concept of injective stabilization of the tensor product and its applications. Its primary goal is to collect known facts and establish a basic operational calculus that will…

We outline an algorithm for construction of functional bases of absolute invariants under the rotation group for sets of rank 2 tensors and vectors in the Euclidean space of arbitrary dimension. We will use our earlier results for symmetric…

I prove a theorem about iterated integrals for non-product measures in a product space. The first task is to show the existence of a family of measures on the second space, indexed by the points on of the first space (outside a negligible…

Let $G = G_{1} \times G_{2}$ be a product of two locally compact, second countable groups and $\mu \in \mathrm{Prob}(G)$ be of the form $\mu = \mu_{1} \times \mu_{2}$, where $\mu_{i} \in \mathrm{Prob}(G_{i})$. Let $(B,\nu_B)$ be the…

Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product…

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in…

This is the third part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part III), we introduce and study…

We apply the theory of functors of Artin rings to prove the existence of a universal formal solution to a exterior differential system. We compute the tangent space and the obstruction theory of the funtor of Artin ring governing the…

For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

This paper concerns the $\mathbb{Z}_2$ classification of Fermionic Time-Reversal (FTR) symmetric partial differential Hamiltonians on the Euclidean plane. We consider the setting of two insulators separated by an interface. Hamiltonians…

We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$-category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of…

The tensor functor called $\alpha$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a…

For an effective Cartier divisor D on a scheme X we may form an nth root stack. Its derived category is known to have a semiorthogonal decomposition with components given by D and X. We show that this decomposition is 2n-periodic. For n=2…

We describe the image of the canonical tensor functor from Deligne's interpolating category $Rep(GL_{m-n})$ to $Rep(GL(m|n))$ attached to the standard representation. This implies explicit tensor product decompositions between any two…

From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…