Alexander Macfarlane: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Helpful Pixie Bot
m ISBNs (Build KH)
 
en>Liz
Line 1: Line 1:
The ac1st16.dll error is annoying plus especially widespread with all types of Windows computers. Not only does it make the computer run slower, however it may also prevent we from utilizing a range of programs, including AutoCAD. To fix this problem, you need to use a easy way to remedy all the possible issues which cause it. Here's what we have to do...<br><br>Carry out window's system restore. It is important to do this because it removes wrong changes which have taken place in the program. Some of the mistakes outcome from inability of the system to create restore point frequently.<br><br>With the Internet, the risk to your registry is more plus windows XP error messages may appear frequently. Why? The malicious wares like viruses, Trojans, spy-wares, ad wares, plus the like gets recorded too. Cookies are ideal examples. We reach conserve passwords, plus stuff, right? That is a simple example of the register working.<br><br>If you feel we don't have enough income at the time to upgrade, then the number one choice is to free up certain room by deleting several of the unwanted files plus folders.<br><br>There are many [http://bestregistrycleanerfix.com/tune-up-utilities tuneup utilities 2014] s found on the market now. How do you learn that you to choose? Well, whenever we bought a car we did some analysis on it, didn't we? You didn't really go out and buy the initially red convertible we saw. The same thing works with registry products. On any look engine, type inside "registry cleaner reviews" plus they will get posted for you to read about.<br><br>The software finds these difficulties plus takes care of them inside the shortest time possible. The hard drive could additionally result difficulties sometimes, specifically in the event you have 1 that is virtually maxed. When the start a machine, the are so many booting processes included and having an almost full storage space refuses to help a bit. You will always have a slow PC because there are numerous items inside the hard disk being processed at the same time. The best way to solve this issue is to upgrade. This allows the PC certain time to breath plus working faster immediately.<br><br>Your registry is the region all the significant configurations for hardware, software plus user profile configurations plus needs are stored. Every time 1 of these points is changed, the database then begins to expand. Over time, the registry can become bloated with unwanted files. This causes a general slow down however, inside extreme situations may cause significant tasks and programs to stop working all together.<br><br>If you like to have a computer with fast running speed, you'd better install a superior registry cleaner to wash the useless files for we. As long as you take care of the computer, it will keep inside superior condition.
In [[mathematics]] the '''Schur indicator''', named after [[Issai Schur]], or '''Frobenius–Schur indicator''' describes what invariant bilinear forms a given irreducible representation of a compact group on a complex vector space has. It can be used to classify the irreducible representations of compact groups on real vector spaces.
 
==Definition==
 
If a finite-dimensional continuous complex [[representation theory|representation]] of a [[compact group]] ''G'' has [[character theory|character]] &chi; its '''Frobenius–Schur indicator''' is defined to be
 
:<math>\int_{g\in G}\chi(g^2)\,d\mu</math>
 
for [[Haar measure]] μ with μ(''G'') = 1. When ''G'' is finite it is given by
 
:<math>{1\over |G|}\sum_{g\in G}\chi(g^2).</math>
 
The Frobenius–Schur indicator is always 1, 0, or -1. It provides a criterion for deciding whether an [[irreducible representation]] of ''G'' is real, complex or quaternionic, in a specific sense defined below.  Below we discuss the case of [[finite group]]s, but the general compact case is completely analogous.
 
==Real irreducible representations==
 
There are ''three types'' of irreducible real representations  of a finite group on a real vector space ''V'', as the [[endomorphism ring]] commuting with the group action can be isomorphic to either the real numbers, or the complex numbers, or the quaternions.  
 
*If the ring is the real numbers, then ''V''&otimes;'''C''' is an irreducible complex representation with Schur indicator 1, also called a [[real representation]].
*If the ring is the complex numbers, then ''V'' has two different conjugate complex structures, giving two irreducible complex representations with Schur indicator 0, sometimes called [[complex representation]]s.
*If the ring is the [[quaternion]]s, then choosing a subring of the quaternions isomorphic to the complex numbers makes ''V'' into an irreducible complex representation of ''G'' with Schur indicator &minus;1, called a [[quaternionic representation]].
 
Moreover every irreducible representation on a complex vector space can be constructed from a unique irreducible representation on a real vector space in one of the three ways above. So knowing the irreducible representations on complex spaces and their Schur indicators allows one to read off the irreducible representations on real spaces.
 
Real representations can be [[complexified]] to get a complex representation of the same dimension and complex representations can be converted into a real representation of twice the dimension by treating the real and imaginary components separately. Also, since all finite dimensional complex representations can be turned into a [[unitary representation]], for unitary representations the [[dual representation]] is also a (complex) conjugate representation because the Hilbert space norm gives an [[antilinear]] [[bijective]] map from the representation to its dual representation.
 
