**4**

votes

**1**answer

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

**3**

votes

**1**answer

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

**2**

votes

**1**answer

142 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

**0**answers

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

**17**

votes

**1**answer

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

votes

**0**answers

51 views

### Clarification on notation of “left invariant fields” (Lie groups) [migrated]

In these notes in Definition 1.4 we learn that
A vector field $X$ on a Lie group $G$ is called left invariant if $d(L_g)_h(X(h))=X(g(h))$ for all $g,h \in G$, or for short $(L_g)_*(X)=X$.
where ...

**3**

votes

**1**answer

355 views

### Is $M=E_{7(7)}/SU(7)\times\mathbb{R}^{+}$ a (pseudo)Kähler-Hodge manifold? Open problem

I have been told that the following is an open problem in mathematics, but I am pretty sure that experts in the topic surely know the answer.
Is the manifold
$$M=\frac{E_{7(7)}}{SU(7)}\times ...

**6**

votes

**6**answers

1k views

### Explicit equations for Schubert varieties

How can one compute the Schubert variety (by compute I mean having actual polynomials that define it) for SL(n)? If this is well known forgive my ignorance and just point me to the right book/paper.
...

**1**

vote

**0**answers

123 views

### representation of $SO(p)\times SO(q)$ with $p,q$ odd

Assume $p,q$ odd. We denote by $\sigma_p$ the standard representation of $SO(p)$, that is the representation of $SO(p)$ acting on $\mathbf{R}^p$ as matrix. So is $\sigma_q$.
Take $K=SO(p)\times ...

**1**

vote

**0**answers

82 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) ...

**3**

votes

**0**answers

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

**8**

votes

**1**answer

1k views

### Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let
$\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition,
with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant
...

**2**

votes

**0**answers

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

**10**

votes

**1**answer

257 views

### Derivation of Blattner's conjecture in the Beilinson-Bernstein picture

On the last page of Schmid's article "Discrete Series", he says
"In the Beilinson-Bernstein picture, discrete series modules are attached to closed $K$-orbits in $X$... the $K_{\mathbb R}$-structure ...

**9**

votes

**2**answers

187 views

### Neighborhoods of the identity in diffeomorphism groups

