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

learn more… | top users | synonyms

1
vote
1answer
63 views

Reducible reductive Lie subalgebras of so(p,q)

Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
0
votes
0answers
33 views

Discrete subgroup of complex orthogonal group

Is there any reference for the discrete subgroup of complex orthogonal group SO(n,C)? Any classification or examples?
2
votes
1answer
78 views

Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has $$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$ where $\Delta$ ...
11
votes
2answers
305 views

Langlands duality and multiplying cocharacters

Recall that there is a bijection between irreducible representations of a compact real Lie group $G$ and the cocharacters (homomorphisms $U(1) \to G$, modulo conjugation) of the Langlands dual group ...
0
votes
0answers
46 views

irreducible representation of a simple Lie group where each element has a fixed point

I was wondering if it possible that a simple Lie group $G$ could have a continuous irreducible representation on a finite-dimensional real vector space $V$ in which each element of $G$ has a non-zero ...
1
vote
0answers
27 views

Estimate for the Iwasawa decomposition in loop groups

Let $GL(n,\mathbb{C})$ be the general linear group and let $U(n)$ be the unitary group in it, which is a maximal compact subgroup. I consider the loop group $\Lambda GL(n,\mathbb{C})$ of maps from ...
1
vote
1answer
232 views

A Comparison between $\pi_{1}$ of cohomology and cohomology of $\pi_{1}$

Let we have a complex of abelian topological or lie groups $$\ldots \to G_{n}\to G_{n+1}\to \ldots$$ such that the image of $G_{n}$ is a closed subgroup of $G_{n+1}$. Then we have a complex of ...
1
vote
0answers
42 views

exponential and anisotropic torus

Let $F$ be a local p-adic field and $G$ a semisimple simply connected group over $F$, $\mathfrak{g}$ its Lie algebra. Let $T$ a maximal anisotropic torus of $G$, split over an etale extension of $F$ ...
2
votes
0answers
112 views

Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...
2
votes
0answers
110 views

Unitary dual of $Sp_4(\mathbb{R})$

Do we know the unitary dual of $Sp_4(\mathbb{R})$? If so, can someone provide me any references? How about other rank 2 real groups? Thank you!
1
vote
1answer
152 views

Center of a compact group

Suppose $G$ is a compact Lie group, we know the center of $G$ is a compact Abelian subgroup, so it must be isomorphic to a direct product of finite abelian subgroup and a torus. Now suppose the ...
4
votes
2answers
222 views

What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits. A ...
0
votes
1answer
89 views

on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$. We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...
13
votes
1answer
152 views

Weyl group actions on 0-weight spaces

For a complex simple Lie group G with a maximal torus T, we can take a highest-weight representation V of G and look at the 0-weight space, i.e. the subspace of V of elements invariant under T. This ...
2
votes
1answer
297 views

Kodaira dimension of co-adjoint orbit

Let $G$ be a compact Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $\mathcal O_a$ be a coadjoint orbit. Then every co-adjoint orbit is Kähler manifold and also ...
1
vote
0answers
126 views

Campbell-Baker-Hausdorff formula for $\log(\exp(X+Y)\exp(X-Y))$ [migrated]

Given $X,Y\in \mathfrak g\mathfrak l_{\mathbb R}(n)$, and the CBH formula for $\log(\exp X\exp Y)$ (wiki), is there any convenient way to collect the terms of $\log(\exp(X+Y)\exp(X-Y))$ that involve ...
6
votes
1answer
130 views

Lie group actions with only one orbit type, but not defining a principal bundle

Searched-for situation: A compact connected Lie group acts effectively on a closed Riemannian manifold by isometries, such that there is only one orbit type of dimension strictly less than that of the ...
4
votes
1answer
118 views

Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
4
votes
0answers
84 views

Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...
10
votes
2answers
134 views

Which real Pin groups agree?

