The centralizer of a Coxeter element

Ruwen Hollenbach,Patrick Wegener

DOI: https://doi.org/10.48550/arXiv.1912.01529

2020-02-28

Abstract:We prove that the centralizer of a Coxeter element in an irreducible Coxeter group is the cyclic group generated by that Coxeter element.

Group Theory

What problem does this paper attempt to address?

Very Large Telescope three micron spectra of dust-enshrouded red giants in the Large Magellanic Cloud

Jacco Th. van Loon,Jonathan R. Marshall,Martin Cohen,Mikako Matsuura,Peter R. Wood,Issei Yamamura,Albert A. Zijlstra

DOI: https://doi.org/10.1051/0004-6361%3A20054222

2005-10-18

Abstract:We present ESO/VLT spectra in the 2.9--4.1 micron range for a large sample of infrared stars in the Large Magellanic Cloud (LMC), selected on the basis of MSX and 2MASS colours to be extremely dust-enshrouded AGB star candidates. Out of 30 targets, 28 are positively identified as carbon stars, significantly adding to the known population of optically invisible carbon stars in the LMC. We also present spectra for six IR-bright stars in or near three clusters in the LMC, identifying four of them as carbon stars and two as oxygen-rich supergiants. We analyse the molecular bands of C2H2 at 3.1 and 3.8 micron, HCN at 3.57 micron, and sharp absorption features in the 3.70--3.78 micron region that we attribute to C2H2. There is evidence for a generally high abundance of C2H2 in LMC carbon stars, suggestive of high carbon-to-oxygen abundance ratios at the low metallicity in the LMC. The low initial metallicity is also likely to have resulted in less abundant HCN and CS. The sample of IR carbon stars exhibits a range in C2H2:HCN abundance ratio. We do not find strong correlations between the properties of the molecular atmosphere and circumstellar dust envelope, but the observed differences in the strengths and shapes of the absorption bands can be explained by differences in excitation temperature. High mass-loss rates and strong pulsation would then be seen to be associated with a large scale height of the molecular atmosphere.

Astrophysics
Reflection centralizers in Coxeter groups

Daniel Allcock

DOI: https://doi.org/10.1007/s00031-013-9236-7

2013-07-20

Transformation Groups

Abstract:We refine Brink’s theorem, that the non-reflection part of a reflection centralizer in a Coxeter group W is a free group. We give an explicit set of generators for the centralizer, which is finitely generated when W is. And we give a method for computing the Coxeter diagram for its reflection subgroup. In many cases, our method allows one to compute centralizers in one’s head.

mathematics
Groupes de Coxeter finis : centralisateurs d'involutions

Jean-Pierre Serre

2024-03-19

Abstract:We give a case-by-case description of the centralizers of involutions in finite Coxeter groups.

Group Theory
Centralizers of reflections and reflection-independence of Coxeter groups

Koji Nuida

DOI: https://doi.org/10.48550/arXiv.math/0602165

2006-02-08

Group Theory

Abstract:A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this condition for Coxeter groups in certain classes, possibly of infinite ranks. We also determine the finite irreducible components of another Coxeter group, that is a subgroup of W generated by the reflections centralizing a given generator of W. Determining such a subgroup makes our criterion efficient.
On non-conjugate Coxeter elements in well-generated reflection groups

Victor Reiner,Vivien Ripoll,Christian Stump

DOI: https://doi.org/10.1007/s00209-016-1736-4

2016-08-31

Mathematische Zeitschrift

Abstract:Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer’s regular elements of arbitrary order.

mathematics
On the rank of Coxeter groups

Mathieu Carette,Richard Weidmann

DOI: https://doi.org/10.48550/arXiv.0910.4997

2009-10-27

Abstract:We show that the standard generating set of a Coxeter group is of minimal cardinality provided that the non-diagonal entries of the Coxeter matrix are sufficiently large.

Group Theory
Conjugacy of Coxeter elements

Henrik Eriksson,Kimmo Eriksson

