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.

Let G ⊆ \tilde{G} be two quasisplit connected reductive groups over a local field of characteristic zero and having the same derived group. Although the existence of L-packets is still conjectural in general, it is believed that the L-packets of G should be the restriction of those of \tilde{G}. Motivated by this, we hope to construct the L-packets of \tilde{G} from those of G. The primary example in our mind is when G = Sp(2n), whose L-packets have been determined by Arthur [The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, vol. 61 (American Mathematical Society, Providence, RI, 2013)], and \tilde{G} = GSp(2n). As a first step, we need to consider some well-known conjectural properties of L-packets. In this paper, we show how they can be deduced from the conjectural endoscopy theory. As an application, we obtain some structural information about L-packets of \tilde{G} from those of G.

Let <i>G</i> be a semisimple adjoint group over <b>C</b> and <i></i> be the De ConciniProcesi completion of <i>G</i>. In this paper, we define a Lagrangian subvariety of the cotangent bundle of <i></i> such that the singular support of any character sheaf on <i></i> is contained in .

Let G be a semisimple group over an algebraically closed field. Steinberg has associated to a Coxeter element G of minimal length G a subvariety G of G isomorphic to an affine space of dimension G which meets the regular unipotent class G in exactly one point. In this paper this is generalized to the case where G is replaced by any elliptic element in the Weyl group of minimal length G in its conjugacy class, G is replaced by a subvariety G of G isomorphic to an affine space of dimension G , and G is replaced by a unipotent class G of codimension G in such a way that the intersection of G and G is finite.

We give a new description of the set {m Adm}(\mu) of admissible alcoves as an intersection of certain``obtuse cones''of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.