Английская Википедия:Casimir element

Шаблон:Short description In mathematics, a Casimir element (also known as a Casimir invariant or Casimir operator) is a distinguished element of the center of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir element of the three-dimensional rotation group.

More generally, Casimir elements can be used to refer to any element of the center of the universal enveloping algebra. The algebra of these elements is known to be isomorphic to a polynomial algebra through the Harish-Chandra isomorphism.

The Casimir element is named after Hendrik Casimir, who identified them in his description of rigid body dynamics in 1931.^[1]

Definition

The most commonly-used Casimir invariant is the quadratic invariant. It is the simplest to define, and so is given first. However, one may also have Casimir invariants of higher order, which correspond to homogeneous symmetric polynomials of higher order.

Quadratic Casimir element

Suppose that <math>\mathfrak{g}</math> is an <math>n</math>-dimensional Lie algebra. Let B be a nondegenerate bilinear form on <math>\mathfrak{g}</math> that is invariant under the adjoint action of <math>\mathfrak{g}</math> on itself, meaning that <math>B(\operatorname{ad}_XY, Z) + B(Y, \operatorname{ad}_X Z) = 0</math> for all X, Y, Z in <math>\mathfrak{g}</math>. (The most typical choice of B is the Killing form if <math>\mathfrak{g}</math> is semisimple.) Let

be any basis of <math>\mathfrak{g}</math>, and

be the dual basis of <math>\mathfrak{g}</math> with respect to B. The Casimir element <math>\Omega</math> for B is the element of the universal enveloping algebra <math>U(\mathfrak{g})</math> given by the formula

<math>\Omega = \sum_{i=1}^n X_i X^i.</math>

Although the definition relies on a choice of basis for the Lie algebra, it is easy to show that Ω is independent of this choice. On the other hand, Ω does depend on the bilinear form B. The invariance of B implies that the Casimir element commutes with all elements of the Lie algebra <math>\mathfrak{g}</math>, and hence lies in the center of the universal enveloping algebra <math>U(\mathfrak{g})</math>.^[2]

Quadratic Casimir invariant of a linear representation and of a smooth action

Given a representation ρ of <math>\mathfrak{g}</math> on a vector space V, possibly infinite-dimensional, the Casimir invariant of ρ is defined to be ρ(Ω), the linear operator on V given by the formula

<math>\rho(\Omega) = \sum_{i=1}^n \rho(X_i)\rho(X^i).</math>

A specific form of this construction plays an important role in differential geometry and global analysis. Suppose that a connected Lie group G with Lie algebra <math>\mathfrak{g}</math> acts on a differentiable manifold M. Consider the corresponding representation ρ of G on the space of smooth functions on M. Then elements of <math>\mathfrak{g}</math> are represented by first order differential operators on M. In this situation, the Casimir invariant of ρ is the G-invariant second order differential operator on M defined by the above formula.

Specializing further, if it happens that M has a Riemannian metric on which G acts transitively by isometries, and the stabilizer subgroup G_x of a point acts irreducibly on the tangent space of M at x, then the Casimir invariant of ρ is a scalar multiple of the Laplacian operator coming from the metric.

More general Casimir invariants may also be defined, commonly occurring in the study of pseudo-differential operators in Fredholm theory.

Casimir elements of higher order

The article on universal enveloping algebras gives a detailed, precise definition of Casimir operators, and an exposition of some of their properties. All Casimir operators correspond to symmetric homogeneous polynomials in the symmetric algebra of the adjoint representation <math>\operatorname{ad}_\mathfrak{g}.</math>:

<math>C_{(m)} = \kappa^{ij\cdots k} X_i \otimes X_j \otimes \cdots\otimes X_k</math>

where Шаблон:Math is the order of the symmetric tensor <math>\kappa^{ij\cdots k}</math> and the <math>X_i</math> form a vector space basis of <math>\mathfrak{g}.</math> This corresponds to a symmetric homogeneous polynomial

<math>c_{(m)} = \kappa^{ij\cdots k} t_i t_j \cdots t_k</math>

in Шаблон:Math indeterminate variables <math>t_i</math> in the polynomial algebra <math>K[t_i, t_j, \cdots ,t_k]</math> over a field Шаблон:Math The reason for the symmetry follows from the PBW theorem and is discussed in much greater detail in the article on universal enveloping algebras.

