• Aucun résultat trouvé

Sections et tressages

Dans le document Nilpotence, radicaux et structures monoïdales (Page 110-118)

III. Sections

15. Sections et tressages

15.1. Tressages.

On renvoie à [27] pour les notions de tressage et de foncteur monoï-dal tressé. Contentons-nous de les rappeler brièvement.

Un tressage sur une catégorie monoïdale (A, l) est la donnée, pour tout couple d’objets (A,B)A3A, d’un élément

RA,BA(AlB,BlA) tel que le diagramme

AlB K

flg

ClD

(15.1) RA,B

I

RC,D

I

BlA K

glf

DlC

soit commutatif pour tousA,B,C,DAet tout couple (f,g)A(A,C) 3A(B,D). On demande de plus que les RA,B vérifient les identités de tressage

RA,BlC4aB,C,A( 1BlRA,C)aB,21A,C(RA,Bl1C)aA,B,C (15.2)

RAlB,C4aC,2A,1 B(RA,Cl1B)aA,C,B( 1AlRB,C)aA,21B,C (15.3)

a est la contrainte d’associativité.

On dit que le tressage R est symétrique si on a de plus l’identité RB,A4RA,21B.

(15.4)

Si (B,!) et (A, l) sont tressées, un foncteur monoïdal (s,sA) :(B,!) K(A, l) est dittressés’il est compatible avec les tressages. En d’autres termes, pour tous A,BB, on demande que le diagramme

s(A)ls(B)K

sAA,B

s(A!B) (15.5) Rs(A),s(B)

I

s(RA,B)

I

s(B)ls(A)K

sAB,A

s(B!A) soit commutatif.

Notons que si s est strict, la condition devient simplement s(RA,B) 4Rs(A),s(B).

Notons aussi qu’imposer que les tressages deB etAsoient symétri-ques n’impose aucune condition supplémentaire surs (et même en reti-re). Par contre, si les tressages deBetAsont compatibles vias, et sis est essentiellement surjective, l’un est symétrique si et seulement si l’au-tre l’est.

15.2. Sorites.

Le sorite suivant complète le sorite 13.3.1:

15.2.1. SORITE. Soit (s,sA) :(B,!,R)K(A, l,S) un foncteur mo-noïdal tressé entre deux catégories momo-noïdales tressées, et soit u:s¨t un isomorphisme naturel de s sur un autre foncteur t. Alors l’unique structure monoïdale tAsur t faisant de u un morphisme de foncteurs mo-noïdaux (sorite 13.3.1) est tressée. r

On a aussi:

15.2.2. SORITE. Tout tressage R satisfait les identités RA,B5C4diag (RA,B,RA,C)

RA5B,C4diag (RA,C,RB,C).

(Cela résulte du sorite 1.1.3, en considérant R comme une transfor-mation naturelle l ¨ l iT, où T est l’échange des facteurs.) r

Rappelons également le sorite suivant [27, rem. 2.3]:

15.2.3. SORITE. Notons Asym la catégorie symétrique de A (mêmes objets, mêmes morphismes mais produit défini par Al8B»4BlA, cf.

[53, I.0.1.4]).Alors tout tressage R surAdéfinit une structure monoïda-le sur monoïda-le foncteur identique IdA:AsymKA. r

Enfin:

15.2.4. SORITE. Soient (B,!,R) une catégorie monoïdale tressée, (A, l) une catégorie monoïdale et (s,sA) :(B,!)K(A, l) un foncteur monoïdal. Pour A,BB, posons

RA,s B4sAB,21As(RA,B)sAA,B:s(A)ls(B)Ks(B)ls(A).

Soit a la contrainte d’associativité de A. Alors on a les identités (sAB,Cl1s(A))21RA,s BlC( 1s(A)lsAB,C)4

4as(B),s(C),s(A)( 1s(B)lRA,s C)as(B),21 s(A),s(C)(RA,Bl1s(C))as(A),s(B),s(C) ( 1s(C)lsAA,B)21RAslB,C(sAA,Bl1s(C))4

4as(C),21 s(A),s(B)(RA,Cl1s(B))as(A),s(C),s(B)( 1s(A)lRB,s C)as(A),21 s(B),s(C). r En d’autres termes, Rs vérifie «presque» les relations de tressage (15.2) et (15.3).

15.3. Sections.

