Exceptional Sequences in Hall Algebras and Quantum Groups

Let be a finite-dimensional hereditary algebra over a finite field k, () and () be, respectively, the Hall algebra and the composition algebra of , be the isomorphism classes of finite dimensional -modules and I the isomorphism classes of simple -modules. We define and , in , to be the right and left derivations of () respectively. By using these derivations and the action of the braid group on the set of exceptional sequences of -mod, we provide an effective algorithm of calculating the root vectors of real Schur roots. This means that we get an inductive method to express u as the combinations of elements u_i in the Hall algebra, where i I and in is any exceptional -module. Because of the canonical isomorphism between the Drinfeld–Jimbo quantum group and the generic composition algebra, our algorithm is applicable directly to quantum groups. In particular, all the root vectors are obtained in this way in the finite type cases.     

Reflection Independence in Even Coxeter Groups

If (W,S) is a Coxeter system, then an element of W is a reflection if it is conjugate to some element of S. To each Coxeter system there is an associated Coxeter diagram. A Coxeter system is called reflection preserving if every automorphism of W preserves reflections in this Coxeter system. As a direct application of our main theorem, we classify all reflection preserving even Coxeter systems. More generally, if (W,S) is an even Coxeter system, we give a combinatorial condition on the diagram for (W,S) that determines whether or not two even systems for W have the same set of reflections. If (W,S) is even and (W,S) is not even, then these systems do not have the same set of reflections. A Coxeter group is said to be reflection independent if any two Coxeter systems (W,S) and (W,S) have the same set of reflections. We classify all reflection independent even Coxeter groups.Mathematics Subject Classifications (2000). 20F05, 20F55, 20F65, 51F15.     

Coxeter群的半直积分解(英文)

本文证明了满足一定条件的Coxeter群都可以分解成两个Coxeter群的半直积.     

On Subgroup Separability in Hyperbolic Coxeter Groups

We prove that certain hyperbolic Coxeter groups are separable on their geometrically finite subgroups.     

On Negative Orbits of Finite Coxeter Groups

For a Coxeter group W, X a subset of W and a positive root, we define the negative orbit of under X to be {w · | w X} ^–, where ^– is the set of negative roots. Here we investigate the sizes of such sets as varies in the case when W is a finite Coxeter group and X is a conjugacy class of W.     

On the Derived Length of Coxeter Groups

We characterize certain properties of the derived series of Coxeter groups by properties of the corresponding Coxeter graphs. In particular, we give necessary and sufficient conditions for a Coxeter group to be quasiperfect.     

Homomorphisms of Edge-Colored Graphs and Coxeter Groups

Let be two edge-colored graphs (without multiple edges or loops). A homomorphism is a mapping : for which, for every pair of adjacent vertices u and v of G ₁, (u) and (v) are adjacent in G ₂ and the color of the edge (u)(v) is the same as that of the edge uv.We prove a number of results asserting the existence of a graphG , edge-colored from a set C, into which every member from a given class of graphs, also edge-colored from C, maps homomorphically.We apply one of these results to prove that every three-dimensional hyperbolic reflection group, having rotations of orders from the setM ={m₁, m₂,..., m_k}, has a torsion-free subgroup of index not exceeding some bound, which depends only on the setM .     

Four Coefficients of Characteristic Polynomials of Coxeter Transformations

Mathematical Notes -     

量子群的基变换与范畴同构

令Ｍ是Ｚ［ｖ］的由ｖ－１和奇素数ｐ生成的理想，Ｕ是Ａ＝Ｚ［ｖ］Ｍ上相伴于对称Ｃａｒｔａｎ矩阵的量子群， Ａ－Γ是环同态， Ｕг＝ＵＡΓ［Ｕг］是Ｕг的量子坐标代数，本文建立了量子坐标代数的基变换：即在相关约束条件下有Г－Ｈｏｐｆ同构 Ａ［Ｕ］ＡГ≌Г［Ｕг］．我们证明了有限秩 Ａ自由 １型可积 Ｕ模范畴和有限秩 Ａ自由 Ａ［Ｕ］余模范畴是同构的．特别，当 Г是域时，局部有限 １型 Ｕг模范畴和Г［Ｕг］余模范畴是同构的．最后，我们还证明了在［１］中定义的诱导函子和Ｂ．Ｐａｒｓｈａｌｌ与王建磐博士在［２］中研究的诱导函子的一致性．     

Root Systems for Asymmetric Geometric Representations of Coxeter Groups