Moreover, a Casimir element must belong to the center of the universal enveloping algebra, i.e. it must obey

for all basis elements <math>X_i.</math> In terms of the corresponding symmetric tensor <math>\kappa^{ij\cdots k}</math>, this condition is equivalent to the tensor being invariant:

<math>f_{ij}^{\;\; k} \kappa^{jl\cdots m}

+ f_{ij}^{\;\; l} \kappa^{kj\cdots m} + \cdots + f_{ij}^{\;\; m} \kappa^{kl\cdots j} = 0 </math> where <math>f_{ij}^{\;\; k}</math> are the structure constants of the Lie algebra i.e. <math>[X_i,X_j]=f_{ij}^{\;\; k}X_k</math>.

Properties

Uniqueness of the quadratic Casimir element

Since for a simple Lie algebra every invariant bilinear form is a multiple of the Killing form, the corresponding Casimir element is uniquely defined up to a constant. For a general semisimple Lie algebra, the space of invariant bilinear forms has one basis vector for each simple component, and hence the same is true for the space of corresponding Casimir operators.

Relation to the Laplacian on G

If <math>G</math> is a Lie group with Lie algebra <math>\mathfrak{g}</math>, the choice of a nondegenerate invariant bilinear form on <math>\mathfrak{g}</math> corresponds to a choice of bi-invariant Riemannian metric on <math>G</math>. Then under the identification of the universal enveloping algebra of <math>\mathfrak{g}</math> with the left invariant differential operators on <math>G</math>, the Casimir element of the bilinear form on <math>\mathfrak{g}</math> maps to the Laplacian of <math>G</math> (with respect to the corresponding bi-invariant metric).

Casimir elements and representation theory

By Racah's theorem,^[3] for a semisimple Lie algebra the dimension of the center of the universal enveloping algebra is equal to its rank. The Casimir operator gives the concept of the Laplacian on a general semisimple Lie group; but there is no unique analogue of the Laplacian, for rank > 1.

By definition any member of the center of the universal enveloping algebra commutes with all other elements in the algebra. By Schur's Lemma, in any irreducible representation of the Lie algebra, any Casimir element is thus proportional to the identity. The eigenvalues of all Casimir elements can be used to classify the representations of the Lie algebra (and hence, also of its Lie group).^[4] Шаблон:Clarify

Physical mass and spin are examples of these eigenvalues, as are many other quantum numbers found in quantum mechanics. Superficially, topological quantum numbers form an exception to this pattern; although deeper theories hint that these are two facets of the same phenomenon.Шаблон:According to whom.

Let <math>L(\lambda)</math> be the finite dimensional highest weight module of weight <math>\lambda</math>. Then the quadratic Casimir element <math>\Omega</math> acts on <math>L(\lambda)</math> by the constant

<math>\langle \lambda, \lambda + 2 \rho \rangle=\langle\lambda+\rho,\lambda+\rho\rangle - \langle\rho,\rho\rangle ,</math>

where <math>\rho</math> is the weight defined by half the sum of the positive roots.^[5] If <math>L(\lambda)</math> is nontrivial (i.e. if <math>\lambda\neq 0</math>), then this constant is nonzero. After all, since <math>\lambda</math> is dominant, if <math>\lambda\neq 0</math>, then <math>\langle\lambda,\lambda\rangle>0</math> and <math>\langle\lambda,\rho\rangle\geq 0</math>, showing that <math>\langle\lambda,\lambda+2\rho\rangle >0</math>. This observation plays an important role in the proof of Weyl's theorem on complete reducibility. It is also possible to prove the nonvanishing of the eigenvalue in a more abstract way—without using an explicit formula for the eigenvalue—using Cartan's criterion; see Sections 4.3 and 6.2 in the book of Humphreys.

Symmetric invariant tensors of simple Lie algebras

A Casimir element of order <math>m</math> corresponds to a symmetric invariant tensor of the same order via <math>C_{(m)} = \kappa^{i_1i_2\cdots i_m} X_{i_1}X_{i_2}\cdots X_{i_m}</math>. Constructing and relating Casimir elements is equivalent to doing the same for symmetric invariant tensors.

Construction of symmetric invariant tensors

Symmetric invariant tensors may be constructed as symmetrized traces in the defining representation^[6]

<math>

