Companion form and the dual BGG complex for G S p 4

J. Tilouine[1]

  • [1] Département de Mathématiques, UMR 7539, Institut Galilée, Université de Paris 13, 93430 Villetaneuse. France

Annales de l’institut Fourier (2012)

  • Volume: 62, Issue: 4, page 1383-1436
  • ISSN: 0373-0956

Abstract

top
We show, under certain assumptions, a result towards the Serre conjecture for G S p 4 as formulated in another paper with F. Herzig: if the residual representation associated to a genus two cusp form of p -small weight, p -ordinary of prime-to- p level, leaves stable two distinct lines (instead of one) in a lagrangian plane, then this form admits a companion form of prescribed weight. Ou proof produces only a p -adic eigenform. It consists in translating, thanks to Faltings’ mod. p comparison theorem, the existence of the companion form into that of a solution of a differential equation provided by the dual BGG complex on the ordinary locus of the Siegel variety. The main limitation of the method is that of the Fontaine-Laffaille theory. On the other hand, it should apply to other groups admitting PEL Shimura varieties.

How to cite

top

Tilouine, J.. "Formes compagnons et complexe BGG dual pour $GSp_4$." Annales de l’institut Fourier 62.4 (2012): 1383-1436. <http://eudml.org/doc/251100>.