Reprenons maintenant les notations et hypothèses du théorème 13.2.1, en présence d’un tressage (21). Ce dernier reste muet sur la com-patibilité des sections monoïdales à un tressage éventuel. Nous allons voir que, dans ce cas, la situation est très «rigide».

SoitR un tressage surA. On en déduit un tressage R4pA(R) sur A. Soit (s,sA) une section monoïdale de pA.

15.3.1. Proposition. a) Il existe un automorphisme (non monoïdal) u de s tel que, pour tout couple d’objets A,BA, on ait

s(RA,B)4uB2l1A

sAB,ARA,B(uAluB)sAA,21B. (15.6)

b) On a l’identité

s(RB,A)s(RA,B)4sAA,BRB,ARA,B(uA2

luB2)sAA,21BuA22lB. (15.7)

DÉMONSTRATION. a) En tenant compte du sorite 15.2.3, on applique la proposition 13.7.1 dans la situationB4Asym,T4(IdA,R),sA4sB4s.

b) Remarquons les relations de commutation uBlAs(RA,B)4s(RA,B)uAlB,

(21) On rappelle que l’hypothèse de commutativité des End(1)-bimodules A(A,B) est alors automatiquement satisfaite.

due au fait que u est un automorphisme du foncteur s, et RA,B(uAluB)4(uBluA)RA,B,

due au fait que R est un tressage. On déduit alors de (15.6) s(RA,B)4sAB,ARA,B(uAluB)sAA,21BuA21lB (15.8)

d’où

s(RB,A)s(RA,B)4

4uA2l1BsAA,BRB,A(uBluA)sAB,21AsAB,ARA,B(uAluB)sAA2,1BuA2l1B4 4uA2l1BsAA,BRB,A(uBluA)RA,B(uAluB)sAA,21BuA2l1B4

4uA2l1BsAA,BRB,ARA,B(uA2luB2)sAA,21BuA2l1B4 4sAA,BRB,ARA,B(uA2

luB2)sAA,21BuA22lB

comme annoncé. r 15.3.2 REMARQUES.

a) On prendra garde au fait que les relations de commutation appa-raissant dans la preuve de la proposition 15.3.1 a) n’ont pas de raison d’ê-tre vraies en échangeantRA,Bets(RA,B). De même,uAlBetuAluBn’ont pas de raison de commuter.

b) Dans le sorite 15.2.3, la condition, pour un isomorphisme naturel R: l¨liT, de définir une structure monoïdale sur le foncteur identi-queAsymKA, estplus faibleque les conditions de tressage. Il en résulte que l’automorphisme u n’est pas arbitraire: il vérifie deux conditions supplémentaires du type «cross-effects» non commutatifs d’ordre 3, qui reviennent à dire que la fonction AOuA est «de degré G2» pour la structure monoïdale. Nous laissons au lecteur le soin d’expliciter ces re-lations, que nous n’utiliserons pas.

15.3.3. PROPOSITION. Pour une section monoïdale (s,sA), les condi-tions suivantes sont équivalentes:

(i) Rs est un tressage (notation du sorite 15.2.4).

(ii) Il existe un automorphisme (non monoïdal) v de IdAtel qu’on

ait, pour u comme dans la proposition 15.3.1, l’identité (uAluB)sAA,21BuA21lBsAA,B4(vAlvB)vA21lB.

Si ces conditions sont vérifiées, le tressage Rs ne dépend pas du choix de s: pour un choix de v comme dans (ii), il est donné par la formule

RA

A,B4RA,B(vAlvB)vA21lB.

DÉMONSTRATION. En utilisant la formule (15.8), on obtient l’identité RA,21BRsA,B4(uAluB)sAA,21BuA2l1BsAA,B.

Si (i) est vérifié, le premier membre de cette identité définit une structure monoïdale sur IdA:AsymKAsym couvrant la structure monoï-dale triviale surIdA. (ii) résulte alors de la proposition 13.8.1. Pour la ré-ciproque, remarquons que l’identité de (ii) implique que Rs fait commu-ter le diagramme (15.1) pour tous morphismes deA. En particulier, dans le sorite 15.2.4 le premier membre des deux identités se réduit respecti-vement à RsA,BlC et à RsAlB,C: Rs est donc bien un tressage.

Soit (t,tA) une autre section monoïdale. D’après le théorème 13.2.1 b), s ettsont monoïdalement conjuguées. En d’autres termes, il existe une famille (vA) conjuguant s et t et vérifiant l’identité

vAlB sAA,B4tA

