相关论文: An essentially algebraic glance to Kripke semantic…

We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.

We introduce the class of rational Kripke models and study symbolic model checking of the basic tense logic Kt and some extensions of it in models from that class. Rational Kripke models are based on (generally infinite) rational graphs,…

Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and…

We extend to the context of algebraic groups a classic result on extensions of abstract groups relating the set of isomorphism classes of extensions of $G$ by $H$ with that of extensions of $G$ by the center $Z$ of $H$. The proof should be…

We first consider the rational Cherednik algebra corresponding to the action of a finite group on a complex variety, as defined by Etingof. We define a category of representations of this algebra which is analogous to "category O" for the…

Bialgebroids, separable bialgebroids, and weak Hopf algebras are compared from a categorical point of view. Then properties of weak Hopf algebras and their applications to finite index and finite depth inclusions of von Neumann algebras are…

A geometric extension algebra is an extension algebra of a semi-simple perverse sheaf (allowing shifts), e.g. a push-forward of the constant sheaf under a projective map. Particular nice situations arise for collapsings of homogeneous…

We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded…

We introduce a class of proper differential graded algebras which we call Serre cyclotomic. They generalize fractionally Calabi-Yau algebras and categorify de la Pe\~na's algebras of cyclotomic type. Path algebras of affine type and…

Using brane quantization, we study the representation theory of the spherical double affine Hecke algebra of type $A_1$ in terms of the topological A-model on the moduli space of flat SL(2,C)-connections on a once-punctured torus. In…

There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous…

This paper extends the study of group algebras of finite groups in which the socle of the center is an ideal. We provide a detailed analysis of the structure of these groups. In a particular case, we reach a complete characterization of the…

We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…

The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence…

We prove that the quotient of the group algebra of the braid group on 5 strands by a generic cubic relation has finite rank. This was conjectured in 1998 by Brou\'e, Malle and Rouquier and has for consequence that this algebra is a flat…

It is proven that in the universal splitexact equivariant algebraic $KK$-theory for algebras, the $K$-theory groups coincide with classical $K$-theory in the sense of Phillips. This partially answers a question raised by Kasparov.

The Kripke semantics of various logics arises via categorical dualities between a category of relational frames and their maps, and a category of algebras and logical homomorphisms. When the relational frames are considered as computational…

These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…

In our recent papers the centralizer construction was applied to the series of classical Lie algebras to produce the quantum algebras called (twisted) Yangians. Here we extend this construction to the series of the symmetric groups S(n). We…

The graded Hecke algebra for a finite Weyl group is intimately related to the geometry of the Springer correspondence. A construction of Drinfeld produces an analogue of a graded Hecke algebra for any finite subgroup of GL(V). This paper…