For sl(2,r) take the generators $m_1\!=\!\left[\begin{array}{cc}1&0\\0&-1\end{array}\right], m_2\!=\!\left[\begin{array}{cc}0&1\\0&0\end{array}\right] ,m_3\!=\!\left[\begin{array}{cc}0&0\\1&0\end{array}\right]$ so nonzero structure cst's are $C_{1,2}^2\!=\!-C_{2,1}^2\!=\!2,\;C_{1,3}^3\!=\!-C_{3,1}^3\!=\!-2,\;C_{2,3}^1\!=\!-C_{3,2}^1\!=\!1$ from which obtain a killing or metric matrix $\;gm\!=\!\left[\begin{array}{cc}8&0&0\\0&0&4\\0&4&0\end{array} \right]$ which is non-singular and according text book(s) cannot be true for sl(2,r).
2026-05-17 15:30:44.1779031844
What is wrong with the following formation of a killing form or metric matrix for sl(2,r)?
581 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in MATRICES
- How to prove the following equality with matrix norm?
- I don't understand this $\left(\left[T\right]^B_C\right)^{-1}=\left[T^{-1}\right]^C_B$
- Powers of a simple matrix and Catalan numbers
- Gradient of Cost Function To Find Matrix Factorization
- Particular commutator matrix is strictly lower triangular, or at least annihilates last base vector
- Inverse of a triangular-by-block $3 \times 3$ matrix
- Form square matrix out of a non square matrix to calculate determinant
- Extending a linear action to monomials of higher degree
- Eiegenspectrum on subtracting a diagonal matrix
- 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$
Related Questions in METRIC-SPACES
- Show that $d:\mathbb{C}\times\mathbb{C}\rightarrow[0,\infty[$ is a metric on $\mathbb{C}$.
- Question on minimizing the infimum distance of a point from a non compact set
- Is hedgehog of countable spininess separable space?
- Lemma 1.8.2 - Convex Bodies: The Brunn-Minkowski Theory
- Closure and Subsets of Normed Vector Spaces
- Is the following set open/closed/compact in the metric space?
- Triangle inequality for metric space where the metric is angles between vectors
- continuous surjective function from $n$-sphere to unit interval
- Show that $f$ with $f(\overline{x})=0$ is continuous for every $\overline{x}\in[0,1]$.
- Help in understanding proof of Heine-Borel Theorem from Simmons
Related Questions in LIE-GROUPS
- Best book to study Lie group theory
- Holonomy bundle is a covering space
- homomorphism between unitary groups
- On uniparametric subgroups of a Lie group
- Is it true that if a Lie group act trivially on an open subset of a manifold the action of the group is trivial (on the whole manifold)?
- Find non-zero real numbers $a,b,c,d$ such that $a^2+c^2=b^2+d^2$ and $ab+cd=0$.
- $SU(2)$ adjoint and fundamental transformations
- A finite group G acts freely on a simply connected manifold M
- $SU(3)$ irreps decomposition in subgroup irreps
- Tensors transformations under $so(4)$
Related Questions in LIE-ALGEBRAS
- Holonomy bundle is a covering space
- Computing the logarithm of an exponentiated matrix?
- Need help with notation. Is this lower dot an operation?
- On uniparametric subgroups of a Lie group
- Are there special advantages in this representation of sl2?
- $SU(2)$ adjoint and fundamental transformations
- Radical of Der(L) where L is a Lie Algebra
- $SU(3)$ irreps decomposition in subgroup irreps
- Given a representation $\phi: L \rightarrow \mathfrak {gl}(V)$ $\phi(L)$ in End $V$ leaves invariant precisely the same subspaces as $L$.
- Tensors transformations under $so(4)$
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
geometry
circles
algebraic-number-theory
functions
real-analysis
elementary-set-theory
proof-verification
proof-writing
number-theory
elementary-number-theory
puzzle
game-theory
calculus
multivariable-calculus
partial-derivative
complex-analysis
logic
set-theory
second-order-logic
homotopy-theory
winding-number
ordinary-differential-equations
numerical-methods
derivatives
integration
definite-integrals
probability
limits
sequences-and-series
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?
The Killing form of any semisimple Lie algebra is always non-degenerate (and as stated by @paul_garrett this is Cartan's criterion for semisimplicity). What you remember is probaly that the killing form is (negative) definite only for compact Lie algebras. And the form that you obtain for $\mathfrak{sl}(2,\mathbb R)$ indeed is indefinite (since the determinant is negative).