3
$\begingroup$

Let $U (\mathbf{R})$ be the standard unipotent subgroup of $SL(3, \mathbf{R})$. So $U(\mathbf{R})$ is the group of 3 by 3 upper triangular matrices with 1s on the diagonal. I am interested in the quotient space $U (\mathbf{R})/ U (\mathbf{Z})$. I think it is just the cube, $[0,1]^3$, but I am having difficulty writing the actual map. The only non-obvious part is the (1,3)-entry where the addition is not straightforward. Also is the generalization that one gets the $\frac{1}{2}(n^2 - n)$ dimensional cube for the standard unipotent subgroup of $SL(n, \mathbf{R})$ correct?

@ Bill

Your answer helped clear a lot of confusion but it also created a number of new questions:

  1. So basically $U(\mathbf{R})$ has three copies of $\mathbf{R}$ however they way they are knit together is not the simple direct sum. Is that right?

  2. If I pick an element $u \in U$ is the group generated by $u$ isomorphic to $\mathbf{G}_a$ ?

  3. Is the space $U (\mathbf{R})/ U (\mathbf{Z})$ compact? The Haar measure on $SL(3, \mathbf{R})$ gives a measure on $U(\mathbf{R})$. Then presumably I get a measure on $U (\mathbf{R})/ U (\mathbf{Z})$ what is the volume of the quotient with respect to this measure? Is there a place I can find these calculations?

Ultimately I am interested in the arithmetic quotient $SO(3)\backslash SL(3, \mathbf{R}) / SL(3, \mathbf{Z})$ and $U (\mathbf{R})/ U (\mathbf{Z})$ is supposed to be its 'base' and the end result should be an algebraic surface (hence a 4-dimensional real manifold I think).

Improve this question
$\endgroup$
7
  • 1
    $\begingroup$ the quotient space is a 3-manifold without boundary, so is not a cube. $\endgroup$
    – Peter McNamara
    Sep 13, 2010 at 7:00
  • 1
    $\begingroup$ The answer to 2 is yes. Since $u$ is unipotent, the map $t \mapsto u^t$ is algebraic. Compactness of $U({\mathbb R})/U({\mathbb Z})$ follows from the answer below: the base and the fibers are compact (and hence has finite measure).The volume form is $dx \ dy \ dz$, in case you need it. You can find some useful information about nilpotent groups and theor lattices in Raghunathan's book. $\endgroup$
    – Keivan Karai
    Sep 13, 2010 at 9:01
  • 1
    $\begingroup$ Maybe you should post your new questions as, well, a new MO question? :) Anyway, re 1: The direct product/sum $\mathbb{R}^3$ is obviously abelian, but $U(\mathbb{R})$ is not, as Bill already pointed out. It is, however, a nilpotent group, which is a natural generalization of abelian groups. I recommend reading up on this, and on Heisenberg groups. re 2: A single element $u$ will generate a group isomorphic to $\mathbb{Z}$; in fact $\mathbb{R}$ is not finitely generated. But it every $u$ is contained in a (unique) 1-parameter subgroup which is isomorphic to $\mathbb{R}$. $\endgroup$
    – Max Horn
    Sep 13, 2010 at 9:15
  • $\begingroup$ I should have reloaded before posting a comment, only saw Keivan's comment now :-). Anyway, $t\mapsto u^t$ is the 1-parameter subgroup I referred to; in my answer I was think of "generate" in the abstract group theory sense (guess where I come from ;), but in algebraic/analytic groups one may want to view the 1-parameter subgroup as being "generated" by $u$. So it's a matter of perspective (and of what you actually want to look at ;). $\endgroup$
    – Max Horn
    Sep 13, 2010 at 9:20
  • 1
    $\begingroup$ @Victor, you worried me when you said 6 dimensions since I had said 5, but as David Speyer said, it's $5 = 8_{SL(3,Z)}-3_{SO(3)} = dim({3-dimensional quadratic forms}$. Not a big deal though. Do you have a particular textbook to recommend? I can remember many topics I tried to learn as a graduate student that may have been straightforward once I understood it, but I found it very hard to "get" from the language of textbooks. Remembering that, I have considerable sympathy for unsophisticated questions. $\endgroup$
    – Bill Thurston
    Sep 14, 2010 at 0:56

1 Answer 1

Reset to default
16
$\begingroup$

The group $U(\mathbb Z)$ is nilpotent, but not isomorphic to $\mathbb Z^3$. The quotient space is not the torus $T^3$ (= cube with opposite sides identified). The fundamental domain which glues together to make the quotient can be described, but I'm not sure it's what you really want or need: there are easier ways to understand it.

