Skip to main content

Questions tagged [reflection-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
0 answers
91 views

Complex reflection groups: reference request

Suppose that $V$ is a finite-dimensional complex vector space, that $m\ge 2$ is an integer and that $G\subset \operatorname{GL}(V)$ is a finite subgroup such that $V$ is an irreducible ${\mathbb{C}}[G]...
inkspot's user avatar
  • 3,092
0 votes
1 answer
173 views

Reflections on subspaces of $\text{codim} > 1$

Let $V$ be a real finite-dimensional vector space with inner product $\langle \cdot , \cdot \rangle$. Let $x,y \in V$ be linearly independent. I was wondering how a reflection $s_{x,y}$ through the $\...
Bipolar Minds's user avatar
6 votes
0 answers
124 views

Have the affine simplicial line arrangments been enumerated?

I am looking for a classification (or attempt at enumeration) of affine simplicial line arrangements. A line arrangment is a family of straight lines in $\Bbb R^2$. It is simplicial if all regions are ...
M. Winter's user avatar
  • 12.6k
2 votes
0 answers
96 views

Real-isability of a (relatively small) subconfiguration of the Klein configuration

The Klein configuration consists of $60$ points and $60$ planes in $\mathbb C\mathbf P^3$, each point lying on $15$ of the planes and each plane containing $15$ of the points. It appears, among many ...
მამუკა ჯიბლაძე's user avatar
3 votes
0 answers
136 views

Invariants for the Weyl group of $\mathrm{SO}_{2n}$ acting on a certain group scheme

Let $W$ denote the Weyl group of $\mathrm{SO}_{2n}$, so $W = (\mathbf{Z}/2)^{n-1} \rtimes \Sigma_n$. There is a natural action of $W$ on $\mathbf{Z}^n$ given by permutations and even numbers of sign ...
skd's user avatar
  • 5,560
8 votes
1 answer
409 views

When are groups generated by reflections in a triangle discrete?

Take a triangle in the (Euclidean or hyperbolic) plane, and consider the group of isometries generated by the reflections in the three sides of the triangle. If the angles between adjacent sides are ...
Ethan Dlugie's user avatar
  • 1,267
2 votes
0 answers
261 views

Proving that a product of reflections and an orthogonal matrix is in $\mathrm{SO}_*(V)$

Let $V=(V,b)$ be a finite-dimensional vector space equipped with $b$ a symmetric and positive definite bilinear form. And let $\{e_1,\dotsc,e_n\}$ be a orthonormal basis for the subspace $\ker((P_A)^t)...
James Garrett's user avatar
4 votes
0 answers
147 views

Polynomial invariants of infinite reflection groups

It is a famous theorem of Shepard-Todd that the ring of invariant polynomials of a finite complex reflection group $W$ acting on a complex vector space $V$ is actually itself a polynomial ring. In ...
K Goldman's user avatar
1 vote
0 answers
130 views

Relation between C-groups and reflection groups

Take a set of reflections $\{r_1,\ldots,r_k\}$ of $\mathbb R^n$. Sometimes, the group presentation will turn out to be a C-group – this is where the regular planar polytopes in Euclidean space, ...
ViHdzP's user avatar
  • 281
1 vote
0 answers
40 views

Numbers of reflections on a coset in reflection group

Consider $G_{k}$ a group of type Shephard–Todd. Given a reflection $\sigma \in G_{k}$, take $H$ the subgroup generated by $\sigma$. How to determine the number of reflections in the coset $\tau \cdot ...
RafaZamp's user avatar
3 votes
1 answer
145 views

Are there infinite abelian real reflection groups?

Lately I have been studying reflection groups, and there is a particular example of a complex reflection group that has been very good for guiding my intuition. I would like to know if there is an ...
Martin Skilleter's user avatar
7 votes
0 answers
215 views

Classification of octonionic reflection groups

I know that there exist classification theorems for real, complex, and quaternionic, reflection groups. There are presentations for the real reflection groups, as well as further presentations for the ...
Sean Miller's user avatar
2 votes
1 answer
139 views

Algorithm to determine if a vector in the geometric representation of a Coxeter group is proportional to a root

Let $W$ be a Coxeter group, and let $V$ be its geometric representation (as defined for instance in Section 5.3 of Humphreys' book Reflection groups and Coxeter groups). Let $v\in V\backslash\{0\}$ (...
Thomas Gobet's user avatar
8 votes
1 answer
345 views

Which reflection groups can be enlarged?

Based on this question (which focuses on the case $E_8$) I wonder the following: Question: For each finite reflection group $\Gamma\subseteq\mathrm O(\Bbb R^d)$, what is the largest finite group $\...
M. Winter's user avatar
  • 12.6k
7 votes
1 answer
220 views

When are indiscrete reflection groups Coxeter groups?

A well-known theorem of Coxeter states that any discrete group $W$ which is generated by reflections across (possibly affine) hyperplanes in Euclidean space is a Coxeter group: it has a presentation ...
Christian Gaetz's user avatar
0 votes
0 answers
140 views

Counting special paths on a certain rectangle integer grid (binary matrix)

Crossposting from MSE after getting no answers. The bounty on the MSE question is still open, but not for long. Be advised that the comments of the MSE question regard an obsolete version, and that ...
PalmTopTigerMO's user avatar
5 votes
0 answers
233 views

Pseudoreflection groups in affine varieties

Suppose $\mathsf{k}$ is an algebraically closed field of zero characteristic. Chevalley-Shephard-Todd (C-S-T) Theorem in one of its equivalent versions is the following result: (C-S-T): Let $G$ be a ...
jg1896's user avatar
  • 2,743
6 votes
1 answer
207 views

Finite group ${\rm Sp}_4({\Bbb F}_3)$: involutions coming from a 4-dimensional complex representation

I am interested in the finite unitary reflection group $G= G_{32}$, the group No. 32 in Table VII on page 301 of the paper: Shephard, G. C.; Todd, J., A. Finite unitary reflection groups. Canad. J. ...
Mikhail Borovoi's user avatar
10 votes
0 answers
341 views

Recognizing reflection subgroups of Coxeter groups

Given a Coxeter system $(W,S)$ with reflections $T$, and any subset $A \subseteq T$, it is known that the reflection subgroup $W_A$ generated by $A$ has a canonical choice $S_A$ of generators so that $...
Christian Gaetz's user avatar
19 votes
0 answers
364 views

Is there a classification of reflection groups over division rings?

I asked a version of this question in Math StackExchange about a week ago but I've received no feedback so far, so following the advice I received on meta I decided to post it here. Details The ...
pregunton's user avatar
  • 976
11 votes
1 answer
311 views

Generalized root systems and reflection groups

Consider the following alternative definition of finite reflection group: Definition: A finite reflection group $\Gamma\subset\mathrm O(\Bbb R^d)$ is a finite group generated by orthogonal ...
M. Winter's user avatar
  • 12.6k
2 votes
0 answers
175 views

On Shephard-Todd theorem

There is an excellent Torsten Ekedahl's answer to Roman Fedorov's question here: Chevalley–Shephard–Todd theorem. Does anyone know any articles or books where this approach is outlined? I didn't ...
William S.'s user avatar
10 votes
1 answer
406 views

How are reflection groups related to general point groups?

I always tried to understand how the finite reflection groups of $\Bbb R^d$ (of some fixed dimension $d$) relate to the point groups of the same space $\smash{\Bbb R^d}$ (finite subgroup of the ...
M. Winter's user avatar
  • 12.6k
3 votes
1 answer
332 views

Reflection reverses a root string

I am trying to understand the part of the proof In Fulton's and Harris's Represantation Theory book where he shows that the length of the root string is at most 4: Theorem If $\alpha,\beta$ are roots ...
amator2357's user avatar
10 votes
0 answers
353 views

Fake degrees: why coinvariant algebra and classical groups over finite fields?

Apologies if this is not research level math (in that it concerns well-known stuff), but I am having trouble tracking down sources that explain the following. References would be very appreciated. ...
Sam Hopkins's user avatar
2 votes
0 answers
194 views

The growth of maximum elements for the reflection group $D_n$

Let's consider maximum coefficients in Poincaré polynomial (or growth series) for the reflection group (or Weyl group, or finite Coxeter group) $D_n$ as mentioned in A162206. The maximal numbers $M(n)$...
Mikhail Gaichenkov's user avatar
4 votes
1 answer
301 views

Coxeter groups generated by one finite conjugacy class

Let $(W,S)$ be an arbitrary Coxeter system. We consider the following scenario: Let $\mathcal{O}$ be a conjugacy class of an element $w$ in $W$ which is finite and which generates the whole group $W$....
Christoph Mark's user avatar
13 votes
2 answers
737 views

Basis of coinvariant algebra on which reflection group acts as regular representation

This question is almost a duplicate of a question of Christian Stump, except that Christian seems to ask about an isomorphism to irreducible representations rather than the regular representation: ...
Sam Hopkins's user avatar
2 votes
1 answer
231 views

What is the relation between Coxeter transformations of Coxeter systems and Coxeter transformations of generalized Cartan matrices?

This question is related to the following question about Coxeter transformations that I asked and recently answered myself. For completeness I also write full definitions in the new question. The ...
Leon Lang's user avatar
  • 253
3 votes
2 answers
464 views

About reflections of reflection groups

For any finite crystallographic reflection group $W = \langle s_1, \ldots , s_n\rangle$, every hyperplane reflection is of the form $ws_iw^{-1}$ for some $i$ and some $w \in W$. A finite ...
bing's user avatar
  • 331
12 votes
2 answers
642 views

Generalization of cycle decomposition to Coxeter groups

I'm looking for a generalization of cycle decompositions for permutations to elements of Coxeter groups. (For the purposes of this question, any conjugate of a parabolic subgroup is also a parabolic ...
Alexander Woo's user avatar
3 votes
0 answers
248 views

Roots of exceptional complex reflection groups

I am looking to do a case-by-case check of a conjecture I have about Shephard groups, which are a subclass of complex reflection groups. These were classified by Shephard and Todd and there is one ...
andrewBee's user avatar
  • 273
9 votes
1 answer
447 views

Bruhat order of reflection subgroups

Let $(W,S)$ be a Coxeter group, $T=\bigcup_{w\in W}wSw^{-1}$ its set of reflections, and $A\subseteq T$. From results of Dyer and Deodhar, we know that the subgroup $W_A$ generated by the elements of $...
Balazs Elek's user avatar
2 votes
0 answers
298 views

the root lattice, reflections, and a coxeter element

Question: Is is possible to realise the positive root lattice $\Phi_{\Delta}^{>0}$ (viewed as an abstract poset) of a root system $\Phi_\Delta$ associated to a Dynkin or affine Dynkin diagram $\...
A. Leverkuhn's user avatar
6 votes
1 answer
347 views

Generate harmonic polynomials for a finite group

Let $G$ be a finite group acting on a complex vector space $V$. Let $\mathcal{D}$ denote the differential operators with constant coefficients and $\mathcal{D}^{G}$ be the $G$-invariant operators. A ...
Seppo's user avatar
  • 105
7 votes
0 answers
251 views

What is the status of this fifty-year-old conjecture of Kostant?

On page 3.27 of his 1963 thesis on the cohomology of homogeneous spaces as approached through the Eilenberg–Moore spectral sequence, Paul Baum states the following conjecture, which he attributes to B....
jdc's user avatar
  • 2,984
5 votes
0 answers
176 views

Normalizer of a reflection supgroup of a finite complex reflection group

Let $W \leq \operatorname{GL}(\mathbb{C}^\ell)$ be a finite complex reflection group acting on the finite dimensional complex vectorspace $\mathbb{C}^\ell$. Let $W' \leq W$ be a reflection subgroup, i....
KoopaTroopa's user avatar
0 votes
1 answer
402 views

SO(3) transformation that produces a reflection [closed]

This came up doing some research in quantum information. Let us consider two orthogonal three-dimensional unit vectors $v$ and $w$ $v^T\cdot w=0$, and the Householder transformation $H=I_{3}-2v\...
Ricardo's user avatar
6 votes
2 answers
460 views

Centralizers of reflections in special subgroups of Coxeter groups

Let us consider a (not necessarily finite) Coxeter group $W$ generated by a finite set of involutions $S=\{s_1,...,s_n\}$ subject (as usual) to the relations $(s_is_j)^{m_{i,j}}$ with $m_{i,j}=m_{j,i}$...
Sebastian Schoennenbeck's user avatar
54 votes
3 answers
3k views

The view from inside of a mirrored tetrahedron

Suppose you were standing inside a regular tetrahedron $T$ whose internal face surfaces were perfect mirrors. Let's assume $T$'s height is $3{\times}$ yours, so that your eye is roughly at the ...
Joseph O'Rourke's user avatar
7 votes
1 answer
341 views

Origin of the numbers game

The numbers game is a (one-player) game played on a finite graph with an initial assignment of numbers to its vertices, studied by Alon, Bj\"orner, Brenti, Donnelly, Eriksson, Krasikov, Mozes, Peres, ...
James Propp's user avatar
  • 19.4k
2 votes
1 answer
181 views

Is inner product preserved only by the stabiliser in a finite reflection group?

Is the following statement true for finite reflection groups? Let $G$ be a finite reflection group acting on $\mathbb{R}^n$, let $x, y\in \mathbb{R}^n$ and let $z$ be in the orbit of $y$. If $\...
Violetta's user avatar
2 votes
0 answers
145 views

coxeter element of a reflection group (reference request)

I am reading reflection groups and coxeter groups book by Humphreys. now I want to learn more about "coxeter element" of a reflection group. Can any body suggests me some good books to read more about ...
GA316's user avatar
  • 1,219
7 votes
2 answers
604 views

A result from Peter McMullen's thesis

The classical definition of regular polytopes is recursive. It says that a polytope is regular if its facets and vertex figures (both smaller-dimensional polytopes) are regular. The modern definition ...
Drew Armstrong's user avatar
9 votes
2 answers
470 views

Can the difference of non-conjugate pseudoreflections lie in the commutator subgroup?

Let $G$ be a finite group acting on a complex vector space $V$ by pseudoreflections (i.e. every element of $G$ is a product of elements which fix hyperplanes in $V$). I would like to understand the ...
Anton Geraschenko's user avatar