2
votes
0answers
55 views

First Variation of Dyson Series/Magnus Expansion

Given the matrix differential equation $\frac{dU_t}{dt}=A_t U_t$ there are at least two ways to write a formal solution. Both the Dyson series: $U_t = \mathcal{T} e^{\int_{0}^{t} A_t dt}$ and the ...
10
votes
2answers
431 views

Geodesics on $SU(4)$

Are the geodesics of the following metrics on $SU(4)$ known or easy (in a way not known to me!) to find? In the adjoint representation, one can express the Killing form as a matrix and consider it as ...
11
votes
2answers
526 views

Multiplicative Identity for all elements in SU(n)

Let $\{P_i\}$ be a subset of $SU(n)$ such that for any $U$ in another subset (or perhaps subgroup) $H$ of $SU(n)$: $$P_1UP_2U\cdots P_mU=I$$ where $I$ is the identity element. Is there a sequence ...
1
vote
0answers
169 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 ...
3
votes
0answers
303 views

Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation

Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$? Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...
3
votes
1answer
212 views

Do cyclic product vectors generatating irreducible representation of a Lie group come from a unique orbit?

Consider a Hilbert space $\mathcal{H}$ which is a carrier space of a unitary, irreducible and strongly continuous representation $\Pi$ of a Lie group $G$. Let $\Pi\otimes \Pi$ denote the corresponding ...
4
votes
1answer
107 views

Closed form for 3j-symbol ratios

I am working on the spherical harmonic decomposition of cosmic microwave background maps, therefore I often deal with functions that are proportional to Wigner 3J symbols/Clebsch–Gordan ...
4
votes
5answers
469 views

How to characterize Dirac's gamma matrices in differential geometry?

I want to understand what is the interpretation of Dirac gamma matrices in differential geometry. Basically, I am considering the Dirac matrices as 3-indexed tensors, which means a tensor with 1 ...
0
votes
1answer
277 views

Symplectic structure on $Sym^kG^{\mathbb{C}} $

Let $G$ be a compact Lie group, and let $G^\mathbb{C}$ be its complexification. I am looking for a symplectic structure (without use of coordinates) on $$ Sym^kG^{\mathbb{C}}, $$ PS:Here ...
4
votes
0answers
206 views

Local version of a slice (for a Lie group action)

Let $\Upsilon: G \times M \to M$ be a smooth action of a Lie group $G$ on a manifold $M$. Isenberg and Marsden (1982) define a slice at $m \in M$ as a submanifold $S \subseteq M$ containing $m$ such ...
2
votes
1answer
361 views

A question about flag variety of $SL(n,\mathbb{C})$

We know that the flag variety $SL(2,\mathbb{C})/B$ which $B$ is Borel subgroup, can be identified with $\mathbb{P^1}$, What can we say about $SL(n,\mathbb{C})/B$ which $B$ is Borel subgroup of ...
4
votes
1answer
177 views

How does one calculate homotopy classes for group coset spaces?

Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times ...
2
votes
0answers
85 views

The condition of maximality in branching rules of $SO$ group representations

Let the highest weight of a $SO(2n+1)$ representation be given as $(m_1,m_2,...,m_n)$ ($m_1\geq m_2 \geq .. \geq m_n \geq 0$) and the highest weight of a $SO(2n)$ representation be $(s_1,s_2,...,s_n)$ ...
4
votes
1answer
313 views

About using the character formula for $SO(2n)$.

I have known of the following equation for characters of a $SO(2n)$ representation with highest weights $(h_1,...,h_n)$ and for $(t_1,t_2,..,t_n,t_1^{-1},t_2^{-1},..,t_n^{-1})$ being the eigenvalues ...
3
votes
2answers
242 views

Integration over special unitary group

It is known that for $SU(N)$ $$ \int \chi_{\mu_1}(UV_1)\chi_{\mu_2}(U^{-1}V_2)\, dU = \delta_{\mu_1\mu_2}\frac{\chi_{\mu_1}(V_1V_2)}{\dim(\mu_1)} $$ where $dU$ is Haar measure on $SU(N)$ normalized ...
8
votes
1answer
251 views

Is there a version of supersymmetry for homogeneous spaces?

The notion of "supersymmetry" that I am aware of proceeds as follows. One fixes a spacetime $\mathbb R^n$ and signature; I will write $\mathrm{SO}(n)$ for the corresponding group of orthogonal ...
-1
votes
1answer
253 views

identifying dual of lie algebra of general linear groups

Is there any reference for the following fact? I am looking for a nice and simple proof. Assume that $G=GL(n,C)$, the group of invertible $n\times n$ matrices with complex entries. Why can the dual ...
4
votes
0answers
266 views

Which orbits of a separable representation of the infinite unitary group are closed?

Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following: Is it true that all ...
7
votes
3answers
460 views

Homotopy classes of maps to Lie groups

In Physics one often encounters maps from a certain manifold $M$ to a Lie group $G$. For example, in gauge theories, this gives a gauge transformation, wich is a symmetry of a theory. It is then ...
1
vote
1answer
458 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 ...
10
votes
1answer
505 views

Integration over the orthogonal group