k^{(m)}_{i_1i_2\cdots i_m} = \text{Tr}\left(X_{(i_1}X_{i_2}\cdots X_{i_m)}\right) </math> where indices are raised and lowered by the Killing form, and symmetrized under all permutations.

It is also possible to construct symmetric invariant tensors from the antisymmetric invariant tensors of the type

<math>

\Omega^{(2m-1)}_{i_1i_2\cdots i_{2m-1}} = f_{i_1[i_2}^{j_1} \cdots f^{j_{m-1}}_{i_{2m-3}i_{2m-2}]} k^{(m)}_{j_1\cdots j_{m-1}i_{2m-1}} </math> The symmetric invariant tensor^[7]

<math>

t_{i_1i_2\cdots i_m}^{(m)} = \Omega^{(2m-1)}_{j_1j_2\cdots j_{2m-2} i_m} f_{i_1}^{j_1j_2}\cdots f_{i_{m-1}}^{j_{2m-2}j_{2m-3}} </math> is traceless for <math>m>2</math>. Such invariant tensors are orthogonal to one another in the sense that <math>t^{(m)}_{i_1i_2\cdots i_m} \left(t^{(n)}\right)^{i_1i_2\cdots i_m i_{m+1}\cdots i_n} = 0 </math> if <math>n>m</math>.

In the case of the simple Lie algebra <math>A_l=\mathfrak{sl}_{l+1}</math>, let us introduce the fully symmetric tensor of order three <math>d_{ijk}</math> such that, in the defining representation,

<math>

X_iX_j = \frac{2}{\ell+1} \delta_{ij} + f_{ij}^k X_k + d_{ij}^k X_k </math> Then the Sudbery symmetric invariant tensors are^[6]

<math>

d^{(2)}_{i_1i_2} = \delta_{i_1i_2} </math>

<math>

d^{(3)}_{i_1i_2i_3} = d_{i_1i_2i_3} </math>

<math>

d^{(4)}_{i_1i_2i_3i_4} = d_{(i_1i_2}{}^j d_{i_3i_4)j} </math>

<math>

d^{(5)}_{i_1i_2i_3i_4i_5} = d_{(i_1i_2}{}^j d^j{}_{i_3}{}^kd_{i_4i_5)k} </math>

Relations between symmetric invariant tensors

For a simple Lie algebra of rank <math>r</math>, there are <math>r</math> algebraically independent symmetric invariant tensors. Therefore, any such tensor can be expressed in terms of <math>r</math> given tensors. There is a systematic method for deriving complete sets of identities between symmetric invariant tensors.^[6]

In the case of the Lie algebra <math>A_l</math>, the symmetric invariant tensors <math>t^{(m)}</math> obey <math>t^{(m>l+1)}=0</math>.^[7] Reexpressing these tensors in terms of other families such as <math>d^{(m)}</math> or <math>k^{(m)}</math> gives rise to nontrivial relations within these other families. For example, the Sudbery tensors <math>d^{(m>l+1)}</math> may be expressed in terms of <math>d^{(2)},\cdots , d^{(l+1)}</math>, with relations of the type^[7]

<math>

d^{(4)}_{i_1i_2i_3i_4}\ \underset{l=2}{=}\ \frac13\delta_{(i_1i_2}\delta_{i_3i_4)} </math>

<math>

d^{(5)}_{i_1i_2i_3i_4i_5}\ \underset{l=2}{=}\ \frac13 d_{(i_1i_2i_3}\delta_{i_4i_5)} </math>

<math>

d^{(5)}_{i_1i_2i_3i_4i_5}\ \underset{l=3}{=}\ \frac23 d_{(i_1i_2i_3}\delta_{i_4i_5)} </math>

Structure constants also obey identities that are not directly related to symmetric invariant tensors, for example^[8]

<math>

3d_{ab}{}^{e}d_{cde}-f_{ac}{}^{e}f_{bde}-f_{ad}{}^{e}f_{bce}\ \underset{l=2}{=}\ \delta_{ac}\delta_{bd}+\delta_{ad}\delta_{bc}-\delta_{ab}\delta_{cd} </math>

Examples

Case of Шаблон:Math

The Lie algebra <math>\mathfrak{sl}_2 (\mathbb{C})</math> consists of two-by-two complex matrices with zero trace. There are three standard basis elements, <math>e</math>,<math>f</math>, and <math>h</math>, with

<math>\begin{align}

e &= \begin{bmatrix}

 0 & 1\\
 0 & 0