The element $c $ with the 1,3 entry equal to 1 generates the center of $U(\mathbb Z)$, with quotient $\mathbb Z^2$, and it is the commutator of the other two elementary matrices $a$ and $b$. Geometrically, the quotient has a map to a torus $T^2$ (factoring out by your troublesome entry) with fiber (preimage of any point) a circle, but the circles form a fiber bundle that is not trivial.

You can map all this into R^3 as a group of affine transformations, and visualize how it works: $c$ acts as a vertical translation. The element $a$ translates in the $x$ direction by one unit, but at the same time shears planes perpendicular to the x axis so the y-axis develops a slope of -1/2. The element $b$ is similar, translating in the $y$ direction, taking vertical lines to vertical lines and shearing the $x$ axis to have slope 1/2. Now look at what happens when you do the commutator $a^{-1} b^{-1} a b$. This group is also called the Heisenberg group.

alt text http://dl.dropbox.com/u/5390048/AffineGeometries.jpg

In higher dimensions, the picture is similar but more elaborate, with iterated circle bundles over previous stuff, exhibiting additional shearing. (There is more than one reasonable way to choose coordinates, so don't be surprised if you don't get the exact same description when you work through details).

You can find pictures and descriptions in my book on Three-dimensional Geometry and Topology (among other places). It's the basic example for one of the 8 geometries for 3-manifolds. I first learned this picture by reading Poincare.

Addendum In response to the added questions: Keivan Karai and Max have addressed most of it, in comments to the question. It's true, there are many sources to read about these things. Many people have studied the geometry of $SO(3)\backslash SL(3,\mathbb R)/SL(3,\mathbb Z)$, it's challenging to come to grips with it completely, but a vast amount is known.

You can interpret $SO(3)\backslash SL(3, \mathbb R)$ fairly concretely as the space of positive definite quadratic forms of determinant 1 on $\mathbb R^3$, and it has a natural metric in which a path of quadratic forms has arc length equal to the total strain it takes to do the associated deformations --- you can imagine an object, perhaps a ball, made of a highly viscous and inelastic material, perhaps modeling clay, that you can squeeze into different shapes that don't spring back. You're squeezing the ball into different ellipsoid shapes via linear transformations, and keeping track of how much energy it takes. (use the $L^2$ norm of the first derivative, as measured in using the current shape).

In 3 dimensions, quadratic forms have 6 coefficients, but the condition that the determinant is 1 brings it down to 5. To think about $SO(3)\backslash SL(3,\mathbb R)/SL(3,\mathbb Z)$, imagine a 3-torus with a flat metric, that is, $\mathbb R / \mathbb Z^3$ for some action of $\mathbb Z$. The set of possible shapes for the torus, up to isometry is how you can interpret it. (This is beccause $SL(3,Z)$ is the group of affine automorphisms of the torus, up to translations, so it acts on the set of Euclidean metrics on a torus with fixed basis --- in the double coset space, we're forgetting the basis).

The Heisenberg group gives the small scale geometry of the quotient when you go off to infinity in certain directions --- that is, if you have a torus with one loop $x$ of size $l_1 < \epsilon$ and another loop $y$ size $l_2 < l_1 \epsilon$, then in the moduli space for toruses, the subgroup of $SL(3,\mathbb Z)$ generated by low-energy loops is isomorphic to the Heisenberg group. By making $\epsilon \rightarrow 0$ the geometric size of this cross-section 3-manifold ( where the shortest and second shortest lengths are held constant) get arbitrarily small. This is part of the picture of the space near infinity, but to get a fuller picture, you need to examine the global structure of how different behaviors at infinity connect to one another.

There's a lot more needed before you have a very good picture of what's known about $SL(3,Z)$ or of this locally symmetric space --- a lot is known from a number of different points of view, and it's challenging to fully understand. This isn't the place for an exposition, even if I knew all the answers (which I don't).

Improve this answer
$\endgroup$
2
  • 3
    $\begingroup$ Here's a less vivid way to see iterated circle bundles, useful in number theory. For ring $R$ consider affine $R$-group scheme $U$ admitting comp. series with successive qts $\mathbf{G}_a$. Inducting through short exact sequences, since ${\rm{H}}^1(R,\mathbf{G}_a) = 0$ (for etale topology) the resulting comp. series on $R$-points is a comp. series for $U(R)$. When $R$ is a local field (allowing arch. case) or adele ring, this is topologically exact. Now specialize to $\mathbf{R}$ and $\mathbf{Z}$ to get the circles. Doing same with adele ring and global field gives "solenoids". $\endgroup$
    – BCnrd
    Sep 13, 2010 at 7:28
  • $\begingroup$ The link does not seem to work any longer $\endgroup$
    – Jules Lamers
    Jun 23, 2022 at 21:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.