In the Lie theory notes on my website it is claimed (Example 7.3.3.5) that $\mathrm{Pin}(4,0)$ and $\mathrm{Pin}(0,4)$ are not isomorphic. As Nigel Ray pointed out to me, this claim is not quite ...
5
votes
1answer
323 views

Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, $f:G\to ...
16
votes
0answers
407 views

Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups. Below is a proposition for ...
5
votes
3answers
281 views

Poincare duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements. In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...
4
votes
0answers
174 views

Decompositions of a compact Lie group into “fixed point set types”

Consider a compact Lie group $G$ which acts on a closed Riemannian manifold $M$ by isometries. Then it is well-known that there are only finitely many isotropy types of the $G$-action, i.e. finitely ...
4
votes
1answer
106 views

Writing a complex orthogonal matrix as a conjugation by real orthogonal matrices

Let $Q\in O(n,\mathbb C)$ be a complex orthogonal matrix. I would like to know if $Q$ can always be written as $Q = T^{-1}ST$, where $T\in O(n,\mathbb R)\subset O(n,\mathbb C)$ and $S$ belongs to some ...
1
vote
1answer
70 views

the meaning of “Cauchy filter” for an arbitrary topological group

I was reading a definition of pro-Lie group and it spoke of a "Cauchy filter" on an arbitrary topological group even though there was no mention of a metric. Is there some kind of standard meaning for ...
-2
votes
2answers
154 views

Any duality between different real forms of a complex Lie group? [closed]

A complex Lie group may have several real forms. Are there any duality/trinity... between them? Maybe a trivial question to ask, is $SL(3,\mathbb{C})$ a real form of $SL(3,\mathbb{C})\times ...
3
votes
0answers
43 views

Can Bruhat cells in semi simple groups be induced from matrices?

Let $G$ be a semisimple Lie group. Embed it as a subgroup into a special linear group of suitable rank, $SL(n)$ (real or complex). The question is: is it always possible to find such an embedding, ...
1
vote
0answers
112 views

Non invertibility of certain integral arising from group action

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...
-3
votes
1answer
151 views

The logarith map as a contraction [closed]

Two Questions: (1) Under what conditions(if any) can the logarithm map from a point on a Riemannian manifold, $q_1\in Q$, to the Tangent Space $T_{q_0}Q$, locally, be a contraction mapping? Or more ...
4
votes
1answer
174 views

Why a nilpotent Lie group must be a matrix group?

The question may be a little naive (or even appear as a duplicate) as I guess the result is well known. I saw on the other thread that " c) A solvable Lie group G is linear iff its commutator ...
5
votes
0answers
93 views

Explicit generators for homotopy groups of Lie groups

I would like to know explicit formulas for generators of the infinite cyclic summands in the homotopy groups of Lie groups, in the form of continuous (or smooth if possible) maps $S^n\to G$. It is ...
4
votes
0answers
115 views

Fixed sets of orbit spaces