\end{bmatrix}, & f &= \begin{bmatrix}

 0 & 0\\
 1 & 0

\end{bmatrix}, & h &= \begin{bmatrix}

 1 &  0\\
 0 & -1

\end{bmatrix}. \end{align}</math>

The commutators are

<math>\begin{align}[]

 [e, f] &=   h, &
 [h, f] &= -2f, &
 [h, e] &=  2e.

\end{align}</math>

One can show that the Casimir element is

<math display="block">\Omega = ef + fe + \frac{1}{2}h^2 = \frac{1}{2}h^2 + h + 2fe = \frac{3}{2}I_2.</math>

Case of Шаблон:Math

The Lie algebra <math>\mathfrak{so}(3)</math> is the Lie algebra of SO(3), the rotation group for three-dimensional Euclidean space. It is simple of rank 1, and so it has a single independent Casimir. The Killing form for the rotation group is just the Kronecker delta, and so the Casimir invariant is simply the sum of the squares of the generators <math>L_x,\, L_y,\, L_z</math> of the algebra. That is, the Casimir invariant is given by

Consider the irreducible representation of <math>\mathfrak{so}(3)</math> in which the largest eigenvalue of <math>L_z</math> is <math>\ell</math>, where the possible values of <math>\ell</math> are <math display="inline">0,\, \frac{1}{2},\, 1,\, \frac{3}{2},\, \ldots</math>. The invariance of the Casimir operator implies that it is a multiple of the identity operator <math>I</math>. This constant can be computed explicitly, giving the following result^[9]

In quantum mechanics, the scalar value <math>\ell</math> is referred to as the total angular momentum. For finite-dimensional matrix-valued representations of the rotation group, <math>\ell</math> always takes on integer values (for bosonic representations) or half-integer values (for fermionic representations).

For a given value of <math>\ell</math>, the matrix representation is <math>(2\ell + 1)</math>-dimensional. Thus, for example, the three-dimensional representation for <math>\mathfrak{so}(3)</math> corresponds to <math>\ell = 1</math>, and is given by the generators

<math>\begin{align}

L_x &= i\begin{pmatrix} 0& 0& 0\\ 0& 0& -1\\ 0& 1& 0 \end{pmatrix}; & L_y &= i\begin{pmatrix}

0& 0& 1\\
0& 0& 0\\

-1& 0& 0 \end{pmatrix}; & L_z &= i\begin{pmatrix} 0& -1& 0\\ 1& 0& 0\\ 0& 0& 0 \end{pmatrix}, \end{align}</math> where the factors of <math>i</math> are needed for agreement with the physics convention (used here) that the generators should be skew-self-adjoint operators.^[10]

The quadratic Casimir invariant can then easily be computed by hand, with the result that

<math>L^2 = L_x^2 + L_y^2 + L_z^2 = 2

\begin{pmatrix} 1& 0& 0\\ 0& 1& 0\\ 0& 0& 1 \end{pmatrix} </math> as <math>\ell(\ell + 1) = 2</math> when <math>\ell = 1</math>.

This is what is meant when we say that the eigenvalues of the Casimir operator is used to classify the irreducible representations of a Lie algebra (and of an associated Lie group): two irreducible representations of a Lie Algebra are equivalent if and only if their Casimir element have the same eigenvalue. In this case, the irreps of <math>\mathfrak{so}(3)</math> are completely determined by the value of <math>\ell</math>, or equivalently, by the value of <math>\ell(\ell + 1)</math>. Similarly, the two dimensional representation has a basis given by the Pauli matrices, which correspond to spin Шаблон:Frac, and one can again check the formula for the Casimir by direct computation.

References

Шаблон:Reflist Шаблон:Refbegin

Шаблон:Refend

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Английская Википедия:Casimir element

Содержание

Definition

Quadratic Casimir element

Quadratic Casimir invariant of a linear representation and of a smooth action

Casimir elements of higher order

Properties

Uniqueness of the quadratic Casimir element

Relation to the Laplacian on G

Casimir elements and representation theory

Symmetric invariant tensors of simple Lie algebras

Construction of symmetric invariant tensors

Relations between symmetric invariant tensors

Examples

Case of Шаблон:Math

Case of Шаблон:Math

See also

References

Further reading

Навигация

Действия на странице

Действия на странице

Персональные инструменты

Навигация

Поиск

Инструменты