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

learn more… | top users | synonyms

2
votes
1answer
236 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
177 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
432 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
115 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
59 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
122 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
446 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
305 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
1answer
198 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
1answer
590 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
131 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
115 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
226 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
372 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
332 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
290 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
71 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 ...
5
votes
3answers
669 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 ...
0
votes
0answers
94 views

Reps of a compact connected Lie group are equivalent iff they are equivalent as reps of a maximal torus

Let $G$ be a compact connected Lie group, $T$ a maximal torus in $G$ and $V$, $W$ finite-dimensional $G$-representations. Using characters and the fact that every element of $G$ can be conjugated into ...
3
votes
0answers
104 views

Why “non-linear similarity” is the same as equivalence of representations for connected Lie groups?

Let $G$ be a compact Lie group and $V$ a finite-dimensional orthogonal $G$-representation. Write $S^V$ for the quotient $D(V)/S(V)$, where $D(V)$ and $S(V)$ are the unit disk and sphere in $V$, ...
3
votes
0answers
353 views

Existence of diagonalizing coordinates for the metric tensor

Solving for metrics that are Einstein, i.e that satisfy $R_{\mu \nu} = \Lambda g_{\mu \nu}$ is highly non-trivial as soon as $g_{\alpha \beta}$ is allowed to have off-diagonal components. However, ...
1
vote
1answer
151 views

Relation between volume of reduced space and phase space

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if $J:M\to \frak g^*$ be its equivariant moment map then the reduced space is ...
3
votes
1answer
105 views

necessary and sufficient conditions for littlewood richardson coefficients to be non zero

Is there any necessary and sufficient conditions for $V(\tau)$ to be an irreducible component of the tensor product of two irreducible representations $V(\lambda)$ and $V(\mu)$ of a simple lie algebra ...
1
vote
1answer
88 views

tensor product of two irreducibles having same maximal weight

Is there any explicit decomposition of tensor product of two finite dimensional irreducible modules of simple lie algebras whose highest weights are same?
5
votes
1answer
149 views

“Plucker” embedding of G/N, for reductive group G, affinization of quasiaffine varieties

I'll use "affinization" to describe the natural map of schemes $X \rightarrow \text{Spec}(\Gamma(X, \mathcal{O}_X))$. For quasi-affine varieties $X$ this is an open embedding. Let $G$ be a reductive ...
2
votes
0answers
78 views

Automorphisms of Nilmanifolds

Let $\mathfrak{g}$ be an n-dimensional, rational, nilpotent Lie algebra with simply connected that lie group $G$. It is stated in some papers that if $A$ is an automorphism of $\mathfrak{g}$ which is ...
1
vote
0answers
109 views

infranilmanifolds: harmonic forms parallel?

I am studying Lott's paper : "On the spectrum of a finite volume negatively-curved manifold" and the satement is following: We have an compact infranilmanifold $N$ which is finitely covered by a ...
2
votes
0answers
97 views

Riemannian metric on complexification of Lie group

Let $G$ be a compact linear group and $G^c$ be its complexification. Then there is a diffeomorphism $f: G^c \to G \times Lie(G) $ given by $$ x e^{iA} \to (x,A).$$ Let $h$ be the pull back metric of ...
1
vote
1answer
131 views

Iwasawa decomposition of the pseudo-orthogonal group

This is a soft-question, but I haven't found an answer anywhere: do the factors of the Iwasawa decomposition of the pseudo-orthogonal group SO(p, q) have a simple form, in the same way that the ...
6
votes
1answer
235 views

Quotienting $SU(3)$ by $U(1)$?

As is well-known, if we quotient $SU(2)$ by the action of $U_1$, embedded in the diagonal as $(e^{i \theta}, e^{-i \theta})$, we get the $2$-sphere. As is also well-known, if we quotient $SU(3)$ on ...
0
votes
0answers
146 views

Jacobian change of basis matrix for different dimensions

I am considering a real Lie group $G$ acting transitively on an open set $U$ in a real Euclidean space of lower dimension. Given a smooth, compactly supported function $f: U \rightarrow \mathbb{R}$ ...
7
votes
0answers
82 views

Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action. I am trying to understand the Hopf bundle ...
1
vote
4answers
223 views

Bruhat order and Schubert cycles