Let $O(N)$ be the orthogonal group, and $a,b,c\in\mathbb N$. The question is: $$\int_{O(N)}U_{11}^aU_{22}^bU_{33}^cdU=?$$ This is quite a tricky question: (1) The first thought would go to ...
3
votes
2answers
397 views

How to deal with the singular reduction of the Hamiltonian n body problem?

I would like to consider the reduced Hamiltonian $n$ body problem, but am struggling with the angular momentum reduction seeing as the $SO(3)$ action is not free and the reduction is singular. ...
4
votes
1answer
386 views

Can one understand the Kelvin transform conceptually?

Let $U = \mathbf{R}^n - \{ 0 \}$, $n > 2$ and consider for a function $f \in C^2(U)$ the Kelvin transform $$f^\star(x) = r^{2-n} f\left(\frac{x}{r^2}\right),$$ where $r = \lvert x \rvert$. One ...
5
votes
1answer
475 views

Is there a generalization of Schur - Weyl duality and plethysm for direct product of special unitary groups?

Consider the semisimple compact group $K=SU(N_1)\times SU(N_2) \times \ldots \times SU(N_S)$ acting naturally on $\mathcal{H}=\mathcal{H}_1 \otimes \mathcal{H}_2 \otimes \ldots \otimes \mathcal{H}_S$, ...
7
votes
1answer
432 views

Generalization of Rigid Body Motion to arbitrary (compact) Lie Groups

The classical dynamics of a rigid body in three dimensions may be described as the motion of a point on a configuration space given by the Lie group $SO(3)$, governed by Euler's equations for rigid ...
8
votes
1answer
647 views

Symmetric tensor product of bosonic/fermionic Hilbert space

Consider two representation of the group $SU(n)$: $Sym^k(\mathbb{C}^n)$ and $\wedge^k\mathbb{C}^n$ ($k\leq n$) and take their symmetric tensor products: $Sym^2(Sym^k(\mathbb{C}^n))$, ...
1
vote
2answers
581 views

Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal ?

Thank you Cristi Stoica for your answer to the previous post of this question. Your hint is to the point I think. We should look at the requirements to construct the corresponding root system. My ...
0
votes
1answer
996 views

Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal?

Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal?
12
votes
3answers
832 views

Software for Computing Baker-Campbell-Hausdorff

Does anyone have a recommendation for software which can efficiently calculate the Baker-Campbell-Hausdorff series in classical Lie algebras? Right now, I have a problem which boils down to ...
3
votes
3answers
1k views

Group cohomology of compact Lie group with integer coeffient

It is known that group cohomology class $H^d[U(1),Z]$ is Z for even d and 0 for odd d. Do we know $H^d[G,Z]$ for $G=SO(3)$, $SU(2)$ and other compact Lie group? Also is the Borel-group-cohomology ...
5
votes
2answers
744 views

Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them. It can be shown that $H^d[U(1), Z]$ is $Z$ for ...
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 ...
3
votes
1answer
310 views

Does $SO(32) \sim_T E_8 \times E_8$ relate to some group theoretical fact?

It is well known the existence of a T duality between the two heterotic string theories, $SO(32) \sim_T E_8 \times E_8$. Beyond the trivial point that both groups have the same dimension (496, which ...
2
votes
1answer
221 views

Characterization of the weight orbit in the projective space via second order Casimir.

This is the spin-off of the question I previously asked. First, let me remind you some notation from that question: $G_0$ - compact, simply connected Lie group giving rise (by complexification) ...
1
vote
2answers
623 views

Sum relation for Clebsch-Gordan-Coefficients?

In the context of (numerically) calculating reduced density matrices in the Lipkin-Meshkov-Glick model (a model introduced to describe atomic nuclei, which has however found many other applications as ...
3
votes
1answer
679 views

highest weight orbit characterization (reformulated and extended )

Edit 1: I think that the question was not stated clearly enough so modified it a little Edit 2: I thought over the physics that lies behind this question which led me to reformulation of the original ...
6
votes
2answers
479 views

Killing form vs its counterpart in a given represenation

Let $\mathfrak{g}$ be a semi-simple Lie algebra and let $\phi:\mathfrak{g}\rightarrow\mathfrak{gl}(V)$ be its finite-dimensional complex irreducible representation. You can define two non-degenerate ...
14
votes
1answer
314 views

Is a smooth action of a semi-simple Lie group linearizable near a staionary point?

Suppose that $G$ is a semi-simple Lie group that acts smoothly (i.e., $C^\infty$) on a smooth, finite dimensional manifold $M$. Does it follow that the action of $G$ is linearizable near any ...
76
votes
3answers
6k views

Has the Lie group E8 really been detected experimentally?

A few months ago there were several math talks about how the Lie group E8 had been detected in some physics experiment. I recently looked up the original paper where this was announced, "Quantum ...
29
votes
8answers
5k views

What is the symbol of a differential operator?

I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic ...
23
votes
6answers
2k views

Examples of applications of the Borel-Weil-Bott theorem?

In "Quantum field theory and the Jones polynomial" (Comm. Math. Phys. 1989 vol. 121 (3) pp. 351-399), Witten writes: A representation Ri of a group G should be seen as a quantum object. This ...