2
votes
0answers
200 views

Existence of diagonalizing coordinates for the metric tensor

Solving for metrics that are Einstein, i.e that satisfy $R_{\mu \nu} = \Lambda g_{\mu \nu}$ is highly non-trivial as soon as $g_{\alpha \beta}$ is allowed to have off-diagonal components. However, ...
3
votes
2answers
376 views

How many principal bundles are there over a given base?

I'm currently considering principal bundles and classifying spaces in the context of gauge theory and a crucial question came to my mind: Is there a way to say how many (isomorphism classes of) ...
1
vote
1answer
192 views

Torsion-free $G$-Structures

I have the following question. Let $G \subset SO(n)$ be a Lie Group and $M$ be a smooth manifold of dimension $n$. Furthermore let $P$ be a $G$-structure on $M$ i.e. $P$ is a principal subbundle of ...
1
vote
1answer
408 views

Wedge Product of Lie Algebra Valued One-Form

I've been reading about the formal structure of gauge theories and am a little confused by the notation. Could someone clarify this for me? Suppose that $A$ is a Lie algebra valued 1-form ...
2
votes
1answer
183 views

Isometric embedding of a compact Lie Group in $M(n,\mathbb{C})$

Greetings, Let $G$ be a compact Lie group with a bi-invariant inner product $h$ on it. Can one embedd $G$ in $M(n,\mathbb{C})$ isometrically for some $n \in \mathbb{N}$. By isometrically I mean that ...
6
votes
1answer
240 views

Kähler form on complex Lie group

Hallo, Let $G$ be a semi-simple, compact Lie Group. Consider its complexification $G_{\mathbb{C}}$. Does there exist a Kähler structure on $G_{\mathbb{C}}$ which is $G$-invariant (maybe in a ...
3
votes
3answers
1k views

Is the Lie algebra-valued curvature two-form on a principal bundle P the curvature of a vector bundle over P?

I am an analyst struggling through some geometry used in physics. Some background: For some Lie group $G$, let $P$ be a principal $G$-bundle over the smooth manifold $M$. Let $\omega$ be a connection ...
1
vote
2answers
316 views

module of sections of the horizontal bundle

Some times ago I posted this question here. There I carelessly assumed that if you have a set of sections of a vector bundle which span every fiber pointwise, they also generate the module of smooth ...