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

learn more… | top users | synonyms

0
votes
0answers
44 views

a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.
3
votes
0answers
78 views

Is the braid group with $n$ strings $\mathcal{B}_n$ a lattice in a connected semi-simple Lie group?

Is the braid group with $n$ strings $\mathcal{B}_n$ known to be a lattice in a connected semi-simple Lie group ? (for $n$, say, bigger than $3$) Or is it known that it cannot be such a lattice ?
0
votes
0answers
24 views

Preimage of singular points of smooth map between vector space and $SU(n)$

(Moved from Math SE as no answer was forthcomming: http://math.stackexchange.com/q/1294521/161684) Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ (which is taken to be surjective) ...
3
votes
0answers
123 views

Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here. E.B.Vinberg and A.L.Onishchik in their book give the following two definitions. For a complex Lie group $G$ its real ...
3
votes
1answer
95 views

Is the spin group in a metaplectic group?

Is every spin group $Spin(n,R)$ over the reals contained in some metaplectic group $Mp(m,R)$ for some $m$ in such a way that the spin representation is obtained by restriction of the metaplectic ...
3
votes
0answers
87 views

n-homology of a Harish-Chandra module

Let $G$ be a connected real reductive Lie group and let $K$ be its maximal compact subgroup. Let $P=MAN$ a parabolic subgroup. Let $K_M^0=M^0\cap K$ be connected component of the maximal compact ...
0
votes
1answer
96 views

Generalization of the Lie group exponential map and its derivative

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$, and $exp:\mathfrak{g}\to G$ be its exponential map. The group $G$ could be finite or infinite dimensional. Let $G$ have the property that ...
1
vote
1answer
83 views

Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE: $\frac{d U_t}{dt} = (a + w(t)b)U_t$ consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...
3
votes
0answers
92 views

Nilpotent orbits and subspaces

Let ${\mathbb g}$ be a simple complex finite dimensional Lie algebra, $X\subseteq{\mathbb g}$ a nilpotent orbit. Did anyone study maximal vector subspaces of the closure $\overline{X}$? In ...
5
votes
1answer
112 views

explicit integrals over a Lie group

I am looking for families of invariant integrals $\int_G dg f(g)$ (where $dg$ is a Haar measure) over a semisimple Lie group that can be evaluated in closed form, together with references where I can ...
5
votes
1answer
177 views

Kernel of flux homomorphism (Calabi invariant) for volume-preserving maps on a compact manifold

Good morning everybody, I am currently reading through the book of Banyaga "Structure of classical diffeomorphism groups" link, and I am particularly interested in the question of factorizing ...
16
votes
2answers
667 views

How bad can $\pi_1$ of a linear group orbit be?

Let $G$ be a simply connected Lie group and $\mathcal O= G(v)=G/G_v$ a $G$-orbit in some finite-dimensional $G$-module $V$. By the homotopy exact sequence, its fundamental group $\Gamma$ is the ...
6
votes
1answer
359 views

Multiplicity one theorem

I am reading Dorian Goldfeld's book Automorphic forms and L functions for the groups GL(n,R) ...
1
vote
1answer
92 views

Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...
1
vote
1answer
70 views

Dimension of Span of Adjoint orbit in $\mathfrak{su}(n)$

Given two elements $A,B \in \mathfrak{su}(n)$ what is the dimension of the span of the following adjoint orbit: $\{Ad_{e^{sA}}(B) \ | \ s \in [0,t]\}$ for different values of $t$. Does it ever change ...
2
votes
0answers
101 views

What are the general zonal spherical functions for ${\rm SO}(n)/{\rm SO}(n-1)$?

The zonal spherical functions [1] on the sphere $(G={\rm SO}(n)$, $K={\rm SO}(n-1))$ are the Gegenbauer or ultraspherical polynomials if one considers the irreducible representations of ${\rm SO}(n)$ ...
8
votes
5answers
499 views

Representation Theory of Lie Groups: Reference Request

I am looking for a reference that describes the correspondence between the (finite-dimensional) representations of (real) Lie groups and the representations of their Lie algebras. More precisely, ...
-1
votes
0answers
29 views

Generating pairs of $\mathfrak{su}(N)$ and $\mathfrak{so}(N)$ Lie algebras - characterization

It is known that any simple Lie algebra can be generated by two elements (Kuranishi paper). Is it know how to characterize ALL generating pairs for $\mathfrak{su}(N)$ and $\mathfrak{so}(N)$ algebras?
1
vote
0answers
57 views

Largest dimensional Lie subgroup of $SU(N)$ [duplicate]

What is the largest (Lie) subgroup of $SU(n)$ in the sense of its dimension. I am aware of this potential duplicate subgroup of SU(N) with maximal manifold dimension , however, the title of this ...
5
votes
0answers
112 views

Is there a Lie II theorem for monoids?

Lie's second theorem says that if $G$ is a connected simply connected Lie group with Lie algebra $\mathfrak g$, then the functor of "differentiation" from the category $\mathrm{Rep}^f(G)$ of ...
1
vote
0answers
37 views

Symplectic structures on the grassmannian model of the based loop group

$\newcommand{\Ad}{\operatorname{Ad}}$ In the study of (smooth/algebraic) based loop spaces of compact groups, one often uses a Grassmannian model to study the space. In particular, the Grassmannian ...
2
votes
0answers
127 views

A homomorphism in the long exact sequence of a fibration for a homogeneous space of a Lie group

Let $G$ be a connected Lie group, and let $H\subset G$ be a (closed) Lie subgroup, not necessarily connected. Set $X=G/H$. The fibration $j\colon G\to X$ with fiber $H$ induces an exact sequence $$ ...
3
votes
1answer
136 views

Frame-bundle reduction from spinor-bundle reduction

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin manifold, and let us denote by $F(M)$ its frame bundle, by $SP(M)$ its spin bundle and by $S = P(M)\times_{\rho}\Delta$ its spinor bundle, ...
0
votes
0answers
40 views

Centralizer of a non-regular Lie algebra element

It is well understood that the centralizer of a regular element $A$ of a Lie algebra of complex (square, diagonalizable) matrices consists of polynomials $p(A)$ in that element of degree less than $n$ ...
0
votes
0answers
25 views

rank of a Lie group over a non-archimedean local field of positive characteristic

In the case of a Lie algebra over a non-archimedean local field of positive characteristic (I have been led to believe that) it is not necessarily true that all Cartan subalgebras have the same ...
2
votes
2answers
278 views

Local coordinates on (infinite dimensional) Lie groups, factorization of Riemann zeta functions

Given a (finite dimensional) Lie group $G$ (real $k=\mathbb{R}$ or complex $k=\mathbb{C}$) and its Lie algebra $\mathfrak{g}$, one can prove (a basis $B=(b_i)_{1\leq i\leq n}$ of $\mathfrak{g}$ being ...
2
votes
1answer
107 views

Largest subgroup of $SU(n)$ for which the adjoint action preserves specific inner product on $\mathfrak{su}(N)$

Given $A,B \in \mathfrak{su}(n)$ such that $K(A, B)=0$, I am looking for the largest subgroup $H$ of $SU(n)$ for which: $K \left(A, Ad_{U}(B) \right) = 0, \ \ \forall U \in H$ where $K$ is the ...
2
votes
1answer
100 views

Number of connected components of the isometry group of a simply-connected lorentzian manifold

Let $(M,g)$ be a finite-dimensional connected lorentzian manifold. Then the group $G$ of isometries of $M$ (i.e., the group of diffeomorphisms $\varphi : M \to M$ with $\varphi^* g = g$) is a Lie ...
5
votes
2answers
202 views

Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?

I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
3
votes
3answers
249 views

Reference request about the representations of the group $PSL_2(\mathbb{F}_q)$

Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?
0
votes
1answer
133 views

Existence of a Lie algebra element orthogonal to the adjoint orbit of another element

Consider a compact, semi-simple, connected Lie group $G$ and its Lie algebra $\mathfrak{g}$. Denote the Killing form by $K$. Given a single $A \in \mathfrak{g}$ when (i.e. which groups and which $A$) ...
3
votes
1answer
163 views

Parallelizable nearly-Kahler manifolds

In this question, we have discussed how the following bundle: $E_{d} = TS^{d}\oplus \Lambda^2 T^{\ast}S^{d}$ is always trivial, where $S^{d}$ is the $d$-dimensional standard sphere. Now, let us take ...
3
votes
0answers
195 views

adding a boundary to the finite upper half-plane

Let $\Bbb{F}_q$ be a finite field, let $\delta \in \Bbb{F}_q$ be a non-square, let $\Bbb{F}_{q^2} = \Bbb{F}_q\big( \sqrt{\delta} \big)$ be the corresponding quadratic extension, and let ...
8
votes
1answer
163 views

finite upper half-plane model for the $\text{GL}_2(\Bbb{F}_q)$ Weil representation

Let $\Bbb{F}_q$ be a finite field with $q$ elements, let $\Bbb{F}_{q^2}$ be its quadratic extension, and consider the finite "upper" half space ${\frak{H}}_q := \Bbb{F}_{q^2} - \Bbb{F}_q$. Apeing a ...
0
votes
0answers
67 views

determinants and principal series representations for $\text{GL}_2 \big( \Bbb{F}_q \big) $

Consider a finite field $\Bbb{F}_q$ and for simplicity let's assume $-1$ is not a square. Let $B$ be the Borel subgroup of $\text{GL}_2 \big( \Bbb{F}_q \big) $, for $i=1, 2$ let $\alpha_i:\Bbb{F}^* ...
3
votes
0answers
149 views

regarding the upper half-plane model for the principal series representations of $\text{GL}_2\big( \Bbb{R}\big)$

Let $B$ be the Borel subgroup of $G = \text{GL}_2\big( \Bbb{R}\big)$, let ${\bf \alpha}:B \longrightarrow \Bbb{C}^*$ be a character, and consider the induced representation $\text{Ind}_B^G ({\bf ...
2
votes
0answers
112 views

Unitary representation of finite-dimensional unitary group

the question is the following. Let n,m be integers, $U(n)$ be the unitary group of $M_n(\mathbb C)$, and $\phi\colon U(n)\to U(m)$ be a continuous group homomorphism, that is moreover irreducible as a ...
4
votes
1answer
146 views

Subgroups of $Sp_{2g}$ giving rise to Shimura data

Consider the Shimura datum $(GSp_{2g},\mathcal{H}_g)$. Let $G$ be a reductive $\mathbb{Q}$-subgroup of $Sp_{2g}$. I want to know under what condition there exists a point $x\in\mathcal{H}_g$ such that ...
0
votes
0answers
77 views

Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and ...
4
votes
1answer
148 views

Simply connected Lie groups homeomorphic to R^n are solvable

I have found the following claim in many proofs "Simply connected Lie groups homeomorphic to $\mathbb{R}^n$ are solvable". But the universal covering of $SL(2,\mathbb{R})$ satisfies the hypothesis of ...
2
votes
1answer
170 views

Reading Ratner's paper “Ragunathan's conjectures for SL(2,R)”

Hello everyone (interested), I am trying to read Marina Ratner's paper "Ragunathan's conjectures for $SL_{2}(R)$" (Israel Journal of Mathematics 80 (1992), 1-31). There is a claim right at the end of ...
1
vote
0answers
49 views

$\Gamma$ cohomology of principal series

Let $G$ be a noncompact connected real semisimple Lie group with finited center. Let $\Gamma$ be a cocompact discrete subgroup of $G$, and let $P$ be a parabolique subgroup with Langlands ...
3
votes
1answer
107 views

Prescribed spherical representations, symplectic group $Sp(n)$

An irreducible representation $(\pi,V_\pi)$ of a compact group $G$ is called spherical with respect to the pair $(G,K)$, $K$ is closed subgroup of $G$, if $V_\pi$ has a non-zero vector invariant by ...
17
votes
1answer
259 views

On a drawing in Dixmier's Enveloping Algebras

This image comes from Dixmier's book, 'Enveloping Algebras' ('Algèbres enveloppantes'). Dixmier writes that The curves shown on p. XIV have their origin in the study of U(sl(3)). They are ...
1
vote
0answers
88 views

What is the intersection of Spin(7) and U(4)?

I'm just curious from Berger's classification of Riemannian holonomy, how do Spin(7) manifolds intersect the other types of Riemannian manifolds? In particular, what is the intersection of Spin(7) ...
2
votes
0answers
156 views

Geometric proof of Borel-Weil theorem

I am curious if there is any geometric proof of Borel-Weil theorem. Borel-Weil is a geometric realization of irreducible unitary representation. The proofs I found, however, all use Weyl unitarian ...
0
votes
1answer
199 views

Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]

As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.
1
vote
0answers
141 views

How the exceptional simple Lie groups/ algebras were first discovered and by whom?

I am wondering whether exceptional simple Lie groups/ algebras were first discovered in order to obtain a complete list of such objects, or they appeared as answers to completely different questions. ...
1
vote
0answers
52 views

Computing equivariant K-theory using the amalgamted product

If I have a Lie group (or a Kac-Moody group) $G$ such that it's the amalgated product of it's proper parabolic subgroups $P_J$, i.e. $G = \text{colim} P_J$, then could I use this to compute the ...
3
votes
0answers
193 views

Complex symplectic reduction

Oddly I find about zero resources talking about "complex symplectic reduction" upon a web search. Is there anything wrong with it? I guess maybe there are two competing settings a priori: a complex ...