Differential geometry of the space of orbits of a Coxeter group

Boris Dubrovin

DOI: https://doi.org/10.48550/arXiv.hep-th/9303152

1993-03-27

Abstract:Differential-geometric structures on the space of orbits of a finite Coxeter group, determined by Grothéndieck residues, are calculated. This gives a construction of a 2D topological field theory for an arbitrary Coxeter group.

High Energy Physics - Theory

What problem does this paper attempt to address?

On convex hulls of orbits of Coxeter groups and Weyl groups

Georg Hofmann,Karl-Hermann Neeb

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

IF: 0.6

2012-04-10

Representation Theory

Abstract:The notion of a linear Coxeter system introduced by Vinberg generalizes the geometric representation of a Coxeter group. Our main theorem asserts that if $v$ is an element of the Tits cone of a linear Coxeter system and $\cW$ is the corresponding Coxeter group, then $\cW v \subeq v - C_v,$ where $C_v$ is the convex cone generated by the coroots $\check \alpha$, for which $\alpha(v) > 0$. This implies that the convex hull of $\cW v$ is completely determined by the image of $v$ under the reflections in $\cW$. We also apply an analogous result for convex hulls of $\cW$-orbits in the dual space, although this action need not correspond to a linear Coxeter system. Motivated by the applications in representation theory, we further extend these results to Weyl group orbits of locally finite and locally affine root systems. In the locally affine case, we also derive some applications on minimizing linear functionals on Weyl group orbits.
Some infinite dimensional representations of certain Coxeter groups

Hongsheng Hu

2023-08-26

Abstract:A Coxeter group admits infinite dimensional irreducible complex representations if and only if it is not finite and affine. In this paper we give a construction of such representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.

Representation Theory,Combinatorics,Rings and Algebras
Some Infinite-Dimensional Representations of Certain Coxeter Groups

Hongsheng Hu

DOI: https://doi.org/10.1007/s00026-024-00690-6

2024-03-27

Annals of Combinatorics

Abstract:A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.

mathematics, applied
Flat coordinates of algebraic Frobenius manifolds in small dimensions

Misha Feigin,Daniele Valeri,Johan Wright

2023-09-04

Abstract:Orbit spaces of the reflection representation of finite irreducible Coxeter groups provide polynomial Frobenius manifolds. Flat coordinates of the Frobenius metric $\eta$ are Saito polynomials which are distinguished basic invariants of the Coxeter group. Algebraic Frobenius manifolds are typically related to quasi-Coxeter conjugacy classes in finite Coxeter groups. We find explicit relations between flat coordinates of the Frobenius metric $\eta$ and flat coordinates of the intersection form $g$ for most known examples of algebraic Frobenius manifolds up to dimension 4. In all the cases, flat coordinates of the metric $\eta$ appear to be algebraic functions on the orbit space of the Coxeter group.

Differential Geometry,Mathematical Physics
Reflection Representations of Coxeter Groups and Homology of Coxeter Graphs

Hongsheng Hu

DOI: https://doi.org/10.1007/s10468-023-10242-w

2023-12-08

Algebras and Representation Theory

Abstract:We study and classify a class of representations (called generalized geometric representations) of a Coxeter group of finite rank. These representations can be viewed as a natural generalization of the geometric representation. The classification is achieved by using characters of the integral homology group of certain graphs closely related to the Coxeter graph. On this basis, we also provide an explicit description of those representations on which the defining generators of the Coxeter group act by reflections.

mathematics
On the commensurability of hyperbolic Coxeter groups

Edoardo Dotti

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

2021-01-25

Abstract:In this paper we study the commensurability of hyperbolic Coxeter groups of finite covolume, providing three necessary conditions for commensurability. Moreover we tackle different topics around the field of definition of a hyperbolic Coxeter group: which possible fields can arise, how this field determines a range of possible dihedral angles of a Coxeter polyhedron and we provide two new sets of generators for quasi-arithmetic groups. This work is a concise version of chapters 4 and 5 of the author's Ph.D. thesis.

