Let $G$ be a compact group and let $R(G)$ be the representation ring of $G$. Additively, $R(G)$ is generated by the irreducible representations of $G$. Usually one only deals with those representations which are nonnegative integer combinations of the irreducible representations. However, often one has formulas which apply to an arbitrary element of $R(G)$, and so includes virtual representations which (for this question at least) are the elements of $R(G)$ whose decomposition into irreducible components includes negative coefficients.

Question:Is there any 'natural' interpretation of virtual representations? In particular, aside from the obvious interpretation as the elements of the formal completion of the semiring of ordinary representations to a ring, is there a natural way to view these objects? Especially helpful would be pictures/ideas others use to assign meaning to virtual representations (if any).

**Motivation:** Often in decomposing various formulas involving characters, virtual representations arise in one way or another. For example, in Lie groups, the notion of a highest weight representation $\rho_\omega$ can be extended to arbitrary weights $t$ of $G$ via:

$\rho_{w(t)} = (-1)^w\rho_t$

In particular, if $t$ is not a dominant weight of $G$ then there is a unique $w$ in the Weyl Group of $G$ such that $w(t)$ is a dominant weight so that $\rho_t$ is defined for arbitrary weights $t$; note that the Weyl Dimension Formula agrees with this extension. If the length of $w$ is odd, then $\rho_t$ will have negative dimension from the dimension formula, hence is virtual.

Another simple example is that when considering the action of the Adams operation $\psi^k$ on $R(G)$, one has that $\psi^k(\rho)$ is in general a virtual representation.

It happens that from time to time I come across other instances of virtual representations appearing in equations I am considering, and I always work with them ignoring whether they have a physical interpretation or not, but at the same time it would be more satisfying if I could understand the equations as manifestations of some deeper structure.

**Edit:** Per Qiaochu's comment, yes, virtual representations can be fit into the framework of super-representations. If it is the case that virtual representations are often viewed as super-representations, then perhaps someone could elaborate on why super-representations are so natural and how one works around the dimension mismatches between virtual representations and super-representations, i.e. $dim(\rho_1\ominus\rho_2) = dim(\rho_1)-dim(\rho_2)$ but the dimension of the corresponding super-representation is $dim(\rho_1)+dim(\rho_2)$.

Xis a space on whichGacts, then since the (co)homology groups ofXare representations ofG, the Euler characteristic ofXcan be souped up to a virtual representation ofG. This is a nice "source" of naturally occurring virtual representations. $\endgroup$ – Dan Petersen Feb 21 '11 at 18:372more comments