Related papers: On Arithmetic Modular Categories
We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…
The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an…
Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy…
We consider a category of modules that admit compatible actions of the commutative algebra of Laurent polynomials and the Lie algebra of divergence zero vector fields on a torus and have a weight decomposition with finite dimensional weight…
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…
Let Hom^N_d be the set of morphisms of degree d from P^N to itself. For f an element of PGL_{N+1}, let phi^f represent the conjugation action f^{-1} phi f. Let M^N_d = Hom_d^N/PGL_{N+1} be the moduli space of degree d morphisms of P^N. A…
We classify the module categories over the double (possibly twisted) of a finite group.
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…
Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $G$ be an affine group scheme over $k$. We classify the indecomposable exact module categories over the rigid tensor category $\text{Coh}_f(G)$ of coherent sheaves of…
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
Modular categories are a well-known source of quantum 3-manifold invariants. In this paper we study structures on modular categories which allow to define refinements of quantum 3-manifold invariants involving cohomology classes or…
The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…
We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…
Arithmetic groups are groups of matrices with integral entries. We shall first discuss their origin in number theory (Gauss, Minkowski) and their role in the "reduction theory of quadratic forms". Then we shall describe these groups by…
Modular Tensor Categories (MTC's) arise in the study of certain condensed matter systems. There is an ongoing program to classify MTC's of low rank, up to modular data. We present an overview of the methods to classify modular tensor…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
We show that closed subsets of the character variety of a complex variety with negatively weighted homology, which are $p$-adically integral and Galois invariant, are motivic. Final version: Cambridge Journal of Mathematics