Results are obtained concerning root systems for asymmetric geometric representations of Coxeter groups. These representations were independently introduced by Vinberg and Eriksson, and generalize the standard geometric representation of a Coxeter group in such a way as to include certain restrictions of all Kac–Moody Weyl groups. In particular, a characterization of when a nontrivial multiple of a root may also be a root is given in the general context. Characterizations of when the number of such multiples of a root is finite and when the number of positive roots sent to negative roots by a group element is finite are also given. These characterizations are stated in terms of combinatorial conditions on a graph closely related to the Coxeter graph for the group. Other finiteness results for the symmetric case which are connected to the Tits cone and to a natural partial order on positive roots are extended to this asymmetric setting.     

Quasidiagonal Solutions of the Yang–Baxter Equation, Quantum Groups and Quantum Super Groups

This paper answers a few questions about algebraic aspects of bialgebras, associated with the family of solutions of the quantum Yang–Baxter equation in Acta Appl. Math. 41 (1995), pp. 57–98. We describe the relations of the bialgebras associated with these solutions and the standard deformations of GL_n and of the supergroup GL(m|n). We also show how the existence of zero divisors in some of these algebras are related to the combinatorics of their related matrix, providing a necessary and sufficient condition for the bialgebras to be a domain. We consider their Poincaré series, and we provide a Hopf algebra structure to quotients of these bialgebras in an explicit way. We discuss the problems involved with the lift of the Hopf algebra structure, working only by localization.     

On Ringel–Hall Algebras of Tame Hereditary Algebras

In this paper, the double Ringel–Hall algebras of tame hereditary algebras are decomposed as the quantized enveloping algebras of the infinite-dimensional Lie algebras, which are the central extensions of the affine loop algebras and the infinite-dimensional Heisenberg algebras. The numbers of the generators of the Heisenberg algebras are explicitly given at each dimensional level.     

On Growth Types of Quotients of Coxeter Groups by Parabolic Subgroups

The principal objects studied in this note are infinite, non-affine Coxeter groups W. A well-known result of de la Harpe asserts that such groups have exponential growth. We study the growth type of quotients of W by parabolic subgroups and by a certain class of reflection subgroups. Our main result is that these quotients have exponential growth as well.     

The Enumeration of Fully Commutative Elements of Coxeter Groups

A Coxeter group element w is fully commutative if any reduced expression for w can be obtained from any other via the interchange of commuting generators. For example, in the symmetric group of degree n, the number of fully commutative elements is the nth Catalan number. The Coxeter groups with finitely many fully commutative elements can be arranged into seven infinite families A_n, B_n, D_n, E_n,F_n, H_n and I₂(m). For each family, we provide explicit generating functions for the number of fully commutative elements and the number of fully commutative involutions; in each case, the generating function is algebraic.     

Compactifications of Discrete Quantum Groups

Given a discrete quantum group we construct a Hopf -algebra which is a unital -subalgebra of the multiplier algebra of . The structure maps for are inherited from and thus the construction yields a compactification of which is analogous to the Bohr compactification of a locally compact group. This algebra has the expected universal property with respect to homomorphisms from multiplier Hopf algebras of compact type (and is therefore unique). This provides an easy proof of the fact that for a discrete quantum group with an infinite dimensional algebra the multiplier algebra is never a Hopf algebra.Partially supported by Komitet Badań Naukowych grants 2P03A04022 & 2P03A01324, the Foundation for Polish Science and Deutsche Forschungsgemeinschaft.     

On the Fully Commutative Elements of Coxeter Groups

Let W be a Coxeter group. We define an element w ε W to be fully commutative if any reduced expression for w can be obtained from any other by means of braid relations that only involve commuting generators. We give several combinatorial characterizations of this property, classify the Coxeter groups with finitely many fully commutative elements, and classify the parabolic quotients whose members are all fully commutative. As applications of the latter, we classify all parabolic quotients with the property that (1) the Bruhat ordering is a lattice, (2) the Bruhat ordering is a distributive lattice, (3) the weak ordering is a distributive lattice, and (4) the weak ordering and Bruhat ordering coincide. Partially supported by NSF Grants DMS-9057192 and DMS-9401575.     

On Reflection Subgroups of Finite Coxeter Groups

Let W be a finite Coxeter group. We classify the reflection subgroups of W up to conjugacy and give necessary and sufficient conditions for the map that assigns to a reflection subgroup R of W the conjugacy class of its Coxeter elements to be injective, up to conjugacy.     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.