I've run across something that surprises me, so I'm wondering (1) Is it true? and (2) Is it well known? (And if the answers are affirmative, why didn't I know this already?) Let $G$ be a compact Lie ...
1
vote
1answer
160 views

When is the Ad (Adjoint Representation) Morphism a Closed Map

Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...
0
votes
0answers
102 views

Left invariant connection on Lie groups

Let $M^n$ be a Riemannian manifold, $G^{n + k}, \: k\geq 1 $ be a connected Lie group equipped with a left invariant metric and $f:M^n \to G^{n + k}$ one isometric immersion. Let $X, Y$ left invariant ...
0
votes
0answers
44 views

Fixed Point Algebras of Adjoint Actions of Banach Lie groups

I have the following question: Let a be an element in a connected Banach Lie group G (over K, where K is the reals or the complex numbers). We assume that G is not trivial, that has more than one ...
0
votes
2answers
65 views

A full dim. subvector space of $\chi^{\infty}(M)$ which all non zero elements are nonvanishing vec.field

What is an example of a $n$ dimensional manifold $M$ which is not a lie group or $S^{7}$ but satisfies the following property?: There is an $n$ dimensional sub vector space ...
6
votes
1answer
113 views

How to “lift” a transitive group action on a manifold?

Let $M=G/H$ be a homogeneous manifold, with $G$ connected Lie group. Suppose that $\widetilde{M}$ is a covering of $M$. QUESTION: is there a general prescription to obtain a Lie group ...
2
votes
1answer
180 views

Is the centralizer $Z_G(A)=\{g\in G| a g= g a\}$ of a finite $A\subset G$ connected for a connected compact Lie group?

Let $G$ be a connected compact Lie group, consider the left/right action on itself. For any finite $A\subset G$, consider the centralizer $Z_G(A):=\{g\in G| a g= g a\}$. Q: is $Z_G(A)$ a connected ...
1
vote
1answer
185 views

Basics on lattice in classical groups

as a beginner,I am not sure whether this question is too basic to post here./-\。 Many textbook will talk about the prototypical example SL(n,Z)\SL(n,R), which can be identified with the space of ...
10
votes
0answers
186 views

Derivation of Blattner's conjecture in the Beilinson-Bernstein picture

On the last page of Schmid's article "Discrete Series", he says "In the Beilinson-Bernstein picture, discrete series modules are attached to closed $K$-orbits in $X$... the $K_{\mathbb R}$-structure ...
3
votes
0answers
121 views

What do we know about isospectral Cayley graphs?

Let $\Gamma_1=\Gamma_1(G_1,S_1)$ (respectively $\Gamma_2=\Gamma_2(G_2,S_2)$) be a Cayley graph for the group $G_1$ and the finite generating set $S_1$ (respectively $G_2$ and the finite generating set ...
10
votes
2answers
371 views

on the center of a Lie group

I'm trying to set straight my various pieces of knowledge about the center of a compact Lie group, and I'm running in circles... First some definitions: • Let $G$ be compact, simple, and simply ...
0
votes
1answer
138 views

Maximal subgroups of indefinite special orthogonal group SO(p,q)

Can someone answer the following question: Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions: ...
0
votes
1answer
104 views

Does the homogeneous spaces $K^{\mathbb{C}}/{{Z(k)}^{\mathbb{C}}}$ have a natural Kähler or sympletic structure?

Let $K$ be a connected compact Lie group, $K^{\mathbb{C}}$ be complexified Lie group of $K$. Denote $Z(k)$ by the centralizer of k∈K and $Z^{\mathbb{C}}(k) $ be the complexified Lie group of $Z(k)$ ...
0
votes
0answers
55 views

Localization on orbit type submanifolds (generalization of Atiyah-Bott-Berline-Vergne)

In equivariant cohomology, the Atiyah-Bott-Berline-Vergne localization theorem says roughly speaking that the integral of an equivariant cohomology class on the $G$-manifold $M$ has only contributions ...
5
votes
0answers
375 views

A function canonically associated to an irreducible representation in L^2(M) for a Riemannian G-manifold M. Who has seen it?

The following is my first question here on mathoverflow. Let $M$ be a closed connected Riemannian manifold with an isometric effective action of a compact connected Lie group $G$. Consider the ...
5
votes
1answer
224 views

Harish-Chandra isomorphism for compact symmetric spaces

I would be interested to have an explicit description of the algebra of invariant differential operators on functions on a compact symmetric space $G/K$. A reference would be especially useful. ...
1
vote
1answer
109 views

Large and Small Conformal Groups

It's well-known that on a Riemannian manifold $(M,g)$ with dimension larger than 2, the dimension of its conformal group $\text{conf}(M,g)$ is bounded above by ${n+2\choose 2}$. A Riemannian manifold ...
2
votes
1answer
160 views

When are induction and coinduction of representations of Lie groups isomorphic? When they are compact? Semisimple?

This is in a sense a follow up on the popular question Induction and Coinduction of Representations, where this particular question is one of several points, and it is neglected. It seems that the ...