geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
There are many notions of a character for an algebraic structure, often topologized.
For groups, there are two different, but related, concepts which are both often just referred to as characters of a group:
Here the first notion is the special case of the second notion for 1-dimensional linear representations. Since for abelian groups all irreducible representations over the complex numbers are 1-dimensional, in this case both notions agree, but in general they do not.
A multiplicative character on a (discrete) group $G$ (a group character) is a group homomorphism from $G$ to the group of units $k^\times$ of the ground field $k$:
Since the codomain $k^\times$ is an abelian group we have that
such a group homomorphism is invariant under conjugation, so that a group character descends to a function on the set of conjugacy classes of elements in $G$.
the collection of characters is itself an abelian group under pointwise multiplication, this is called the character lattice $Hom(G,k^\times)$ of the group. Similarly the cocharacter lattice is $Hom(k^\times, G)$.
For more see at group character.
For topological groups one considers continuous characters. Specifically, for a locally compact Hausdorff group $G$ (often further assumed to be an abelian group), a character of $G$ is a continuous homomorphism to the circle group $\mathbb{R}/\mathbb{Z}$. If $G$ is profinite, then this is the same as an continuous homomorphism to the discrete group $\mathbb{Q}/\mathbb{Z}$. (See MO.)
In representation theory, one defines the character of a linear representation $\rho\colon G\to End(V)$ to be the group character on $G$ given by $g \mapsto Tr \rho(g)$, whenever the trace in $V$ makes sense (e.g. when $V$ is finite-dimensional). Since such a function is invariant under conjugation, one may equivalently consider it a function on the set of conjugacy classes of elements in $G$.
Sometimes we also extend a character linearly to the free vector space on the set of conjugacy classes. This version of the character can be identified with the bicategorical trace of the identity map of the representation, considered as a $k[G]$-$k$-module.
There is a different notion of an infinitesimal character in Harish–Chandra theory and also a notion of the formal character.
There are important formulas concerning characters in representation theory, like Weyl character formula, Kirillov character formula, Demazure character formula and so on. There is also a formula for the induced character of an induced representation.
Let $A$ be a unital, not necessarily commutative, ring (or, more generally, $k$-algebra for $k$-commutative); then a monoid in a category of $A$-bimodules (which are respectively also compatibly $k$-modules), is called an $A$-ring. In other words an $A$-ring $B$ is an object in the coslice category $A\Ring$; it is thus a ring $B$ equipped with multiplication $\mu_B$ and a map $\eta: A\to B$ of rings.
A left character of an $A$-ring $(B,\mu_B,\eta_B)$ is a map $\chi:B\to A$ such that
(i) (left $A$-linearity) $\chi(\eta(a)b) = a\chi(b)$ for all $a\in A$, $b\in B$
(ii) (associativity) $\chi(b b') = \chi(b (\eta\circ\chi)(b'))$ for all $b,b'\in B$
(iii) (unitality) $\chi(1_B) = \chi(1_A)$
where we denoted multiplication in $A$ and in $B$ by concatenation. The conditions on $\chi$ can be restated as the requirement that the map $B\otimes A\to A$ given by $b\otimes a\mapsto \chi(b\eta(a))$ is a $B$-action extending the left regular $A$-action (i.e. the multiplication on $A$ considered as a left action).
Dually, a right character of an $A$-ring $(B,\mu_B,\eta_B)$ is a map $\chi:B\to A$ such that
(i) (right $A$-linearity) $\chi(b\eta(a)) = \chi(b)a$ for all $a\in A$, $b\in B$
(ii) (associativity) $\chi(b b') = \chi((\eta\circ\chi)(b) b')$ for all $b,b'\in B$
(iii) (unitality) $\chi(1_B) = \chi(1_A)$
This is in turn equivalent to extending the right regular action of $A$ to the action of $B$ on $A$.
The character $\chi(X,x)$ of a topological space $X$ at a point $x$ is the minimal cardinality of a local basis of neighborhoods of point $x$ (local basis of topology on $X$) if it is infinite and aleph zero otherwise. The character of a topological space is the supremum of $\chi(X,x)$ when $x$ runs through $X$.
Character rings of compact Lie groups are discussed in
Graeme Segal, The representation ring of a compact Lie group, Publications Mathématiques de l’Institut des Hautes Études Scientifiques
January 1968, Volume 34, Issue 1, pp 113-128 (NUMDAM)
Masaru Tackeuchi, A remark on the character ring of a compact Lie group, J. Math. Soc. Japan Volume 23, Number 4 (1971), 555-705 (Euclid)
Troels Roussauc Johansen, Character Theory for Finite Groups and Compact Lie Groups pdf
Discussion in the more general context of equivariant complex oriented cohomology theory (transchromatic character) is in
for review see
Examples of characters of linear representations of finite groups are discussed and listed at
Last revised on April 28, 2021 at 09:00:30. See the history of this page for a list of all contributions to it.