In this paper, we give a uniform construction of irreducible genuine characters of the Pin cover W of a Weyl group W, and put them into the context of theory of Springer representations. In the process, we provide a direct connection between Springer theory, via Green polynomials, the irreducible representations of W, and an extended Dirac operator for graded Hecke algebras. We also introduce a q-elliptic pairing for W with respect to the reflection representation V. These constructions are of independent interest. The q-elliptic pairing is a generalization of the elliptic pairing of W introduced by Reeder, and it is also related to S. Kato's notion of (graded) Kostka systems for the semidirect product A W= C [W] S (V).

Soit G un groupe réductif défini sur un corps algébriquement clos de caractéristique positive. Nous montrons que le foncteur contraction par Frobenius de la catégorie des G-modules est adjoint à droite de celui de tensorisation deux fois par le module de Steinberg du tordu de Frobenius du G-module de départ. Il s’ensuit en particulier que le foncteur de contraction par Frobenius préserve le caractère injectif et l’existence de bonne filtration mais pas la semi-simplicité. (For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of $Gs-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg module twice. It follows that the Frobenius contraction functor preserves injectivity, good filtrations, but not semi-simplicity.)

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

Following the method developed by Waldspurger and Beuzart-Plessis in their proofs of the local Gan-Gross-Prasad conjecture, we are able to prove the geometric side of a local relative trace formula for the Ginzburg-Rallis model. Then by applying such formula, we prove a multiplicity formula of the GinzburgRallis model for the supercuspidal representations. Using that multiplicity formula, we prove the multiplicity one theorem for the Ginzburg-Rallis model over Vogan packets in the supercuspidal case.