Interlacing-pattern conjecture for discrete series of unitary groups

Let a1>a2>>an+1a_1>a_2>\cdots>a_{n+1} and b1>b2>>bnb_1>b_2>\cdots>b_n be Langlands parameters, and let I(a.,b.)I(a_.,b_.) denote the set of possible interlacing patterns between them. For a relevant pair of unitary groups G=U(p,q)G=U(p,q) and H=U(p1,q)H=U(p-1,q), let (π1,π2)(\pi_1,\pi_2) be the corresponding discrete series representations, and write HomH(π1,π2)\operatorname{Hom}_H(\pi_1,\pi_2) for the space of HH-invariant linear forms.

Interlacing-pattern conjecture. There exists a bijective correspondence between I(a.,b.)I(a_.,b_.) and discrete series representations (π1,π2)(\pi_1,\pi_2) of relevant pairs (G,H)(G,H) with these Langlands parameters and

HomH(π1,π2)0.\operatorname{Hom}_H(\pi_1,\pi_2)\ne 0.

Equivalently, if (a.,b.)(a_.,b_.) and (a.,b.)(a'_.,b'_.) have the same interlacing pattern, then

HomH(π1,π2)0\operatorname{Hom}_H(\pi_1,\pi_2)\ne 0

if and only if

HomH(π1,π2)0.\operatorname{Hom}_H(\pi'_1,\pi'_2)\ne 0.

The claim predicts that the existence of an invariant linear form for the restriction from U(p,q)U(p,q) to U(p1,q)U(p-1,q) depends only on the interlacing pattern of the two Langlands parameters, rather than on the particular parameters or representations. The supplied parser gives no evidence that this statement has been resolved.

Sources & referencesView supporting material

Primary source

Wee Teck Gan, Benedict H. Gross and Dipendra Prasad, “Restrictions of representations of classical groups: examples”, arXiv:0909.2993 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.