scholarly journals On the Weak Order of Coxeter Groups

2019 ◽  
Vol 71 (2) ◽  
pp. 299-336 ◽  
Author(s):  
Matthew Dyer
Keyword(s):  
Complete Lattice ◽  
Coxeter Groups ◽  
Closure Operator ◽  
Root Systems ◽  
Bruhat Order ◽  
Weak Order ◽  
Maximal Subgroups ◽  
Rank Zero ◽  
Power Set ◽  
Rank One

AbstractThis paper provides some evidence for conjectural relations between extensions of (right) weak order on Coxeter groups, closure operators on root systems, and Bruhat order. The conjecture focused upon here refines an earlier question as to whether the set of initial sections of reflection orders, ordered by inclusion, forms a complete lattice. Meet and join in weak order are described in terms of a suitable closure operator. Galois connections are defined from the power set of $W$ to itself, under which maximal subgroups of certain groupoids correspond to certain complete meet subsemilattices of weak order. An analogue of weak order for standard parabolic subsets of any rank of the root system is defined, reducing to the usual weak order in rank zero, and having some analogous properties in rank one (and conjecturally in general).

SYMMETRY GEOMETRY BY PAIRINGS

2018 ◽  
Vol 106 (03) ◽  
pp. 342-360 ◽  
Author(s):  
G. CHIASELOTTI ◽  
T. GENTILE ◽  
F. INFUSINO
Keyword(s):  
Closure Operator ◽  
Local Symmetry ◽  
Global Symmetry ◽  
Symmetry Relation ◽  
Basic Tool ◽  
Mathematical Structures ◽  
Finite Case ◽  
Set Systems ◽  
Power Set ◽  
Abstract Simplicial Complex

In this paper, we introduce asymmetry geometryfor all those mathematical structures which can be characterized by means of a generalization (which we call pairing) of a finite rectangular table. In more detail, let$\unicode[STIX]{x1D6FA}$be a given set. Apairing$\mathfrak{P}$on$\unicode[STIX]{x1D6FA}$is a triple$\mathfrak{P}:=(U,F,\unicode[STIX]{x1D6EC})$, where$U$and$\unicode[STIX]{x1D6EC}$are nonempty sets and$F:U\times \unicode[STIX]{x1D6FA}\rightarrow \unicode[STIX]{x1D6EC}$is a map having domain$U\times \unicode[STIX]{x1D6FA}$and codomain$\unicode[STIX]{x1D6EC}$. Through this notion, we introduce a local symmetry relation on$U$and a global symmetry relation on the power set${\mathcal{P}}(\unicode[STIX]{x1D6FA})$. Based on these two relations, we establish the basic properties of our symmetry geometry induced by$\mathfrak{P}$. The basic tool of our study is a closure operator$M_{\mathfrak{P}}$, by means of which (in the finite case) we can represent any closure operator. We relate the study of such a closure operator to several types of others set operators and set systems which refine the notion of an abstract simplicial complex.

scholarly journals Tight Quotients and Double Quotients in the Bruhat Order

10.37236/1871 ◽  
2005 ◽  
Vol 11 (2) ◽  
Author(s):  
John R. Stembridge
Keyword(s):  
Coxeter Groups ◽  
Upper Bounds ◽  
Bruhat Order ◽  
Weyl Groups ◽  
Order Dimension ◽  
Parabolic Subgroups ◽  
Affine Weyl Groups ◽  
Positive Side ◽  
Maximal Parabolic Subgroups

It is a well-known theorem of Deodhar that the Bruhat ordering of a Coxeter group is the conjunction of its projections onto quotients by maximal parabolic subgroups. Similarly, the Bruhat order is also the conjunction of a larger number of simpler quotients obtained by projecting onto two-sided (i.e., "double") quotients by pairs of maximal parabolic subgroups. Each one-sided quotient may be represented as an orbit in the reflection representation, and each double quotient corresponds to the portion of an orbit on the positive side of certain hyperplanes. In some cases, these orbit representations are "tight" in the sense that the root system induces an ordering on the orbit that yields effective coordinates for the Bruhat order, and hence also provides upper bounds for the order dimension. In this paper, we (1) provide a general characterization of tightness for one-sided quotients, (2) classify all tight one-sided quotients of finite Coxeter groups, and (3) classify all tight double quotients of affine Weyl groups.

scholarly journals How to get the weak order out of a digraph ?

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Francois Viard
Keyword(s):  
Wreath Product ◽  
Symmetric Function ◽  
Coxeter Groups ◽  
Symmetric Functions ◽  
Weak Order ◽  
Möbius Function ◽  
Mobius Function ◽  
Acyclic Digraph ◽  
International Audience

