Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
mNo edit summary
mNo edit summary
Line 1: Line 1:
In mathematics, the '''Bruhat decomposition''' (named after [[François Bruhat]]) G = BWB into cells can be regarded as a general expression of the principle of [[Gauss–Jordan elimination]], which generically writes a matrix as a product of an upper triangular and lower triangular matrices—but with exceptional cases. It is related to the [[Schubert cell]] decomposition of Grassmannians: see [[Weyl group]] for this.
The '''Cartan decomposition''' is a decomposition of a [[Semisimple Lie algebra|semisimple]] [[Lie group]] or [[Lie algebra]], which plays an important role in their structure theory and [[representation theory]]. It generalizes the [[polar decomposition]] or [[singular value decomposition]] of matrices.  Its history can be traced to the 1880s work of [[Élie Cartan]] and [[Wilhelm Killing]]. [http://books.google.com/books?id=udj-1UuaOiIC&pg=PA46&dq=history+cartan+decomposition&hl=en&sa=X&ei=aa-wUuCDEMGmkQfNqoHABg&ved=0CDQQ6AEwAQ#v=onepage&q=history%20cartan%20decomposition&f=false]


More generally, any group with a [[(B,N) pair]] has a Bruhat decomposition.
== Cartan involutions on Lie algebras ==


==Definitions==
Let <math>\mathfrak{g}</math> be a real [[Semisimple Lie algebra|semisimple]] [[Lie algebra]] and let <math>B(\cdot,\cdot)</math> be its [[Killing form]].  An [[Involution (mathematics)|involution]] on <math>\mathfrak{g}</math> is a Lie algebra [[automorphism]] <math>\theta</math> of <math>\mathfrak{g}</math> whose square is equal to the identity.  Such an involution is called a '''Cartan involution''' on <math>\mathfrak{g}</math> if <math>B_\theta(X,Y) := -B(X,\theta Y)</math> is a [[positive definite bilinear form]].
*''G'' is a [[connected space|connected]], [[reductive group|reductive]] [[algebraic group]] over an [[algebraically closed field]].
*''B'' is a [[Borel subgroup]] of ''G''
*''W'' is a [[Weyl group]] of ''G'' corresponding to a maximal torus of ''B''.


The '''Bruhat decomposition''' of ''G'' is the decomposition
Two involutions <math>\theta_1</math> and <math>\theta_2</math> are considered equivalent if they differ only by an [[inner automorphism]].
:<math>G=BWB =\coprod_{w\in W}BwB</math>
of ''G'' as a disjoint union of [[double coset]]s of ''B'' parameterized by the elements of the Weyl group ''W''. (Note that although ''W'' is not in general a subgroup of ''G'', the coset ''wB'' is still well defined.)


== Examples ==
Any real semisimple Lie algebra has a Cartan involution, and any two Cartan involutions are equivalent.
Let ''G'' be the [[general linear group]] '''GL'''<sub>n</sub> of invertible <math>n \times n</math> matrices with entries in some algebraically closed field, which is a reductive group. Then the Weyl group ''W'' is isomorphic to the [[symmetric group]] ''S<sub>n</sub>'' on ''n'' letters, with [[permutation matrices]] as representatives. In this case, we can take ''B'' to be the subgroup of upper triangular invertible matrices, so Bruhat decomposition says that one can write any invertible matrix ''A'' as a product ''U<sub>1</sub>PU<sub>2</sub>'' where ''U<sub>1</sub>'' and ''U<sub>2</sub>'' are upper triangular, and ''P'' is a permutation matrix. Writing this as ''P = U<sub>1</sub><sup>-1</sup>AU<sub>2</sub><sup>-1</sup>'', this says that any invertible matrix can be transformed into a permutation matrix via a series of row and column operations, where we are only allowed to add row ''i'' (resp. column ''i'') to row ''j'' (resp. column ''j'') if ''i>j'' (resp. ''i<j''). The row operations correspond to ''U<sub>1</sub><sup>-1</sup>'', and the column operations correspond to ''U<sub>2</sub><sup>-1</sup>''.


The [[special linear group]] '''SL'''<sub>n</sub> of invertible <math>n \times n</math> matrices with [[determinant]] 1 is a [[semisimple algebraic group|semisimple group]], and hence reductive. In this case, ''W'' is still isomorphic to the symmetric group ''S<sub>n</sub>''. However, the determinant of a permutation matrix is the sign of the permutation, so to represent an odd permutation in '''SL'''<sub>n</sub>, we can take one of the nonzero elements to be -1 instead of 1. Here ''B'' is the subgroup of upper triangular matrices with determinant 1, so the interpretation of Bruhat decomposition in this case is similar to the case of '''GL'''<sub>n</sub>.
=== Examples ===


== Geometry ==
{{^|NOTE: Blank lines between items helped source readability, but screwed up list formatting}}
The cells in the Bruhat decomposition correspond to the [[Schubert cell]] decomposition of Grassmannians. The dimension of the cells corresponds to the [[length function|length]] of the word ''w'' in the Weyl group. [[Poincaré duality]] constrains the topology of the cell decomposition, and thus the algebra of the Weyl group; for instance, the top dimensional cell is unique (it represents the [[fundamental class]]), and corresponds to the [[longest element of a Coxeter group]].
* A Cartan involution on <math>\mathfrak{sl}_n(\mathbb{R})</math> is defined by <math>\theta(X)=-X^T</math>, where <math>X^T</math> denotes the transpose matrix of <math>X</math>.
* The identity map on <math>\mathfrak{g}</math> is an involution, of course.  It is the unique Cartan involution of <math>\mathfrak{g}</math> if and only if the Killing form of <math>\mathfrak{g}</math> is negative definite.  Equivalently, <math>\mathfrak{g}</math> is the Lie algebra of a compact semisimple Lie group.
* Let <math>\mathfrak{g}</math> be the complexification of a real semisimple Lie algebra <math>\mathfrak{g}_0</math>, then complex conjugation on <math>\mathfrak{g}</math> is an involution on <math>\mathfrak{g}</math>.  This is the Cartan involution on <math>\mathfrak{g}</math> if and only if <math>\mathfrak{g}_0</math> is the Lie algebra of a compact Lie group.
* The following maps are involutions of the Lie algebra <math>\mathfrak{su}(n)</math> of the special unitary group [[SU(n)]]:
** the identity involution <math>\theta_0(X) = X</math>, which is the unique Cartan involution in this case;
** <math>\theta_1 (X) = - X^T</math> which on <math>\mathfrak{su}(n)</math> is also the complex conjugation;
** if <math>n = p+q</math> is odd, <math>\theta_2 (X) = \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix} X \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix}</math>. These are all equivalent, but not equivalent to the identity involution (because the matrix <math>\begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix}</math> does not belong to <math>\mathfrak{su}(n)</math>.)
** if <math>n = 2m</math> is even, we also have <math>\theta_3 (X) = \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix} X^T \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix}.</math>


