**9**

votes

**3**answers

274 views

### Construct discrete series of SL(2,R) as kernel of twisted Dirac operators

I’m studying the paper of (Baum-Connes-Higson, ex 4.25), and I would like to give an explicit computation for the Connes-Kasparov conjecture for SL(2,R).
The idea is that each non-trivial ...

**6**

votes

**0**answers

139 views

### An analogue of Deligne--Lusztig theory for real groups?

I am considering the following analogue of Deligne--Lusztig theory:
Take e.g. $G=GL_n(\mathbb{C})$, and let $F$ be the complex conjugate, then we have
$G^F=GL_n(\mathbb{R})$. Consider the ``Lang ...

**4**

votes

**1**answer

145 views

### Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism.
As pointed out ...

**3**

votes

**1**answer

92 views

### Weingarten function for unitary group

Studying integration over unitary group I came across this function, the Weingarten function Wg, such that
$$ \int_{\mathcal{U}(N)} \prod_{k=1}^{n} U_{i_kj_k}
U^*_{m_k r_k} dU=\sum_{\tau,\sigma\in ...

**8**

votes

**2**answers

222 views

### Quasi-isometric rigidity of Nil

Let $Nil$ be the unique simply connected non-abelian three-dimensional nilpotent Lie group, i.e. the group of upper triangular matrices with all the eigenvalues equal to 1 (this group is also known as ...

**8**

votes

**2**answers

518 views

### Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n ...

**0**

votes

**1**answer

90 views

### Maximal split torus of universal chevalley group

Let $G$ be simply connected chevalley group over a field $K$. I am following the notations as in 'Lectures on Chevalley group' by Steinberg (Yale lectures). Let $H$ be the subgroup generated by ...

**10**

votes

**2**answers

236 views

### Can one describe the multiplication of two Bruhat cells?

For $G$ a simple linear algebraic group and $B$ a fixed Borel subgroup, we have the Bruhat decomposition $G = \coprod_{w \in W} B\dot{w}B$, where $W$ is the Weyl group and $\dot{w}$ is any ...

**5**

votes

**1**answer

126 views

### The action of $GL_{\infty}$ on the infinite wedge space

This is a question from the book "Highest weight representations of infinite dimensional Lie algebras, 2nd ed" by V. G. Kac, A. K. Raina, and N. Rozhkovskaya.
Consider the following objects:
the ...

**16**

votes

**5**answers

549 views

### Is there a formula for the Frobenius-Schur indicator of a rep of a Lie group?

Let $G$ be a simple algebraic group group over $\mathbb C$.
Let $V$ be a self-dual representation of $G$.
Let $\lambda$ be the highest weight of $V$.
Write $\lambda$ as a sum of fundamental weights: ...

**4**

votes

**0**answers

120 views

### When can a locally compact group be approximated by discrete subgroups?

This question is about partitioning a (locally) compact group into cells by using discrete subgroups.
Let $G$ be a locally compact group. (I am really most interested in the case where $G$ is a ...

**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

167 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 ...

**1**

vote

**1**answer

107 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

78 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

104 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

67 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 ...

**14**

votes

**2**answers

445 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

82 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

187 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

77 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

91 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
$$
...

**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

250 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

178 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 ...

**6**

votes

**1**answer

230 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

555 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

108 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

184 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

190 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

152 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

144 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 ...

**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

121 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

106 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

110 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

160 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

243 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

405 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

194 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, ...

**3**

votes

**2**answers

206 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

133 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

108 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 ...

**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 ...