The Ext criterion for irreducibility of parabolic induction

Let C,DCompC,D\in\mathbf{Comp}, and let π(C)\pi(C) and π(D)\pi(D) be the irreducible representations corresponding to these components. For points xCx\in C and yDy\in D, write ExtΠ1(x,y)\operatorname{Ext}^1_\Pi(x,y) for the relevant first Ext group.

Ext criterion conjecture. The representation π(C)×π(D)\pi(C)\times\pi(D) is irreducible if and only if there exist open subsets UCCU_C\subseteq C and UDDU_D\subseteq D such that

dimCExtΠ1(x,y)=0\dim_\mathbb{C}\operatorname{Ext}^1_\Pi(x,y)=0

for all (x,y)UC×UD(x,y)\in U_C\times U_D.

This conjecture proposes that irreducibility of parabolic induction is governed by generic vanishing of the first Ext group. The source attributes it to Geiss–Schröer and Lapid–Mínguez.

Sources & referencesView supporting material

Primary source

Johannes Droschl, “Poles of intertwining operators in terms of irreducible components of Lusztig's characteristic variety in type A”, arXiv:2508.13817 (2025).

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.