Related papers: Functors given by kernels, adjunctions and duality
Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached…
For any finite group G with a finite G-set X and a modular tensor category C we construct a part of the algebraic structure of an associated G-equivariant monoidal category: For any group element g in G we exhibit the module category…
Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…
We build an explicit link between coherent functors in the sense of Auslander and strict polynomial functors in the sense of Friedlander and Suslin. Applications to functor cohomology are discussed.
Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…
Let $\mathscr{A}$ be a small abelian category. For a closed subbifunctor $F$ of $\Ext_{\mathscr{A}}^{1}(-,-)$, Buan has generalized the construction of the Verdier's quotient category to get a relative derived category, where he localized…
We introduce a notion of generalized Serre duality on a Hom-finite Krull-Schmidt triangulated category $\mathcal{T}$. This duality induces the generalized Serre functor on $\mathcal{T}$, which is a linear triangle equivalence between two…
The representations of dimension vector $\alpha$ of the quiver Q can be parametrised by a vector space $R(Q,\alpha)$ on which an algebraic group $\Gl(\alpha)$ acts so that the set of orbits is bijective with the set of isomorphism classes…
Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The…
We observe that an enriched right adjoint functor between model categories which preserves acyclic fibrations and fibrant objects is quite generically a right Quillen functor.
Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras with $\mathfrak{h}$ finite dimensional and consider ${\mathcal A} = {\mathcal A} (\mathfrak{h}, \, \mathfrak{g})$ to be the corresponding universal algebra as introduced in…
We show that the failure of the usual Verdier duality on Bun(G) leads to a new duality functor on the category of D-modules, and we study its relation to the operation of Eisenstein series.
There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms…
For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence…
We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…
Let G be a finite group acting linearly on the polynomial ring with invariant ring R. If the action is small, then a classical result of Auslander gives in dimension two a correspondence between linear representations of G and maximal…
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that…