**2**

votes

**0**answers

100 views

### Are singular critical points isolated for control systems on compact semisimple Lie groups

Given a control system on $\mathrm{SU}(n)$ (or any other compact, semi-simple Lie group I suspect) of the form:
$\frac{d U_t}{dt} = (A + w(t)B)U_t$
where $A,B \in \mathfrak{su}(n)$ generate the ...

**3**

votes

**1**answer

91 views

### Characterization of $L^1(\text{SL}(3,\mathbb{R}))$ [closed]

Is there a characterisation of the integrable functions on SL($3,\mathbb{R}$) or an explicit expression for the Haar measure?

**2**

votes

**0**answers

168 views

### Manifolds as simultaneous coset spaces

Let $X$ and $Y$ be real manifolds. Under what conditions is there a Lie group $G$ with transitive actions on $X$ and $Y$ such that the stabiliser of a point in $X$ is a subgroup of the stabiliser of ...

**0**

votes

**0**answers

66 views

### G-invariant functions on manifold for G compact

In a paper I saw the following statement:
Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...

**3**

votes

**2**answers

155 views

### Commutator 2-forms on Lie groups

Let $G$ be a compact Lie group and $\mathfrak g$ its Lie algebra.
For any $f$ in the dual space $\mathfrak g^*$, we can define a skew-symmetric bi-linear form on $\mathfrak g$ by $(A,B)\mapsto f([A,B])...

**1**

vote

**1**answer

111 views

### Concept of Facets in the structure of reductive algebraic groups

Where can I find a precise definition of Facet ? In some online notes it is stated that Facet is a maximal subset of co-characters having the same sign for every root. But shouldn't then every facet ...

**4**

votes

**1**answer

82 views

### $E \times_H \mathbb{R}^n$ is isomorphic to the total space of the tautological bundle $\gamma^n$ over $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...

**7**

votes

**1**answer

106 views

### $\text{GL}(n + k, \mathbb{R})$ is a principal $H$ bundle over the Grassmann manifold $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...

**2**

votes

**2**answers

70 views

### Abelian isometry groups of codimension one

Good day.
Let (M,g) be an n-dimensional Riemannian manifold (complete, if you wish), and suppose that there exists an n-1 dimensional Abelian group acting by isometries on M. Or locally, near a point ...

**0**

votes

**0**answers

69 views

### Rigidity of lower-dimensional lattices in Euclidean groups

Informal intro / motivation:
Suppose I have an infinite set of atoms arranged in a 2D periodic crystalline "sheet". By crystalline I simply mean that it is preserved by the action of integer linear ...

**15**

votes

**2**answers

475 views

### Exotic smooth structures on Lie groups?

