Magnus effect: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>ClueBot NG
m Reverting possible vandalism by 68.205.224.16 to version by 83.134.68.35. False positive? Report it. Thanks, ClueBot NG. (1183918) (Bot)
 
Line 1: Line 1:
Formerly a association struggle begins, you will see Often the particular War Map, the new map of this war area area association battles booty place. Useful territories will consistently becoming on the left, along with the adversary association when it comes to the right. boondocks [http://www.squidoo.com/search/results?q=anteroom anteroom] on these war map represents some sort or other of war base.<br><br>Reaching the higher level: what's important when it comes any game, but when you are looking for Clash of Clans, you will have a lot more subtle pointers. Despite making use of [http://prometeu.net clash of clans hack tools], you in addition be [https://www.Google.com/search?hl=en&gl=us&tbm=nws&q=acquire+experience&btnI=lucky acquire experience] points through the process of matching on top off other players. Increased metabolism purpose of earning Pvp is to enable carried on enhancements for your indigneous group. The refurbishment consists of better fight equipment, properties, troops while tribe people.<br><br>Your clash of clans hack equipment additionally tricks could be unbelievably handy in the labor that you are a keen player of the thoughts. The finest hack apparatuses tackle just that is related to any doing work platform - Android and Mac products iOS. You in many cases can exploit the obtain which can be used on your apple new iphone 4 or Android telephones.<br><br>Clash of Clans is obviously a popular sport designed to end up being dabbled in on multiple systems, the car . iOS and also mobile. The overall game is terribly intriguing but presently many comes a spot associated with legend, where the music player gets trapped because involved with not enough gems. However, this problem currently is able to easily be resolved.<br><br>A website is offering Clash of Clans hack tool owner to users who want. The website offering this tool is protected and it guarantees best quality software. There additionally other sites which deliver tool. But most people are either incomplete or to do with bad quality. When users download these just a few hack tools, instead of doing well they end along in trouble. So, players are advised select the tool from an internet site that offers complete companies.Users who are finding it tough to fold the hurdles can choose a site that allows a person to download the cheats. Most of the businesses allow free download as well as websites charge fees. Users can locate your site from where they acquire good quality software.<br><br>The particular world can be driven by supply and need to have. We shall look over the Greek-Roman model. Using special care that can highlight the role because of clash of clans hack tool no survey within just the vast framework and it usually this provides.<br><br>The particular leap into the pre-owned or operated xbox adventure marketplace. Several online poker players will get a Conflict of Clans Hack and finish this game really with ease. Several shops let these gaming titles being dealt in and then also promote them at one particular lessened cost. You might be by far the most cost-effective technique to be newer video games the particular higher cost.
{{Lie groups |Algebras}}
 
In [[mathematics]], the '''adjoint representation''' (or '''adjoint action''') of a [[Lie group]] ''G'' is a way of representing the elements of the group as [[linear map|linear transformations]] of the group's [[Lie algebra]], considered as a [[vector space]]. For example, in the case where ''G'' is the Lie group of [[invertible matrix|invertible matrices of size ''n'']], ''GL(n)'', the Lie algebra is the [[vector space]] of all (not necessarily invertible) ''n''-by-''n'' matrices. So in this case the adjoint representation is the vector space of ''n''-by-''n'' matrices, and any element ''g'' in ''GL(n)'' [[group action|acts]] as a linear transformation of this vector space given by conjugation: <math> x \mapsto g x g^{-1} </math>.
 
For any Lie group, this natural [[group representation|representation]] is obtained by linearizing (i.e. taking the [[Differential of a function|differential]] of) the [[group action|action]] of ''G'' on itself by [[conjugation (group theory)|conjugation]]. The adjoint representation can be defined for [[linear algebraic group]]s over arbitrary [[field (mathematics)|fields]].
 
==Formal definition==
{{see also|Representation theory|Lie_group#The Lie algebra associated with a Lie group}}
Let ''G'' be a [[Lie group]] and let <math>\mathfrak g</math> be its [[Lie algebra]] (which we identify with ''T<sub>e</sub>G'', the [[tangent space]] to the [[identity element]] in ''G''). Define a map
:<math>\Psi : G \to \mathrm{Aut}(G)\,</math>
by the equation Ψ(''g'') = Ψ<sub>''g''</sub> for all ''g'' in ''G'', where Aut(''G'') is the [[automorphism group]] of ''G'' and the [[automorphism]] Ψ<sub>''g''</sub> is defined by
:<math>\Psi_g(h) = ghg^{-1}\,</math>
for all ''h'' in ''G''. It follows that the [[pushforward (differential)|derivative]] of Ψ<sub>''g''</sub> at the identity is an automorphism of the Lie algebra <math>\mathfrak g</math>.
 
<math>(d\Psi)_{x} : T_{x}G \to T_{\Psi(x)}\mathrm{Aut}(G) </math>
 
<math>(d\Psi)_{e} : T_{e}G \to T_{\Psi(e)=e}\mathrm{Aut}(G) </math>
 
<math>(d\Psi_g)_x : T_x G \to T_{\Psi_g(x)}(G) </math>
 
<math>(d\Psi_g)_e : T_e G \to T_{\Psi_g(e) = e}(G) </math>
 
We denote this map by Ad<sub>''g''</sub>:
:<math>d(\Psi_g)_e=\mathrm{Ad}_g\colon \mathfrak g \to \mathfrak g.</math>
To say that Ad<sub>''g''</sub> is a Lie algebra automorphism is to say that Ad<sub>''g''</sub> is a [[linear transformation]] of <math>\mathfrak g</math> that preserves the [[Lie algebra#Definitions|Lie bracket]]. The map
:<math>\mathrm{Ad}\colon G \to \mathrm{Aut}(\mathfrak g)</math>
which sends ''g'' to Ad<sub>''g''</sub> is called the '''adjoint representation''' of ''G''. This is indeed a [[group representation|representation]] of ''G'' since <math>\mathrm{Aut}(\mathfrak g)</math> is a [[Lie subgroup]] of <math>\mathrm{GL}(\mathfrak g)</math> and the above adjoint map is a [[Lie group homomorphism]]. The dimension of the adjoint representation is the same as the dimension of the group ''G''.
 
===Adjoint representation of a Lie algebra===
{{main|Adjoint representation of a Lie algebra}}
 
One may always pass from a representation of a Lie group ''G'' to a [[representation of a Lie algebra|representation of its Lie algebra]] by taking the derivative at the identity.
 
Taking the derivative of the adjoint map
:<math>\mathrm{Ad}\colon G \to \mathrm{Aut}(\mathfrak g)</math>
gives the '''adjoint representation''' of the Lie algebra <math>\mathfrak g</math>:
:<math>d(\mathrm{Ad})_x: T_x(G) \to T_{Ad(x)}(\mathrm{Aut}(\mathfrak g))</math>
:<math>\mathrm{ad}\colon \mathfrak g \to \mathrm{Der}(\mathfrak g).</math>
Here <math>\mathrm{Der}(\mathfrak g)</math> is the Lie algebra of <math>\mathrm{Aut}(\mathfrak g)</math> which may be identified with the [[differential algebra#Derivation on a Lie algebra|derivation algebra]] of <math>\mathfrak g</math>. The adjoint representation of a Lie algebra is related in a fundamental way to the structure of that algebra. In particular, one can show that
:<math>\mathrm{ad}_x(y) = [x,y]\,</math>
for all <math>x,y \in \mathfrak g</math>.
 
: <math>
\begin{align}
\mathrm{ad}_x(y) & = d (\mathrm{Ad}_{x})_{e}(y) \\
& = \lim_{\varepsilon \to 0}\frac{(I+\varepsilon x)y(I+\varepsilon x)^{-1}-y}{\varepsilon} \\
& = \lim_{\varepsilon \to 0}\frac{(I+\varepsilon x)y(I-\varepsilon x +(\varepsilon x)^2+O(\varepsilon^3))-y}{\varepsilon} \\
& = \lim_{\varepsilon \to 0}\frac{((I+\varepsilon x)yI- (I+\varepsilon x)y\varepsilon x +(I+\varepsilon x)y(\varepsilon x)^2 +O(\varepsilon^3))-y}{\varepsilon} \\
& = \lim_{\varepsilon \to 0}\frac{(I y I+\varepsilon x y I- I y \varepsilon x-\varepsilon x y \varepsilon x +Iy(\varepsilon x)^2+\varepsilon xy(\varepsilon x)^2 +O(\varepsilon^3))-y}{\varepsilon} \\
& = \lim_{\varepsilon \to 0}\frac{y+ x y \varepsilon - y x \varepsilon- x y x \varepsilon^{2} +y x^{2}\varepsilon^2 + x y x^{2}\varepsilon^2 +O(\varepsilon^3) -y}{\varepsilon} \\
& = \lim_{\varepsilon \to 0}x y - y x - x y x \varepsilon +y x^{2}\varepsilon + x y x^{2}\varepsilon +O(\varepsilon^2) \\
& = [x,y]
\end{align}
</math>
 
== Examples ==
*If ''G'' is [[abelian group|abelian]] of dimension ''n'', the adjoint representation of ''G'' is the trivial ''n''-dimensional representation.
*If ''G'' is a [[matrix Lie group]] (i.e. a closed subgroup of ''GL''(n,'''C''')), then its Lie algebra is an algebra of ''n''×''n'' matrices with the commutator for a Lie bracket (i.e. a subalgebra of <math>\mathfrak{gl}_n(\mathbf C)</math>). In this case, the adjoint map is given by Ad<sub>''g''</sub>(''x'') = ''gxg''<sup>−1</sup>.
*If ''G'' is [[SL2(R)|SL(2, '''R''')]] (real 2×2 matrices with [[determinant]] 1), the Lie algebra of ''G'' consists of real 2×2 matrices with [[trace (linear algebra)|trace]] 0. The representation is equivalent to that given by the action of ''G'' by linear substitution on the space of binary (i.e., 2 variable) [[quadratic form]]s.
 
==Properties==
 
The following table summarizes the properties of the various maps mentioned in the definition
 
{| align=center border=1 cellpadding=2 style="border: solid 1pt black; border-collapse: collapse;"
| align=center | <math>\Psi\colon G \to \mathrm{Aut}(G)\,</math>
| align=center | <math>\Psi_g\colon G \to G\,</math>
|-
| valign=top | Lie group homomorphism:
* <math>\Psi_{gh} = \Psi_g\Psi_h</math>
| valign=top | Lie group automorphism:
* <math>\Psi_g(ab) = \Psi_g(a)\Psi_g(b)</math>
* <math>(\Psi_g)^{-1} = \Psi_{g^{-1}}</math>
|-
| align=center | <math>\mathrm{Ad}\colon G \to \mathrm{Aut}(\mathfrak g)</math>
| align=center | <math>\mathrm{Ad}_g\colon \mathfrak g \to \mathfrak g</math>
|-
| valign=top | Lie group homomorphism:
* <math>\mathrm{Ad}_{gh} = \mathrm{Ad}_g\mathrm{Ad}_h</math>
| valign=top | Lie algebra automorphism:
* <math>\mathrm{Ad}_g</math> is linear
* <math>(\mathrm{Ad}_g)^{-1} = \mathrm{Ad}_{g^{-1}}</math>
* <math>\mathrm{Ad}_g[x,y] = [\mathrm{Ad}_g x,\mathrm{Ad}_g y]</math>
|-
| align=center | <math>\mathrm{ad}\colon \mathfrak g \to \mathrm{Der}(\mathfrak g)</math>
| align=center | <math>\mathrm{ad}_x\colon \mathfrak g \to \mathfrak g</math>
|-
| valign=top | Lie algebra homomorphism:
* <math>\mathrm{ad}</math> is linear
* <math>\mathrm{ad}_{[x,y]} = [\mathrm{ad}_x,\mathrm{ad}_y]</math>
| valign=top | Lie algebra derivation:
* <math>\mathrm{ad}_x</math> is linear
* <math>\mathrm{ad}_x[y,z] = [\mathrm{ad}_x y ,z] + [y,\mathrm{ad}_x z]</math>
|}
 
The [[image (mathematics)|image]] of ''G'' under the adjoint representation is denoted by Ad<sub>''G''</sub>. If ''G'' is [[connected space|connected]], the [[kernel (group theory)|kernel]] of the adjoint representation coincides with the kernel of Ψ which is just the [[center (group theory)|center]] of ''G''. Therefore the adjoint representation of a connected Lie group ''G'' is [[faithful representation|faithful]] if and only if ''G'' is centerless. More generally, if ''G'' is not connected, then the kernel of the adjoint map is the [[centralizer]] of the [[identity component]] ''G''<sub>0</sub> of ''G''. By the [[first isomorphism theorem]] we have
:<math>\mathrm{Ad}_G \cong G/C_G(G_0).</math>
 
== Roots of a semisimple Lie group ==
If ''G'' is [[semisimple group|semisimple]], the non-zero [[weight (representation theory)|weights]] of the adjoint representation form a [[root system]]. To see how this works, consider the case ''G'' = SL(''n'', '''R'''). We can take the group of diagonal matrices diag(''t''<sub>1</sub>,&nbsp;...,&nbsp;''t''<sub>''n''</sub>) as our [[maximal torus]] ''T''.  Conjugation by an element of ''T'' sends
 
:<math>\begin{bmatrix}
a_{11}&a_{12}&\cdots&a_{1n}\\
a_{21}&a_{22}&\cdots&a_{2n}\\
\vdots&\vdots&\ddots&\vdots\\
a_{n1}&a_{n2}&\cdots&a_{nn}\\
\end{bmatrix}
\mapsto
\begin{bmatrix}
a_{11}&t_1t_2^{-1}a_{12}&\cdots&t_1t_n^{-1}a_{1n}\\
t_2t_1^{-1}a_{21}&a_{22}&\cdots&t_2t_n^{-1}a_{2n}\\
\vdots&\vdots&\ddots&\vdots\\
t_nt_1^{-1}a_{n1}&t_nt_2^{-1}a_{n2}&\cdots&a_{nn}\\
\end{bmatrix}.
</math>
 
Thus, ''T'' acts trivially on the diagonal part of the Lie algebra of ''G'' and with eigenvectors ''t''<sub>''i''</sub>''t''<sub>''j''</sub><sup>&minus;1</sup> on the various off-diagonal entries.  The roots of ''G'' are the weights diag(''t''<sub>1</sub>, ..., ''t''<sub>''n''</sub>) → ''t''<sub>''i''</sub>''t''<sub>''j''</sub><sup>&minus;1</sup>. This accounts for the standard description of the root system of ''G''&nbsp;=&nbsp;SL<sub>''n''</sub>('''R''') as the set of vectors of the form ''e<sub>i</sub>''−''e<sub>j</sub>''.
 
=== Example SL(2, R) ===
Let us compute the root system for one of the simplest cases of Lie Groups. Let us consider the group SL(2, '''R''') of two dimensional matrices with determinant 1. This consists of the set of matrices of the form:
 
: <math>\begin{bmatrix}
a & b\\
c & d\\
\end{bmatrix} </math>
 
with ''a'', ''b'', ''c'', ''d'' real and ''ad''&nbsp;&minus;&nbsp;''bc''&nbsp;=&nbsp;1.
 
A maximal compact connected abelian Lie subgroup, or maximal torus ''T'', is given by the subset of all matrices of the form
 
: <math>\begin{bmatrix}
t_1 & 0\\
0 & t_2\\
\end{bmatrix}
=
\begin{bmatrix}
t_1 & 0\\
0 & 1/t_1\\
\end{bmatrix}
=
\begin{bmatrix}
\exp(\theta) & 0 \\
0 & \exp(-\theta) \\
\end{bmatrix} </math>
 
with <math> t_1 t_2 = 1 </math>. The Lie algebra of the maximal torus is the Cartan subalgebra consisting of the matrices
 
: <math>
\begin{bmatrix}
\theta & 0\\
0 & -\theta \\
\end{bmatrix} =
\theta\begin{bmatrix}
1 & 0\\
0 & 0 \\
\end{bmatrix}-\theta\begin{bmatrix}
0 & 0\\
0 & 1 \\
\end{bmatrix}
= \theta(e_1-e_2).
</math>
 
If we conjugate an element of SL(2, ''R'') by an element of the maximal torus we obtain
 
: <math>
\begin{bmatrix}
t_1 & 0\\
0 & 1/t_1\\
\end{bmatrix}
\begin{bmatrix}
a & b\\
c & d\\
\end{bmatrix}
\begin{bmatrix}
1/t_1 & 0\\
0 & t_1\\
\end{bmatrix}
=
\begin{bmatrix}
a t_1 & b t_1 \\
c / t_1 & d / t_1\\
\end{bmatrix}
\begin{bmatrix}
1 / t_1 & 0\\
0      & t_1\\
\end{bmatrix}
=
\begin{bmatrix}
a      & b t_1^2\\
c t_1^{-2} & d\\
\end{bmatrix}
</math>
 
The matrices
 
: <math>
\begin{bmatrix}
1 & 0\\
0 & 0\\
\end{bmatrix}
\begin{bmatrix}
0 & 0\\
0 & 1\\
\end{bmatrix}
\begin{bmatrix}
0 & 1\\
0 & 0\\
\end{bmatrix}
\begin{bmatrix}
0 & 0\\
1 & 0\\
\end{bmatrix}
</math>
 
are then 'eigenvectors' of the conjugation operation with eigenvalues <math>1,1,t_1^2, t_1^{-2}</math>. The function Λ which gives <math>t_1^2</math> is a multiplicative character, or homomorphism from the group's torus to the underlying field R. The function λ giving θ is a weight of the Lie Algebra with weight space given by the span of the matrices.
 
It is satisfying to show the multiplicativity of the character and the linearity of the weight. It can further be proved that the differential of Λ can be used to create a weight. It is also educational to consider the case of SL(3, '''R''').
 
== Variants and analogues ==
The adjoint representation can also be defined for [[algebraic group]]s over any field.
 
The '''co-adjoint representation''' is the [[contragredient representation]] of the adjoint representation.  [[Alexandre Kirillov]] observed that the [[orbit (group theory)|orbit]] of any vector in a co-adjoint representation is a [[symplectic manifold]].  According to the philosophy in [[representation theory]] known as the '''orbit method''' (see also the [[Kirillov character formula]]), the irreducible representations of a Lie group ''G'' should be indexed in some way by its co-adjoint orbits. This relationship is closest in the case of [[nilpotent Lie group]]s.
 
==References==
*{{Fulton-Harris}}
 
{{DEFAULTSORT:Adjoint Representation Of A Lie Group}}
[[Category:Representation theory of Lie groups]]
 
[[fr:Représentation adjointe]]
[[ru:Присоединённое представление группы Ли]]
[[zh:伴随表示]]

Revision as of 03:32, 28 January 2014

Template:Lie groups

In mathematics, the adjoint representation (or adjoint action) of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, in the case where G is the Lie group of invertible matrices of size n, GL(n), the Lie algebra is the vector space of all (not necessarily invertible) n-by-n matrices. So in this case the adjoint representation is the vector space of n-by-n matrices, and any element g in GL(n) acts as a linear transformation of this vector space given by conjugation: xgxg1.

For any Lie group, this natural representation is obtained by linearizing (i.e. taking the differential of) the action of G on itself by conjugation. The adjoint representation can be defined for linear algebraic groups over arbitrary fields.

Formal definition

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. Let G be a Lie group and let g be its Lie algebra (which we identify with TeG, the tangent space to the identity element in G). Define a map

Ψ:GAut(G)

by the equation Ψ(g) = Ψg for all g in G, where Aut(G) is the automorphism group of G and the automorphism Ψg is defined by

Ψg(h)=ghg1

for all h in G. It follows that the derivative of Ψg at the identity is an automorphism of the Lie algebra g.

(dΨ)x:TxGTΨ(x)Aut(G)

(dΨ)e:TeGTΨ(e)=eAut(G)

(dΨg)x:TxGTΨg(x)(G)

(dΨg)e:TeGTΨg(e)=e(G)

We denote this map by Adg:

d(Ψg)e=Adg:gg.

To say that Adg is a Lie algebra automorphism is to say that Adg is a linear transformation of g that preserves the Lie bracket. The map

Ad:GAut(g)

which sends g to Adg is called the adjoint representation of G. This is indeed a representation of G since Aut(g) is a Lie subgroup of GL(g) and the above adjoint map is a Lie group homomorphism. The dimension of the adjoint representation is the same as the dimension of the group G.

Adjoint representation of a Lie algebra

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

One may always pass from a representation of a Lie group G to a representation of its Lie algebra by taking the derivative at the identity.

Taking the derivative of the adjoint map

Ad:GAut(g)

gives the adjoint representation of the Lie algebra g:

d(Ad)x:Tx(G)TAd(x)(Aut(g))
ad:gDer(g).

Here Der(g) is the Lie algebra of Aut(g) which may be identified with the derivation algebra of g. The adjoint representation of a Lie algebra is related in a fundamental way to the structure of that algebra. In particular, one can show that

adx(y)=[x,y]

for all x,yg.

adx(y)=d(Adx)e(y)=limε0(I+εx)y(I+εx)1yε=limε0(I+εx)y(Iεx+(εx)2+O(ε3))yε=limε0((I+εx)yI(I+εx)yεx+(I+εx)y(εx)2+O(ε3))yε=limε0(IyI+εxyIIyεxεxyεx+Iy(εx)2+εxy(εx)2+O(ε3))yε=limε0y+xyεyxεxyxε2+yx2ε2+xyx2ε2+O(ε3)yε=limε0xyyxxyxε+yx2ε+xyx2ε+O(ε2)=[x,y]

Examples

  • If G is abelian of dimension n, the adjoint representation of G is the trivial n-dimensional representation.
  • If G is a matrix Lie group (i.e. a closed subgroup of GL(n,C)), then its Lie algebra is an algebra of n×n matrices with the commutator for a Lie bracket (i.e. a subalgebra of gln(C)). In this case, the adjoint map is given by Adg(x) = gxg−1.
  • If G is SL(2, R) (real 2×2 matrices with determinant 1), the Lie algebra of G consists of real 2×2 matrices with trace 0. The representation is equivalent to that given by the action of G by linear substitution on the space of binary (i.e., 2 variable) quadratic forms.

Properties

The following table summarizes the properties of the various maps mentioned in the definition

Ψ:GAut(G) Ψg:GG
Lie group homomorphism: Lie group automorphism:
Ad:GAut(g) Adg:gg
Lie group homomorphism: Lie algebra automorphism:
ad:gDer(g) adx:gg
Lie algebra homomorphism: Lie algebra derivation:

The image of G under the adjoint representation is denoted by AdG. If G is connected, the kernel of the adjoint representation coincides with the kernel of Ψ which is just the center of G. Therefore the adjoint representation of a connected Lie group G is faithful if and only if G is centerless. More generally, if G is not connected, then the kernel of the adjoint map is the centralizer of the identity component G0 of G. By the first isomorphism theorem we have

AdGG/CG(G0).

Roots of a semisimple Lie group

If G is semisimple, the non-zero weights of the adjoint representation form a root system. To see how this works, consider the case G = SL(n, R). We can take the group of diagonal matrices diag(t1, ..., tn) as our maximal torus T. Conjugation by an element of T sends

[a11a12a1na21a22a2nan1an2ann][a11t1t21a12t1tn1a1nt2t11a21a22t2tn1a2ntnt11an1tnt21an2ann].

Thus, T acts trivially on the diagonal part of the Lie algebra of G and with eigenvectors titj−1 on the various off-diagonal entries. The roots of G are the weights diag(t1, ..., tn) → titj−1. This accounts for the standard description of the root system of G = SLn(R) as the set of vectors of the form eiej.

Example SL(2, R)

Let us compute the root system for one of the simplest cases of Lie Groups. Let us consider the group SL(2, R) of two dimensional matrices with determinant 1. This consists of the set of matrices of the form:

[abcd]

with a, b, c, d real and ad − bc = 1.

A maximal compact connected abelian Lie subgroup, or maximal torus T, is given by the subset of all matrices of the form

[t100t2]=[t1001/t1]=[exp(θ)00exp(θ)]

with t1t2=1. The Lie algebra of the maximal torus is the Cartan subalgebra consisting of the matrices

[θ00θ]=θ[1000]θ[0001]=θ(e1e2).

If we conjugate an element of SL(2, R) by an element of the maximal torus we obtain

[t1001/t1][abcd][1/t100t1]=[at1bt1c/t1d/t1][1/t100t1]=[abt12ct12d]

The matrices

[1000][0001][0100][0010]

are then 'eigenvectors' of the conjugation operation with eigenvalues 1,1,t12,t12. The function Λ which gives t12 is a multiplicative character, or homomorphism from the group's torus to the underlying field R. The function λ giving θ is a weight of the Lie Algebra with weight space given by the span of the matrices.

It is satisfying to show the multiplicativity of the character and the linearity of the weight. It can further be proved that the differential of Λ can be used to create a weight. It is also educational to consider the case of SL(3, R).

Variants and analogues

The adjoint representation can also be defined for algebraic groups over any field.

The co-adjoint representation is the contragredient representation of the adjoint representation. Alexandre Kirillov observed that the orbit of any vector in a co-adjoint representation is a symplectic manifold. According to the philosophy in representation theory known as the orbit method (see also the Kirillov character formula), the irreducible representations of a Lie group G should be indexed in some way by its co-adjoint orbits. This relationship is closest in the case of nilpotent Lie groups.

References

fr:Représentation adjointe ru:Присоединённое представление группы Ли zh:伴随表示