“Representation ring”的意思、由来-开放百科全书

词条

Representation ring

释义

Formal definition
Examples
Characters
λ-ring and Adams operations
References

In mathematics, especially in the area of algebra known as representation theory, the representation ring (or Green ring after J. A. Green) of a group is a ring formed from all the (isomorphism classes of the) finite-dimensional linear representations of the group. For a given group, the ring will depend on the base field of the representations. The case of complex coefficients is the most developed, but the case of algebraically closed fields of characteristic p where the Sylow p-subgroups are cyclic is also theoretically approachable.

Formal definition

Given a group G and a field F, the elements of its representation ring R_F(G) are the formal differences of isomorphism classes of finite dimensional linear F-representations of G. For the ring structure, addition is given by the direct sum of representations, and multiplication by their tensor product over F. When F is omitted from the notation, as in R(G), then F is implicitly taken to be the field of complex numbers.

Succinctly, the representation ring of G is the Grothendieck ring of the category of finite-dimensional representations of G.

Examples

For the complex representations of the cyclic group of order n, the representation ring R_C(C_n) is isomorphic to Z[X]/(Xⁿ − 1), where X corresponds to the complex representation sending a generator of the group to a primitive nth root of unity.
More generally, the complex representation ring of a finite abelian group may be identified with the group ring of the character group.
For the rational representations of the cyclic group of order 3, the representation ring R_Q(C₃) is isomorphic to Z[X]/(X² − X − 2), where X corresponds to the irreducible rational representation of dimension 2.
For the modular representations of the cyclic group of order 3 over a field F of characteristic 3, the representation ring R_F(C₃) is isomorphic to Z[X,Y]/(X² − Y − 1, XY − 2Y,Y² − 3Y).
The continuous representation ring R(S¹) for the circle group is isomorphic to Z[X, X⁻¹]. The ring of real representations is the subring of R(G) of elements fixed by the involution on R(G) given by X → X⁻¹.
The ring R_C(S₃) for the symmetric group on three points is isomorphic to Z[X,Y]/(XY − Y,X² − 1,Y² − X − Y − 1), where X is the 1-dimensional alternating representation and Y the 2-dimensional irreducible representation of S₃.

Characters

Any representation defines a character χ:G → C. Such a function is constant on conjugacy classes of G, a so-called class function; denote the ring of class functions by C(G). If G is finite, the homomorphism R(G) → C(G) is injective, so that R(G) can be identified with a subring of C(G). For fields F whose characteristic divides the order of the group G, the homomorphism from R_F(G) → C(G) defined by Brauer characters is no longer injective.

For a compact connected group R(G) is isomorphic to the subring of R(T) (where T is a maximal torus) consisting of those class functions that are invariant under the action of the Weyl group (Atiyah and Hirzebruch, 1961). For the general compact Lie group, see Segal (1968).

λ-ring and Adams operations

Given a representation of G and a natural number n, we can form the n-th exterior power of the representation, which is again a representation of G. This induces an operation λⁿ : R(G) → R(G). With these operations, R(G) becomes a λ-ring.

The Adams operations on the representation ring R(G) are maps Ψ^k characterised by their effect on characters χ:

The operations Ψ^k are ring homomorphisms of R(G) to itself, and on representations ρ of dimension d

where the Λⁱρ are the exterior powers of ρ and N_k is the k-th power sum expressed as a function of the d elementary symmetric functions of d variables.

References

{{Citation |authorlink1=Michael Atiyah | last1=Atiyah |first1= Michael F. |last2=Hirzebruch| first2=Friedrich | title=Vector bundles and homogeneous spaces |year=1961|journal= Proc. Sympos. Pure Math. | volume=III | publisher=American Mathematical Society | pages=7–38 | mr=0139181 | zbl=0108.17705 }}.
{{Citation | last1=Bröcker| first1=Theodor| last2=tom Dieck | first2=Tammo| title=Representations of Compact Lie Groups | publisher=Springer-Verlag | location=New York, Berlin, Heidelberg, Tokyo | series=Graduate Texts in Mathematics | isbn= 0-387-13678-9| mr = 1410059| year=1985 | volume=98 | oclc=11210736 | zbl=0581.22009 }}
{{Citation |last=Segal |first= Graeme |title=The representation ring of a compact Lie group |year=1968|journal=Publ. Math. De l'IHES | volume=34 | pages=113–128 | mr=0248277 | zbl=0209.06203 }}.
{{citation | title=Explicit Brauer Induction: With Applications to Algebra and Number Theory | volume=40 | series=Cambridge Studies in Advanced Mathematics | first=V. P. | last=Snaith | authorlink= | publisher=Cambridge University Press | year=1994 | isbn=0-521-46015-8 | zbl=0991.20005 }}

4 : Group theory|Finite groups|Lie groups|Representation theory of groups

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。