I am looking for a good (textbook) reference for the basic fact (due to Chevalley) that for every semisimple Lie group $G$ (without compact factors) with Weyl group $W$, the Bruhat order on $W$ ...
16
votes
1answer
997 views

What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense: Conjecture ...
5
votes
1answer
258 views

Learning representation theory of real reductive lie groups

I am interested in any sources that can be helpful for learning the representation theory of real reductive groups. I am currently reading Wallach book, but I feel that I don't understand the subject ...
2
votes
2answers
202 views

Lie group about the quantum harmonic oscillator [closed]

We konw that in quantum harmonic oscillator $H=a^\dagger a$, $a^\dagger$, $a$, $1$ will span a Lie algebra, where $a, a^\dagger$ is annihilation and creation operator, $H$ is the Hamiltonian operator. ...
1
vote
1answer
146 views

Riemannian metric and Volume form for $SE(n)$ and/or $E(n)$

I wonder what happens when you construct the Tiling spaces considering the natural action of $SE(n)$ or $E(n)$ rather than $\mathbb R^n$. In order to do that, I need to understand both the (left ...
5
votes
1answer
128 views

Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...
0
votes
2answers
54 views

Lie Automorphisms and Isotopy

Let $X$ be a Lie group, $Aut(X)$ be the Lie automorphism group of $X$ (group automorphisms which are also diffeomorphisms), and $Homeo(X)$ be the homeomorphism group of the underlying manifold. For ...
2
votes
1answer
232 views

Cotangent bundle of symmetric space is symmetric space?

Let $G$ be a connected Lie group. Then a symmetric space for $G$ is a homogeneous space $G/H$ where the stabilizer $H$ of a typical point is an open subgroup of the fixed point set of an involution ...
7
votes
0answers
257 views

Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...
1
vote
0answers
23 views

About Blattner`s generating function in the holomorphic case

If $(\pi_\lambda, H_\lambda)$ is a holomorphic discrete series with Harish-Chandra parameter $\lambda$, it is known that $H_\lambda$ decomposes as K-module as $V_\Lambda \otimes S(p^+)$ where ...
1
vote
2answers
200 views

Are two distinct Weyl chambers always disjoint?

Let $G$ be a real semisimple Lie group; we suppose $G$ is connected and centerless. Let $\mathfrak{g}$ be its Lie algebra, $\mathfrak{a}$ a Cartan subspace of $\mathfrak{g}$ (i. e. a maximal abelian ...
1
vote
0answers
78 views

characters on unipotent group

Let $G=GL_{n}$ and $N$ the maximal unipotent subgroup, $\mathbb{A}$ the ring of adeles on a number field $F$. We fix a non trivial character $\psi:F\backslash\mathbb{A}\rightarrow \mathbb{C}^{*}$. We ...
4
votes
2answers
182 views

Does a spherical building embeds in a building of type $A_n$?

I'm interested in the question in the title. Does a spherical building $B$ always embeds in a building $\tilde B$ of type $A_n$ for some $n$? By embedding I mean an isometric embedding with respect ...
1
vote
4answers
268 views

About structure of parabolic subgroups of finite classical algebraic groups

Dear Members of Mathoverflow, I am interested about a Fact (if it is right) of the structure of parabolic subgroups of finite classical algebraic groups: Let G be a classical algebraic group over ...
4
votes
1answer
116 views

Weyl group action on complexified Iwasawa decomposition

Let $G$ be a complex, reductive, algebraic group and let $G=KB$ be the complexified Iwasawa decomposition of $G$, see also [SW02]. Let $T$ be a maximal torus of $B$, therefore a maximal torus of $G$. ...
2
votes
1answer
94 views

From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...
5
votes
1answer
127 views

Approximations of the identity on Lie groups and homogenous spaces

I'm looking for a nice (and preferably classic or book) reference for the following type of result: Consider a transitive action of a compact Lie group $G$ on a compact manifold $M$ and a continuous ...
1
vote
0answers
89 views

Subgroups of $GL(n,\mathbb{R})$ which are $Aut(L)$ for some Lie structure [closed]

What is a sufficient condition for a lie subgroup $G$ of $GL(n,\mathbb{R})$ to be the automorphism group of a Lie structure on $\mathbb{R}^{n}$. In particular does $O(n)$ satisfies this property?