Related papers: On cubic functors
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
Given an irreducible representation of $SL_2(F_q)$ for an odd prime $q\geq 5$, we find the dimension of the space of cusp forms with respect to the full modular group taking values in the representation space. The dimension equals the…
The Frobenius-Perron theory of an endofunctor of a category was introduced in recent years [12, 13]. We apply this theory to monoidal (or tensor) triangulated structures of quiver representations.
We compare derived categories of the category of strict polynomial functors over a finite field and the category of ordinary endofunctors on the category of vector spaces. We introduce two intermediate categories: the category of…
We use a noncommutative generalization of Fourier analysis to define a broad class of pseudo-probability representations, which includes the known bosonic and discrete Wigner functions. We characterize the groups of quantum unitary…
We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is…
Classifications and representations are two main topics in the theory of quadratic forms. In this paper, we consider these topics of ternary quadratic forms. For a given squarefree integer $N$, first we give the classification of positive…
It is known that on $\mathrm{RCD}$ spaces one can define a distributional Ricci tensor ${\bf Ric}$. Here we give a fine description of this object by showing that it admits the polar decomposition $${\bf Ric}=\omega\,|{\bf Ric}|$$ for a…
Relative theories(=closed subfunctors) are considered in exact, triangulated and extriangulated categories by Dr\"{a}xler-Reiten-Smal{\o}-Solberg-Keller, Beligiannis and Herschend-Liu-Nakaoka, respectively. We give a construction method of…
In this paper, we define the functor category Fquad associated to vector spaces over the field with two elements, F\_2, equipped with a quadratic form. We show the existence of a fully-faithful, exact functor \iota: \F \to Fquad, which…
A set valued representation of the Kronecker quiver is nothing but a quiver. We apply the forgetful functor from vector spaces to sets and compare linear with set valued representations of the Kronecker quiver.
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
A rigorous mathematical proof is given of a class of vector identities that provide a way to separate an arbitrary vector field (over a linear space) into the sum of a radial (i.e., pointing toward the radial unit vector) vector field,…
We give simple proofs of the Davenport--Heilbronn theorems, which provide the main terms in the asymptotics for the number of cubic fields having bounded discriminant and for the number of 3-torsion elements in the class groups of quadratic…
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the…
In this paper, some classes of discrete functions of $k$-valued logic are considered, that depend on sets of their variables in a particular way. Obtained results allow to "construct" these functions and to present them in their tabular,…
We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various…
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…