Related papers: Classification of STGQs, I
We categorify a quantized Heisenberg algebra associated to a finite subgroup of SL(2,C).
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic…
We define a class of associative algebras generalizing 'clannish algebras', as introduced by the second author, but also incorporating semilinear structure, like a skew polynomial ring. Clannish algebras generalize the well known 'string…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
In an earlier paper, we defined and studied q-analogues of the Stirling numbers of both types for the Coxeter group of type B. In the present work, we show how this approach can be extended to all irreducible complex reflection groups G.…
Quotient inductive-inductive types (QIITs) are generalized inductive types which allow sorts to be indexed over previously declared sorts, and allow usage of equality constructors. QIITs are especially useful for algebraic descriptions of…
In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the disguised-groups and, as a consequence, we will see that disguised-groups coincide with regular semigroups. We prove many of the…
We define a quantum analogue of a class of generalized cluster algebras which can be viewed as a generalization of quantum cluster algebras defined in \cite{berzel}. In the case of rank two, we extend some structural results from the…
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…
Given a G-structure with connection satisfying a regularity assumption we associate to it a classifying Lie algebroid. This algebroid contains all the information about the equivalence problem and is an example of a G-structure Lie…
In 2000, J. Tits and R. Weiss classified all Moufang spherical buildings of rank two, also known as Moufang polygons. The hardest case in the classification consists of the Moufang quadrangles. They fall into different families, each of…
In this article, we define two equivalent new model structures on $\mathbf{sCat}$ the category of simplicial objects in $\mathbf{Cat}$. Then we construct the corresponding stable model category of spectra $Sp(\mathbf{sCat})$ and make some…
The main formal structures of Generalized Quantum Theory are summarized. Recent progress has sharpened some of the concepts, in particular the notion of an observable, the action of an observable on states (putting more emphasis on the role…
We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…
A complete classification of generalized symmetries of the Yang-Mills equations on Minkowski space with a semi-simple structure group is carried out. It is shown that any generalized symmetry, up to a generalized gauge symmetry, agrees with…
Understanding how torsion theories are described and constructed is crucial to the study of torsion theory. Mutations of torsion theories have been studied as a method of constructing another torsion theory from a given one. We have already…
We classify group gradings on the simple Lie algebras of types $G_2$ and $D_4$ over the field of real numbers (or any real closed field): fine gradings up to equivalence and $G$-gradings, with a fixed group $G$, up to isomorphism.
We review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear…
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively.…
We develop a theory of simple pentagonal subdivision of quadrilateral tilings, on orientable as well as non-orientable surfaces. Then we apply the theory to answer questions related to pentagonal tilings of surfaces, especially those…