arXiv:math/0108017v1 [math.CT] 2 Aug 2001

arXiv:math/0108017v1 [math.CT] 2 Aug 2001
Tsemo Aristide
The Abdus Salam Internation Centre for Theoretical Physics
Strada Costiera, 11
Trieste, Italy.
email: [email protected]
Cohomologie non ab´elienne d’ordre sup´erieur et applications.
Abstract.
We propose in this paper a theory of higher non abelian cohomology without
using the notion of n−category. We use this theory to study compositions series
of affine manifolds and cohomology of manifolds.
0. Introduction.
Une vari´et´e affine (M, ∇M), est une vari´et´e diff´erentiable M, munie d’une
connexion ∇Mdont les tenseurs de courbure et de torsion sont nuls. La vari´et´e
affine de dimension n, (M, ∇M) est compl`ete si et seulement si elle est le quo-
tient de IRnpar un sous-groupe ΓMde Aff(IRn) qui agit proprement et li-
brement sur IRn. L. Auslander a conjectur´e que le groupe fondamental d’une
vari´et´e affine compacte et compl`ete est polycyclique. Dans [T4], on a conjectur´e
qu’un revˆetement fini d’une vari´et´e affine compacte et compl`ete est le domaine
de d´efinition d’une application affine non triviale. Ceci conduit `a se poser le
probl`eme de classifier les s´eries de compositions (Mn,∇Mn)→... →(M1,∇M1)
o`u chaque application fi: (Mi+1,∇Mi+1 )→(Mi,∇Mi) est une fibration affine
de domaine de d´efinition compact et complet; ce qui signifie que fiest surjective,
et chaque vari´et´e affine (Mi,∇Mi) est compacte et compl`ete. La classification
des fibrations affines s’effectue avec la th´eorie des gerbes (Voir [T6]). Il est na-
turel de penser que la classification des s´eries de compositions devrait se faire
avec la notion de n−gerbe. La d´efinition d’une notion de n−cat´egorie n’´etant
pas bien comprise, on ´effectue la classification des s´eries de compositions par le
biais de la notion de tour gerb´ee.
N´eanmoins, rappelons qu’il est effectu´e dans [T6] une classifications des s´eries
de compositions o`u chaque application fiest affinement localement triviale (ceci
veut dire que l’holonomie d’une fibre ne d´epend pas de celle-ci) en utilisant une
partie de l’axiomatique n´ecessaire pour d´efinir la notion de n−cat´egorie.
En fait le probl`eme g´en´eral auquel se ram`ene la classification des s´eries de
compositions de vari´et´es affines est celui de l’´elaboration d’une th´eorie de co-
homologie non commutative. Dans la deuxi`eme partie de ce travail, on ´elabore
une th´eorie de cohomologie non ab´elienne en utilisant la notion de tour gerb´ee
afin d’´eviter justement de parler de n−cat´egories.
1

Comme le mentionne Brylinski [Bry], les classes caract´eristiques sont utilis´ees
par plusieurs auteurs pour cr´eer divers objets math´ematiques. C’est ainsi que
Witten [Wi] utilise des classes caract´eristiques d’ordre 2 afin d’´etudier le poly-
nome de Jones. Il apparait donc n´ecessaire de donner une description g´eom´etrique
des classes caract´eristiques. Dans cette optique, il faut donner une interpr´etation
g´eom´etrique de la cohomologie enti`ere d’une vari´et´e diff´erentiable M. Le groupe
de cohomologie H2(M, IZ) s’interpr`ete comme l’ensemble des classes d’´equivalences
des fibr´es complexes sur Md’apr`es la th´eorie de Kostant Weil. Dans [Bry], il est
donn´e une interpr´etation de H3(M, IZ) en termes de classes d’´equivalences des
faisceaux de groupoides de Dixmier-Douady. Notre th´eorie permet d’interpr´eter
les groupes Hn+2(M, IZ) en termes de classes d’´equivalences de n−tours gerb´ees.
Voici le plan de notre travail
0. Introduction.
1. Rappels sur la notion de gerbe.
2. Tour gerb´ee.
3. Suites spectrales et tours gerb´ees.
4. Application des tours gerb´ees `a la g´eom´etrie affine.
5. Interpr´etation de la cohomologie enti`ere d’une vari´et´e.
1. Rappels sur la notion de gerbe.
On rappelle dans cette partie la notion de gerbe pr´esent´ee dans [Gi].
D´efinitions 1.1.
- Soit Cune cat´egorie, un crible de Cest une partie Rdes objets Ob(C) de
Ctelle que pour toute fl`eche m:X→Y, si Y∈R, alors Xappartient `a R.
- Pour toute foncteur f:E′→E, on note Rf={X∈Obj(E′), f(X)∈R};
Rfest un crible.
D´efinition 1.2.
Une topologie sur Cest une application qui a tout objet Sassocie une partie
non vide J(S) de l’ensemble des cribles de la cat´egorie ESau-dessus de S, telle
que
pour toute fl`eche f:T→Sde Cet tout crible Rappartenant `a J(S), Rf
appartient `a J(T).
Pour tout objet Sde C, tout ´el´ement Rde J(S), et tout crible R′de ES,R′
appartient `a J(S) d`es que pour tout objet f:T→Sde R, on a R′fappartient
`a J(T).
Les ´el´ements de J(S) sont appel´es les raffinements de S.
D´efinitions 1.3
- Un faisceau sur Cest un foncteur contravariant Fde Cdans la cat´egorie
des ensembles tel que pour tout crible Rde S, l’application
F(S)−→ lim(F|R)
soit bijective, o`u F|Rest le pr´efaisceau sur Rd´efini par (F|R)(f) = F(T)
pour toute fl`eche f:T→Sde R.
2