Self-dual complex irreducible representation correspond to either real irreducible representation of the same dimension or real irreducible representations of twice the dimension called [[quaternionic representation]]s (but not both) and non-self-dual complex irreducible representation correspond to a real irreducible representation of twice the dimension. Note for the latter case, both the complex irreducible representation and its dual give rise to the same real irreducible representation. An example of a quaternionic representation would be the four dimensional real irreducible representation of the [[quaternion group]] ''Q''<sub>8</sub>.
 
==Invariant bilinear forms==
If ''V'' is the underlying vector space of a representation, then  
 
:<math>V\otimes V</math>
 
can be decomposed as the direct sum of two subrepresentations, the ''symmetric tensor product''
 
:<math>V\otimes_S V</math>
 
and the ''antisymmetric tensor product''
 
:<math>V\otimes_A V.</math>
 
It can be shown that
 
:<math>\chi_{V\otimes_S V}(g)=\frac{1}{2}[\chi_V(g)^2+\chi_V(g^2)]</math>
 
and
 
:<math>\chi_{V\otimes_A V}(g)=\frac{1}{2}[\chi_V(g)^2-\chi_V(g^2)]</math>
 
using a basis set.
 
:<math>\frac{1}{|G|}\sum_{g\in G}\chi_{V\otimes_S V}(g)</math>
 
and
 
:<math>\frac{1}{|G|}\sum_{g\in G}\chi_{V\otimes_A V}(g)</math>
 
are the number of copies of the trivial representation in
 
:<math>V\otimes_S V</math>
 
and
 
:<math>V\otimes_A V,</math>
 
respectively. As observed above, if ''V'' is an irreducible representation,  
 
:<math>V\otimes V</math>  
 
contains exactly one copy of the trivial representation if ''V'' is equivalent to its dual representation and no copies otherwise. For the former case, the trivial representation could either lie in the symmetric product, or the antisymmetric product.
 
The Frobenius–Schur indicator of an irreducible representation is always 1, 0, or &minus;1. More precisely:
*It is 0 exactly when the irreducible representation has no invariant bilinear form, which is equivalent to saying that its character is not always real.  
*It is 1 exactly when the irreducible representation has a symmetric invariant bilinear form. These are the representations that can be defined over the reals.
*It is &minus;1 exactly when the irreducible representation has a skew symmetric invariant bilinear form. These are the representations whose character is real but that cannot be defined over the reals. They are less common than the other two cases.
 
==Higher Frobenius-Schur indicators==
Just as for any complex representation ρ,
 
:<math>\frac{1}{|G|}\sum_{g\in G}\rho(g)</math>
 
is a self-intertwiner, for any integer ''n'',
 
:<math>\frac{1}{|G|}\sum_{g\in G}\rho(g^n)</math>
 
is also a self-intertwiner. By Schur's lemma, this will be a multiple of the identity for irreducible representations. The trace of this self-intertwiner is called the n<sup>th</sup> ''Frobenius-Schur indicator''.
 
The original case of the Frobenius–Schur indicator is that for ''n'' = 2. The zeroth indicator is the dimension of the irreducible representation, the first indicator would be 1 for the trivial representation and zero for the other irreducible representations.
 
It resembles the [[Casimir invariant]]s for [[Lie algebra]] irreducible representations. In fact, since any rep of G can be thought of as a [[module (mathematics)|module]] for '''C'''[''G''] and vice versa, we can look at the [[center (algebra)|center]] of '''C'''[''G'']. This is analogous to looking at the center of the [[universal enveloping algebra]] of a Lie algebra. It is simple to check that
 
:<math>\sum_{g\in G}g^n</math>  
 
belongs to the center of '''C'''[''G''], which is simply the subspace of class functions on ''G''.
 
==References==
 
* G.Frobenius & I.Schur, Über die reellen Darstellungen der endlichen Gruppen (1906), Frobenius Gesammelte Abhandlungen vol.III, 354-377.
*{{cite book | author=Jean-Pierre, Serre | title=Linear Representations of Finite Groups | publisher=Springer-Verlag | year=1977 | isbn=0-387-90190-6}}
 
{{DEFAULTSORT:Frobenius-Schur indicator}}
[[Category:Representation theory of groups]]

Revision as of 16:48, 28 October 2013

In mathematics the Schur indicator, named after Issai Schur, or Frobenius–Schur indicator describes what invariant bilinear forms a given irreducible representation of a compact group on a complex vector space has. It can be used to classify the irreducible representations of compact groups on real vector spaces.