A,BvAlvB. On a alors

RtA,B4(vB21lvA21)RsA,B(vAlvB).

Ainsi, si Rs est un tressage, on a Rt4Rs.

La dernière assertion est claire à partir de la formule (15.8). r Nous ne connaissons pas de critère pour que les conditions de la pro-position 15.3.3 soient vérifiées, à l’exception d’un cas: celui où le tressage résiduel R est symétrique. Rappelons la définition suivante [27, § 6]:

15.3.4. DÉFINITION. Une structure balancée sur une catégorie mo-noïdale tressée (A, l,R) est un automorphisme u4(uA)AA du fon-cteur identique de A vérifiant l’identité

RB,ARA,B4(uAluB)u2Al1B

.

15.3.5. THÉORÈME. Soit (A, l,R) une catégorie monoïdale tressée.

On suppose que le radical est un idéal monoïdal, et on note(A, l,R)la catégorie monoïdale tressée obtenue en quotientant par le radical.

a) Si R est symétrique, R est balancé via un automorphisme u véri-fiant pA(u)41.

b) Si de plus carKc2 ,les conditions de la proposition 15.3.3 sont vérifiées. Le tressage RA correspondant est l’unique tressage symétrique de A tel que

(i) pA(RA)4R;

(ii) (IdA,RA) est monoïdalement isomorphe à (IdA,R) (cf. sorite 15.2.3).

c) Si de plus R est symétrique, on a s(R)4R pour toute section mo-noïdale s.

DÉMONSTRATION.

a) On applique la proposition 13.8.1 au foncteur monoïdal (IdA,RA,BRB,A).

b) L’identité (15.7) de la proposition 15.3.1 donne une nouvelle identité

(uAluB)u2Al1B

4sAA,21BuA2lB

sAA,B(uA22luB22).

Comme carKc2 , l’élévation au carré est bijective dans 11R. En particulier,u a une unique racine carréev. CommeuAlBetuAluBsont centraux dansA(AlB), sAA,21BuA2lBsAA,B et (uA22luB22) commutent. On a donc

(vAlvB)vA2l1B

4sAA,21BuAlBsAA,B(uA21 luB21)

ce qui n’est autre que la condition (iii) de la proposition 15.3.3.

Ceci démontre que RA vérifie les conditions (i) et (ii) du théorème.

Pour voir l’unicité, soit RA

8 un autre tressage symétrique vérifiant ces

conditions. En particulier, (IdA,RA

8) est monoïdalement isomorphe à (IdA,RA). Il existe donc m11R tel que

RA 8

A,B4RA

A,BmAlB(m2A1lm2B1)

pour tout couple d’objets (A,B). La symétrie deRAet deRA8donne main-tenant l’identité

mA2lB4mA2 lmB2.

En en prenant la racine carrée, on trouve bien que RA 8 4RA. c) Cela résulte de la dernière assertion de la proposition 15.3.3. r

15.3.6. EXEMPLE. Considérons la quantification de Drinfeld-Cartier Aehf d’une catégorie monoïdale stricte symétrique A munie d’un «tres-sage infinitésimal»tA,B,cf.[28, ch. 9]. Rappelons seulement que Aehf a les mêmes objets queA, et que Aehf(A,B)4(A(A,B) )ehf; le tressage deAehfest de la formeRA,B4RA,Bexp

g

h2tA,B

h

(et la contrainte d’asso-ciativité est construite à partir de tA,B au moyen d’un associateur de Drinfeld). En général ce tressage n’est pas symétrique, même modulo h2. Toutefois, le théorème 15.3.5 b) montre par un passage à la limite que (Aehf,R) admet une structure balancée, et même que Aehf admet un unique tressage symétrique RA se réduisant enR et tel que (Id,RA) soit monoïdalement isomorphe à (Id,R) dans le cadre du sorite 15.2.3.

En particulier il n’est pas nécessaire de supposer l’existence de duaux dans A pour construire une structure balancée sur R, comme dans [12].

15.3.7. REMARQUE. Il est probable que les parties b) et c) du théorè-me sont fausses en caractéristique 2. Il serait intéressant d’exhiber un contre-exemple.

15.4. Compléments.

Pour finir, examinons de plus près le défaut de validité des conditions de la proposition 15.3.3 et le défaut de commutation du diagramme (15.5).

On pose uA,B4RA,21B(sAB,A)21s(RA,B)sAA,B et nA,B41AlB2uA,B. On a nA,BCs1(AB) (cf. § 13.6.9 pour la notation).

