[Les six opérations de Grothendieck sur les faisceaux o-minimaux]
Dans cette note, nous esquissons notre travail sur le formalisme des six opérations de Grothendieck sur les faisceaux o-minimaux. En tant qu'application à la théorie des groupes définissables, nous montrons que la cohomologie d'un groupe définissablement compact avec coefficients dans un corps est une algèbre de Hopf connexe, bornée, de type fini.
In this note, we report on our work on the formalism of the Grothendieck six operations on o-minimal sheaves. As an application to the theory of definable groups, we see that the cohomology of a definably compact group with coefficients in a field is a connected, bounded, Hopf algebra of finite type.
Accepté le :
Publié le :
@article{CRMATH_2014__352_6_455_0,
author = {M\'ario J. Edmundo and Luca Prelli},
title = {The six {Grothendieck} operations on o-minimal sheaves},
journal = {Comptes Rendus. Math\'ematique},
pages = {455--458},
publisher = {Elsevier},
volume = {352},
number = {6},
year = {2014},
doi = {10.1016/j.crma.2014.03.021},
language = {en},
}
Mário J. Edmundo; Luca Prelli. The six Grothendieck operations on o-minimal sheaves. Comptes Rendus. Mathématique, Volume 352 (2014) no. 6, pp. 455-458. doi : 10.1016/j.crma.2014.03.021. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2014.03.021/
[1] Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup, J. Symb. Log., Volume 74 (2009) no. 3, pp. 891-900
[2] Sheaf Theory, Grad. Texts Math., vol. 170, Springer-Verlag, New York, 1997
[3] Homology of Locally Semialgebraic Spaces, Lect. Notes Math., vol. 1484, Springer-Verlag, Berlin, 1991
[4] Tame Topology and o-Minimal Structures, Lond. Math. Soc. Lect. Note Ser., vol. 248, Cambridge University Press, Cambridge, UK, 1998
[5] Sheaf cohomology in o-minimal structures, J. Math. Log., Volume 6 (2006) no. 2, pp. 163-179
[6] Definably compact Abelian groups, J. Math. Log., Volume 4 (2004) no. 2, pp. 163-180
[7] Poincaré–Verdier duality in o-minimal structures, Ann. Inst. Fourier Grenoble, Volume 60 (2010) no. 4, pp. 1259-1288
[8] Invariance of o-minimal cohomology with definably compact supports | arXiv
[9] Sheaves on Manifolds, Grundlehren Math. Wiss., vol. 292, Springer-Verlag, Berlin, 1990
[10] Ind-sheaves, Astérisque, Volume 271 (2001)
[11] Categories and Sheaves, Grundlehren Math. Wiss., vol. 332, Springer-Verlag, Berlin, 2006
[12] A survey on groups definable in o-minimal structures (Z. Chatzidakis; D. Macpherson; A. Pillay; A. Wilkie, eds.), Model Theory with Applications to Algebra and Analysis, vol. 2, Lond. Math. Soc. Lect. Note Ser., vol. 350, Cambridge University Press, Cambridge, UK, 2008, pp. 177-206
[13] Definable compacteness and definable subgroups of o-minimal groups, J. Lond. Math. Soc., Volume 59 (1999) no. 2, pp. 769-786
[14] Sheaves of continuous definable functions, J. Symb. Log., Volume 53 (1988) no. 4, pp. 1165-1169
[15] Sheaves on subanalytic sites, Rend. Semin. Mat. Univ. Padova, Volume 120 (2008), pp. 167-216
Cité par Sources :
☆ The first author was supported by Fundação para a Ciência e a Tecnologia, Financiamento Base 2008 – ISFL/1/209. The second author is a member of the Gruppo Nazionale per l'Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM) and was supported by Marie Curie grant PIEF-GA-2010-272021. This work is part of the FCT project PTDC/MAT/101740/2008.
Commentaires - Politique
Ensembles définissables dans les corps ordonnés différentiellement clos
Françoise Point
C. R. Math (2011)