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
59 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 ...
4
votes
1answer
156 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
85 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}$ ...
4
votes
0answers
40 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
178 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$ ...
3
votes
0answers
238 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 ...
4
votes
1answer
154 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
111 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. ...
2
votes
1answer
110 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 ...
0
votes
0answers
34 views

Is there a generalization of niradicals in Lie algebras?

This is a follow-up question to Which nilpotent Lie algebras appear as nilradicals of parabolic subalgabras?. I was wondering if one can somehow invert the question above in the sense that we do not ...
3
votes
1answer
92 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
42 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 ...
1
vote
0answers
124 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
229 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
20 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
170 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
65 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 ...
3
votes
2answers
141 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
192 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
84 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
0answers
26 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
108 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
75 views

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

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?
0
votes
0answers
80 views

Brauer characters of finite simple group $E_8(5)$

I would like to find the irreducible characters of the group $E_8(5)$ (mod 2)? Can anyone help? (I am elementary in working with Brauer characters) Many thanks
8
votes
4answers
240 views

Automorphism group of flag manifolds?

If $F=F(n_1, \ldots, n_k)$ is the (complex) flag variety associated to the partition $(n_1, \ldots, n_k)$, what is the automorphism group of $F$? Here I mean holomorphic and/or variety automorphisms. ...
6
votes
0answers
107 views

Zariski closure of orbits of real groups on complex flag manifolds

Let $G$ be a complex reductive algebraic group defined over $\mathbb R$, and $G_0$ its real points. Then the orbits of $G_0$ on $G/B$ need not be real algebraic subvarieties. Take $G=SL_2(\mathbb C)$, ...
3
votes
1answer
202 views

Do cyclic product vectors generatating irreducible representation of a Lie group come from a unique orbit?

Consider a Hilbert space $\mathcal{H}$ which is a carrier space of a unitary, irreducible and strongly continuous representation $\Pi$ of a Lie group $G$. Let $\Pi\otimes \Pi$ denote the corresponding ...
1
vote
0answers
39 views

Reference Help: Matsuki duality Orbits

I'm studying the Matsuki duality of $G_0$-orbits and $K$-orbits over a flag manifold $G/P$ where $G$ is semisimple complex Lie group and $P$ is a parabolic subgroup. I would like to study some ...
3
votes
1answer
182 views

What is the canonical form of real symmetric 2n\times 2n matrix under unitary congruence?

If $M$ is a $2n\times 2n$ real symmetric matrix, I would like to ask what could be its canonical form under unitary congruence. We view a unitary $n\times n$ matrix $U$ as a real $2n\times 2n$ matrix, ...
1
vote
1answer
145 views

The set of leaves of the distribution $D$ on coadjoint orbit $O_{\mu}$

Let $G$ be a compact connected Lie group and $O_{\mu}$ be a coadjoint orbit where $\mu\in \mathfrak{g}^*$ and $\mathfrak{g}^*$ is the dual of the Lie algebra of $\mathfrak{g}=\mathrm{Lie}(G)$. Let ...
4
votes
1answer
106 views

connections on principal bundles over $S^1$

Suppose $G$ is a compact connected Lie group and $P$ is a $G$-bundle over $S^1$, $A$ is a connection. Then we can choose a frame such that $A = a d\theta$ where $a\in \mathfrak{g}$ is constant. My ...
5
votes
1answer
271 views

Root space decomposition

What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form $\left( \begin{array}{cc} X & Y \\ \overline{Y}^t & Z ...
4
votes
1answer
719 views

Goin' with the flow with Kummer and Pascal: Combinatorics and geometry underlying the logarithm of the derivative operator

In a MO-Q111165 and associated MSE-Q125343, I present a pair of raising / lowering (creation / annihilation) operators $R_x = log(D)$ and $L_x = -x·D$ with $D=d/dx$ (for a sequence of functions ...
3
votes
1answer
104 views

Reference to definition of matrix log with domain SO(3) which is Borel measurable

I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
4
votes
1answer
391 views

Topologie sur l'ensemble des sous-groupes de GL_n(R)

Bonjour, Est ce qu'il existe une topologie naturelle sur l'ensemble des sous-groupes du groupe général linéaire ? English translation: "is there a natural topology on the set of subgroups of the ...
4
votes
0answers
75 views

Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
3
votes
0answers
50 views

Closed form for 3j-symbol ratios

I am working on the spherical harmonic decomposition of cosmic microwave background maps, therefore I often deal with functions that are proportional to Wigner 3J symbols/Clebsch–Gordan ...
2
votes
0answers
94 views

On Eigenvalues of the symmetric linear transformation related to a lie algebra's representation?

Let $\mathfrak{g}$ be a quadratic (finite dimensional) lie algebra and $\rho:\mathfrak{g}\rightarrow \mathfrak{gl}(W)$ be an anti-symmetric representation of $\mathfrak{g}$ on a finite dimensional ...
1
vote
0answers
74 views

Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$

Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times ...
2
votes
1answer
102 views

lifting group action

Let a Lie group $G$ act on a manifold $M$. Under which condition(s) we have a lifting action of $G$ on the universal covering of $M$? By Bredon, I already know that there is a group $\widetilde{G}$, ...
0
votes
1answer
214 views

Computing the fundamental group of a flag variety

Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
6
votes
5answers
369 views

Reference requested: Random walk on groups

I am looking for a good reference to learn about random walks on groups (either finite groups or Lie groups). Ideally, I would like a reference for general theory of random walks on groups that is ...
1
vote
1answer
150 views

labeling state vectors in representation space of a simple lie algebra

Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation ...
4
votes
1answer
98 views

Connection between degree of growth and return probabilities of random walks on Lie groups

Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...
1
vote
0answers
136 views

Mathematica package for Lie algebra computations?

I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...
1
vote
0answers
39 views

Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group

Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
0
votes
1answer
182 views

Subgroups with trivial Centralizers

Let $G$ be a compact, simply-connected, and simple Lie group. Let $H$ be a closed subgroup of $G$ that has the same centralizer as the center of $G$. Is there a nice classification of such subgroups? ...
4
votes
1answer
191 views

Tannaka–Krein duality

First I would like to stress that maybe I don't have a necessary background from the theory of Lie groups. I met the topic of Tannaka–Krein duality while reading the book of Gracia–Bondia, Varilly and ...
4
votes
0answers
78 views

Adjoint orbit of two vectors

Let $G$ be a simple compact real Lie group and let $\mathfrak g$ be its Lie algebra. Let $u,v\in \mathfrak g$ be two distinct unit vectors and $H\subset \mathfrak g$ be a hyperplane with normal vector ...
3
votes
0answers
148 views

What is a pure algebraic interpretation for this dynamical property?

According to comments of Yves Cornulier to the previous version of this question I revise the question as follows: To what extent the following types of Lie algebras $A$ are classified? And what is ...