Metric Geometry
On a decomposition of $p$-adic Coxeter orbits

Alexander B. Ivanov

DOI: https://doi.org/10.46298/epiga.2023.8562

2023-09-26

Abstract:We analyze the geometry of some $p$-adic Deligne--Lusztig spaces $X_w(b)$ introduced in [Iva21] attached to an unramified reductive group ${\bf G}$ over a non-archimedean local field. We prove that when ${\bf G}$ is classical, $b$ basic and $w$ Coxeter, $X_w(b)$ decomposes as a disjoint union of translates of a certain integral $p$-adic Deligne--Lusztig space. Along the way we extend some observations of DeBacker and Reeder on rational conjugacy classes of unramified tori to the case of extended pure inner forms, and prove a loop version of Frobenius-twisted Steinberg's cross section.

Algebraic Geometry,Representation Theory
The orbit spaces and the Chow quotients of the Grassmann manifolds

Victor Matveevich Buchstaber,Svjetlana Terzic

DOI: https://doi.org/10.4213/sm9964e

2024-04-13

Sbornik Mathematics

Abstract:The complex Grassmann manifolds appear as one of the fundamental objects in developing an interaction between algebraic geometry and algebraic topology. The case is of special interest on its own as the manifolds have several remarkable properties which distinguish them from the for . In our paper we obtain results which, essentially using the specifics of the Grassmann manifolds , develop connections between algebraic geometry and equivariant topology. They are related to well-known problems of the canonical action of the algebraic torus on and the induced action of the compact torus . Kapranov proved that the Deligne-Mumford-Grothendieck-Knudsen compactification of the space of -pointed rational stable curves can be realized as the Chow quotient . In recent papers of the authors a constructive description of the orbit space was obtained. In deducing this result the notions of the complex of admissible polytopes and the universal space of parameters for the -action on were of essential use. Using the techniques of wonderful compactification, in this paper an explicit construction of the space is presented. In combination with Keel's description of , this construction enabled one to obtain an explicit diffeomorphism between and . In this way, we give a description of as the space with a structure described in terms of admissible polytopes and spaces . Bibliography: 32 titles.

mathematics
Bipolar Coxeter groups

Pierre-Emmanuel Caprace,Piotr Przytycki

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

2010-02-22

Abstract:We consider the class of those Coxeter groups for which removing from the Cayley graph any tubular neighbourhood of any wall leaves exactly two connected components. We call these Coxeter groups bipolar. They include both the virtually Poincare duality Coxeter groups and the infinite irreducible 2-spherical ones. We show in a geometric way that a bipolar Coxeter group admits a unique conjugacy class of Coxeter generating sets. Moreover, we provide a characterisation of bipolar Coxeter groups in terms of the associated Coxeter diagram.

Group Theory
A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

Pierre-Philippe Dechant

DOI: https://doi.org/10.1007/s00006-013-0422-4

2013-11-30

Advances in Applied Clifford Algebras

Abstract:Real physical systems with reflective and rotational symmetries such as viruses, fullerenes and quasicrystals have recently been modeled successfully in terms of three-dimensional (affine) Coxeter groups. Motivated by this progress, we explore here the benefits of performing the relevant computations in a Geometric Algebra framework, which is particularly suited to describing reflections. Starting from the Coxeter generators of the reflections, we describe how the relevant chiral (rotational), full (Coxeter) and binary polyhedral groups can be easily generated and treated in a unified way in a versor formalism. In particular, this yields a simple construction of the binary polyhedral groups as discrete spinor groups. These in turn are known to generate Lie and Coxeter groups in dimension four, notably the exceptional groups D4, F4 and H4. A Clifford algebra approach thus reveals an unexpected connection between Coxeter groups of ranks 3 and 4. We discuss how to extend these considerations and computations to the Conformal Geometric Algebra setup, in particular for the non-crystallographic groups, and construct root systems and quasicrystalline point arrays. We finally show how a Clifford versor framework sheds light on the geometry of the Coxeter element and the Coxeter plane for the examples of the twodimensional non-crystallographic Coxeter groups I2(n) and the threedimensional groups A3, B3, as well as the icosahedral group H3. IPPP/12/49, DCPT/12/98