- Soit F:M→Bun foncteur, pour tout objet Sde B, on appelle cat´egorie
fibre FSde Fen S, la sous-cat´egorie de Mdont les fl`eches mv´erifient F(m) =
IdS. Ceci implique que les objets de FSse projettent sur Spar F. Soient Xet
Ydeux objets de FS, on d´esigne par HomS(X, Y ), l’ensemble des m:X→Y
qui se projettent sur IdS.
D´efinitions 1.4.
- Soient F:M→Bun foncteur, m:x→yune fl`eche de Met f:T→S
sa projection par F, on dit que mest B−cart´esienne, ou que mest une image
inverse de ypar f, ou encore que xest une image inverse de ysi pour tout objet
zde MT, l’application
HomT(z, x)−→ Homf(z, y)
n7→ mn
est bijective, o`u Homf(z, y) = {n∈Hom(z, y), F (n) = f}.
- Une cat´egorie Bfibr´ee est un foncteur F:M→Btel que pour toute fl`eche
f:T→Sde Bet tout objet yde FS, il existe une image inverse de ypar f, et
telle que le compos´e de deux morphismes B−cart´esiens est B−cart´esien.
- On dira que la cat´egorie est fibr´ee en groupoides, si pour tout diagramme
xf −→zg ←−y
dans M, au-dessus de
Uφ −→Wψ ←−V,
pour toute fl`eche m:U→Vtelle que φ=ψm, alors il existe un unique
h:x→ytel que f=gh et F(h) = m.
Ceci implique que l’image inverse d’une fl`eche est unique `a isomorphisme
pr`es.
Soit f:x→yune fl`eche de Mau-dessus de φ:U→Vde B. On posera
x=φ∗(y). Les foncteurs (φψ)∗et ψ∗φ∗sont canoniquement isomorphes.
D´efinition 1.5.
Une cat´egorie fibr´ee F→Eest dite scind´ee si elle est munie d’une applica-
tion (le scindage) qui `a toute fl`eche f:T→Sde Eet `a tout objet xde FS
associe une image inverse xf:xf→xde sorte que pour toute suite Ug →Tf →S
et tout objet yde FS, on a (xf)g=xf g .
Soit un diagramme de cat´egories
F G
↓f↓g
Aa −→ B
3