Definition

If a finite-dimensional continuous complex representation of a compact group G has character χ its Frobenius–Schur indicator is defined to be

gGχ(g2)dμ

for Haar measure μ with μ(G) = 1. When G is finite it is given by

1|G|gGχ(g2).

The Frobenius–Schur indicator is always 1, 0, or -1. It provides a criterion for deciding whether an irreducible representation of G is real, complex or quaternionic, in a specific sense defined below. Below we discuss the case of finite groups, but the general compact case is completely analogous.

Real irreducible representations

There are three types of irreducible real representations of a finite group on a real vector space V, as the endomorphism ring commuting with the group action can be isomorphic to either the real numbers, or the complex numbers, or the quaternions.

  • If the ring is the real numbers, then VC is an irreducible complex representation with Schur indicator 1, also called a real representation.
  • If the ring is the complex numbers, then V has two different conjugate complex structures, giving two irreducible complex representations with Schur indicator 0, sometimes called complex representations.
  • If the ring is the quaternions, then choosing a subring of the quaternions isomorphic to the complex numbers makes V into an irreducible complex representation of G with Schur indicator −1, called a quaternionic representation.

Moreover every irreducible representation on a complex vector space can be constructed from a unique irreducible representation on a real vector space in one of the three ways above. So knowing the irreducible representations on complex spaces and their Schur indicators allows one to read off the irreducible representations on real spaces.

Real representations can be complexified to get a complex representation of the same dimension and complex representations can be converted into a real representation of twice the dimension by treating the real and imaginary components separately. Also, since all finite dimensional complex representations can be turned into a unitary representation, for unitary representations the dual representation is also a (complex) conjugate representation because the Hilbert space norm gives an antilinear bijective map from the representation to its dual representation.

Self-dual complex irreducible representation correspond to either real irreducible representation of the same dimension or real irreducible representations of twice the dimension called quaternionic representations (but not both) and non-self-dual complex irreducible representation correspond to a real irreducible representation of twice the dimension. Note for the latter case, both the complex irreducible representation and its dual give rise to the same real irreducible representation. An example of a quaternionic representation would be the four dimensional real irreducible representation of the quaternion group Q8.

Invariant bilinear forms

If V is the underlying vector space of a representation, then

VV

can be decomposed as the direct sum of two subrepresentations, the symmetric tensor product

VSV

and the antisymmetric tensor product

VAV.

It can be shown that

χVSV(g)=12[χV(g)2+χV(g2)]

and

χVAV(g)=12[χV(g)2χV(g2)]

using a basis set.

1|G|gGχVSV(g)

and

1|G|gGχVAV(g)

are the number of copies of the trivial representation in

VSV

and

VAV,

respectively. As observed above, if V is an irreducible representation,

VV

contains exactly one copy of the trivial representation if V is equivalent to its dual representation and no copies otherwise. For the former case, the trivial representation could either lie in the symmetric product, or the antisymmetric product.

The Frobenius–Schur indicator of an irreducible representation is always 1, 0, or −1. More precisely:

  • It is 0 exactly when the irreducible representation has no invariant bilinear form, which is equivalent to saying that its character is not always real.
  • It is 1 exactly when the irreducible representation has a symmetric invariant bilinear form. These are the representations that can be defined over the reals.
  • It is −1 exactly when the irreducible representation has a skew symmetric invariant bilinear form. These are the representations whose character is real but that cannot be defined over the reals. They are less common than the other two cases.

Higher Frobenius-Schur indicators

Just as for any complex representation ρ,

1|G|gGρ(g)

is a self-intertwiner, for any integer n,

1|G|gGρ(gn)

is also a self-intertwiner. By Schur's lemma, this will be a multiple of the identity for irreducible representations. The trace of this self-intertwiner is called the nth Frobenius-Schur indicator.

The original case of the Frobenius–Schur indicator is that for n = 2. The zeroth indicator is the dimension of the irreducible representation, the first indicator would be 1 for the trivial representation and zero for the other irreducible representations.

It resembles the Casimir invariants for Lie algebra irreducible representations. In fact, since any rep of G can be thought of as a module for C[G] and vice versa, we can look at the center of C[G]. This is analogous to looking at the center of the universal enveloping algebra of a Lie algebra. It is simple to check that

gGgn

belongs to the center of C[G], which is simply the subspace of class functions on G.

References

  • G.Frobenius & I.Schur, Über die reellen Darstellungen der endlichen Gruppen (1906), Frobenius Gesammelte Abhandlungen vol.III, 354-377.
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534