DOI: https://doi.org/10.48550/arXiv.1302.2842

2013-02-13

Abstract:For a Coxeter group (W,S), a permutation of the set S is called a Coxeter word and the group element represented by the product is called a Coxeter element. Moving the first letter to the end of the word is called a rotation and two Coxeter elements are rotation equivalent if their words can be transformed into each other through a sequence of rotations and legal commutations. We prove that Coxeter elements are conjugate if and only if they are rotation equivalent. This was known for some special cases but not for Coxeter groups in general.

Combinatorics
Centralizers of Hamiltonian finite cyclic group actions on rational ruled surfaces

Pranav Chakravarthy,Martin Pinsonnault

DOI: https://doi.org/10.1090/tran/9223

IF: 1.3529

2024-10-09

Transactions of the American Mathematical Society

Abstract:Pranav V. Chakravarthy and Martin Pinsonnault Trans. Amer. Math. Soc. 377 (), 7945-7989. , references and article information

mathematics
In which it is proven that, for each parabolic quasi-Coxeter element in a finite real reflection group, the orbits of the Hurwitz action on its reflection factorizations are distinguished by the two obvious invariants

Theo Douvropoulos,Joel Brewster Lewis

DOI: https://doi.org/10.48550/arXiv.2209.00774

2022-09-02

Combinatorics

Abstract:We prove that two reflection factorizations of a parabolic quasi-Coxeter element in a finite Coxeter group belong to the same Hurwitz orbit if and only if they generate the same subgroup and have the same multiset of conjugacy classes. As a lemma, we classify the finite Coxeter groups for which every reflection generating set that is minimal under inclusion is also of minimum size.
Centralizers in the plactic monoid

Bruce E. Sagan,Alexander N. Wilson

2024-10-27

Abstract:Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.

Combinatorics
Twist-rigid Coxeter groups

Pierre-Emmanuel Caprace,Piotr Przytycki

DOI: https://doi.org/10.2140/gt.2010.14.2243

2009-11-03

Abstract:We prove that two angle-compatible Coxeter generating sets of a given finitely generated Coxeter group are conjugate provided one of them does not admit any elementary twist. This confirms a basic case of a general conjecture which describes a potential solution to the isomorphism problem for Coxeter groups.

Group Theory,Geometric Topology
First-order aspects of Coxeter groups

Bernhard Mühlherr,Gianluca Paolini,Saharon Shelah

DOI: https://doi.org/10.1016/j.jalgebra.2021.12.033

IF: 0.908

2022-04-01

Journal of Algebra

Abstract:We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the 2-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show to be essentially the Coxeter groups of affine type. Secondly, we characterize the Coxeter groups of finite rank which are domains, a central assumption in the theory of algebraic geometry over groups, which in many respects (e.g. λ-stability) reduces the model theory of a given Coxeter system to the model theory of its associated irreducible components. In the second part of the paper we move to specific definability questions in right-angled Coxeter groups (RACGs) and 2-spherical Coxeter groups. In this respect, firstly, we prove that RACGs of finite rank do not have proper elementary subgroups which are Coxeter groups, and prove further that reflection independent ones do not have proper elementary subgroups at all. Secondly, we prove that if the monoid S i m ( W , S ) of S-self-similarities of W is finitely generated, then W is a prime model of its theory. Thirdly, we prove that in reflection independent RACGs of finite rank the Coxeter elements are type-determined. We then move to 2-spherical Coxeter groups, proving that if ( W , S ) is irreducible, 2-spherical even and not affine, then W is a prime model of its theory, and that if W Γ and W Θ are as in the previous sentence, then W Γ is elementary equivalent to W Θ if and only if Γ ≅ Θ , thus solving the elementary equivalence problem for most of the 2-spherical Coxeter groups. In the last part of the paper we focus on model theoretic applications of the notion of reflection length from Coxeter group theory, proving in particular that affine Coxeter groups are not connected.

mathematics
On the Hurwitz action in finite Coxeter groups

