Related papers: Linear relations over commutative rings
Soit F la cat\'{e}gorie des foncteurs entre espaces vectoriels sur un corps fini. Les cat\'{e}gories de foncteurs en grassmanniennes sont obtenues en rempla\c{c}ant la source de cette cat\'{e}gorie par la cat\'{e}gorie des couples…
For smooth families of projective algebraic curves, we extend the notion of intersection pairing of metrized line bundles to a pairing on line bundles with flat relative connections. In this setting, we prove the existence of a canonical…
On contact manifolds we describe a notion of (contact) finite-type for linear partial differential operators satisfying a natural condition on their leading terms. A large class of linear differential operators are of finite-type in this…
We study a certain family of finite-dimensional simple representations over quantum affine superalgebras associated to general linear Lie superalgebras, the so-called fundamental representations: the denominators of rational $R$-matrices…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…
We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, oriented matroids, and regular matroids. To do this, we first introduce algebraic objects called tracts which…
The orthogonal groups are a series of simple Lie groups associated to symmetric bilinear forms. There is no analogous series associated to symmetric trilinear forms. We introduce an infinite dimensional group-like object that can be viewed…
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models for three closely related classes of layered monoidal…
Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $\lambda$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we…
This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with…
We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by…
We develop a unified representation theory for the categories of finite subsets and relation-preserving maps of highly homogeneous relational structures classified by Cameron. For any commutative coefficient ring $k$, we extend the…
A double covering of the proper orthochronous Lorentz group is understood as a complexification of the special unimodular group of second order (a double covering of the 3-dimensional rotation group). In virtue of such an interpretation the…
In this paper, we give a method to construct a classical modular form from a Hilbert modular form. By applying this method, we can get linear formulas which relate the Fourier coefficients of the Hilbert and classical modular forms. The…
Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…