Skip to main content
removed capitals from title, fixed English (one ...hedron, two ...hedra)
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Affine Equivalenceequivalence of Coxeter Permutahedrapermutahedra?

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedrapermutahedron in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedrapermutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending $a$ to $b$ and each $s_i\cdot a$ to $s_i\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

Affine Equivalence of Coxeter Permutahedra?

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedra in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending $a$ to $b$ and each $s_i\cdot a$ to $s_i\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

Affine equivalence of Coxeter permutahedra?

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) permutahedron in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending $a$ to $b$ and each $s_i\cdot a$ to $s_i\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

edited title
Source Link
Fred
  • 157
  • 4

Affine Equivalence of PermutohedraCoxeter Permutahedra?

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedra in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending $a$ to $b$ and each $w\cdot a$$s_i\cdot a$ to $w\cdot b$$s_i\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

Affine Equivalence of Permutohedra

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedra in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending each $w\cdot a$ to $w\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

Affine Equivalence of Coxeter Permutahedra?

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedra in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending $a$ to $b$ and each $s_i\cdot a$ to $s_i\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?

Source Link
Fred
  • 157
  • 4

Affine Equivalence of Permutohedra

Suppose that $W=\langle s_1,\ldots, s_d\mid (s_is_j)^{m_{ij}}=e\rangle$ is a finite reflection group and consider its standard $d$-dimensional geometric realization (i.e., the Tits representation) $\rho: W\rightarrow V$.

For any $a\in V$, one can consider the convex hull $P(W;a)$ of the orbit $W\cdot a$, often called a (Coxeter) Permutahedra in the literature. It is a standard fact that if $a$ and $b$ are generic points in $V$ (i.e., neither is fixed by any reflection), then the resulting Permutahedra are necessarily combinatorially equivalent (essentially, this is because, without loss of generality, $a$ and $b$ can be taken to lie in the same fundamental region/Coxeter chamber).

My question is this: in the literature I have read, authors seem to say that $P(W;a)$ and $P(W;b)$ are only combinatorially equivalent. Why aren't they actually affinely equivalent (and in fact $W$-equivariantly so)? It would seem that sending each $w\cdot a$ to $w\cdot b$ would fit the bill for this, since $\{s_i\cdot x\mid 1\leq i\leq d\}$ forms a basis for $V$ for all generic $x$. What am I missing?