Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
4
votes
0answers
166 views
Gram-Schmidt map as a Riemannian submersion
We equip $\mathrm{GL}(n,\mathbb{R})$ and $\mathrm{O}(n)$ with their left-invariant metrics, whose restrictions to the corresponding neutral elements is the standard inner product $\mathrm{Trace}(AB^{\...
4
votes
3answers
157 views
Real points of reductive groups and connected components
Let $\mathbf G$ be a connected reductive group over $\mathbb R$, and let $G = \mathbf G(\mathbb R)$. Then $G$ is not necessarily connected as a Lie group, e.g. $\mathbf G = \operatorname{GL}_n$. ...
4
votes
1answer
125 views
An easier reference than “On the Functional Equations Satisfied by Eisenstein Series”?
I'd like to learn about Eisenstein series so I started reading "On the Functional Equations Satisfied by Eisenstein Series"by Langlands.
http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/...
1
vote
0answers
71 views
Basic notation question involving Lie Groups and Lie algebras
I just started reading "On the functional equations satisfied by Eisentstein series" by Langlands http://publications.ias.edu/sites/default/files/Eisenstein-ps.pdf . I wasn't sure of some notation/...
2
votes
0answers
23 views
Compact image of adjoint action
Let $G$ be a connected Lie group and $H$ a connected Lie-subgroup.
Suppose that for every compact subset $K\subset G/H$ the $H$-orbit $H.K$ is relatively compact in $G/H$.
Is it true that the image ...
6
votes
3answers
276 views
$SO(m+1)$-equivariant maps from $S^m$ to $S^m$
Let $G=SO(m+1)$ , $m \geq 2$, act in the standard way on $S^m$.
Let $F:S^m \to S^m$ be a $G$-equivariant map, i.e., $g F(g^{-1}x) =F(x)$ for all $x \in S^m$ and $g \in G$.
Question 1: Is F the ...
2
votes
1answer
102 views
Simple modules for direct sum of simple Lie algebras
I think that the following statement is true, but I do not know how to prove it.
Let $\mathfrak{g}_1$ and $\mathfrak{g}_2$ be two real simple Lie algebras. If $M$ is a (infinite dimensional) complex ...
1
vote
0answers
63 views
Homotopy classes of maps between special unitary Lie group. Correction [duplicate]
An hour ago I asked a question (under the same title) but I used a wrong notation. Here is the improved version.
We consider a special unitary Lie group $SU(n)$. Then its center is $\mathbb{Z}_n$ and ...
5
votes
1answer
197 views
Homotopy classes of maps between special unitary Lie groups
I am sorry to mislead the notations: $SU(n)$ should be replaced by $PSU(n)$. I will reformulate it now.
We consider the special unitary Lie group $SU(n)$. Then its center is $\mathbb{Z}_n$ and we ...
1
vote
1answer
183 views
Homotopy of group actions
Let $G$ be a topological group and $X$ be a topological space.
Let $\alpha$, $\beta:G\times X\to X$ be two group actions. We say that these two actions are homotopic actions if there is a continuous ...
2
votes
0answers
135 views
More general form of Fourier inversion formula
My question begins as follows: Suppose $G$ is a compact (Lie) group and $A$ is a $G$-module, and denote the action of $G$ on $A$ by $\alpha$. Fix $a\in A$ and view
$$
f:g\mapsto \alpha_g(a)
$$
as an $...
5
votes
1answer
154 views
Definition of a Dirac operator
So it seems that a Dirac operator acting on spinors on $\psi=\psi(\mathfrak{su}(2),\mathbb{C}^2)$ can be written in this case simply as:
$D=\sum_{i,j} E_{ij}\otimes e_{ji}$, where $E_{ij}$ are ...
3
votes
1answer
87 views
A converse of Cartan's automatic continuity theorem
Let $G$ be a compact real Lie group. We say that $G$ has property $(*)$ if every abstract automorphism of $G$ is continuous. A theorem of Cartan says that if $G$ has perfect Lie algebra, it has ...
2
votes
0answers
108 views
Milnor's conjecture on Lie group (co)homology and forgetful functor of extensions
Let $G$ and $H$ be compact Lie groups, Consider $Ext_{Lie}(G,H)$ the set of isomorphism of extensions of Lie groups:
$$
1\rightarrow G\rightarrow M\rightarrow H\rightarrow 1
$$
There exists a ...
3
votes
1answer
202 views
Extensions of compact Lie groups
Let $G$, $H$ be two compact Lie groups (possibly disconnected). Two short exact sequences of compact Lie groups
$$
0\rightarrow G\rightarrow M_1 \rightarrow H\rightarrow 0,
$$
$$
0\rightarrow G\...
5
votes
2answers
222 views
Compact connected Lie groups isomorphic as groups and manifolds
Let $G_1$ and $G_2$ be compact connected (not necessarily semi-simple) Lie groups. Assume that the underlying smooth manifolds of $G_1$ and $G_2$ are diffeomorphic and that the underlying abstract ...
3
votes
1answer
129 views
Branching to Levi subgroups in SAGE and the circle action
In the SAGE computer package, there useful exist tools for branching representations of a simple Lie group to a Levi subgroup:
http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/...
4
votes
2answers
147 views
GAP versus SageMath for branching to Lie subgroups
Which computer package is better, GAP or SageMath, for
decomposing an irreducible representation of a (simple) Lie group
$G$ into representations of a Lie subgroup. I am most interested when
...
13
votes
0answers
285 views
Geometric (smooth) Rubik's cube
I and my friend are thinking about a smooth analog of Rubik's cube. One idea is the following:
Consider the 2-dimensional sphere $S^{2}$. We choose three parameters: $(L, H, \theta)$. Here $L$ is a ...
4
votes
0answers
68 views
Lagrangian subgroup of a nonabelian Lie group
My post here concerns the concept of Lagrangian subgroup for a non-abelian Lie group, such as a semi-simple non-abelian Lie group for gauge theory.
See a previous post for other background ...
7
votes
1answer
223 views
Can a hyperbolic manifold be a product?
I was interested in whether a manifold which admits a metric of constant sectional curvature can be homotopy equivalent to a product of non-contractible manifolds. Of course, there are three cases: ...
4
votes
0answers
74 views
Decomposition of the group of Bogoliubov transformations
Consider the fermion Fock space $\mathcal{F}=\bigoplus_{k\ge 0}\bigwedge^k\mathfrak{h}$ of some finite-dimensional 1-particle Hilbert space $\mathfrak{h}$. The group $\mathrm{Bog}(\mathcal{F})$ of ...
6
votes
2answers
259 views
Does $SU(N)$ have pseudo-real representation?
For $N\ge 2$, does $SU(N)$ have a non-real pseudo-real irreducible representation? (The adjoint representation of $SU(N)$ is real).
A (complex, finite-dimensional) representation $R:SU(N)\to GL_n(\...
7
votes
1answer
178 views
Termination of Cartan's equivalence method
The Cartan-Kuranishi theorem guarantees that a PDE or EDS can always be completed, by prolongation, to involution. My question is, and this is quite murky to gauge from the literature, whether Cartan'...
1
vote
0answers
34 views
Possible compatible “”structure" on the Lie algebra associated with a Lie group with respect to group structure
For simplicity, let us work on an example.
Regard $GL_r(\mathbb C)$ as a Lie group with associated Lie algebra $M_r(\mathbb C)$, then there exists a canonical so called exponential map:
$$\exp: M_r(\...
7
votes
2answers
308 views
Is every Lie subgroup of a Lie group isometric to all its conjugates?
Let $G$ be a Lie group with a left invariant metric. Assume that $N$ is a Lie subgroup of $G$.
For a given $g\in G$, are $N$ and $g^{-1} N g$ necessarily isometric Riemannian manifold when they ...
2
votes
0answers
66 views
Associated bundle construction and classifying space
Let $\theta:G\rightarrow H$ be a morphism of Lie groups.
Given $G$ we have classifying space $BG$ and given $H$ we have classifying space $BH$. This $\theta:G\rightarrow H$ gives a map $B\theta:BG\...
2
votes
0answers
85 views
Condition on a Lie groupoid to be represented by manifold/group or an action groupoid
Let $\mathcal{G}$ be a Lie groupoid. I am thinking of following questions.
When do we know $\mathcal{G}$ is weakly/Morita equivalent to a Lie groupoid of the form $(G\rightrightarrows *)$ for some ...
2
votes
0answers
53 views
Homeomorphism type of the horofunction boundary for nilpotent Lie groups
Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form
$$\beta_y(x)=d(x,y)-d(w,y).$$
The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...
2
votes
0answers
40 views
Metrically homogeneous spaces as inverse limits
Let $(X,d)$ be a locally compact, separable, connected and $\sigma$-compact metric space such that the group of isometries $G$ acts transitively on $X$. The question is the following:
Is $X$ ...
3
votes
1answer
147 views
Heisenberg groups, Carnot groups and contact forms
The horizontal distribution in the Heisenberg group is the kernel of the standard contact form:
$$
\alpha = dt + 2 \sum_{j=1}^n (x_j \, dy_j - y_j \, dx_j).
$$
Question. Can one describe ...
9
votes
3answers
293 views
Reference Request: Structure constants for G2
Let $G$ be a split semisimple real Lie group in characteristic zero, and let $B=TU$ be a Borel subgroup with unipotent radical $U$ and Levi $T$. Fix an ordering on the roots $\Phi^+$ of $T$ in $U$, ...
2
votes
0answers
58 views
generalization of the discreteness of Hecke groups to general reductive groups
Consider the subgroup $G_{\lambda}$ of $SL_2(\mathbb R)$ generated by $N_{\lambda} = \begin{bmatrix} 1 & \lambda \\ 0 & 1 \end{bmatrix}$ and $S = \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{...
4
votes
1answer
105 views
Average of product of matrix elements in irreducible representations of unitary groups
Let $\mathcal{U}(N)$ be the unitary group.
It is well known that
$$ \int_{\mathcal{U}(N)} U_{ij} U^\dagger_{nm} \,dU=\delta_{im}\delta_{jn}\frac{1}{N},$$
where $dU$ is the Haar measure.
More ...
4
votes
1answer
318 views
Homogeneous Riemann Surfaces
A Riemann surface $X$ is a connected complex manifold of complex dimension one. A homogeneous space is a manifold with a transitive smooth action of a Lie group. I guess there must be a classification ...
1
vote
0answers
90 views
On uniqueness of mapping preserving triality
I'm reading Baez, John C. (2002). "The Octonions". Bulletin of the American Mathematical Society 39 (2): 145–205 regarding $\mathrm{Spin}(8)$ and trialities. My question is about this sentence:
The ...
5
votes
0answers
44 views
Equivalence of Lie theoretic definitions of an arithmetic lattice
In Margulis' book, there are actually two definitions of arithmetic lattices:
If $\mathbf{G}$ is a connected semisimple algebraic $\mathbb{R}$-group, then a lattice $\Gamma \subset \mathbf{G}(\mathbb{...
15
votes
1answer
297 views
Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?
Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
1
vote
0answers
44 views
Does the pushforward of the Haar measure of a semisimple compact Lie group along a character determine the character?
Let $G$ be a connected compact semisimple Lie group.
Let $V$ be a faithful representation of $G$,
with character $\chi \colon G \to \mathbb{C}$.
Let $\mu_G$ be the normalized left Haar measure. (So $\...
4
votes
0answers
297 views
Better names for Lie groups
After reading this question I was wondering whether mathematicians tried to invent better names for exceptional simple Lie groups $F_4, E_6, E_7, E_8$ ? These names seems a bit obscure and does not ...
2
votes
1answer
65 views
Show that if $\Theta$ is an infinitesimal weight of a real $T$-module $W$ ($T$ is a torus) then $-\Theta$ is also a weight
Show that if $\Theta$ is an infinitesimal weight of a real $T$-module $W$ ($T$ is a torus) then $-\Theta$ is also a weight.
It is an exercise of Bröcker's book on Representations of Compact Lie ...
2
votes
0answers
35 views
self-dual integral transform
Is it possible to describe all integral transforms where the inverse transform is implemented by the same formula (with maybe a sign flipped somewhere). Fourier is such an example obviously. I am ...
2
votes
0answers
38 views
Inductive limits of unitary groups and quantum mechanics
I'm curious if someone has seen concrete applications of $U(\infty)$ in quantum mechanics. Is it possible, for example, in some particular cases to write down the propagator as a limit of a sequence ...
14
votes
0answers
267 views
How does quotienting by a finite subgroup act on the framed-cobordism class of a group manifold?
Let $G$ be a connected simple connected compact Lie group, and $\Gamma \subset G$ a finite subgroup. Then (the underlying manifold of) $G$ can be framed by right-invariant vector fields, and this ...
2
votes
0answers
28 views
Embedding of Riemannian symmetric spaces $E_I$ and $E_{IV}$ into Lie group $E_6$
In answer and comments to this mathoverflow question we have discussed possiblity of embedding Riemmanian symmetric spaces $E_I, E_{II}, E_{III},E_{IV}$ of dimension $42,40,32,26$ respectively into $...
1
vote
0answers
64 views
Orbits of unipotent groups
Let $V$ be a real vector space (of finite dimension) and let $G$ be a unipotent Lie subgroup of $\mathrm{GL}(V)$. The orbits of points under the action of $G$ (that is, the sets $Gx = \{T(x) \ : \ T \...
4
votes
1answer
169 views
Morphism of Lie groups $\theta:G\rightarrow H$ giving an equivalence of categories $BG\rightarrow BH$?
Given a morphism of Lie groups $ \theta:G\rightarrow H$ and a principal $G$ bundle $ \pi:P\rightarrow M$ there are (at least) two ways to assign a principal $ H$ bundle.
See that the morphism of Lie ...
9
votes
1answer
171 views
Flag manifolds as incidence correspondences
Let $G$ be a reductive group, $B$ a Borel and $P_j$ the maximal parabolics, indexed by the vertices $j$ of the Dynkin diagram. Then $B = \bigcap_j P_j$, so the flag manifold $G/B$ injects into $\...
3
votes
1answer
91 views
Commutator length in connected solvable Lie groups
Let $G$ be a connected solvable Lie group and let $H$ denote ist commutator subgroup. By definition, every element $g \in H$ can be written as a product of commutators and the minimal number of ...
1
vote
1answer
129 views
Is conjugation by gauge transformation of $G$-bundle contained in $\mathfrak{g}$?
Before painstakingly defining all these terms, let me ask my question in plain english: given a $G$-bundle, is every conjugate of a vector field by a gauge transformation an element of the Lie algebra?...
