**1**

vote

**0**answers

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

**0**answers

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

**0**answers

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

**0**

votes

**0**answers

63 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:
...

**9**

votes

**2**answers

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

**2**

votes

**0**answers

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

**0**

votes

**1**answer

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

**4**

votes

**2**answers

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

**1**

vote

**0**answers

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

**2**

votes

**1**answer

74 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

115 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

57 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

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

**2**

votes

**1**answer

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**-1**

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**1**answer

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

**3**

votes

**1**answer

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

**1**

vote

**1**answer

185 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

75 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

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

147 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$?
...

**6**

votes

**0**answers

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

**0**

votes

**0**answers

102 views

### List of irreducible representations whose weights are in a single Weyl group orbit

Let $\mathfrak g$ be a (finite dimensional) simple (nonabelian) Lie algebra
over $\mathbb C$. I need a complete list of irreducible (nontrivial) representations $V$
of $\mathfrak g$ such that the Weyl ...

**1**

vote

**1**answer

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

**-3**

votes

**1**answer

175 views

### Fibre bundles and flat connections [closed]

If a fibre bundle can be equipped with a flat connection then it must be necessarily trivial? Let us take for example a real line bundle $L\to M$ with base $M$. If $L$ can be equipped with a flat ...

**0**

votes

**0**answers

67 views

### Wang's C-subgroups and M-manifolds

Let $K$ be a semisimple compact Lie group.
In here H.C. Wang defines a C-subgroup as a closed subgroup $U$ of $K$ such that the semisimple part of $U$ equals the semisimple part of the centralizer ...

**3**

votes

**3**answers

418 views

### classifying space and cohomology of integer general linear group

I have obtained that the classifying space
$$
BGL(\mathbb{R}^n)=BO(\mathbb{R}^n)=G_n(\mathbb{R}^\infty)
$$
is the Grassmannian.
I have also obtained that the mod 2 cohomology is the polynomial ...

**2**

votes

**3**answers

384 views

### Classification of $SU(2)$ principal fibre bundles over four-dimensional manifolds

I would like to find a pedagogical reference where the classification, up to isomorphism, of principal $SU(2)$ bundles over a four-dimensional compact, oriented manifold is explained. In particular I ...

**3**

votes

**2**answers

309 views

### What are cohomology of Lie algebra with coefficients geometrically?

I want to find analog of following two statements.
Let $G$ be a discrete group, $M$ is representation of $G$. Local systems on $BG$ are the same as $G$ representations (because $\pi_1 (BG) =G$). Let ...

**3**

votes

**2**answers

345 views

### SU(2) and differential forms [closed]

I am a physicist with some background in differential geometry and I apologize for any possible unprecise terminology.
Consider the Lie group $SU(2)$ and its tangent space $su(2)$ forming a tangent ...

**4**

votes

**3**answers

375 views

### What is the difference between p-adic Lie groups and linear algebraic groups over p-adic fields?

I thought they were the same, just different names. Let me make question more precise:
Let $G$ be any linear algebraic group over a p-adic field $\mathbb{Q}_p$, is $G$ a p-adic Lie group w.r.t. the ...

**3**

votes

**0**answers

93 views

### Maximal compact subgroup of SL(2,|H)

The exceptional isomorphism $Spin(5,1)\simeq SL(2,\mathbb{H})$ is well-known, and I can find references that say the maximal compact of $Spin(5,1)$ is $Spin(5) \simeq Sp(2)$. So I know the answer to ...

**4**

votes

**0**answers

249 views

### An integral with respect to the Haar measure on a unitary group

Let $A,D\in \mathbb{C}^{n \times n}$ be diagonal matrices. I need to calculate
$$\int_{U(n)}\det{(A-HDH^\dagger)}\,\mathrm{d}H$$
where $dH$ is the unit invariant Haar measure on the group of unitary ...

**2**

votes

**1**answer

186 views

### A Krull-Schmidt Theorem for Lie groups?

I wondered whether there is an analogue of the Krull-Schmidt theorem for real Lie-groups. More precisely, what conditions do you have to impose on a connected finite dimensional Lie group $G$ so that ...

**1**

vote

**0**answers

190 views

### A (possible) equivalent relation on the space of vector bundles

Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows;
Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and ...

**16**

votes

**8**answers

920 views

### Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...

**-1**

votes

**1**answer

133 views

### cartan killing metric [closed]

I know that we can define the killing form on a lie algebra. However, when going to the group manifold, does this give rise to a metric on the manifold? I thought that would be the case, but I cant ...

**4**

votes

**2**answers

209 views

### An algorithm to compare two representations of a simple Lie algebra?

I have two representations of a simple (complex or real) finite-dimensional Lie algebra $S$, both given in terms of their structure constants on a given basis.
the first one is the adjoint ...

**2**

votes

**0**answers

194 views

### The geometry of the holomorph of a Lie group

Every Lie group $G$ is naturally contained in its holomorph Hol($G$) = $G \rtimes $ Aut($G$)
Is Hol$(G)$ always a Lie group?
If the answer is yes our main questions:
1.For a left ...

**2**

votes

**3**answers

321 views

### What are Carnot groups?

I'm trying to learn the Pansu differentiability theorem and I need to know what Carnot groups are. Can someone please explain what Carnot groups are? An introductory reference would be greatly ...

**1**

vote

**0**answers

77 views

### Are lattices in the special real linear group subgroup seperable?

Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : ...

**1**

vote

**0**answers

133 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

**1**answer

87 views

### Existence of a fixed-point free map in a manifold [closed]

I'm having some to proof a question. I have to show that a compact manifold that admits a nowhere vanishing smooth vector field has a smooth map fixed-point free homotopic to the identity map.
I know ...

**1**

vote

**0**answers

85 views

### homomorphisms from one Lie group to another

I am reading Jacques Tits' paper "Homomorphismes `abstraits' de groupes de Lie"
http://www.ams.org/mathscinet-getitem?mr=0379749
and I was wondering if I could ask for help with understanding one ...

**5**

votes

**1**answer

204 views

### Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$

Let $G = SL_n(\mathbb{C})$, $B$ be a Borel subgroup, and $B^-$ be the opposite Borel.
Both the $B$ and $B^-$ orbits on the flag variety $G/B$ are indexed by the Weyl group $W$. Let $S_{w_1}$ and ...

**0**

votes

**1**answer

87 views

### query about Jacques Tits' “Homorphismes `abstraits' de groupes de Lie”

I am reading Jacques Tits' paper "Homomorphismes `abstraits' de groupes de Lie" and he seems to be making a claim that if you have a simply connected Lie group then the derived subgroup is always ...