Formes compagnons et complexe BGG dual pour
On montre, sous certaines hypothèses un résultat en direction de la conjecture de Serre pour formulée dans un autre article avec F. Herzig : si la représentation résiduelle associée à une forme de Siegel de genre , de niveau premier à , -ordinaire de poids -petit, laisse stables deux droites (au lieu d’une) dans un plan lagrangien, alors cette forme possède une forme compagnon de poids prescrit. Notre méthode consiste à traduire, grâce au théorème de comparaison mod. de Faltings, l’existence...