On note Homa(F, G) la sous-cat´egorie de Hom(F, G) dont les objets sont les
u:F→Gtels que gu =af, les fl`eches ´etant les morphismes m:u→u′tels
que gm soit le morphisme identique du foncteur af .
On note Carta(F, G) la sous-cat´egorie pleine de Homa(F, G) dont les objets
sont les a−foncteurs cart´esiens c’est `a dire les foncteurs qui transforment tout
morphisme cart´esien en un morphisme cart´esien.
Soient Eune cat´egorie munie d’une topologie, et F→Eune cat´egorie fibr´ee,
pour tout raffinement Rde C, on a un foncteur restriction CartE(ES, F )→
CartE(R, F ).
D´efinition 1.6.
Soit Eune cat´egorie munie d’une topologie, un champ est une cat´egorie
fibr´ee F→Etelle que le foncteur restriction CartE(ES, F )→CartE(R, S) est
une ´equivalence de cat´egories.
Remarque.
Supposons que les produits fibr´es existent dans Eainsi qu’une famille cou-
vrante (Si→S)i∈Ipour la topologie de E.
Se donner un champ en groupoides F→Eest ´equivalent `a se donner une
cat´egorie fibr´ee en groupoides F→Etelle que
(i) Recollement des fl`eches.
Pour tout objet Ude E, et tout objets xet yde FUle foncteur de FUdans la
cat´egorie des ensembles qui `a une fl`eche f:V→Uassocie HomV(f∗(x), f∗(y))
est un faisceau.
(ii) Recollement des objets
Soit xiun objet de FSi, et tij une fl`eche entre la restriction de xj`a Si×SSj
et celle de xi`a Si×SSj, alors si sur Si×SSj×SSkon a tik =tij tjk , il existe
un objet xde FSdont la restriction `a FSiest xi.
Si de plus il existe une famille couvrante (Si→S)i∈Itelle que FSisoit non
vide, et pour tout objets xet yde FSi,HomSi(x, y) est non vide (connexit´e
locale), on dit alors que la cat´egorie fibr´ee est une gerbe.
Si de plus le pr´efaisceau LFd´efini sur Epar
U−→ HomU(FU)
est un faisceau en groupes qui commute avec les isomorphismes et les restric-
tions, on dit alors que LFest le lien de la gerbe. Dans la suite on consid`erera
uniquement des gerbes li´ees.
Dans la suite, Esera une cat´egorie, admettant les produits fibr´es finis, munie
d’une topologie d´efinie par la famille couvrante (Si→S)i∈I.
Classification des gerbes li´ees.
Dans ce paragraphe, on rappelle la classification des gerbes au-dessus d’une
cat´egorie Cde lien donn´e L.
D´efinitions 1.7.
4

- Une gerbe F→Eest triviale, si elle admet une section. Si la cat´egorie E
a un objet final e, cela signifie que Fen’est pas vide.
- Deux gerbes F→Eet F′→Ede lien Lsont ´equivalentes si et seulement
si il existe un isomorphisme de cat´egories fibr´ees entre Fet F′qui commute
avec l’action de L.
On note H2(E, L) l’ensemble des classes d’´equivalences des gerbes.
Soit (xi)i∈Iune famille d’objets tels que xiappartient `a FSi. Il existe une
fl`eche uij entre les restrictions de xjet xi`a FSi×SSj. Notons uk
ij la restriction de
uij entre les restrictions respectives de xjet xi`a FSijk , o`u Sijk =Si×SSj×SSk.
Th´eor`eme. [Gi].
la famille cijk =ui
jk(uj
ik)−1uk
ij ∈L(Sijk )est un 2−cocycle de Cech qui
classifie la gerbe F→Esi le lien est ab´elien.
2. Tour gerb´ee.
Le but de cette partie est de g´en´eraliser la notion de gerbe `a celle de tour
gerb´ee. Cette notion de tour gerb´ee permettra ult´erieurement de d´efinir des
groupes de cohomologies non ab´eliens d’ordre sup´erieurs.
La notion de tour gerb´ee est d´efinie r´ecursivement `a partir de la notion de
gerbe. Soit E1une cat´egorie munie d’une topologie d´efinie par une famille
couvrante (Si→S)i∈I. On suppose que les produits fibr´es existent dans E1.
D´efinition 2.1.
On appelle 2−tour gerb´ee, la donn´ee d’une gerbe li´ee F1→E1de lien L1
telle que
A tout objet X(S1) de FS1o`u S1est un objet quelconque de E1, on asso-
cie une gerbe li´ee F2(S1, X(S1)) →E2(S1, X(S1)) de lien L2un faisceau sur
E1. Ceci veut dire qu’il existe un isomorphisme entre le groupe des automor-
phismes de la fibre d’un objet de E2(S1, X(S1)) qui se projettent sur l’identit´e
et les sections d´efinies sur S1, d’un faisceau de E1. Cet isomorphisme commute
aux morphismes entre objets et aux restrictions. La classe d’isomorphisme de
F2(S1, X(S1)) →E2(S1, X(S1)) ne d´epend pas de S1et de X(S1).
La propri´et´e de connexit´e suivante est v´erifi´ee:
Soient S1un objet de E1,T1,T2,T3des objets de FS1, il existe une appli-
cation
∗:Hom(T1, T2)−→ Hom(E2(S1, T1), E2(S1, T2))
u−→ u∗
Soit Xun objet de E2(S1, T1), Uun objet de F2(S1, T1)X, pour tout objet Vde
F2(S1, T2)u∗(X), il existe un morphisme u∗(U, V ) entre les gerbes F2(S1, T1)→
E2(S1, T1) et F2(S1, T2)→E2(S1, T2) au-dessus de u∗qui transforme Uen V.
On fera souvent l’abus de noter u∗et u∗(U, V ) par u∗.
Soient u:T1→T2, et v:T2→T3des ´el´ements respectifs de Hom(T1, T2)
et Hom(T2, T3), (vu)∗coincide avec v∗u∗sur les objets et on suppose que (vu)∗
5