Related papers: Functors given by kernels, adjunctions and duality

Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

Let $C$ be a smooth projective curve over $\mathbb C$ of genus $g\geqslant 1$. Let $E$ be a vector bundle on $C$ of rank $r$ and degree $e$. Given integers $k_1,k_2,d_1,d_2$ such that $r>k_1>k_2>0$, let $\mathcal Q^{k_1,k_2}_{d_1,d_2}(E)$…

We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of…

We study Verdier quotients of diverse homotopy categories of a full additive subcategory $\mathcal E$ of an abelian category. In particular, we consider the categories $K^{x,y}({\mathcal E})$ for $x\in\{\infty, +,-,b\}$, and…

Let G be the group of L-rational points of a connected split reductive group over a finite extension L of Q_p. We show that formal models of the algebraic flag variety X of G are D-affine for certain sheaves of arithmetic differential…

We shall describe the divisor class group and the graded canonical module of the multi-section ring for a normal projective variety X and Weil divisors D_1,..., D_s on X under a mild condition. In the proof, we use the theory of Krull…

We show that the Verdier quotients can be realized as subfactors by the homotopy theory of additive categories with suspensions developed in \cite{ZWLi2, ZWLi3}. As applications, we develop the homotopy theory of Nakaoka twin cotorsion…

Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category…

We analyze the 2+1 dimensional gauge theory with two fermions in the real adjoint representation with non-zero Chern-Simons level. We propose a new fermion-fermion dualities between strongly-coupled theories and determine the quantum phase…

We investigate the integrability of polynomial vector fields through the lens of duality in parameter spaces. We examine formal power series solutions annihilated by differential operators and explore the properties of the integrability…

Inspired by recent work of Hernandez-Leclerc and Leclerc-Plamondon we investigate the link between Nakajima's graded affine quiver varieties associated with an acyclic connected quiver Q and the derived category of Q. As Leclerc-Plamondon…

For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors…

This paper discusses some issues arising from the category $\mathfrak{H}$ of hypergraphs, the category $\mathfrak{M}$ of (undirected) multigraphs, and the topos $\mathfrak{Q}$ of quivers. First, the natural inclusion of $\mathfrak{M}$ into…

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…

Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…

We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image $(-)^!$ over schemes to…

For each pair of lax-idempotent pseudomonads $R$ and $I$, for which $I$ is locally fully faithful and $R$ distributes over $I$, we establish an adjoint functor theorem, relating $R$-cocontinuity to adjointness relative to $I$. This provides…

We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…