If a topological group $G$ is also a topological manifold, it is well-known (Hilbert's 5th Probelm) that there is a unique analytic structure making it a Lie group.
However, for a compact Lie group $...

**0**

votes

**1**answer

150 views

### A particular Lie algebra $L_{n}$ and (various) lie groups whose Lie algebra is isomorphic to $L_{n}$

We define $$L_{n}=\{A=(a_{ij})\in M_{n}(\mathbb{R})\mid \sum_{i=1}^{n} a_{ij}=0 \;\;\;\text{for every fixed j}\}$$
This is a Lie subalgebra of $M_{n}(\mathbb{R})$.
A dynamic-geometric proof for ...

**4**

votes

**0**answers

194 views

### Lie group structure over diffeomorphisms group

Let $M$ be a smooth manifold. Is it true that for every subgroup $G$ of $diff(M)$ there is at most one Lie group structure on $G$ such that the natural left $G$-action on $M$ is smooth?
Edit: by "Lie ...

**1**

vote

**1**answer

79 views

### Universal Chevalley group associated to $D_l$

Consider the simple Lie algebra $D_l$. Consider the universal Chevalley group $G$ over a field $K$ associated to it. Then $G$ is a subgroup of the orthogonal group $O_{2l}(K, f)$ where $f$ is the ...

**4**

votes

**1**answer

108 views

### Hua Luogeng's definition of automorphism group for Hermitian symmetric space

I'm trying to make sense of a definition appearing in Hua Luogeng's book "Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains".
Consider the Hermitian symmetric space ...

**1**

vote

**0**answers

92 views

### A question about the associative classes of parabolic subgroups

Let $\mathbb{A}$ denote the adele group of $\mathbb{Q}$. Suppose that $P_1$ and $P_2$ are parabolic subgroups of a reductive algebraic group $G$, and consider their Langlands decomposition
$$
P(\...

**0**

votes

**0**answers

58 views

### Counterexample request: Adjoint bundle has regular section, no Cartan reduction [duplicate]

In his paper classifying principal bundles on $P^1$, Grothendieck proves that if $X$ is simply connected and $P$ is a principal bundle such that the adjoint bundle has a regular global section, then $...

**7**

votes

**0**answers

253 views

### Pedagogical question on Lie groups vs. matrix Lie groups

There are two common approaches taken in introductory texts on Lie groups: studying all Lie groups, or focusing only on matrix Lie groups. The main advantage of the latter approach is that one can ...

**1**

vote

**1**answer

179 views

### Maximal torus of Chevalley group $Sp(4)$

Consider a chevalley group a field $K$, with the right chevalley basis. Let $\alpha$ be a root. Let $x_{\alpha}(t)$ be the corresponding root space. Define $w_{\alpha}(t)=x_{\alpha}(t)x_{-\alpha}(-t^...

**6**

votes

**1**answer

231 views

### What is known about Lie groups with positive(strictly) curvature?

If we consider $G$ a Lie group with left invariant riemannian metric its sectional curvature is nonnegative, when this metric is positive?
I thought a little about and only found $SU(2)=S³$.
In ...

**5**

votes

**1**answer

556 views

### Grothendieck's paper on principal bundles, reduction to a torus step

In Grothendieck's paper "Sur la Classification des Fibres Holomorphes sur la Sphere de Riemann", there is a step I don't understand in section 4, where he proves reduction to a torus. He states (lemma ...

**4**

votes

**0**answers

113 views

### classification of homogenous complex manifolds

Suppose $X$ is a complex manifold (doesn't assume it's Kahler), and it's holomorhpic automorphism group is transitive. My question is that is there any classification of those manifolds ?

**0**

votes

**0**answers

47 views

### Christoffel symbols on a loop group in Riemann normal coordinates

Christoffel symbols on a Lie group in Riemann normal coordinates
My question is a generalization of the question in the link above. How does one find the explicit form of the Christoffel symbols and ...

**4**

votes

**0**answers

185 views

### Milnor's model of $EG$ and Kac-Moody groups

I am working with non-compact Kac-Moody groups $\mathcal{K}$. We can use Milnor's join model for $E\mathcal{K}=\varinjlim \mathcal{K}^{*n}$, where $\mathcal{K}^{*n}$ is the iterated join (see page 20 ...

**3**

votes

**1**answer

192 views

### Homology of solvable Lie groups made discrete

In what follows "homology" will mean group homology, i.e. $H_*(BG^\delta;{\mathbf R})$ for the group $G$ with the discrete topology.
It is well-known how to compute the homology of abelian groups, ...

**6**

votes

**1**answer

154 views

### Are the integer matrices in SO(3,2) “boundedly generated”?

Let $G$ be the subgroup of integer matrices in $\mathrm{SO}(3,2)$.
(The invertible linear maps from a $5$ dimensional real vector space to itself which leave invariant a nondegenerate symmetric ...

**5**

votes

**2**answers

151 views

### Relationship between the Lie functor applied to a Lie group action, and the fundamental vector field mapping?

Let $M$ be a smooth manifold, and $G$ a Lie group with Lie algebra $\mathfrak{g}$. The Lie algebra of the diffeomorphism group of $M$ is the Lie algebra of vector fields on $M$; that is $\text{Lie}(\...

**4**

votes

**1**answer

221 views

### Triviality of a fiber bundle

Is the principal fiber bundle $GL^+(6,\mathbb R)$ over $GL^+(6,\mathbb R)/SL(3,\mathbb C)$ trivial ?

**3**

votes

**1**answer

123 views

### Singular curves of affine distributions on a Lie group

Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group?
Specifically the case of a right invariant affine distribution: $D_{U} = \{...

**2**

votes

**0**answers

112 views

### Intermediate quotient for a Hermitian Symmetric Spaces of $Sp(n)$

We know that $U(N)$ can be embedded into $SU(n+1)$ and that the quotient is isomorphic to complex projective space:
$$
SU(n+1)/U(n) \simeq {\mathbb CP}^{n}.
$$
We can split this process into two ...

**0**

votes

**1**answer

111 views

### Local diffeomorphism from a torus to a Lie group

Let $G$ be a simple Lie group of dimension $n$ (connected or even simply connected). Let $T$ be a maximal torus of dimension $d$. Notice that $\frac{n}{d}$ is an integer which I will denote by $m$. ...

**6**

votes

**1**answer

164 views

### geodesic of $\rm SO(3)$ as a compact Lie group vs as a Riemannian symmetric space

I got a little bit confused about the definition of geodesic for $\rm SO(3)$ as
a compact Lie group
a Riemannian symmetric space
In the former case, it is given by the usual matrix exponential:
$$
...

**6**

votes

**1**answer

255 views

### General Linear Group as a Direct Product?

Let $K$ be a field and consider the surjective determinant homomorphism $\mathrm{GL}_n(K)\to K^\times$. Since the kernel is the special linear group $\mathrm{SL}_n(K)$ we obtain a short exact sequence
...

**11**

votes

**1**answer

412 views

### Strong equivalence between intrinsic and extrinsic metrics on $GL_n^+$?

$\newcommand{\til}{\tilde}$
Lately, I have become interested in comparing intrinsic and extrinsic metrics on Riemannian manifolds.
Consider $GL_n^+$ (invertible matrices , $\det >0$) as an open ...

**12**

votes

**0**answers

200 views

### Is $F_{f, c, \ell}$ a $G$-harmonic polynomial?

Let $G \subset \text{GL}_n(\mathbb{C})$ be a finite subgroup. The group $G$ acts naturally on $\mathbb{C}^1[\mathbb{C}^n]$ the space of degree $1$ homogeneous polynomials in $x_1, \dots, x_n$, i..e, ...

**4**

votes

**2**answers

211 views

### Connectedness of units in finite-dimensional commutative complex algebras

In the following, an algebra will always mean a finite-dimensional associative commutative unital algebra (over some field $k$).
Let $A$ be a $\mathbb{C}$-algebra. I am trying to understand how its ...

**3**

votes

**1**answer

134 views

### dirichlet problem in the heisenberg group

Good morning everybody.
I was looking just for a quick reference to know whether the Dirichlet problem has a solution in the Heisenberg group, that is $\mathbb R^3$ endowed with coordinates $(x,y,z)$ ...

**3**

votes

**0**answers

110 views

### line bundle on affine grassmannian and central extension

Let $G$ be a connected reductive group over $\mathbb{C}$, let $Gr$ be the affine grassmannian of $G$. On $Gr$, we know that there is a canonical line bundle $L$ (the generator of $Pic(Gr)$).
Now $G(\...

**2**

votes

**0**answers

49 views

### Attainability of Global Optima In Optimal Control

Given a manifold $M$ and a set of smooth functions of one real variable $\mathcal{A}$ and a 'control system' type first order differential equation:
$\frac{d x(t)}{dt} = F(x,u)$
one can consider the ...

**0**

votes

**2**answers

179 views

### Classifying compact homogeneous Kähler manifolds

In this comprehensive answer to an old question, it is stated that
Flag manifolds exhaust all compact homogeneous Kähler manifolds corresponding to a compact connected semi-simple Lie group.
...

**5**

votes

**1**answer

172 views

### Regular functions on nilpotent orbits and their covers

Let $G$ be a complex semisimple algebraic group with Lie algebra $\mathfrak{g}$.
In 1989 McGovern described the structure (as $G$-module) of the ring of regular functions on a finite cover of the ...

**3**

votes

**0**answers

132 views

### What's the story with the Hopf fibration and the Jacobi identity?

I like the Hopf fibration of the 3-sphere $S^3$ enough that I found a nice way to make a physical model of it. All you need is to combine a bunch of key rings in such a way that (ii) every pair of ...

**4**

votes

**1**answer

111 views

### Invariant regular cones in Lie group representation

I am following Analysis and Geometry on Complex Homogeneous Spaces by Faraut et al. I'll set up all of what I need and then ask my questions.
Let $G$ be a connected semi-simple non-compact real Lie ...

**3**

votes

**1**answer

114 views

### Orbits in the adjoint representation of $SU(2,1)$

How can one describe the orbits of the Lie group $G=\mathrm{SU}(2,1)$ in its Lie algebra $\mathfrak{g}=\mathfrak{su}(2,1)$ with respect to the adjoint representation?

**2**

votes

**0**answers

75 views

### good choice of extension of equivariant map

Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that $...

**4**

votes

**1**answer

113 views

### references for faithful orthogonal (or unitary) representation of symmetric groups

Let $S_n$ be the symmetric group of $n$ points. I want to find references (or proofs) for the following statement (1).
(1). There does not exist any faithful orthogonal representation
$$
S_n\...

**7**

votes

**2**answers

241 views

### Schur polynomial, change of variable

Let $k=(k_1,k_2,k_3,k_4)\in \mathbb{N}^4$ and let $s_k(x_1,x_2,x_3,x_4)$ be the Schur polynomial on $GL_4$.
Question 1: If I replace $x_3$ with $x_1$ and $x_4$ with $x_2$, can $s_k(x_1,x_2,x_1,x_2)$ ...

**11**

votes

**0**answers

294 views

### Calculation-free proof of the Weyl Integral formula for U(n)

The Weyl integral formula states that if $f$ is a class function on $U(n),$ $T$ is the torus of diagonal matrices in $U(n)$, and $dU(n)$ and $dT$ are the standard Haar measures on $U(n)$ and $T,$ then:...

**1**

vote

**0**answers

96 views

### What are the E7(7) invariants in the adjoint representation?

Take a real vector space $R$ transforming in the adjoint representation of
the ${\rm E}_7(7)$ Lie group as $R \rightarrow G R G^{-1}$. One can define
invariants using traces of products of $R$ as ${\...

**2**

votes

**1**answer

114 views

### When is the image of the adjoint representation of a real algebraic group Zariski closed?

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...