Weyl tensor: Difference between revisions
en>F=q(E+v^B) add tensor template |
en>Earthandmoon mNo edit summary |
||
Line 1: | Line 1: | ||
In mathematics, a '''canonical basis''' is a basis of an algebraic structure that is canonical in a sense that depends on the precise context: | |||
* In a coordinate space, and more generally in a free module, it refers to the standard basis defined by the [[Kronecker delta]] | |||
* In a polynomial ring, it refers to its standard basis given by the [[monomial]]s, <math>(X^i)_i</math>. | |||
* For finite extension fields, it means the [[polynomial basis]]. | |||
==Representation theory== | |||
In representation theory there are several basis that are called "canonical", e.g. Lusztig's canonical basis and closely related Kashiwara's [[crystal basis]] in quantum groups and their representations. There is a general concept underlying these basis: | |||
Consider the ring of integral [[Laurent polynomial]]s <math>\mathcal{Z}:=\mathbb{Z}[v,v^{-1}]</math> with its two subrings <math>\mathcal{Z}^{\pm}:=\mathbb{Z}[v^{\pm 1}]</math> and the automorphism <math>\overline{.}</math> that is defined by <math>v\mapsto v^{-1}</math>. | |||
A ''precanonical structure'' on a free <math>\mathcal{Z}</math>-module <math>F</math> consists of | |||
* A ''standard'' basis <math>(t_i)_{i\in I}</math> of <math>F</math>, | |||
* A [[partial order]] on <math>I</math> that is interval finite, i.e. <math>(-\infty,i] := \{j\in I | j\leq i\}</math> is finite for all <math>i\in I</math>, | |||
* A dualization operation, i.e. a bijection <math>F\to F</math> of order two that is <math>\overline{.}</math>-[[semilinear transformation|semilinear]] and will be denoted by <math>\overline{.}</math> as well. | |||
If a precanonical structure is given, then one can define the <math>\mathcal{Z}^{\pm}</math> submodule <math>F^{\pm} := \sum \mathcal{Z}^{\pm} t_j</math> of <math>F</math>. | |||
A ''canonical basis at <math>v=0</math>'' of the precanonical structure is then a <math>\mathcal{Z}</math>-basis <math>(c_i)_{i\in I}</math> of <math>F</math> that satisfies: | |||
* <math>\overline{c_i}=c_i</math> and | |||
* <math>c_i \in \sum_{j\leq i} \mathcal{Z}^+ t_j</math>and <math>c_i \equiv t_i \mod vF^+</math> | |||
for all <math>i\in I</math>. A ''canonical basis at <math>v=\infty</math>'' is analogously defined to be a basis <math>(\widetilde{c}_i)_{i\in I}</math> that satisfies | |||
* <math>\overline{\widetilde{c}_i}=\widetilde{c}_i</math> and | |||
* <math>\widetilde{c}_i \in \sum_{j\leq i} \mathcal{Z}^- t_j</math> and <math>\widetilde{c}_i \equiv t_i \mod v^{-1}F^-</math> | |||
for all <math>i\in I</math>. The naming "at <math>v=\infty</math>" alludes to the fact <math>\lim_{v\to\infty} v^{-1} =0</math> and hence the "specialization" <math>v\mapsto\infty</math> corresponds to quotienting out the relation <math>v^{-1}=0</math>. | |||
One can show that there exists at most one canonical basis at v=0 (and at most one at <math>v=\infty</math>) for each precanonical structure. A sufficient condition for existence is that the polynomials <math>r_{ij}\in\mathcal{Z}</math> defined by <math>\overline{t_j}=\sum_i r_{ij} t_i</math> satisfy <math>r_{ii}=1</math> and <math>r_{ij}\neq 0 \implies i\leq j</math>. | |||
A canonical basis at v=0 (<math>v=\infty</math>) induces an isomorphism from <math>F^+\cap \overline{F^+} = \sum_i \mathbb{Z}c_i</math> to <math>F^+/vF^+</math> (<math>F^{-} \cap \overline{F^{-}}=\sum_i \mathbb{Z}\widetilde{c}_i \to F^{-}/v^{-1} F^{-}</math> respectively). | |||
=== Examples === | |||
==== Quantum groups ==== | |||
The canonical basis of quantum groups in the sense of Lusztig and Kashiwara are canonical basis at <math>v=0</math>. | |||
==== Hecke algebras ==== | |||
Let <math>(W,S)</math> be a [[Coxeter group]]. The corresponding [[Iwahori-Hecke algebra]] <math>H</math> has the standard basis <math>(T_w)_{w\in W}</math>, the group is partially ordered by the [[Bruhat order]] which is interval finite and has a dualization operation defined by <math>\overline{T_w}:=T_{w^{-1}}^{-1}</math>. This is a precanonical structure on <math>H</math> that satisfies the sufficient condition above and the corresponding canonical basis of <math>H</math> at <math>v=0</math> is the [[Kazhdan-Lusztig basis]] | |||
<math>C_w' = \sum_{y\leq w} P_{y,w}(v^2) T_w</math> | |||
with <math>P_{y,w}</math> being the [[Kazhdan-Lusztig polynomial]]s. | |||
==See also== | |||
*[[Canonical form]] | |||
*[[Normal form (mathematics)|Normal form (disambiguation)]] | |||
*[[Polynomial basis]] | |||
*[[Normal basis]] | |||
*[[Change of bases]] | |||
==References== | |||
*{{Citation | last1=Deng | first1=Bangming | last2=Ju |first2=Jie| last3=Parshall|first3=Brian | last4=Wang|first4=Jianpan | title=Finite Dimensional Algebras and Quantum Groups | url=http://books.google.de/books?id=k9aUvxN2w2MC | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical surveys and monographs | isbn=9780821875315 | year=2008 | volume=150}} | |||
{{mathdab}} | |||
[[Category:Linear algebra]] | |||
[[Category:Abstract algebra]] | |||
[[fr:Base canonique]] | |||
[[pt:Base canônica]] |
Revision as of 05:07, 25 May 2013
In mathematics, a canonical basis is a basis of an algebraic structure that is canonical in a sense that depends on the precise context:
- In a coordinate space, and more generally in a free module, it refers to the standard basis defined by the Kronecker delta
- In a polynomial ring, it refers to its standard basis given by the monomials, .
- For finite extension fields, it means the polynomial basis.
Representation theory
In representation theory there are several basis that are called "canonical", e.g. Lusztig's canonical basis and closely related Kashiwara's crystal basis in quantum groups and their representations. There is a general concept underlying these basis:
Consider the ring of integral Laurent polynomials with its two subrings and the automorphism that is defined by .
A precanonical structure on a free -module consists of
- A standard basis of ,
- A partial order on that is interval finite, i.e. is finite for all ,
- A dualization operation, i.e. a bijection of order two that is -semilinear and will be denoted by as well.
If a precanonical structure is given, then one can define the submodule of .
A canonical basis at of the precanonical structure is then a -basis of that satisfies:
for all . A canonical basis at is analogously defined to be a basis that satisfies
for all . The naming "at " alludes to the fact and hence the "specialization" corresponds to quotienting out the relation .
One can show that there exists at most one canonical basis at v=0 (and at most one at ) for each precanonical structure. A sufficient condition for existence is that the polynomials defined by satisfy and .
A canonical basis at v=0 () induces an isomorphism from to ( respectively).
Examples
Quantum groups
The canonical basis of quantum groups in the sense of Lusztig and Kashiwara are canonical basis at .
Hecke algebras
Let be a Coxeter group. The corresponding Iwahori-Hecke algebra has the standard basis , the group is partially ordered by the Bruhat order which is interval finite and has a dualization operation defined by . This is a precanonical structure on that satisfies the sufficient condition above and the corresponding canonical basis of at is the Kazhdan-Lusztig basis with being the Kazhdan-Lusztig polynomials.
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