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

learn more… | top users | synonyms

3
votes
1answer
58 views

$C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...
2
votes
0answers
69 views

$G$-invariant part of products of determinants of minors

Let $G = SL_n$; then for any tuple $\lambda$ such that $\sum \lambda_i = n$, define $f_\lambda(g)$ as the product of the determinants of successive minors of lengths $\lambda_i$ of $g$ (e.g. for ...
7
votes
3answers
516 views

nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
2
votes
2answers
155 views

Bound on the index of an abelian subgroup in discrete subgroup of the euclidean group?

I asked the following question on math.SE a couple of days ago. Dietrich Burde gave an answer for the case that the subgroup is not only discrete but also acts cocompactly. What about the general ...
6
votes
1answer
147 views

Integrals of representations over geodesics

Let $G$ be a compact, connected Lie group and $\rho$ any of its irreducible, unitary representations. If $\gamma:S^1\to G$ is an injective homomorphism (a periodic geodesic passing through the ...
-4
votes
0answers
107 views

What is the use of arithmetic groups? [closed]

I want to ask a question that what is the relation between arithmetic group and number theory? We take a lot efforts to prove some kinds of lattics are arithmetic, do we get some bonus from the ...
0
votes
0answers
72 views

Is it possible to factor the tensor of two representations of a group $G$ through $G \otimes G$? [closed]

With direct sum there is a simple way to factor the representation through $G \oplus G$: $$ G \to G \oplus G \to GL(V \oplus W) $$ where the first map is the diagonal and the second is through the ...
4
votes
1answer
442 views

Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition, with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant ...
1
vote
0answers
30 views

Symmetry analysis of differential equations

What is the connected component of the identical transformation in the pseudogroup of local diffeormorphism on the real line? similar question Let $\tilde t=T(t)\quad T_t>0,$ be a local ...
1
vote
1answer
131 views

Unipotent conjugacy classes

Consider a connected reductive group G over the complex numbers. Is there a `simple' formula for the number of conjugacy classes of unipotent elements in G?
5
votes
1answer
267 views

The surjectivity of the exponential map for the isometry group

Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective. Let $M$ be a noncompact connected Riemann manifold, and ...
1
vote
1answer
75 views

Orbits of an action of maximal compact subgroups of p-adic orthogonal groups

Let $Q$ be a non-degenerate indefinite quadratic form on ${\mathbb R}^n$ and write $G=SO(Q)$ for the associated special orthogonal group. Let $K$ be a maximal compact subgroup of $G$ and consider the ...
4
votes
1answer
211 views

Calculation with weights of $E_6$

Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...
6
votes
1answer
250 views

Differences in philosophy between Lie Groups and Differential Galois Theory

As far as I have heard,Sophus Lie's aim was to construct an analogue of galois theory for differential galois theory. I am familiar with lie group but not with differential galois theory. What is the ...
1
vote
1answer
102 views

Fibers of the Bott-Samelson Resolution of Schubert Varieties

Is there an explicit (perhaps visual) description of the fibers of the Bott-Samelson Resolutions of Schubert Varieties? Let's fix $G$ to be $GL_n(\mathbb{C})$. Also, how would the answer to the ...
6
votes
2answers
214 views

Union of conjugates of a closed subgroup of a compact group

Let $G$ be a compact Hausdorff group, $H \leq G$ a closed subgroup of infinite index in $G$. Is it possible that the conjugates of $H$ cover some open neighbourhood of $1$ in $G$ (or the whole of ...
2
votes
0answers
109 views

Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here. Is there ...
4
votes
2answers
90 views

Hermitian Symmetric Subspaces of Siegel Space

Let $\mathbb{H}_g$ denote Siegel space, and $M$ denote an order 4 element of the unitary subgroup $U(n)(\mathbb{R})$with $p$ eigenvalues equal to $i$, and $q$ eigenvalues equal to $-i$, $p+q=g$. ...
3
votes
1answer
163 views

Lie group GL(4) representation decomposition

Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$. Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation. My question: How does $$V\otimes ...
3
votes
3answers
215 views

Is the group of isometries of a homogeneous Riemannian manifold maximal?

I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that: Iso is a proper subgroup of ...
1
vote
1answer
71 views

A Non-homogeneous, Linear (Matrix) System of ODEs: What's Known About it? [closed]

Consider the following system of ODEs $$ Y^{'}(t) = - \left[ A Y(t) + Y(t) A \right] + B(t) , $$ where $Y(t)$,$A$,$B(t)$ are all matrices, with the properties $A=A^T$, $Y=Y^T$. $Y(t)$ is the matrix ...
0
votes
1answer
147 views

Compact Lie groups with only 3 dimensional cohomology generators

Let $M$ be a compact connected semi-simple Lie group. Then by Hopf's Theorem $H^*(M;\mathbb Q)=\Lambda[\omega_1,...,\omega_s]$ where $\omega_i\in H^i(M;\mathbb Q)$ , $i\ge 3$ is odd. For which $M$, ...
0
votes
0answers
32 views

Godement-Jacquet and L-functions

Let $M_{r}(F)$ be the matrices with coefficients in a local nonarchimedean field $F$ and $q$ the cardinal of the residue field. We have a Fourier tansform on $M_{r}(F)$ with kernel ...
5
votes
2answers
185 views

Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
1
vote
0answers
61 views

Representations of $\mathfrak{so}(3)$ ($\mathfrak{so}(2,1)$) and $SO(3)$ ($SO(2,1)$)

(Apologies if this question is too basic!) I have explicit 5-dimensional real representations of $\mathfrak{so}(3)$ and $\mathfrak{so}(2,1)$, and I want to know whether it's necessarily true that the ...
2
votes
0answers
35 views

Locus maximizing the holomorphic sectional curvature in a non-compact Hermitian symmetric space

Is there a quick way to prove the following statement, if possible without resorting to the classification of simple Lie groups? Let $G$ be a simple Lie group of non-compact Hermitian type of rank ...
1
vote
0answers
54 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
2
votes
1answer
169 views

R-linear representations of sl(2,C)

Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$? Equivalently, what ...
1
vote
1answer
58 views

A canonical G_m (or G) action on the Slodowy slice

Question By Slodowy slice I mean a transverse slice at a subregular nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ (in particular I am not intersecting with the nilpotent cone). Consider the ...
5
votes
2answers
360 views

How to estimate the Haar measure on $G_2$

I have a sequence of real numbers. I want to know whether this sequence looks like the traces in the standard representation of a random sequence of elements of $G_2$. (Here random is according to the ...
1
vote
0answers
205 views

Relationship between algebraic groups and Lie groups? [closed]

In the literature, e.g. in representation theory, there seems to be a passage from Lie groups to (linear) algebraic groups. It is clear, particularly over $\mathbb R$ and $\mathbb C$ that they are ...
0
votes
0answers
73 views

Is every bi-invariant Finsler metric on $SU(N)$ necessarily Riemannian?

Is every bi-invariant Finsler metric on $SU(N)$ necessarily Riemannian? If possible I'd also like to know if the right translation of the Shatten $p-norm$ on the Lie algebra gives rise to a ...
2
votes
0answers
151 views

Generator of $\pi_3(SU(4))$ in Mimura-Toda

In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as ...
1
vote
0answers
169 views

Orbital integral by using symplectic quotient

Let $(M,\omega)$ be a compact symplectic Hamiltonian $G$-manifold and $\Gamma_{\text hol}(M,L)$ be the space of holomorphic sections of the line bundle $L\to M$ I am looking for a proof for ...
8
votes
4answers
389 views

Action of a Lie group with finitely many orbits

EDIT: Let a real Lie group $G$ act on a smooth manifold $M$ with finitely many orbits such that each orbit is locally closed ($M$, but not $G$, may be assumed to be compact in my case). Let ...
1
vote
1answer
112 views

Structures on open surfaces

Let $\phi\in PSL(2,R)$ be hyperbolic and $\varphi\in PSL(2,R)$ be elliptic. Is it possible to find a local homeomorphism $f:H^2\rightarrow H^2$ such that $f(\phi(x))=\varphi(f(x))$ for all $x\in H^2$ ...
2
votes
0answers
48 views

Is this functional maximized by SU(2) coherent states?

Let $D : SU(2)\mapsto\mathbb{B}(\mathbb{C}^{d})$ be an unitary irreducible representation of SU(2). Denote the spin of this representation by S (i.e. $d = 2S+1$). Define the functional $F$ by ...
4
votes
1answer
104 views

Action of the isometry group of the hyperbolic 5-space

We can think hyperbolic 5-space as, $$\mathcal{H}^5=SO^+_{5,1}(\mathbb{R})/SO_5(\mathbb{R})=SL_2(\mathbb{H})/Sp^*_2(\mathbb{H}),$$$\mathbb{H}$ is real quaternion algebra. By Iwasawa Decomposition the ...
16
votes
3answers
357 views

Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group

There are many introductory texts on real Lie groups, and many on linear algebraic groups in general, but fewer on the specific case of linear algebraic groups over the reals, and even fewer that try ...
3
votes
0answers
296 views

Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation

Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$? Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...
2
votes
0answers
78 views

surjective homomorphism with compact kernel (Milne's note on Shimura varieties)

I'm reading Milne's Introduction to Shimura varieties (http://www.jmilne.org/math/xnotes/svi.pdf) and there is something I don't get. Let $G$ be a connected semisimple algebraic group $G$ over ...
16
votes
2answers
539 views

What's the relationship between these two isomorphisms involving G and T?

Let $G$ be a compact connected Lie group with maximal torus $T$ and Weyl group $W$. Recall the following two isomorphisms. Isomorphism 1: $R(G) \cong R(T)^W$, where $R(-)$ denotes the representation ...
7
votes
0answers
119 views

$v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...
1
vote
2answers
102 views

Right invariant Killing fields of Right invariant Riemanian metrics

Can there exist a right invariant killing field of a right invariant (but not bi-invariant) Riemannian metric on a Lie group? I am especially interested in the case of $SU(N)$ with a metric of the ...
7
votes
1answer
194 views

Formula for the Haar measure in the linear symplectic group

What is (or where can I find) an explicit formula for the Haar measure of the group of linear symplectic transformations of $\mathbb{R}^{2n}$? Added 13/05/2014. Some clarifying remarks: (1) by ...
3
votes
4answers
336 views

Reference for an algebraic group preserving a cubic form

Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...
5
votes
3answers
295 views

Decomposition of $L^2(\Gamma \backslash G)$

Let $G$ be a semisimple Lie group, and $\Gamma$ be an lattice (arithmetic) - typical examples I am thinking about would be $(SL_2(\mathbb{R}), SL_2(\mathbb{Z})$, or $(SL_2(\mathbb{C}), PGL_2(O_F))$ ...
0
votes
0answers
274 views

A Generalized De Rham cohomology

Edit According to the comment of Alex Degtyarev, I deleted the last part of the previous version. Let $E$ be a real vector space. The complex valued $k$- tensors on $E$ is denoted by ...
0
votes
0answers
69 views

Unions of orbits of dimension $\leq n$

Let $G$ be a complex linear algebraic group acting on a smooth complex projective variety $X$ with finitely many orbits. Note that each $G$-orbit is a smooth locally closed subvariety of $X$. For a ...
4
votes
3answers
556 views

How many three dimensional real Lie algebras are there?

The main point of the question is: I would like to know whether there are only finitely many, countable infinitely many or even uncountable many isomorphism classes of $3$-dimensional real lie ...