Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 13972

Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

81 votes

Beautiful descriptions of exceptional groups

It is not always clear what one means by 'the simplest description' of one of the exceptional Lie groups. In the examples you've given above, you quote descriptions of these groups as automorphisms o …
Robert Bryant's user avatar
41 votes
Accepted

Is $O_n({\bf Q})$ dense in $O_n({\bf R})$?

There's an easy argument based on the Cayley transform: If $a$ is a skew-symmetric $n$-by-$n$ real matrix, then $I_n+a$ is invertible (since $(I_n-a)(I_n+a)=I_n-a^2$ is a positive definite symmetric …
Robert Bryant's user avatar
40 votes
Accepted

Isometry group of a homogeneous space

Here is an algorithm to compute the Lie algebra of the group of isometries of a homogeneous space $G/H$ endowed with a $G$-invariant (pseudo-)Riemannian metric $g$. It is phrased in terms of essentia …
Robert Bryant's user avatar
38 votes

Is SO(4) a subgroup of SU(3)?

Maybe the simplest argument, if you know something about compact Lie groups, is that SO(4) and SU(3) both have rank 2, i.e., they each contain a maximal torus, which is $S^1\times S^1$. Since all max …
Robert Bryant's user avatar
35 votes
Accepted

A result on Lie group actions on 15-dimensional spheres?

My guess is that Weinstein was thinking of this fact, but didn't get it out correctly: For every $n\not=15$, there is a compact Lie group $H_n\subseteq\mathrm{SO}(n{+}1)$ that acts transitively on the …
Robert Bryant's user avatar
29 votes
Accepted

Is it possible to realize the Moebius strip as a linear group orbit?

Yes. Here is one way: Consider standard $\mathbb{R}^3$ endowed with the Lorentzian quadratic form $Q = x^2+y^2-z^2$, and let $G\simeq\mathrm{O}(2,1)\subset\mathrm{GL}(3,\mathbb{R})$ be the symmetry …
Robert Bryant's user avatar
25 votes

Left invariant metric on ${\rm SL}_n(\mathbb{R})$

The OP specifically asked for a(n ordinary) metric, not a Riemannian metric. While Misha and Paul have given good answers, I think that it's worth pointing out that, if one just takes an arbitrary le …
Robert Bryant's user avatar
24 votes
Accepted

Proofs that the conformal group in dimension $\ge 3$ is a Lie group

Answers to the OP's question depend on where the OP is willing to start. To prove that an abstractly defined group is (i.e., has the structure of) a Lie group, one will have to use something nontrivi …
Robert Bryant's user avatar
21 votes

Asking whether there is a compact Lie group containing affine symplectic group

The answer is 'no', the affine symplectic group cannot appear as a Lie subgroup of any compact Lie group. The reason is that the affine symplectic group contains $\mathrm{SL}(2,\mathbb{R})$ as a Lie …
Robert Bryant's user avatar
20 votes
Accepted

Emergence of the orthogonal group

Your quote about Cartan thinking of $B_n$ and $D_n$ as 'projective groups..." is actually Cartan describing the lowest dimensional homogeneous space of these groups (except, of course, for a few excep …
Robert Bryant's user avatar
19 votes
Accepted

Geodesics on $SU(4)$

In the OP's particular case, the situation is somehwat simpler than the general case that José discusses. That's because the family of left-invariant metrics on $\mathrm{SU}(4)$ that the OP wants to …
Robert Bryant's user avatar
18 votes
Accepted

A careful roadtrip from locally symmetric spaces to algebra

Let me outline a different approach, namely the one É. Cartan himself took, one that doesn't depend on assuming completeness, doesn't rely on ideas about real-analyticity, and side-steps many of the i …
Robert Bryant's user avatar
17 votes

Spin group as an automorphism group

It seems that you are asking for descriptions of the groups $\mathrm{Spin}(p,q)$ as algebraic groups. This can certainly be done explicitly for low values of $p$ and $q$, but I don't know a general p …
Robert Bryant's user avatar
17 votes
Accepted

Where did Sophus Lie write the group commutator for two one parameter groups

Looking around on the internet, I found an English translation of Lie's 1891 paper Die Grundlagen für die Theorie der unendlichen kontinuierlichen Transformationsgruppen. I. (I.e., The foundations of …
Robert Bryant's user avatar
16 votes
Accepted

Moving frames method

I think you might want to read a couple of articles on the moving frame that carefully discuss this issue (and show that it is more subtle than most people realize). The first is a paper by Mark Green …
Robert Bryant's user avatar

1
2 3 4 5
10
15 30 50 per page