Related papers: When is the diagonal functor Frobenius?
We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…
For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in…
In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we introduce the Frobenius P-categories giving two quite different definitions of them. In this paper, we exhibit a third equivalent definition based on the form of the…
For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…
A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are…
We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of…
We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…
We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
Over a Noetherian, local ring R of prime characteristic p, the Frobenius functor F induces a diagonalizable map on certain quotients of rational Grothendieck groups. This leads to an explicit formula for the Dutta multiplicity, and it is…
If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…
Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…
We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not…
A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius…
Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…
For a matrix $A \in Z^{k \times n}$ of rank $k$, the diagonal Frobenius number $F_{\text{diag}}(A)$ is defined as the minimum $t \in Z_{\geq 1}$, such that, for any $b \in \text{span}_{Z}(A)$, the condition \begin{equation*} \exists x \in…
The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N…
Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this…
For a category $\mathbb{C}$, a small category $\mathbb{I}$, and a pre-cover relation $\sqsubset$ on $\mathbb C$ we prove, under certain completeness assumptions on $\mathbb C$, that a morphism $g: B\to C$ in the functor category $\mathbb…