==Computations==
== Cartan pairs ==
The number of cells in a given dimension of the Bruhat decomposition are the coefficients of the ''q''-polynomial<ref>[http://math.ucr.edu/home/baez/week186.html This Week's Finds in Mathematical Physics, Week 186]</ref> of the associated [[Dynkin diagram]].
 
Let <math>\theta</math> be an involution on a Lie algebra <math>\mathfrak{g}</math>.  Since <math>\theta^2=1</math>, the linear map <math>\theta</math> has the two eigenvalues <math>\pm1</math>.  Let <math>\mathfrak{k}</math> and <math>\mathfrak{p}</math> be the corresponding eigenspaces, then <math>\mathfrak{g} = \mathfrak{k}+\mathfrak{p}</math>.  Since <math>\theta</math> is a Lie algebra automorphism, eigenvalues are multiplicative. It follows that
: <math>[\mathfrak{k}, \mathfrak{k}] \subseteq \mathfrak{k}</math>, <math>[\mathfrak{k}, \mathfrak{p}] \subseteq \mathfrak{p}</math>, and <math>[\mathfrak{p}, \mathfrak{p}] \subseteq \mathfrak{k}</math>.
Thus <math>\mathfrak{k}</math> is a Lie subalgebra, while any subalgebra of <math>\mathfrak{p}</math> is commutative.
 
Conversely, a decomposition <math>\mathfrak{g} = \mathfrak{k}+\mathfrak{p}</math> with these extra properties determines an involution <math>\theta</math> on <math>\mathfrak{g}</math> that is <math>+1</math> on <math>\mathfrak{k}</math> and <math>-1</math> on <math>\mathfrak{p}</math>.
 
Such a pair <math>(\mathfrak{k}, \mathfrak{p})</math> is also called a '''Cartan pair''' of <math>\mathfrak{g}</math>.
 
The decomposition <math>\mathfrak{g} = \mathfrak{k}+\mathfrak{p}</math> associated to a Cartan involution is called a '''Cartan decomposition''' of <math>\mathfrak{g}</math>.  The special feature of a Cartan decomposition is that the Killing form is negative definite on <math>\mathfrak{k}</math> and positive definite on <math>\mathfrak{p}</math>.  Furthermore, <math>\mathfrak{k}</math> and <math>\mathfrak{p}</math> are orthogonal complements of each other with respect to the Killing form on <math>\mathfrak{g}</math>.
 
== Cartan decomposition on the Lie group level ==
 
Let <math>G</math> be a [[Semisimple Lie group|semisimple]] [[Lie group]] and <math>\mathfrak{g}</math> its [[Lie algebra]].  Let <math>\theta</math> be a Cartan involution on <math>\mathfrak{g}</math> and let <math>(\mathfrak{k},\mathfrak{p})</math> be the resulting Cartan pair.  Let <math>K</math> be the [[analytic subgroup]] of <math>G</math> with Lie algebra <math>\mathfrak{k}</math>.  Then:
* There is a Lie group automorphism <math>\Theta</math> with differential <math>\theta</math> that satisfies <math>\Theta^2=1</math>.
* The subgroup of elements fixed by <math>\Theta</math> is <math>K</math>; in particular, <math>K</math> is a closed subgroup.
* The mapping <math>K\times\mathfrak{p} \rightarrow G</math> given by <math>(k,X) \mapsto k\cdot \mathrm{exp}(X)</math> is a diffeomorphism.
* The subgroup <math>K</math> contains the center <math>Z</math> of <math>G</math>, and <math>K</math> is compact modulo center, that is, <math>K/Z</math> is compact.
* The subgroup <math>K</math> is the maximal subgroup of <math>G</math> that contains the center and is compact modulo center.
 
The automorphism <math>\Theta</math> is also called '''global Cartan involution''', and the diffeomorphism <math>K\times\mathfrak{p} \rightarrow G</math> is called '''global Cartan decomposition'''.
 
For the general linear group, we get <math> X \mapsto (X^{-1})^T </math> as the Cartan involution.
 
A refinement of the Cartan decomposition for symmetric spaces of compact or noncompact type states that the maximal Abelian subalgebras <math>\mathfrak{a}</math> in <math>\mathfrak{p}</math> are unique up to conjugation by ''K''. Moreover
 
:<math>\displaystyle{\mathfrak{p}= \bigcup_{k\in K} \mathrm{Ad}\, k \cdot \mathfrak{a}.}</math>
 
In the compact and noncompact case this Lie algebraic result implies the decomposition
 
:<math>\displaystyle{G=KAK,}</math>
 
where ''A'' = exp <math>\mathfrak{a}</math>. Geometrically the image of the subgroup ''A'' in ''G'' / ''K'' ia a [[totally geodesic]] submanifold.
 
== Relation to polar decomposition ==
 
Consider <math>\mathfrak{gl}_n(\mathbb{R})</math> with the Cartan involution <math>\theta(X)=-X^T</math>.  Then <math>\mathfrak{k}=\mathfrak{so}_n(\mathbb{R})</math> is the real Lie algebra of skew-symmetric matrices, so that <math>K=\mathrm{SO}(n)</math>, while <math>\mathfrak{p}</math> is the subspace of symmetric matrices.  Thus the exponential map is a diffeomorphism from <math>\mathfrak{p}</math> onto the space of positive definite matrices.  Up to this exponential map, the global Cartan decomposition is the [[polar decomposition]] of a matrix.  Notice that the polar decomposition of an invertible matrix is unique.
 
== See also ==


==See also==
* [[Lie group decompositions]]
* [[Lie group decompositions]]
* [[Birkhoff factorization]], a special case of the Bruhat decomposition for affine groups.
==Notes==
<references/>


==References==
== References ==
*[[Armand Borel|Borel, Armand]]. Linear Algebraic Groups (2nd ed.). New York: Springer-Verlag. ISBN 0-387-97370-2.
* {{citation|first=Sigurdur|last= Helgason|title=Differential geometry, Lie groups, and symmetric spaces|year=1978|publisher=Academic Press|isbn= 0-8218-2848-7}}
*[[Nicolas Bourbaki|Bourbaki, Nicolas]], ''Lie Groups and Lie Algebras: Chapters 4-6 (Elements of Mathematics)'', ISBN 3-540-42650-7
*[[A. W. Knapp]], ''Lie groups beyond an introduction'', ISBN 0-8176-4259-5, Birkhäuser.


[[Category:Lie groups]]
[[Category:Lie groups]]
[[Category:algebraic groups]]
[[Category:Lie algebras]]
 
[[ja:ブリュア分解]]

Revision as of 07:54, 13 August 2014

The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition or singular value decomposition of matrices. Its history can be traced to the 1880s work of Élie Cartan and Wilhelm Killing. [1]

Cartan involutions on Lie algebras

Let be a real semisimple Lie algebra and let be its Killing form. An involution on is a Lie algebra automorphism of whose square is equal to the identity. Such an involution is called a Cartan involution on if is a positive definite bilinear form.

Two involutions and are considered equivalent if they differ only by an inner automorphism.

Any real semisimple Lie algebra has a Cartan involution, and any two Cartan involutions are equivalent.

Examples

Template:^

Cartan pairs

Let be an involution on a Lie algebra . Since , the linear map has the two eigenvalues . Let and be the corresponding eigenspaces, then . Since is a Lie algebra automorphism, eigenvalues are multiplicative. It follows that

, , and .

Thus is a Lie subalgebra, while any subalgebra of is commutative.

Conversely, a decomposition with these extra properties determines an involution on that is on and on .

Such a pair is also called a Cartan pair of .

The decomposition associated to a Cartan involution is called a Cartan decomposition of . The special feature of a Cartan decomposition is that the Killing form is negative definite on and positive definite on . Furthermore, and are orthogonal complements of each other with respect to the Killing form on .

Cartan decomposition on the Lie group level

Let be a semisimple Lie group and its Lie algebra. Let be a Cartan involution on and let be the resulting Cartan pair. Let be the analytic subgroup of with Lie algebra . Then:

The automorphism is also called global Cartan involution, and the diffeomorphism is called global Cartan decomposition.

For the general linear group, we get as the Cartan involution.

A refinement of the Cartan decomposition for symmetric spaces of compact or noncompact type states that the maximal Abelian subalgebras in are unique up to conjugation by K. Moreover

In the compact and noncompact case this Lie algebraic result implies the decomposition

where A = exp . Geometrically the image of the subgroup A in G / K ia a totally geodesic submanifold.

Relation to polar decomposition

Consider with the Cartan involution . Then is the real Lie algebra of skew-symmetric matrices, so that , while is the subspace of symmetric matrices. Thus the exponential map is a diffeomorphism from onto the space of positive definite matrices. Up to this exponential map, the global Cartan decomposition is the polar decomposition of a matrix. Notice that the polar decomposition of an invertible matrix is unique.

See also

References

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • A. W. Knapp, Lie groups beyond an introduction, ISBN 0-8176-4259-5, Birkhäuser.