mathematics, applied,physics, mathematical
Homology of torus spaces with acyclic proper faces of the orbit space

Anton Ayzenberg

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

2014-05-19

Abstract:Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.

Algebraic Topology,Commutative Algebra,Combinatorics
Automorphisms of geometric structures associated to Coxeter groups

Graham White

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

2012-02-29

Abstract:In this paper, we consider the automorphism groups of the Cayley graph with respect to the Coxeter generators and the Davis complex of an arbitrary Coxeter group. We determine for which Coxeter groups these automorphism groups are discrete. In the case where they are discrete, we express them as semidirect products of two obvious families of automorphisms. This extends a result of Haglund and Paulin.

Group Theory
The large-scale geometry of right-angled Coxeter groups

Pallavi Dani

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

2018-07-24

Abstract:This is a survey of some aspects of the large-scale geometry of right-angled Coxeter groups. The emphasis is on recent results on their negative curvature properties, boundaries, and their quasi-isometry and commensurability classification.

Group Theory
$ \mathbb{Z}_{2} $- homology of the orbit spaces $ G_{n,2}/ T^{n} $

Vladimir Ivanović,Svjetlana Terzić

2024-06-17

Abstract:We study the $\mathbb{Z}_2$-homology groups of the orbit space $X_n = G_{n,2}/T^n$ for the canonical action of the compact torus $T^n$ on a complex Grassmann manifold $G_{n,2}$. Our starting point is the model $(U_n, p_n)$ for $X_n$ constructed by Buchstaber and Terzić (2020), where $U_n = \Delta _{n,2}\times \mathcal{F}_{n}$ for a hypersimplex $\Delta_{n,2}$ and an universal space of parameters $\mathcal{F}_{n}$ defined in Buchstaber and Terzić (2019), (2020). It is proved by Buchstaber and Terzić (2021) that $\mathcal{F}_{n}$ is diffeomorphic to the moduli space $\mathcal{M}_{0,n}$ of stable $n$-pointed genus zero curves. We exploit the results from Keel (1992) and Ceyhan (2009) on homology groups of $\mathcal{M}_{0,n}$ and express them in terms of the stratification of $\mathcal{F}_{n}$ which are incorporated in the model $(U_n, p_n)$. In the result we provide the description of cycles in $X_n$, inductively on $ n. $ We obtain as well explicit formulas for $\mathbb{Z}_2$-homology groups for $X_5$ and $X_6$. The results for $X_5$ recover by different method the results from Buchstaber and Terzić (2021) and Süss (2020). The results for $X_6$ we consider to be new.

Algebraic Geometry,Algebraic 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
Root systems for asymmetric geometric representations of Coxeter groups

Robert G. Donnelly

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

2009-12-31

Abstract:Results are obtained concerning the roots of 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 all Kac--Moody Weyl groups. In particular, a characterization of when a non-trivial 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.

Group Theory
Hecke algebras for set-theoretical solutions to the Yang--Baxter equation

Edouard Feingesicht

2024-11-01

Abstract:We define a concept of Hecke algebra for structure groups of set-theoretical solutions to the Yang--Baxter equation. As a comparison to Artin--Tits groups of spherical type, we study some properties of this construction, while also highlighting some differences that appear, which shows a difference between finite Coxeter groups and the "Coxeter-like" group introduced by Dehornoy. We also relate this definition to known constructions on solutions (retractions). Finally, we study a particular case related to Torus Knot groups and Complex Reflexion groups.

Quantum Algebra,Group Theory
On the top-dimensional cohomology of arithmetic Chevalley groups

Benjamin Brück,Yuri Santos Rego,Robin Sroka

DOI: https://doi.org/10.1090/proc/16948