Barbara Baumeister,Thomas Gobet,Kieran Roberts,Patrick Wegener

DOI: https://doi.org/10.48550/arXiv.1512.04764

2015-12-15

Abstract:We provide a necessary and sufficient condition on an element of a finite Coxeter group to ensure the transitivity of the Hurwitz action on its set of reduced decompositions into products of reflections. We show that this action is transitive if and only if the element is a parabolic quasi-Coxeter element, that is, if and only if it has a reduced decomposition into a product of reflections that generate a parabolic subgroup.

Group Theory,Combinatorics
Loxodromic elements in the cyclic splitting complex and their centralizers

Radhika Gupta,Derrick Wigglesworth

DOI: https://doi.org/10.2140/pjm.2019.301.107

2019-07-12

Abstract:We show that an outer automorphism acts loxodromically on the cyclic splitting complex if and only if it has a filling lamination and no generic leaf of the lamination is carried by a vertex group of a cyclic splitting. This is the analog for the cyclic splitting complex of Handel-Mosher's theorem on loxodromics for the free splitting complex. We also show that such outer automorphisms have virtually cyclic centralizers.

Group Theory
Computing Centralisers In [Finitely Generated Free]-By-Cyclic Groups

ANDRÉ CARVALHO

DOI: https://doi.org/10.1017/s0004972724000443

2024-06-05

Bulletin of the Australian Mathematical Society

Abstract:We prove that centralisers of elements in [finitely generated free]-by-cyclic groups are computable. As a corollary, given two conjugate elements in a [finitely generated free]-by-cyclic group, the set of conjugators can be computed and the conjugacy problem with context-free constraints is decidable. We pose several problems arising naturally from this work.

mathematics
On the Centralizers of Non-central -Elements of a Finite Group

Jiang, Qinhui

DOI: https://doi.org/10.1007/s00009-024-02616-1

2024-06-06

Mediterranean Journal of Mathematics

Abstract:Let G be a group and N be a -solvable normal subgroup of G with , where is composed by all prime divisors of the order of N . In this paper, we determine the structure of if is a maximal subgroup of group G for every -element , where is a Hall -subgroup of N . In particular, if is a set composed by a single prime p , we show that N is solvable, which has its own independent significance. If we assume in the above results, then it is [8, Theorems A and B] by removing the conditions " G is p -solvable" and "with non-abelian". We also give a detailed structure description of such groups. Further, we generalize [9, Theorem A] by removing the condition " N is p -solvable", and also provides a positive answer to [9, Question] by giving the structure of if is a maximal subgroup of G for every p -regular element .

mathematics, applied
Proper elements of Coxeter groups

József Balogh,David Brewster,Reuven Hodges

2024-04-27

Abstract:We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.

Combinatorics
Around first-order rigidity of Coxeter groups

Simon André,Gianluca Paolini

2024-07-01

Abstract:By the work of Sela, for any free group $F$, the Coxeter group $W_ 3 = \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to $W_3 \ast F$, and so Coxeter groups are not closed under elementary equivalence among finitely generated groups. In this paper we show that if we restrict to models which are generated by finitely many torsion elements (finitely torsion-generated), then we can recover striking rigidity results. Our main result is that if $(W, S)$ is a Coxeter system whose irreducible components are either spherical, or affine or (Gromov) hyperbolic, and $G$ is finitely torsion-generated and elementarily equivalent to $W$, then $G$ is itself a Coxeter group. This combines results of the second author et al. from [MPS22, PS23] with the following main hyperbolic result: if $W$ is a Coxeter hyperbolic group and $G$ is $\mathrm{AE}$-equivalent to $W$ and finitely torsion-generated, then $G$ belongs to a finite collection of Coxeter groups (modulo isomorphism). Furthermore, we show that there are two hyperbolic Coxeter groups $W$ and $W'$ which are non-isomorphic but $\mathrm{AE}$-equivalent. We also show that, on other hand, if we restrict to certain specific classes of Coxeter groups then we can recover the strongest possible form of first-order rigidity, which we call first-order torsion-rigidity, namely the Coxeter group $W$ is the only finitely torsion-generated model of its theory. Crucially, we show that this form of rigidity holds for the following classes of Coxeter groups: even hyperbolic Coxeter groups and free products of one-ended or finite hyperbolic Coxeter groups. We conjecture that the same kind of phenomena occur for the whole class of Coxeter groups. In this direction, we prove that if $W$ and $W'$ are even Coxeter groups which are elementarily equivalent, then they are isomorphic.

