Skip to main content Accessibility help
×
Home
Hostname: page-component-747cfc64b6-cssqh Total loading time: 0.187 Render date: 2021-06-14T21:09:59.614Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

Compatible systems and ramification

Published online by Cambridge University Press:  21 October 2019

Qing Lu
Affiliation:
School of Mathematical Sciences, Beijing Normal University, Beijing 100875, China School of Mathematical Sciences, University of the Chinese Academy of Sciences, Beijing 100049, China email qlu@bnu.edu.cn
Weizhe Zheng
Affiliation:
Morningside Center of Mathematics and Hua Loo-Keng Key Laboratory of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China University of the Chinese Academy of Sciences, Beijing 100049, China email wzheng@math.ac.cn
Corresponding

Abstract

We show that compatible systems of $\ell$ -adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$ -independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.

Type
Research Article
Copyright
© The Authors 2019 

Access options

Get access to the full version of this content by using one of the access options below.

Footnotes

The first author was partially supported by National Natural Science Foundation of China Grants 11371043 and 11501541. The second author was partially supported by National Natural Science Foundation of China Grants 11621061, 11688101 and 11822110 and the National Center for Mathematics and Interdisciplinary Sciences, Chinese Academy of Sciences.

References

Chiarellotto, B. and Lazda, C., Around -independence , Compositio Math. 154 (2018), 223248; MR 3719248.CrossRefGoogle Scholar
Deligne, P., Les constantes des équations fonctionnelles des fonctions L , in Modular functions of one variable, II, Proc. Int. Summer School, University of Antwerp, Antwerp, 1972, Lecture Notes in Mathematics, vol. 349 (Springer, Berlin, 1973), 501597 (in French); MR 0349635.CrossRefGoogle Scholar
Deligne, P., La conjecture de Weil. II , Publ. Math. Inst. Hautes Études Sci. 52 (1980), 137252 (in French); MR 601520 (83c:14017).CrossRefGoogle Scholar
Deligne, P. and Katz, N., Groupes de monodromie en géométrie algébrique. II, Lecture Notes in Mathematics, vol. 340 (Springer, Berlin–New York, 1973) (in French). In Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 II); MR 0354657.CrossRefGoogle Scholar
Deligne, P. and Lusztig, G., Representations of reductive groups over finite fields , Ann. of Math. (2) 103 (1976), 103161; MR 0393266.CrossRefGoogle Scholar
Esnault, H., Deligne’s integrality theorem in unequal characteristic and rational points over finite fields , Ann. of Math. (2) 164 (2006), 715730, with an appendix by Pierre Deligne and Esnault; MR 2247971.CrossRefGoogle Scholar
Fujiwara, K., Independence of l for intersection cohomology (after Gabber) , in Algebraic geometry 2000, Azumino (Hotaka), Advanced Studies in Pure Mathematics, vol. 36 (Mathematical Society of Japan, Tokyo, 2002), 145151; MR 1971515 (2004c:14038).CrossRefGoogle Scholar
Fujiwara, K., A proof of the absolute purity conjecture (after Gabber) , in Algebraic geometry 2000, Azumino (Hotaka), Advanced Studies in Pure Mathematics, vol. 36 (Mathematical Society of Japan, Tokyo, 2002), 153183; MR 1971516.CrossRefGoogle Scholar
Grothendieck, A., Classes de Chern et representations linearies des groupes discrets , in Dix exposés sur la cohomologie des schémas, Advanced Studies in Pure Mathematics, vol. 3 (North-Holland, Amsterdam, 1968), 215305 (in French); MR 265370.Google Scholar
Guo, N., Wildly compatible systems and six operations, Preprint (2018), arXiv:1801.06065.Google Scholar
Illusie, L., Théorie de Brauer et caractéristique d’Euler–Poincaré (d’après P. Deligne) , in The Euler–Poincaré characteristic, Astérisque, vol. 82 (Société Mathématique de France, Paris, 1981), 161172 (in French); MR 629127.Google Scholar
Illusie, L., An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic étale cohomology , Astérisque 279 (2002), 271322. In Cohomologies $p$ -adiques et applications arithmétiques, II; MR 1922832.Google Scholar
Illusie, L., Miscellany on traces in -adic cohomology: a survey , Jpn. J. Math. 1 (2006), 107136; MR 2261063.CrossRefGoogle Scholar
Illusie, L. and Zheng, W., Odds and ends on finite group actions and traces , Int. Math. Res. Not. IMRN 2013 (2013), 162; MR 3041694.CrossRefGoogle Scholar
Ito, T., Weight–monodromy conjecture over equal characteristic local fields , Amer. J. Math. 127 (2005), 647658; MR 2141647.CrossRefGoogle Scholar
de Jong, A. J., Families of curves and alterations , Ann. Inst. Fourier (Grenoble) 47 (1997), 599621; MR 1450427 (98f:14019).CrossRefGoogle Scholar
Laumon, G., Comparaison de caractéristiques d’Euler–Poincaré en cohomologie l-adique , C. R. Acad. Sci. Paris Sér. I Math. 292 (1981), 209212 (in French, with English summary);MR 610321.Google Scholar
Laumon, G. and Moret-Bailly, L., Champs algébriques , in Ergebnisse der Mathematik und ihrer Grenzgebiete (3), A Series of Modern Surveys in Mathematics, vol. 39 (Springer, Berlin, 2000); MR 1771927 (2001f:14006).Google Scholar
Lu, Q. and Zheng, W., $\ell$ -independence over Henselian valuation fields, Preprint (2019),arXiv:1904.02324 (appendix to H. Kato, $\ell$ -independence of the trace of local monodromy in a relative case).Google Scholar
Ochiai, T., l-independence of the trace of monodromy , Math. Ann. 315 (1999), 321340; MR 1715253.Google Scholar
Riou, J., Exposé XVI. Classes de Chern, morphismes de Gysin, pureté absolue , Astérisque 363–364 (2014), 301349 (in French). In Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents; MR 3329786.Google Scholar
Grothendieck, A., Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris), vol. 3 (Société Mathématique de France, Paris, 2003) (in French). In Séminaire de géométrie algébrique du Bois Marie 1960–1961. [Algebraic Geometry Seminar of Bois Marie 1960–1961]; directed by A. Grothendieck; with two papers by M. Raynaud; updated and annotated reprint of the 1971 original [Lecture Notes in Mathematics, vol. 224, Springer, Berlin; MR0354651 (50 #7129)]; MR 2017446.Google Scholar
Artin, M., Grothendieck, A. and Verdier, J. L. (eds), Séminaire de Géométrie Algébrique du Bois-Marie – 1963–1964 – Théorie des topos et cohomologie étale des schémas (SGA 4). Tome 3, Lecture Notes in Mathematics, vol. 305 (Springer, Berlin–New York, 1973) (in French). With the collaboration of P. Deligne and B. Saint-Donat; MR 0354654.Google Scholar
Grothendieck, A., Séminaire de Géométrie Algébrique du Bois-Marie – 1967–1969 – Groupes de monodromie en géométrie algébrique (SGA 7). Tome I, Lecture Notes in Mathematics, vol. 288 (Springer, Berlin–New York, 1972) (in French). With the collaboration of M. Raynaud and D. S. Rim; MR 0354656.Google Scholar
Saito, T. and Yatagawa, Y., Wild ramification determines the characteristic cycle , Ann. Sci. Éc. Norm. Supér. (4) 50 (2017), 10651079 (in English, with English and French summaries);MR 3679621.CrossRefGoogle Scholar
Serre, J.-P., Facteurs locaux des fonctions zêta des varietés algébriques (définitions et conjectures) , in Séminaire Delange–Pisot–Poitou. 11e année: 1969/70. Théorie des nombres. Fasc. 1: Exposés 1 à 15; Fasc. 2: Exposés 16 à 24 (Secrétariat Mathématique, Paris, 1970) (in French); MR 3618526.Google Scholar
Serre, J.-P. and Tate, J., Good reduction of abelian varieties , Ann. of Math. (2) 88 (1968), 492517; MR 0236190.CrossRefGoogle Scholar
Terasoma, T., Monodromy weight filtration is independent of $l$ , Preprint (1998),arXiv:math/9802051.Google Scholar
Vidal, I., Théorie de Brauer et conducteur de Swan , J. Algebraic Geom. 13 (2004), 349391 (in French, with French summary); MR 2047703.CrossRefGoogle Scholar
Vidal, I., Courbes nodales et ramification sauvage virtuelle , Manuscripta Math. 118 (2005), 4370 (in French, with English summary); MR 2171291.CrossRefGoogle Scholar
Yatagawa, Y., Having the same wild ramification is preserved by the direct image , Manuscripta Math. 157 (2018), 233246; MR 3845763.CrossRefGoogle Scholar
Zheng, W., Sur la cohomologie des faisceaux l-adiques entiers sur les corps locaux , Bull. Soc. Math. France 136 (2008), 465503 (in French, with English and French summaries);MR 2415350 (2009d:14015).CrossRefGoogle Scholar
Zheng, W., Sur l’indépendance de l en cohomologie l-adique sur les corps locaux , Ann. Sci. Éc. Norm. Supér. (4) 42 (2009), 291334 (in French, with English and French summaries);MR 2518080 (2010i:14032).CrossRefGoogle Scholar
Zheng, W., Six operations and Lefschetz–Verdier formula for Deligne–Mumford stacks , Sci. China Math. 58 (2015), 565632; MR 3319927.CrossRefGoogle Scholar
Zheng, W., Companions on Artin stacks , Math. Z. 292 (2019), 5781; MR 3968893.CrossRefGoogle Scholar
1
Cited by

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Compatible systems and ramification
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Compatible systems and ramification
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Compatible systems and ramification
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *