I would like to precisely understand how to establish the equivalence between projective representations of a Lie group $G$ and its Lie algebra $\mathfrak{g}$ when $G$ is connected and has trivial second Lie algebra cohomology group.
2026-03-30 18:10:00.1774894200
Why are projective reps of connected Lie groups with trivial 2nd Lie algebra cohomology group equivalent to reps of the Lie algebra?
32 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in QUANTUM-MECHANICS
- Is there a book on the purely mathematical version of perturbation theory?
- Matrix differential equation and matrix exponential
- "Good" Linear Combinations of a Perturbed Wave Function
- Necessary condition for Hermician lin operators
- What is a symplectic form of the rotation group SO(n)
- Why is $\textbf{J}$ called angular momentum?(Quantum)
- How does the quantumstate evolve?
- Differential equation $au''(x)+b\frac{u(x)}{x}+Eu=0$
- How to model this system of $^{238}\,U$ atoms?
- Discrete spectra of generators of compact Lie group
Related Questions in GROUP-THEORY
- What is the intersection of the vertices of a face of a simplicial complex?
- Group with order $pq$ has subgroups of order $p$ and $q$
- How to construct a group whose "size" grows between polynomially and exponentially.
- Conjugacy class formula
- $G$ abelian when $Z(G)$ is a proper subset of $G$?
- A group of order 189 is not simple
- Minimal dimension needed for linearization of group action
- For a $G$ a finite subgroup of $\mathbb{GL}_2(\mathbb{R})$ of rank $3$, show that $f^2 = \textrm{Id}$ for all $f \in G$
- subgroups that contain a normal subgroup is also normal
- Could anyone give an **example** that a problem that can be solved by creating a new group?
Related Questions in HOMOLOGY-COHOMOLOGY
- Are these cycles boundaries?
- Cohomology groups of a torus minus a finite number of disjoint open disks
- $f$ - odd implies $d(f)$ - odd, question to the proof
- Poincarè duals in complex projective space and homotopy
- understanding proof of excision theorem
- proof of excision theorem: commutativity of a diagram
- exact sequence of reduced homology groups
- Doubts about computation of the homology of $\Bbb RP^2$ in Vick's *Homology Theory*
- the quotien space of $ S^1\times S^1$
- Rational points on conics over fields of dimension 1
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
There are nine steps to establish this equivalence. Essentially, the condition that the Lie group $G$ is connected gives us access to the unique universal cover $\tilde{G}$, which has the nice property of being simply connected. And, the condition that $G$ has trivial second Lie algebra cohomology group lets us apply Bargmann's theorem. I will use the restricted Lorentz group $SO^+(1,3)$ as an example as it is connected and has a trivial second Lie algebra cohomology group.
A connected Lie group $G$ has a unique universal cover $\tilde{G}$. By definition $\tilde{G}$ is simply connected and $\mathfrak{g} \cong \tilde{\mathfrak{g}}$.
Let $\tilde{G}$ be a simply connected Lie group. The representations of the Lie algebra of a simply connected Lie group $\pi: \tilde{\mathfrak{g}} \rightarrow \mathfrak{gl}(V)$ are in one-to-one correspondence with the representations of the simply connected Lie group $\varphi: \tilde{G} \rightarrow GL(V)$ by the unique mapping $\varphi(e^X) = e^{\pi(X)}$ for all $X \in \tilde{\mathfrak{g}}$.
Let $\mathfrak{g} \cong \mathfrak{h}$ be Lie algebra isomorphic by isomorphism $\zeta: \mathfrak{g} \rightarrow \mathfrak{h}$. Representations $\pi: \mathfrak{g} \rightarrow \mathfrak{gl}(V)$ are in one-to-one correspondence with representations $\varphi: \mathfrak{h} \rightarrow \mathfrak{gl}(V)$ by the mapping $\varphi \circ \zeta = \pi$.
Bargmann's theorem states that projective representations of a connected Lie group with trivial second Lie algebra cohomology group are equivalent to normal representations of the universal cover of the Lie group.
The restricted Lorentz group is connected and has a trivial second Lie algebra cohomology group. Denote the unique universal cover of the restricted Lorentz group by $\text{Spin}(1,3)$.
By Bargmann's theorem, projective representations of the restricted Lorentz group $P(\pi): SO^+(1,3) \rightarrow GL(V)$ are equivalent to normal representations $\pi: \text{Spin}(1,3) \rightarrow GL(V)$ of its universal cover.
By statement (2) it is equivalent to look for Lie algebra representations $\pi: \mathfrak{spin}(1,3) \rightarrow \mathfrak{gl}(V)$ of the Lie algebra of the universal cover and to look for Lie group representations $\varphi: \text{Spin}(1,3) \rightarrow GL(V)$ of the universal cover.
Recall that by definition of a universal cover $\mathfrak{so}(1,3) \cong \mathfrak{spin}(1,3)$. Hence, by statement (3) it is equivalent to look for Lie algebra representations $\pi: \mathfrak{so}(1,3) \rightarrow \mathfrak{gl}(V)$ and to look for Lie algebra representations $\varphi: \mathfrak{spin}(1,3) \rightarrow \mathfrak{gl}(V)$.
The statements (6), (7), and (8) establish an equivalence between projective representations of the restricted Lorentz group and representations of the Lorentz algebra.