Group Theory,Logic
Centralisers of linear growth automorphisms of free groups

NAOMI ANDREW,ARMANDO MARTINO

DOI: https://doi.org/10.1017/s0305004124000203

2024-09-21

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:In this note we investigate the centraliser of a linearly growing element of (that is, a root of a Dehn twist automorphism), and show that it has a finite index subgroup mapping onto a direct product of certain "equivariant McCool groups" with kernel a finitely generated free abelian group. In particular, this allows us to show it is VF and hence finitely presented.

mathematics
The geometry of conjugation in affine Coxeter groups

Elizabeth Milićević,Petra Schwer,Anne Thomas

2024-07-12

Abstract:We develop new and precise geometric descriptions of the conjugacy class $[x]$ and coconjugation set $\operatorname{C}(x,x') = \{ y \in \overline{W} \mid yxy^{-1} = x' \}$ for all elements $x,x'$ of any affine Coxeter group $\overline{W}$. The centralizer of $x$ in $\overline{W}$ is the special case $\operatorname{C}(x,x)$. The key structure in our description of the conjugacy class $[x]$ is the mod-set ${Mod}_{\overline{W}}(w) = (w-\operatorname{I})R^\vee$, where~$w$ is the finite part of $x$ and $R^\vee$ is the coroot lattice. The coconjugation set $\operatorname{C}(x,x')$ is then described by ${Mod}_{\overline{W}}(w')$ together with the fix-set of $w'$, where $w'$ is the finite part of $x'$. For any element $w$ of the associated finite Weyl group $W$, the mod-set of $w$ is contained in the classical move-set ${Mov}(w) = \operatorname{Im}(w - \operatorname{I})$. We prove that the rank of ${Mod}_{\overline{W}}(w)$ equals the dimension of ${Mov}(w)$, and then further investigate type-by-type the surprisingly subtle structure of the $\mathbb{Z}$-module ${Mod}_\overline{W}(w)$. As corollaries, we determine exactly when ${Mod}_{\overline{W}}(w) = {Mov}(w) \cap R^\vee$, in which case our closed-form descriptions of conjugacy classes and coconjugation sets are as simple as possible.

Group Theory,Combinatorics,Representation Theory

The centralizer of a Coxeter element

Very Large Telescope three micron spectra of dust-enshrouded red giants in the Large Magellanic Cloud

Reflection centralizers in Coxeter groups

Groupes de Coxeter finis : centralisateurs d'involutions

Centralizers of reflections and reflection-independence of Coxeter groups

On non-conjugate Coxeter elements in well-generated reflection groups

On the rank of Coxeter groups

Conjugacy of Coxeter elements

Centralizers of Hamiltonian finite cyclic group actions on rational ruled surfaces

In which it is proven that, for each parabolic quasi-Coxeter element in a finite real reflection group, the orbits of the Hurwitz action on its reflection factorizations are distinguished by the two obvious invariants

Centralizers in the plactic monoid

Twist-rigid Coxeter groups

First-order aspects of Coxeter groups

On the Hurwitz action in finite Coxeter groups

Loxodromic elements in the cyclic splitting complex and their centralizers

Computing Centralisers In [Finitely Generated Free]-By-Cyclic Groups

On the Centralizers of Non-central -Elements of a Finite Group

Proper elements of Coxeter groups

Around first-order rigidity of Coxeter groups

Centralisers of linear growth automorphisms of free groups

The geometry of conjugation in affine Coxeter groups