On hyperbolic Coxeter polytopes with mutually intersecting facets

We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.     

An Adjacency Criterion for Coxeter Matroids

A Coxeter matroid is a generalization of matroid, ordinary matroid being the case corresponding to the family of Coxeter groups A _n , which are isomorphic to the symmetric groups. A basic result in the subject is a geometric characterization of Coxeter matroid in terms of the matroid polytope, a result first stated by Gelfand and Serganova. This paper concerns properties of the matroid polytope. In particular, a criterion is given for adjacency of vertices in the matroid polytope.     

The reduced expressions in a Coxeter system with a strictly complete Coxeter graph

Let (W,S)$(W,S)$ be a Coxeter system with a strictly complete Coxeter graph. The present paper concerns the set Red(z)$\mathrm{Red}(z)$ of all reduced expressions for any z∈W$z\in W$. By associating each bc-expression to a certain symbol, we describe the set Red(z)$\mathrm{Red}(z)$ and compute its cardinal |Red(z)|$|\mathrm{Red}(z)|$ in terms of symbols. An explicit formula for |Red(z)|$|\mathrm{Red}(z)|$ is deduced, where the Fibonacci numbers play a crucial role.     

Rigidity of Coxeter Groups and Artin Groups

A Coxeter group is rigid if it cannot be defined by two nonisomorphic diagrams. There have been a number of recent results showing that various classes of Coxeter groups are rigid, and a particularly interesting example of a nonrigid Coxeter group has been given by Bernhard Mühlherr. We show that this example belongs to a general operation of diagram twisting. We show that the Coxeter groups defined by twisted diagrams are isomorphic, and, moreover, that the Artin groups they define are also isomorphic, thus answering a question posed by Charney. Finally, we show a number of Coxeter groups are reflection rigid once twisting is taken into account.     

The Enumeration of Coxeter Elements

Let (W,S, ) be a Coxeter system: a Coxeter group W with S its distinguished generator set and its Coxeter graph. In the present paper, we always assume that the cardinality l=|S| ofS is finite. A Coxeter element of W is by definition a product of all generators s S in any fixed order. We use the notation C(W) to denote the set of all the Coxeter elements in W. These elements play an important role in the theory of Coxeter groups, e.g., the determination of polynomial invariants, the Poincaré polynomial, the Coxeter number and the group order of W (see [1–5] for example). They are also important in representation theory (see [6]). In the present paper, we show that the set C(W) is in one-to-one correspondence with the setC() of all acyclic orientations of . Then we use some graph-theoretic tricks to compute the cardinality c(W) of the setC(W) for any Coxeter group W. We deduce a recurrence formula for this number. Furthermore, we obtain some direct formulae of c(W) for a large family of Coxeter groups, which include all the finite, affine and hyperbolic Coxeter groups.The content of the paper is organized as below. In Section 1, we discuss some properties of Coxeter elements for simplifying the computation of the value c(W). In particular, we establish a bijection between the sets C(W) andC() . Then among the other results, we give a recurrence formula of c(W) in Section 2. Subsequently we deduce some closed formulae of c(W) for certain families of Coxeter groups in Section 3.     

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.     

Reflection subgroups of reflection groups

Let G be a discrete group generated by reflections in hyperbolic or Euclidean space, and let H G be a finite index reflection subgroup. Suppose that the fundamental chamber of G is a finite volume polytope with k facets. We prove that the fundamental chamber of H has at least k facets.Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 38, No. 4, pp. 90–92, 2004Original Russian Text Copyright © by A. A. Felikson and P. V. Tumarkin     

A Decomposition of the Descent Algebra of a Finite Coxeter Group

The purpose of this paper is twofold. First we aim to unify previous work by the first two authors, A. Garsia, and C. Reutenauer (see [2], [3], [4], [5] and [10]) on the structure of the descent algebras of the Coxeter groups of type A _n and B _n. But we shall also extend these results to the descent algebra of an arbitrary finite Coxeter group W. The descent algebra, introduced by Solomon in [14], is a subalgebra of the group algebra of W. It is closely related to the subring of the Burnside ring B(W) spanned by the permutation representations W/W _J, where the W _J are the parabolic subgroups of W. Specifically, our purpose is to lift a basis of primitive idempotents of the parabolic Burnside algebra to a basis of idempotents of the descent algebra.     

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.     

Coxeter transformations: Construction of deltoids

The Coxeter transformations associated with deltoids (i.e., with graphs in which all simple cycles have length 3) are considered. The structure of the set of all connected deltoids whose spectra do not contain ?1 is described.     

Extensions of dually bipartite regular polytopes

This paper addresses the problem of finding abstract regular polytopes with preassigned facets and preassigned last entry of the Schläfli symbol. Using C-group permutation representation (CPR) graphs we give a solution to this problem for dually bipartite regular polytopes when the last entry of the Schläfli symbol is even. This construction is related to a previous construction by Schulte that solves the problem when the entry of the Schläfli symbol is 6.     

Mean width of random polytopes in a reasonably smooth convex body

Let K be a convex body in and let X_n=(x₁,…,x_n) be a random sample of n independent points in K chosen according to the uniform distribution. The convex hull K_n of X_n is a random polytope in K, and we consider its mean width W(K_n). In this article, we assume that K has a rolling ball of radius >0. First, we extend the asymptotic formula for the expectation of W(K)−W(K_n) which was earlier known only in the case when ∂K has positive Gaussian curvature. In addition, we determine the order of magnitude of the variance of W(K_n), and prove the strong law of large numbers for W(K_n). We note that the strong law of large numbers for any quermassintegral of K was only known earlier for the case when ∂K has positive Gaussian curvature.     

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

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

A note on parabolic subgroups of a Coxeter group

The aim of this note is to prove that the parabolic closure of any subset of a Coxeter group is a parabolic subgroup. To obtain that, several technical lemmas on the root system of a parabolic subgroup are established.     

Perturbation of transportation polytopes

We describe a perturbation method that can be used to reduce the problem of finding the multivariate generating function (MGF) of a non-simple polytope to computing the MGF of simple polytopes. We then construct a perturbation that works for any transportation polytope. We apply this perturbation to the family of central transportation polytopes of order $kn\times n$, and obtain formulas for the MGFs of the feasible cone of each vertex of the polytope and the MGF of the polytope. The formulas we obtain are enumerated by combinatorial objects. A special case of the formulas recovers the results on Birkhoff polytopes given by the author and De Loera and Yoshida. We also recover the formula for the number of maximum vertices of transportation polytopes of order $kn\times n$.     

Basic Derivations for Subarrangements of Coxeter Arrangements

We prove that various subarrangements of Coxeter hyperplane arrangements are free. We do this by exhibiting a basis for the corresponding module of derivations. Our method uses a theorem of Saito [24] and Terao [30] which checks for a basis using certain divisibility and determinantal criteria. As a corollary, we find the roots of the characteristic polynomials for these arrangements, since they are just one more than the degrees in any basis of the module. We will also see some interesting applications of symmetric and supersymmetric functions along the way.     

Triangulations of Cayley and Tutte polytopes

Cayley polytopes were defined recently as convex hulls of Cayley compositions introduced by Cayley in 1857. In this paper we resolve Braun’s conjecture  , which expresses the volume of Cayley polytopes in terms of the number of connected graphs. We extend this result to two one-variable deformations of Cayley polytopes (which we call t$t$-Cayley   and t$t$-Gayley polytopes), and to the most general two-variable deformations, which we call Tutte polytopes. The volume of the latter is given via an evaluation of the Tutte polynomial of the complete graph.