Finite dimensional Lie groups have the nice property that if $V$ is a small neighborhood of the identity, and $U \subset V$ another neighborhood, then $V$ is covered by $U^k$ (the set of all products ...

**-1**

votes

**1**answer

188 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

**0**answers

127 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

**0**answers

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

**10**

votes

**2**answers

585 views

### Groups “approximately commutative” near the identity

Is the following idea something that is known?
I call a metric group[1] $G$ "approximately commutative near the identity" if there exists a $K$ such that for small enough $\epsilon$, when $d(g,id) ...

**4**

votes

**2**answers

185 views

### The action of the center on the extended Dynkin diagram

Let $R$ be an irreducible root system with a basis $\Pi$.
We obtain the Dynkin diagram $D$ and the extended Dynkin diagram ${\widetilde{D}}$ of $R$ with respect to $\Pi$.
Let $Q^\vee\subset P^\vee$ ...

**0**

votes

**0**answers

59 views

### Bispinors, polyforms, bilinears and supersymmetric manifolds

Let $(V,q)$ be a regular quadratic vector space, and let us denote by $Cl(V,q)$ the corresponding Clifford algebra. Then there exists an isomorphism of $\mathbb{Z}_{2}$-graded algebras:
...

**2**

votes

**0**answers

122 views

### Kernel of the Weil homomorphism for compact symmetric spaces

Let $X = G/K$ be a Riemannian symmetric space of compact type and consider the "Weil homomorphism" $$w^\bullet: H^\bullet(BK; \mathbb R) \to H^\bullet(X; \mathbb R),$$ i.e. the map in cohomology ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

203 views

### Orbital integral by using symplectic quotient

Let $(M,\omega)$ be a compact symplectic Hamiltonian $G$-manifold and $\Gamma_{\text hol}(M,L)$ be the space of holomorphic sections of the line bundle $L\to M$
I am looking for a proof for ...

**0**

votes

**1**answer

59 views

### Lie group action on a finite dimensional flat manifold

Consider a finite dimensional flat Riemannian manifold $M$ quotiented by an action of a finite dimensional Lie group $G$, giving rise to the quotient $Q$.
First, assume that the action is isometric. ...

**1**

vote

**0**answers

44 views

### Convention on Clifford Product

When studying the Clifford Algebra associated to some $(V,Q)$, one finds two basic identities differing by a sign:
$vv=Q(v)$ (see, for instance, Wikipedia)
$vv=-Q(v)$ (see, for instance, MathWorld ...

**4**

votes

**0**answers

257 views

### distributions on Lie groups and representations

Let $G$ be a Lie group and $\pi$ a continuous action on $V$, a Fréchet space.
This action induces a representation of the space of compactly supported functions, $C_c(G)$, with convolution as product ...

**2**

votes

**1**answer

65 views

### Bounds on Hilbert-Schmidt norm of difference of products of matrices

I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and ...

**1**

vote

**1**answer

108 views

### $Spin(7)$ as stabilizer of a $4$-form revisited

For a better understanding of this question, please see the question and answer here.
In $Spin(8)$ there are plenty of copies of $Spin(7)$; consider, for instance, the antiimage of $SO(7)<SO(8)$ ...

**2**

votes

**0**answers

47 views

### Sections of inverse image sheaf of sheaf of sections of vector bundle

Let $\eta \colon Y \to Z$ be holomorphic map between complex manifolds, $E$ holomorphic vector bundle over $Z$, $\eta ^\ast E$ its pullback over $Y$, ${\cal O}_E$ sheaf of sections of $E$, and ...

**0**

votes

**1**answer

93 views

### generalization of highest weight theorem for semisimple lie algebras

Let $\mathfrak g$ be a real semisimple Lie algebra (without compact factors) with Iwasawa decomposition
$\mathfrak g=\mathfrak k\oplus \mathfrak a\oplus \mathfrak u$.
Let $\mathfrak p$ be a
...

**8**

votes

**2**answers

289 views

### Integrals of representations over geodesics

Let $G$ be a compact, connected Lie group and $\rho$ any of its irreducible, unitary representations. If $\gamma:S^1\to G$ is an injective homomorphism (a periodic geodesic passing through the ...

**2**

votes

**1**answer

119 views

### Unitary representation with fixed Casimir

Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of ...

**4**

votes

**2**answers

546 views

### Borel–Weil theorem - reference request

I am asking about good references (both books and papers) for the well-known Borel–Weil theorem. Thank you very much!

**5**

votes

**0**answers

104 views

### Intersections of the B-orbits and the orbits of some other Borel subgroups in the flag variety G/B

This is a follow-up of this previous question below:
Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$
Let $G = SL_n(\mathbb{C})$, $B$ be the standard Borel subgroup, and consider some ...

**2**

votes

**1**answer

294 views

### Canonical representation of $\operatorname{SL}(2,\mathbb{R})$ on $L^2(\mathbb{R}^2)$

As a unimodular subgroup of the group of automorphisms of $\mathbb{R}^2$, $\operatorname{SL}(2,\mathbb{R})$ can be represented as a subgroup of $\mathcal{U}(L^2(\mathbb{R}^2))$ (the group of unitary ...

**-1**

votes

**1**answer

160 views

### Reductive space & Reductive Lie algebra

If $M=G/H$ is a reductive space and $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ be the canonical decomposition, then are $\mathfrak{g}$ or $\mathfrak{h}$ or both reductive lie algebras? (in this case, ...

**5**

votes

**0**answers

74 views

### How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?

Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...

**5**

votes

**1**answer

146 views

### rigidity of eigenvalues of circular ensemble

Given a circular unitary ensemble, with the following joint density:
$p(\theta_1,\ldots, \theta_n) = Z_n \prod_{j < k} |e^{i \theta_j} - e^{i \theta_k}|^2$,
is the following statement true? With ...

**2**

votes

**1**answer

200 views

### Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows:
$$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...

**17**

votes

**1**answer

1k views

### Isometry group of a homogeneous space

Background
Let $(M,g)$ be a finite-dimensional riemannian (or more generally pseudoriemannian) manifold. Suppose that I know that a certain Lie group $G$ acts transitively and isometrically on $M$ ...

**1**

vote

**1**answer

174 views

### cohomology of orthogonal group of integers

Let
$$
O(\mathbb{Z}^{\oplus k})=GL(\mathbb{Z}^{\oplus k})\cap O(k).
$$
What is $$
H^*(BO(\mathbb{Z}^{\oplus k});\mathbb{Z})?
$$
If it cannot be computed out, can we get
$$
H^*(O(\mathbb{Z}^{\oplus ...

**0**

votes

**0**answers

67 views

### On continuous part of the L^2 spectrum

Suppose $G$ is a real reductive Lie group and $\Gamma$ is a lattice in $G$ (of finite co-volume). I am reading Langlands's paper " On the functional equation satisfied by the Eisenstein series". I ...

**0**

votes

**2**answers

223 views

### Continuous families of finite subgroups of a Lie group

Suppose we have a continuous family of finite subgroups of a compact Lie group G. All the subgroups are necessarily isomorphic. Alternately, we can say we have a continuous family of homomorphisms ...

**1**

vote

**1**answer

190 views

### Volume of a GIT quotient of projective lines

Say $X= \mathbb{P^1}\times \cdots \times \mathbb{P}^1$ is a product of $n\geq3$ lines. Let the group $G=\text{SL}(2)$ act on $X$ diagonally, and let $\mathcal{L} = \mathcal{L}(a_1,\ldots,a_n)$ be the ...

**2**

votes

**1**answer

172 views

### Relation between Different Definitions of Induced Representation

I've seen two different ways to define induced representation.
One is as in the book Introduction to representation theory: If $G$ is a group, $H$ is a subgroup of it, and $V$ is a representation of ...

**19**

votes

**1**answer

543 views

### Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups.
Below is a proposition for ...

**6**

votes

**0**answers

223 views

### What is miraculous about the mirabolic subgroup?

I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific.
As mentioned there, the ...

**1**

vote

**0**answers

138 views

### rational representation of semisimple algebraic group

Let $G$ be a connected semisimple algebraic group defined over $\mathbb Q$. Could some expert give me a complete classification of finite dimensional $\mathbb Q$-irreducible representations of $G$?
...

**5**

votes

**1**answer

158 views

### $C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to
this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...