International audience We construct a poset from a simple acyclic digraph together with a valuation on its vertices, and we compute the values of its Möbius function. We show that the weak order on Coxeter groups $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, and the flag weak order on the wreath product &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduced by Adin, Brenti and Roichman (2012), are special instances of our construction. We conclude by briefly explaining how to use our work to define quasi-symmetric functions, with a special emphasis on the $A$<sub>$n-1$</sub> case, in which case we obtain the classical Stanley symmetric function. On construit une famille d’ensembles ordonnés à partir d’un graphe orienté, simple et acyclique munit d’une valuation sur ses sommets, puis on calcule les valeurs de leur fonction de Möbius respective. On montre que l’ordre faible sur les groupes de Coxeter $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, ainsi qu’une variante de l’ordre faible sur les produits en couronne &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduit par Adin, Brenti et Roichman (2012), sont des cas particuliers de cette construction. On conclura en expliquant brièvement comment ce travail peut-être utilisé pour définir des fonction quasi-symétriques, en insistant sur l’exemple de l’ordre faible sur $A$<sub>$n-1$</sub> où l’on obtient les séries de Stanley classiques.

scholarly journals Inductive limit of direct sums of simple TAI algebras

2019 ◽  
pp. 1-26
Author(s):  
Bo Cui ◽  
Chunlan Jiang ◽  
Liangqing Li
Keyword(s):  
Inductive Limit ◽  
Direct Sums ◽  
Rank Zero ◽  
C Algebra ◽  
C Algebras ◽  
Rank One ◽  
Tracial Rank ◽  
Ideal Property ◽  
Funct Anal

An ATAI (or ATAF, respectively) algebra, introduced in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (or in [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], respectively) is an inductive limit [Formula: see text], where each [Formula: see text] is a simple separable nuclear TAI (or TAF) C*-algebra with UCT property. In [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404], the second author classified all ATAI algebras by an invariant consisting orderd total [Formula: see text]-theory and tracial state spaces of cut down algebras under an extra restriction that all element in [Formula: see text] are torsion. In this paper, we remove this restriction, and obtained the classification for all ATAI algebras with the Hausdorffized algebraic [Formula: see text]-group as an addition to the invariant used in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404]. The theorem is proved by reducing the class to the classification theorem of [Formula: see text] algebras with ideal property which is done in [G. Gong, C. Jiang and L. Li, A classification of inductive limit C*-algebras with ideal property, preprint (2016), arXiv:1607.07681]. Our theorem generalizes the main theorem of [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (see Corollary 4.3).

scholarly journals Platonic solids generate their four-dimensional analogues

2013 ◽  
Vol 69 (6) ◽  
pp. 592-602 ◽  
Author(s):  
Pierre-Philippe Dechant
Keyword(s):  
Coxeter Groups ◽  
Dimensional Space ◽  
Three Dimensional ◽  
Root Systems ◽  
Point Of View ◽  
Platonic Solids ◽  
Four Dimensions ◽  
Potential Applications ◽  
Regular Convex ◽  
Quasi Crystals

This paper shows how regular convex 4-polytopes – the analogues of the Platonic solids in four dimensions – can be constructed from three-dimensional considerations concerning the Platonic solids alone.Viathe Cartan–Dieudonné theorem, the reflective symmetries of the Platonic solids generate rotations. In a Clifford algebra framework, the space of spinors generating such three-dimensional rotations has a natural four-dimensional Euclidean structure. The spinors arising from the Platonic solids can thus in turn be interpreted as vertices in four-dimensional space, giving a simple construction of the four-dimensional polytopes 16-cell, 24-cell, theF4root system and the 600-cell. In particular, these polytopes have `mysterious' symmetries, that are almost trivial when seen from the three-dimensional spinorial point of view. In fact, all these induced polytopes are also known to be root systems and thus generate rank-4 Coxeter groups, which can be shown to be a general property of the spinor construction. These considerations thus also apply to other root systems such as A_{1}\oplus I_{2}(n) which induces I_{2}(n)\oplus I_{2}(n), explaining the existence of the grand antiprism and the snub 24-cell, as well as their symmetries. These results are discussed in the wider mathematical context of Arnold's trinities and the McKay correspondence. These results are thus a novel link between the geometries of three and four dimensions, with interesting potential applications on both sides of the correspondence, to real three-dimensional systems with polyhedral symmetries such as (quasi)crystals and viruses, as well as four-dimensional geometries arising for instance in Grand Unified Theories and string and M-theory.

On Legendre transformations and umbilic catastrophes

1978 ◽  
Vol 83 (2) ◽  
pp. 273-288 ◽  
Author(s):  
M. J. Sewell
Keyword(s):  
Elementary Mathematics ◽  
Hessian Matrix ◽  
Full Rank ◽  
Rank Zero ◽  
Rank One ◽  
Dimension One

In a previous paper this author used elementary mathematics to describe some simple connexions between multi-valued Legendre transformations and those elementary catastrophes having one ‘behaviour’ variable, which belong to a family of polynomials called cuspoids (see Sewell (13)). The Legendre singularities permitted there are isolated and of dimension one, i.e. they exist where a Hessian matrix exceptionally has co-rank one (not more) and elsewhere has full rank (co-rank zero).

Sign in / Sign up

Export Citation Format

Share Document