We study model transition for representations occurring in the local theta correspondence between split even special orthogonal groups and symplectic groups, over a non-archimedean local field of characteristic zero.
Let V be a symplectic vector space and let $mu$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $mu^{otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-known that this duality fails over finite fields. Addressing this situation, Gurevich and Howe have recently assigned a notion of rank to each Sp(V) representation. They show that a variant of HKV duality continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank. The nature of the rank-deficient components was left open. Here, we show that all rank-deficient Sp(V)-subrepresentations arise from embeddings of lower-order tensor products of $mu$ and $barmu$ into $mu^{otimes t}$. The embeddings live on spaces that have been studied in quantum information theory as tensor powers of self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes. We then find that the irreducible Sp(V) subrepresentations of $mu^{otimes t}$ are labelled by the irreps of orthogonal groups O(r) acting on certain r-dimensional spaces for r <= t. The results hold in odd charachteristic and the stable range t <= 1/2 dim V. Our work has implications for the representation theory of the Clifford group. It can be thought of as a generalization of the known characterization of the invariants of the Clifford group in terms of self-dual codes.
We give a characterization of modified (in the sense of Zwegers) mock theta functions, parallel to that of ordinary theta functions. Namely, modified mock theta functions are characterized by their analyticity properties, elliptic transformation properties, and by being annihilated by certain second order differential operators.
Popov has recently introduced an analogue of Jordan classes (packets, or decomposition classes) for the action of a theta-group (G_0,V), showing that they are finitely-many, locally-closed, irreducible unions of G_0-orbits of constant dimension partitioning V. We carry out a local study of their closures showing that Jordan classes are smooth and that their closure is a union of Jordan classes. We parametrize Jordan classes and G_0-orbits in a given class in terms of the action of subgroups of Vinbergs little Weyl group, and include several examples and counterexamples underlying the differences with the symmetric case and the critical issues arising in the theta-situation.
This is an overview of our series of papers on the modular generalized Springer correspondence. It is an expansion of a lecture given by the second author in the Fifth Conference of the Tsinghua Sanya International Mathematics Forum, Sanya, December 2014, as part of the Master Lecture `Algebraic Groups and their Representations Workshop honouring G. Lusztig. The material that has not appeared in print before includes some discussion of the motivating idea of modular character sheaves, and heuristic remarks about geometric functors of parabolic induction and restriction.