Soient

e4e(R)4sup]rNnA,BCsr(AB) pour tout (A,B)A3A( e4e(R)4sup]rN[ 1AlmB1mAl1B,nA,B]R(AlB)r

pour tout (A,B)A3Aet tout (mA,mB)R(A,A)3R(B,B)(. Notons nA,B l’image de nA,B dans C[e](AB) (notation du § 13.6.9).

15.4.1. PROPOSITION. a) L’élément e4e(R)NN]Q( et les élé-ments nA,B de C[e](AB)ne dépendent pas du choix de s: ils ne dépen-dent que de R. Si A est stricte, on a les identités

nA,BlC4(RA,Bl1C)21( 1BlnA,C)(RA,Bl1C)1nA,Bl1C (15.9)

nAlB,C4( 1AlRB,C)21(nA,Cl1B)( 1AlRB,C)11Aln nB,C la seconde pouvant aussi s’écrire

nAlB,C4(RB,Al1C)( 1BlnA,C)(RB,Al1C)2111AlnB,C. (15.11)

b) L’élément eNN]Q(ne dépend pas du choix de s:il ne dépend que de R. On a eDe,et e4 Qsi et seulement si les conditions de la pro-position 15.3.3 sont vérifiées.

c) Soit T: (A8, l,R8)K(A, l,R) un foncteur monoïdal strict tressé radiciel (avec (A8, l) stricte). Alors e(R8)Ge(R).

DÉMONSTRATION. a) Soit s8 une autre section monoïdale. D’après le théorème 13.2.1 b),sets8sont conjuguées par une famille (vA)AA d’élé-ments de 11R(A) vérifiant l’identité (vAlB)sAA,B4tA

A,B(vAlvB). Si on note uA8,B4RA,21B(sA8B,A)21s8(RA,B)sA8A,B, on en déduit l’identité

uA,8 B4(vAlvB)uA,B(vAlvB)21.

Si on pose nA8,B41AlB2uA,8 B, cette identité implique d’abord que nA,8 BR(AlB)e, ensuite que quenA,8 BfnA,B(modR(AlB)e11, et enfin que son image mod R(AlB)e11 est dans C[e](AB).

Pour établir (15.9) et (15.10), on peut supposersstricte par le pointc) de la proposition 13.4.2. En appliquants à (15.2) et (15.3), on obtient les identités

s(RA,BlC)4( 1Bls(RA,C) )(s(RA,B)l1C) s(RAlB,C)4(s(RA,C)l1B)( 1Als(RB,C) ).

On en déduit

uA,BlC4(RA,Bl1C)21( 1BluA,C)(RA,Bl1C)(uA,Bl1C) uAlB,C4( 1AlRB,C)21(uA,Cl1B)( 1AlRB,C)( 1AluB,C)

Les identités (15.9) et (15.10) s’en déduisent facilement. En utilisant l’identité RB,AlC4( 1AlRB,C)(RB,Al1C) et l’égalité nA,Cl1B 4RB,AlC( 1BlnA,C)RB,21AlC, on peut réécrire le premier terme du mem-bre de droite de (15.10):

(RB,Al1C)( 1BlnA,C)(RB,Al1C)21. b) résulte facilement des calculs de a).

c) Soit s(resp. s8) une section monoïdale stricte de pA(resp. pA8) (il en existe d’après la proposition 13.4.2). Posons

uT(A),T(B)4(RT(A),T(B))21s(RT(A),T(B)), uA,8 B4(RA,8B)21s8(R8A,B).

D’après la proposition 13.7.1,Ts8 ets T sont conjuguées par une fa-mille (wA)AA8 d’éléments de 11R(T(A) ) vérifiant l’identité

wAlB4wAlwB. On déduit de ces formules que

TuA,8 B4(wAlwB)uT(A),T(B)(wAlwB)21. d’où il est aisé de conclure. r

15.4.2. REMARQUE. Les identités (15.9) et (15.10) ne sont autres que les relations de tressage infinitésimales de Drinfeld-Cartier (cf.[28, ch.

9]), vérifiées parhtA,Bde l’exemple 15.3.6. Toutefois,nA,Best «antisymé-trique» si R est symétrique, alors que htA,B est «symétrique» dans la quantification de Drinfeld-Cartier.

Dans le document Nilpotence, radicaux et structures monoïdales (Page 110-118)