IF: 0.9709

2024-08-28

Proceedings of the American Mathematical Society

Abstract:Let K \mathbb {K} be a number field with ring of integers O \mathfrak {O} and let G \mathcal {G} be a Chevalley group scheme not of type E 8 \mathtt {E}_8 , F 4 \mathtt {F}_4 or G 2 \mathtt {G}_2 . We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that H v c d ( G ( O ) ; Q ) = 0 H^{{vcd}}(\mathcal {G}(\mathfrak {O}); \mathbb {Q}) = 0 if O \mathfrak {O} is Euclidean.

mathematics, applied
The double torus as a 2D cosmos: groups, geometry and closed geodesics

P. Kramer,M. Lorente

DOI: https://doi.org/10.48550/arXiv.gr-qc/0401101

2004-01-26

General Relativity and Quantum Cosmology

Abstract:The double torus provides a relativistic model for a closed 2D cosmos with topology of genus 2 and constant negative curvature. Its unfolding into an octagon extends to an octagonal tessellation of its universal covering, the hyperbolic space H^2. The tessellation is analysed with tools from hyperbolic crystallography. Actions on H^2 of groups/subgroups are identified for SU(1, 1), for a hyperbolic Coxeter group acting also on SU(1, 1), and for the homotopy group \Phi_2 whose extension is normal in the Coxeter group. Closed geodesics arise from links on H^2 between octagon centres. The direction and length of the shortest closed geodesics is computed.
Character theory and Euler characteristic for orbispaces and infinite groups

Wolfgang Lück,Irakli Patchkoria,Stefan Schwede

2024-10-18

Abstract:Given a discrete group $G$ with a finite model for $\underline{E}G$, we study $K(n)^*(BG)$ and $E^*(BG)$, where $K(n)$ is the $n$-th Morava $K$-theory for a given prime and $E$ is the height $n$ Morava $E$-theory. In particular we generalize the character theory of Hopkins, Kuhn and Ravenel who studied these objects for finite groups. We give a formula for a localization of $E^*(BG)$ and the $K(n)$-theoretic Euler characteristic of $BG$ in terms of centralizers. In certain cases these calculations lead to a full computation of $E^*(BG)$, for example when $G$ is a right angled Coxeter group, and for $G=SL_3(\mathbb{Z})$. We apply our results to the mapping class group $\Gamma_\frac{p-1}{2}$ for an odd prime $p$ and to certain arithmetic groups, including the symplectic group $Sp_{p-1}(\mathbb{Z})$ for an odd prime $p$ and $SL_2(\mathcal{O}_K)$ for a totally real field $K$.

Algebraic Topology,Group Theory,K-Theory and Homology

Differential geometry of the space of orbits of a Coxeter group

On convex hulls of orbits of Coxeter groups and Weyl groups

Some infinite dimensional representations of certain Coxeter groups

Some Infinite-Dimensional Representations of Certain Coxeter Groups

Flat coordinates of algebraic Frobenius manifolds in small dimensions

Reflection Representations of Coxeter Groups and Homology of Coxeter Graphs

On the commensurability of hyperbolic Coxeter groups

On a decomposition of $p$-adic Coxeter orbits

The orbit spaces and the Chow quotients of the Grassmann manifolds

Bipolar Coxeter groups

A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

Homology of torus spaces with acyclic proper faces of the orbit space

Automorphisms of geometric structures associated to Coxeter groups

The large-scale geometry of right-angled Coxeter groups

$ \mathbb{Z}_{2} $- homology of the orbit spaces $ G_{n,2}/ T^{n} $

First-order aspects of Coxeter groups

Root systems for asymmetric geometric representations of Coxeter groups

Hecke algebras for set-theoretical solutions to the Yang--Baxter equation

On the top-dimensional cohomology of arithmetic Chevalley groups

The double torus as a 2D cosmos: groups, geometry and closed geodesics

Character theory and Euler characteristic for orbispaces and infinite groups