What is... a supercharacter? What is... a supercharacter? Dario De Stavola 11 October 2016
What is... a supercharacter? Basic representation theory G finite group, V finite dimensional C - vector space of dimension d
What is... a supercharacter? Basic representation theory G finite group, V finite dimensional C - vector space of dimension d X : G → GL ( V ) is a C -linear representation.
What is... a supercharacter? Basic representation theory G finite group, V finite dimensional C - vector space of dimension d X : G → GL ( V ) is a C -linear representation. Fix a basis for V ∼ = C d , then X : G → GL d ( C ).
What is... a supercharacter? Basic representation theory Examples The trivial representation: ∀ g ∈ G , X ( g ) = 1 d ;
What is... a supercharacter? Basic representation theory Examples The trivial representation: ∀ g ∈ G , X ( g ) = 1 d ; G = Z / 4 Z = { 0 , 1 , 2 , 3 } , V = C , GL ( V ) = C × , then
What is... a supercharacter? Basic representation theory Examples The trivial representation: ∀ g ∈ G , X ( g ) = 1 d ; G = Z / 4 Z = { 0 , 1 , 2 , 3 } , V = C , GL ( V ) = C × , then 1 = X (0) = X (1 + 1 + 1 + 1) = X (1) 4
What is... a supercharacter? Basic representation theory Examples The trivial representation: ∀ g ∈ G , X ( g ) = 1 d ; G = Z / 4 Z = { 0 , 1 , 2 , 3 } , V = C , GL ( V ) = C × , then 1 = X (0) = X (1 + 1 + 1 + 1) = X (1) 4 X (1) ∈ { 1 , i , − 1 , − i }
What is... a supercharacter? Basic representation theory Examples The trivial representation: ∀ g ∈ G , X ( g ) = 1 d ; G = Z / 4 Z = { 0 , 1 , 2 , 3 } , V = C , GL ( V ) = C × , then 1 = X (0) = X (1 + 1 + 1 + 1) = X (1) 4 X (1) ∈ { 1 , i , − 1 , − i } X (1) = i , X (2) = − 1 , X (3) = − i , X (0) = 1 .
What is... a supercharacter? Basic representation theory Examples G = Z / 2 Z × Z / 2 Z , X : G → GL 2 ( C )
What is... a supercharacter? Basic representation theory Examples G = Z / 2 Z × Z / 2 Z , X : G → GL 2 ( C ) � � � � 1 0 0 − i X (0 , 0) = , X (1 , 0) = , 0 1 i 0 � � � � − 1 0 0 i X (0 , 1) = , X (1 , 1) = . 0 − 1 − i 0
What is... a supercharacter? Basic representation theory Irreducibles X : G → GL d ( C ) , X ( g ): V → V
What is... a supercharacter? Basic representation theory Irreducibles X : G → GL d ( C ) , X ( g ): V → V W ≤ V ⇒ X ( g ) | W : W → V
What is... a supercharacter? Basic representation theory Irreducibles X : G → GL d ( C ) , X ( g ): V → V W ≤ V ⇒ X ( g ) | W : W → V If X ( g ) | W : W → W ⇒ X W : G → GL ( W ) is a subrepresentation
What is... a supercharacter? Basic representation theory Irreducibles X : G → GL d ( C ) , X ( g ): V → V W ≤ V ⇒ X ( g ) | W : W → V If X ( g ) | W : W → W ⇒ X W : G → GL ( W ) is a subrepresentation if W ≤ V ⇒ V = W ⊕ U
What is... a supercharacter? Basic representation theory Irreducibles X : G → GL d ( C ) , X ( g ): V → V W ≤ V ⇒ X ( g ) | W : W → V If X ( g ) | W : W → W ⇒ X W : G → GL ( W ) is a subrepresentation if W ≤ V ⇒ V = W ⊕ U Manschke’s theorem U is also a subrepresentation.
What is... a supercharacter? Basic representation theory Irreducibles V = W ⊕ U , W , U subrepresentations
What is... a supercharacter? Basic representation theory Irreducibles V = W ⊕ U , W , U subrepresentations X ( g )( v ) = X ( g )( w + u ) = X W ( g )( w ) ⊕ X U ( g )( u )
What is... a supercharacter? Basic representation theory Irreducibles V = W ⊕ U , W , U subrepresentations X ( g )( v ) = X ( g )( w + u ) = X W ( g )( w ) ⊕ X U ( g )( u ) � � X W ( g ) 0 X ( g ) ∼ = 0 X U ( g )
What is... a supercharacter? Basic representation theory Irreducibles V = W ⊕ U , W , U subrepresentations X ( g )( v ) = X ( g )( w + u ) = X W ( g )( w ) ⊕ X U ( g )( u ) � � X W ( g ) 0 X ( g ) ∼ = 0 X U ( g ) We need to study only representations without nontrivial subrepresentations! These representations are called Irreducible .
What is... a supercharacter? Basic representation theory Irreducibles V = W ⊕ U , W , U subrepresentations X ( g )( v ) = X ( g )( w + u ) = X W ( g )( w ) ⊕ X U ( g )( u ) � � X W ( g ) 0 X ( g ) ∼ = 0 X U ( g ) We need to study only representations without nontrivial subrepresentations! These representations are called Irreducible . The number of irreducible representations is equal to the number of conjugacy classes of G
What is... a supercharacter? Basic representation theory Characters X : G → GL d ( C ) The character χ : G → C is defined as χ ( g ) := tr ( X ( g )).
What is... a supercharacter? Basic representation theory Characters X : G → GL d ( C ) The character χ : G → C is defined as χ ( g ) := tr ( X ( g )). � � � � 1 0 0 − i X (0 , 0) = , X (1 , 0) = , 0 1 i 0 � � � � − 1 0 0 i X (0 , 1) = , X (1 , 1) = . 0 − 1 − i 0
What is... a supercharacter? Basic representation theory Characters X : G → GL d ( C ) The character χ : G → C is defined as χ ( g ) := tr ( X ( g )). � � � � 1 0 0 − i X (0 , 0) = , X (1 , 0) = , 0 1 i 0 � � � � − 1 0 0 i X (0 , 1) = , X (1 , 1) = . 0 − 1 − i 0 χ (0 , 0) = 2 , χ (1 , 0) = 0 , χ (0 , 1) = − 2 , χ (1 , 1) = 0 .
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d ,
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d , called the degree of the representation;
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d , called the degree of the representation; χ ( g − 1 ) = χ ( g );
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d , called the degree of the representation; χ ( g − 1 ) = χ ( g ); χ ( h − 1 gh ) = χ ( g ),
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d , called the degree of the representation; χ ( g − 1 ) = χ ( g ); χ ( h − 1 gh ) = χ ( g ), the character is a class function .
What is... a supercharacter? Basic representation theory Properties χ (1 G ) = d , called the degree of the representation; χ ( g − 1 ) = χ ( g ); χ ( h − 1 gh ) = χ ( g ), the character is a class function . A character is irreducible if it is the trace of an irreducible representation.
What is... a supercharacter? Basic representation theory Frobenius scalar product Let φ, ψ : G → C
What is... a supercharacter? Basic representation theory Frobenius scalar product Let φ, ψ : G → C � φ, ψ � := 1 � φ ( g ) ψ ( g ) ∈ C | G | g ∈ G
What is... a supercharacter? Basic representation theory Frobenius scalar product Let φ, ψ : G → C � φ, ψ � := 1 � φ ( g ) ψ ( g ) ∈ C | G | g ∈ G Irreducible characters are orthonormal w.r.t. this product: if χ 1 , χ 2 are irreducible characters then � χ 1 , χ 2 � = δ { χ 1 = χ 2 }
What is... a supercharacter? Basic representation theory Class functions ∼ : conjugation (we say g ∼ g ′ if g ′ = h − 1 gh )
What is... a supercharacter? Basic representation theory Class functions ∼ : conjugation (we say g ∼ g ′ if g ′ = h − 1 gh ) Cl G := { f : G → C class function } ∼ = { f : G / ∼ → C } = ( G / ∼ ) ∗
What is... a supercharacter? Basic representation theory Class functions ∼ : conjugation (we say g ∼ g ′ if g ′ = h − 1 gh ) Cl G := { f : G → C class function } ∼ = { f : G / ∼ → C } = ( G / ∼ ) ∗ Since | G / ∼ | = | Irr ( G ) | , and irreducible characters are othonormal w.r.t �· , ·�
What is... a supercharacter? Basic representation theory Class functions ∼ : conjugation (we say g ∼ g ′ if g ′ = h − 1 gh ) Cl G := { f : G → C class function } ∼ = { f : G / ∼ → C } = ( G / ∼ ) ∗ Since | G / ∼ | = | Irr ( G ) | , and irreducible characters are othonormal w.r.t �· , ·� Irr ( G ) is an orthonormal basis for Cl G .
What is... a supercharacter? Basic representation theory Character table · · · K 1 K 2 K 3 χ 1 χ 1 ( K 1 ) χ 1 ( K 2 ) χ 1 ( K 3 ) χ 2 χ 2 ( K 1 ) χ 2 ( K 2 ) χ 2 ( K 3 ) χ 3 χ 3 ( K 1 ) χ 3 ( K 2 ) χ 3 ( K 3 ) . . . . . .
What is... a supercharacter? Basic representation theory Character table · · · K 1 K 2 K 3 χ 1 χ 1 ( K 1 ) χ 1 ( K 2 ) χ 1 ( K 3 ) χ 2 χ 2 ( K 1 ) χ 2 ( K 2 ) χ 2 ( K 3 ) χ 3 χ 3 ( K 1 ) χ 3 ( K 2 ) χ 3 ( K 3 ) . . . . . . This table is orthonormal!
What is... a supercharacter? Basic representation theory Example G = Z / 3 Z
What is... a supercharacter? Basic representation theory Example G = Z / 3 Z 0 1 2 χ 1 1 1 1 2 π i π i χ 2 1 e e 3 3 2 π i π i χ 3 1 e e 3 3
What is... a supercharacter? Basic representation theory X : G → GL ( V ) , Y : G → GL ( V ) , χ = tr ( X ) , γ = tr ( Y )
What is... a supercharacter? Basic representation theory X : G → GL ( V ) , Y : G → GL ( V ) , χ = tr ( X ) , γ = tr ( Y ) X ∼ = Y ⇔ χ = γ
What is... a supercharacter? Basic representation theory X ∼ = Y ⇔ χ = γ proof [ ⇒ ] X ∼ ⇒ = Y
More recommend