Related papers: Gr\"obner-Shirshov bases for categories
This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…
In this paper, we develop the crystal basis theory for quantum generalized Kac-Moody algebras. For a quantum generalized Kac-Moody algebra $U_q(\mathfrak g)$, we first introduce the category $\mathcal O_{int}$ of $U_q(\mathfrak g)$-modules…
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish…
We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$…
We introduce balanced polyominoes and show that their ideal of inner minors is a prime ideal and has a quadratic Gr\"obner basis with respect to any monomial order, and we show that any row or column convex and any tree-like polyomino is…
In this work we develop the theory of Gr\"obner bases for modules over the ring of univariate linearized polynomials with coefficients from a finite field.
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations…
In this paper, linear bases for the partially commutative Lie algebras are found. The method of the Gr\"{o}bner--Shirshov bases is used. It easily follows from the structure that the equality problem is algorithmically solvable for the…
In this paper, a Groebner-Shirshov basis for the Chinese monoid is obtained and an algorithm for the normal form of the Chinese monoid is given.
Let T(x) in k[x] be a monic non-constant polynomial and write R=k[x] / (T) the quotient ring. Consider two bivariate polynomials a(x, y), b(x, y) in R[y]. In a first part, T = p^e is assumed to be the power of an irreducible polynomial p. A…
We compute the Balmer spectrum of the equivariant bootstrap category of separable $G$-C*-algebras when $G$ is a group of prime order.
We present an abstract, categorical formulation of dependent functions in a fundamental manner and independently from the Sigma-construction. For that, we define first the notion of a category with family-arrows, or a $\f$-category. A $(\f,…
We apply the crystal basis theory for Fock spaces over quantum affine algebras to the modular representations of the cyclotomic Hecke algebras of type $G(p,p,n)$. This yields a classification of simple modules over these cyclotomic Hecke…
We provide a categorification of $\mathfrak{q}(2)$-crystals on the singular $\mathfrak{gl}_{n}$-category ${\mathcal O}_{n}$. Our result extends the $\mathfrak{gl}_{2}$-crystal structure on ${\rm Irr} ({\mathcal O}_{n})$ defined by…
We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy…
In this paper we apply the methods of rewriting systems and Gr\"obner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are…
We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strict 2-category. The most remarkable feature of this…
We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…
We show that the Golod property of a Stanley-Reisner ring can depend on the characteristic of the base field. More precisely, for every finite set $T$ of prime numbers we construct simplicial complexes $\Delta$ and $\Gamma$, such that…
We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'.…