English
Related papers

Related papers: A Brauerian Representation of Split Preorders

200 papers

We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…

Logic in Computer Science · Computer Science 2023-08-01 Leo Lobski , Fabio Zanasi

A preferential arrangement of a finite set is an ordered partition. Associated with each such ordered partition is a chain of subsets or blocks endowed with a linear order. The chain may be split into sections by the introduction of a…

Combinatorics · Mathematics 2015-04-07 S. Nkonkobe , V. Murali

A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…

Category Theory · Mathematics 2014-02-26 Dave Benson , Srikanth B. Iyengar , Henning Krause

The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a…

Category Theory · Mathematics 2016-04-06 Salvatore Tringali

We prove two isomorphisms of categories involving Brauer pairs on $p$-permutation $N$-interior $G$-algebras.

Group Theory · Mathematics 2023-02-27 Tiberiu Coconet , Constantin-Cosmin Todea

In this paper we investigate the construction of bicategories of fractions originally described by D. Pronk: given any bicategory $\mathcal{C}$ together with a suitable class of morphisms $\mathbf{W}$, one can construct a bicategory…

Category Theory · Mathematics 2016-04-21 Matteo Tommasini

We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group…

Quantum Algebra · Mathematics 2016-05-10 Mikhail Khovanov , Joshua Sussan

Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent…

Representation Theory · Mathematics 2021-08-05 Joseph Hundley , Stephen D. Miller

The classical decision problem, as it is understood today, is the quest for a delineation between the decidable and the undecidable parts of first-order logic based on elegant syntactic criteria. In this paper, we treat the concept of…

Logic in Computer Science · Computer Science 2019-11-27 Marco Voigt

Yu. I. Merzljakov developed a method of splittable coordinates which helps to verify the linearity of some groups, he established some fundamental results using this method. In this paper we use the method of splittable coordinates and find…

Group Theory · Mathematics 2007-05-23 V. G. Bardakov , O. V. Bryukhanov

Structural segmentation of music refers to the task of finding a symbolic representation of the organisation of a song, reducing the musical flow to a partition of non-overlapping segments. Under this definition, the musical structure may…

Sound · Computer Science 2022-12-23 Axel Marmoret , Jérémy E. Cohen , Frédéric Bimbot

In \cite{Lusztig}, Lusztig gives an explicit formula for the bijection between the set of bipartitions and the set $\mathcal{N}$ of unipotent classes in a spin group which carry irreducible local systems equivariant for the spin group but…

Representation Theory · Mathematics 2018-10-24 Jianqiao Xia

In this paper, we propose a set theoretic approach for knowledge representation. While the syntax of an application domain is captured by set theoretic constructs including individuals, concepts and operators, knowledge is formalized by…

Artificial Intelligence · Computer Science 2016-03-14 Yi Zhou

The notion of interval order was introduced by Norbert Wiener \cite{wie} in order to clarify the relation between the notion of an instant of time and that of a period of time. This was a problem on which Bertrand Russell \cite{rus} worked…

Combinatorics · Mathematics 2024-03-11 Athanasios Andrikopoulos

We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product…

Operator Algebras · Mathematics 2019-12-23 Ralf Meyer , Sutanu Roy

A difference Lie group is a Lie group equipped with a difference operator, equivalently a crossed homomorphism with respect to the adjoint action. In this paper, first we introduce the notion of a representation of a difference Lie group,…

Rings and Algebras · Mathematics 2024-03-25 Jun Jiang , Yunnan Li , Yunhe Sheng

Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…

Algebraic Topology · Mathematics 2018-05-25 Jacob Lurie , Hiro Lee Tanaka

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

Rings and Algebras · Mathematics 2014-09-23 Brian T. Chan

Bi-presymplectic chains of one-forms of arbitrary co-rank are considered. The conditions in which such chains represent some Liouville integrable systems and the conditions in which there exist related bi-Hamiltonian chains of vector fields…

Exactly Solvable and Integrable Systems · Physics 2010-09-02 Maciej Blaszak

We study the representation theory of the cyclotomic Brauer algebra via truncation to idempotent subalgebras which are isomorphic to a product of walled and classical Brauer algebras. In particular, we determine the block structure and…

Representation Theory · Mathematics 2012-05-16 C. Bowman , A. G. Cox , M. De Visscher