Skip to main content
1 of 2
shane.orourke
  • 1.1k
  • 1
  • 11
  • 23

Free affine actions of Borel subgroups

Call an upper triangular $m\times m$ matrix $A$ admissible if the lowest non-zero entry of $A-I$ lies in the last column, and is strictly lower than any other non-zero entry of $A-I$. I'll also regard $A=I$ itself as admissible. Let ${T^{*}}=T^{*}(n,\mathbb{R})$ denote the group of upper triangular matrices with real entries and positive entries on the main diagonal, and with the last diagonal entry equal to 1. This group has a natural affine action on $\mathbb{R}^{n-1}$ where the last column (apart from the bottom entry) of an element of $T^*$ acts by translation after the top left-hand $(n-1)\times (n-1)$ part has acted linearly.

(If $T^*$ seems artificial or awkward to work with, note that it embeds in the group $T(n+1,\mathbb{R})$ of upper triangular $(n+1)\times(n+1)$ matrices with positive diagonal entries (that is, the identity component of the Borel subgroup of $\mathrm{GL}(n+1,\mathbb{R})$), and that $T(n+1,\mathbb{R})$ embeds in $T^*=T^*(n+2,\mathbb{R})$, so $T^*$ may be replaced by $T$ in much of what follows.)

John Milnor in a well-known paper of 1977 proves that a soluble, connected and simply connected Lie group $G$ admits a free affine action on $\mathbb{R}^n$ for some $n$. By Lie's theorem, such a $G$ can be embedded in some $T^*$ as above, and the given action of $G$ can be obtained by restricting the natural action of $T^*$. What I'd like to know is whether we can arrange for elements of the embedded image to be admissible.

Does every $T^*(n,\mathbb{R})$ admit an (abstract group theoretic) embedding $\iota$ in $T^*(m,\mathbb{R})$ for some $m$ such that each $\iota(A)$ is admissible?

Equivalently, does the identity component of the Borel subgroup of each $\mathrm{GL}(n,\mathbb{R})$ admit an embedding $\iota$ in $T^*(m,\mathbb{R})$ for some $m$ such that each $\iota(A)$ is admissible?

I'm interested in these questions since groups that admit such embeddings admit free affine actions on $\Lambda$-trees. (See http://de.arxiv.org/PS_cache/arxiv/pdf/1112/1112.4832v2.pdf.) I should point out that I asked a ''nilpotent'' version of this question (involving $\mathrm{UT}(n,\mathbb{R})$ instead of $T^*(n,\mathbb{R})$) on the group pub forum some time ago, and received a very helpful reply from Karel Dekimpe: using his reply I can show that the answer is yes in this case. This approach appears to make essential use the theory of nilpotent Lie algebras, hence my question here.

shane.orourke
  • 1.1k
  • 1
  • 11
  • 23