@article{Tilouine2012,
abstract = {On montre, sous certaines hypothèses un résultat en direction de la conjecture de Serre pour $GSp_4$ formulée dans un autre article avec F. Herzig : si la représentation résiduelle associée à une forme de Siegel de genre $2$, de niveau premier à $p$, $p$-ordinaire de poids $p$-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. $p$ de Faltings, l’existence de la forme compagnon en celle d’une solution d’une équation différentielle fournie par le complexe BGG dual sur le lieu ordinaire de la variété de Siegel. La limitation principale de cette méthode est celle de la théorie de Fontaine-Laffaille. Par contre, elle semble généralisable à d’autres groupes admettant des variétés de Shimura PEL.},
affiliation = {Département de Mathématiques, UMR 7539, Institut Galilée, Université de Paris 13, 93430 Villetaneuse. France},
author = {Tilouine, J.},
journal = {Annales de l’institut Fourier},
keywords = {Siegel modular forms; Galois representations; Siegel varieties; Hecke correspondences; Modulo $p$ representations of algebraic groups; modulo $p$ modular forms},
language = {fre},
number = {4},
pages = {1383-1436},
publisher = {Association des Annales de l’institut Fourier},
title = {Formes compagnons et complexe BGG dual pour $GSp_4$},
url = {http://eudml.org/doc/251100},
volume = {62},
year = {2012},
}

TY - JOUR
AU - Tilouine, J.
TI - Formes compagnons et complexe BGG dual pour $GSp_4$
JO - Annales de l’institut Fourier
PY - 2012
PB - Association des Annales de l’institut Fourier
VL - 62
IS - 4
SP - 1383
EP - 1436
AB - On montre, sous certaines hypothèses un résultat en direction de la conjecture de Serre pour $GSp_4$ formulée dans un autre article avec F. Herzig : si la représentation résiduelle associée à une forme de Siegel de genre $2$, de niveau premier à $p$, $p$-ordinaire de poids $p$-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. $p$ de Faltings, l’existence de la forme compagnon en celle d’une solution d’une équation différentielle fournie par le complexe BGG dual sur le lieu ordinaire de la variété de Siegel. La limitation principale de cette méthode est celle de la théorie de Fontaine-Laffaille. Par contre, elle semble généralisable à d’autres groupes admettant des variétés de Shimura PEL.
LA - fre
KW - Siegel modular forms; Galois representations; Siegel varieties; Hecke correspondences; Modulo $p$ representations of algebraic groups; modulo $p$ modular forms
UR - http://eudml.org/doc/251100
ER -

References

top
  1. A.N. Andrianov, V.G. Zhuravlev, Modular Forms and Hecke Operators, (1995), AMS, Providence Zbl0838.11032MR1349824
  2. I.N. Bernstein, I.M. Gelf’and, S.I. Gelf’and, Differential operators on the base affine space, and a study of 𝔤 -modules, Lie Groups and Their Representations, ed. I.M. Gelf’and, Conf. Budapest, 1971 (1975), Adam Hilger Publ. Zbl0338.58019
  3. C. Breuil, M. Emerton, Représentations p -adiques ordinaires de G L 2 ( ℚ p ) et compatibilité local-global 
  4. M. Demazure, P. Gabriel, Groupes algébriques, tome 1, (1970), Masson et Cie, Editeurs, North-Holland Publishing Co. Zbl0203.23401MR302656
  5. G. Faltings, Crystalline cohomology and p -adic Galois representations, Algebraic Analysis, ed. J.-I. Igusa, Proc. JAMI inaugural conference (1990), Johns Hopkins University Press Zbl0805.14008MR1463696
  6. G. Faltings, C.-L. Chai, Degeneration of abelian varieties, (1990), Springer Verlag Zbl0744.14031MR1083353
  7. G. Faltings, B. Jordan, Crystalline cohomology and GL ( 2 , ℚ ) , Israel J. Math. 90 (1995), 1-66 Zbl0854.14010MR1336315
  8. H. Garland, J. Lepowski, Lie algebra homology and the Macdonald-Kac formulas, Invent. Math. 34 (1976), 37-76 Zbl0358.17015MR414645
  9. T. Gee, D. Geraghty, Companion forms for unitary and symplectic groups Zbl1295.11043
  10. A. Genestier, J. Tilouine, Systèmes de Taylor-Wiles pour G S p 4 , Formes Automorphes (II), le cas du groupe 302 (2005), 177-290, SMF Zbl1142.11036MR2234862
  11. B. Gross, A tameness criterion for Galois representations associated to modular forms (mod. p ), Duke Math. J. 61 (1990), 445-517 Zbl0743.11030MR1074305
  12. R. Hartshorne, Algebraic Geometry, (1980), Springer Verlag Zbl0531.14001MR463157
  13. F. Herzig, The weight in a Serre-type conjecture for tame n -dimensional Galois representations, Duke Math. J. 149 (2009), 37-116 Zbl1232.11065MR2541127
  14. F. Herzig, J. Tilouine, Conjecture de type de Serre et formes compagnons pour G S p 4  
  15. H. Hida, Control theorems of coherent sheaves on Shimura varieties of PEL type, J. Inst. Math. Jussieu 1 (2002), 1-76 Zbl1039.11041MR1954939
  16. J. C. Jantzen, Representations of algebraic groups, (2003), AMS Zbl1034.20041MR2015057
  17. B.W. Jordan, R. Livné, Integral Hodge Theory and congruences between modular forms, Duke Math. J. 80 (1995), 419-484 Zbl0851.11032MR1369399
  18. N. Katz, Serre-Tate local moduli, Surfaces Algébriques (1981), 138-202, Springer Lecture Notes 868 Zbl0477.14007MR638600
  19. K.-W. Lan, Arithmetic Compactifications of PEL-type Shimura varieties, PhD Dissertation, Harvard (2008) Zbl1284.14004MR2711676
  20. A. Mokrane, J. Tilouine, Cohomology of Siegel varieties with p -adic integral coefficients and applications, (2002), 1-95, Publ. Soc. Math. France Zbl1078.11037MR1944174
  21. B. Perrin-Riou, Représentations p -adiques ordinaires, (1994), SMF, Paris Zbl0838.11071MR1293973
  22. V. Pilloni, Arithmétique des variétés de Siegel, (2009) 
  23. V. Pilloni, Sur le prolongement analytique des formes de Siegel de genre 2 , Duke Math. J. 156 (2011), 167-222 Zbl1315.11033MR2783930
  24. A. Polo, J. Tilouine, Bernstein-Gelfand-Gelfand complexes and cohomology of nilpotent over ℤ ( p ) for representations with p -small weights, (2002), 97-135, Publ. Soc. Math. France Zbl1035.17030
  25. D. Prasad, lettre à l’auteur (4 janvier 2009) 
  26. B. Stroh, Relèvement de formes de Siegel II 
  27. B. Stroh, Compactification des variétés de Siegel avec niveau parahorique, (2008) 
  28. R. Taylor, Galois representations associated to Siegel modular forms of low weights, Duke Math. J. 63 (1991), 282-332 Zbl0810.11033MR1115109
  29. J. Tilouine, Companion forms and classicality in the G L 2 ( ℚ ) -case Zbl1312.11047
  30. J. Tilouine, Deformations of Galois representations, (1996), AMS Zbl1009.11033
  31. J. Tilouine, Nearly ordinary degree four symplectic Galois representations and p -adic Siegel modular forms, Compos. Math. 142 (2006), 1122-1156 Zbl1159.11018MR2264659
  32. T. Tsuji, Poincaré Duality for Logarithmic Crystalline Cohomology, Compos. Math. 118 (1999), 11-41 Zbl0964.14020MR1705975
  33. E. Urban, Sur les représentations p -adiques associées aux représentations cuspidales de G S p 4 ( ℚ ) , Formes Automorphes (II), le cas du groupe (2005), 151-176 Zbl1100.11017MR2234861
  34. R. Weissauer, Siegel modular forms mod p  
  35. H. Yoshida, Siegel’s Modular Forms and the Arithmetic of Quadratic Forms, Invent. Math. 60 (1980), 193-248 Zbl0453.10022MR586427

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.