84:
74:
53:
405:
is that a meaningful noncommutative second cohomology theory (with long exact sequence extending to the third cohomology of an abelian sheaf when applicable) can be built where the second cohomology with coefficients in a band L classifies gerbes with band L. There is also a cocle-type description of the cohomology classes, similar to the one associated with ordinary (commutative or not) first cohomology.
22:
518:
in the mathematical context is directly adapted to
English from French, but the word actually existed in both langages long before Giraud decided to use it for the basic construct in his theory of non-abelian (second) cohomology. In French the word with today's orthography dates from the XIV century,
404:
in French). A band in general is represented as a collection of (possibly noncommutative) sheaves of groupes on an open cover of X, satisfying certain relations modulo inner automorphisms (produced from the sheaves of isomorphisms of objects in the section-groupoids of the gerbe). The important point
162:
As far as I know there is still no definition of "gerbe" (as with "stack") that is accepted by everyone. Giraud is one alternative, but there are probably almost as many different definitions as people you can ask about them. At the moment I would feel more comfortable discussing "gerbes in the sense
177:
The definitions are in fact reasonably close to each other, even though this is not necessarily apparent at the outset. At least as things stood a few years ago, Giraud's gerbes are the general ones, and the other definitions are essentially reworked definitions of special cases. I'll try to explain
388:
coefficient sheaf as isomorphism classes of torsors over the noncommutative group. This leads to the question of whether second cohomology with nonommutative coefficients could be given meaning as a set of isomorphism classes of some new geonetric structures. Giraud's gerbes are these structures.
408:
Now if the sheaves that make up the band are commutative, they glue to give a normal abelian sheaf. In this case the cocycles are normal Cech cocycles for the sheaf, and the theory gives them and "interpretation" as the gerbe that corresponds to the cohomology class.
499:
With other items of jargon -- sorry, "terms of art" -- like "stack" and "groupoid" and "band" at least there is a sense of some horrifically-distant everyday concept to hang onto the thing, but "gerbe"? If it's not a small animal reputedly stuffed into
396:(definition will go to the article when have time, but essentially a sheaf of groupoids (categories with all morphism isomorphisms) with certain gluing and local non-emptiness conditions) defines an associated object called
818:
880:
379:
140:
960:
285:
446:
321:
496:
Is there any funny story about this? Is gerbe similar to some word in French or
Flemish? Or did the inventor just put five random letters together and hope they were pronouncable?
909:
475:
250:
221:
1027:
252:-principal bundles on a complex manifold are the same as isomorphis classes of (holomorphic) line bundles. The sheaf of sections of the (relative) group
130:
965:
1022:
882:. Since there is a bijection between atiyah classes and twisted differential operators, a gerbe is formed from any rational or complex value. On
709:
Applications should be added (both the motivating ones from algebraic geometry and the newer differential geometric and physics-related topics)
106:
412:
So finally to
Brylinski's gerbes: he gives alternative descriptions / interpretations of gerbes where the band is the commutative group sheaf
645:
574:, although it would be arguably a more precise translation, was not available anymore, and the objects introduced by Leray became known as
962:! These can be pulled back to other projective varieties. Can every twisted coherent sheaf be formed by an exact sequence of such gerbes?
553:. a kind of firework"; the original literal meaning (wheatsheaf) has been obsolete since early XIX century (again according to the OED).
769:
97:
58:
558:
In a way, there is a subtle mismatch in the French and
English terminologies for "bundle-like" geometrical objects. What is called
696:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
612:
578:
in
English. This, in turn, meant that when Giraud introduced gerbes in the late sixties, the more easily recognisable word
672:
384:
Importantly, the cocycle-description of first cohomology leads quickly to the interpretation of the first cohomology with
480:
As can be seen from the above, the
Brylinski-type gerbe stays quite far from the seriously involved parts of the theory.
33:
823:
545:
In
English the word has been used (borrowed from French) since the late XVI century. Current meaning according to the
596:
Note that 'Gerbe' is also the German word for 'sheaf' both with the mathematical and with the agricultural meaning.
966:
https://mathoverflow.net/questions/1721/what-do-gerbes-and-complex-powers-of-line-bundles-have-to-do-with-each-other
326:
970:
668:
649:
914:
582:
was not available, and translators have had to settle with the more obscure (if etymologically accurate) word
21:
255:
706:
point on the talk page for a quick summary on what needs to be developed regarding the various definitions.
415:
290:
505:
39:
83:
885:
600:
451:
226:
742:
604:
975:
223:
classifies G-torsors (principal bundles) on X. Easy example: isomorphism classes of (holomorphic)
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
608:
89:
73:
52:
184:
1004:
163:
of Giraud...", "gerbes in the sense of Murray...", etc. instead of gerbes in general. -
501:
766:
Basically, twisted differential operators can be interpreted as Gerbe's. For example,
1016:
737:
693:
1000:
540:
by further extension, a similar form or shape in expressions such as "gerbe d'eau".
181:
The background is that for a sheaf G of groups on a space X the first cohomology
727:
Last edited at 15:46, 15 May 2007 (UTC). Substituted at 02:09, 5 May 2016 (UTC)
714:
587:
483:
102:
971:
https://mathoverflow.net/questions/37926/what-is-a-twisted-d-module-intuitively
820:
is a twisted differential operator whose Atiyah class is an integral value in
164:
79:
178:
briefly, and will try to find time to expand this properly some time later.
566:(e.g., espace fibré, fibré vectoriel) in French. Thus when translating
994:
523:
in the XII century. The etymology of the word goes back to
Frankish
754:
988:
748:
813:{\displaystyle {\mathcal {D}}_{X}({\mathcal {L}},{\mathcal {L}})}
743:
https://mathoverflow.net/questions/19290/why-do-gerbes-live-in-h2
976:
http://people.math.harvard.edu/~gaitsgde/grad_2009/Ginzburg.pdf
664:
546:
15:
549:
is "something resembling a wheatsheaf in form or appearance;
842:
802:
792:
776:
422:
352:
297:
1008:
717:
676:
653:
616:
590:
508:
486:
167:
562:(e.g., a fibre bundle or a vector bundle) in English is
688:
917:
888:
826:
772:
659:
Can anybody please give the correct pronunciation of
454:
418:
329:
293:
258:
229:
187:
101:, a collaborative effort to improve the coverage of
954:
903:
874:
812:
738:https://stacky.net/files/written/Stacks/Stacks.pdf
469:
440:
373:
315:
279:
244:
215:
875:{\displaystyle c_{1}({\mathcal {L}})\in H^{2}(X)}
911:this gives examples of Gerbes from the classes
692:, and are posted here for posterity. Following
374:{\displaystyle H^{1}(X,{\mathcal {O}}_{X}^{*})}
531:). The present French meaning of the word is:
686:The comment(s) below were originally left at
8:
381:classifies the (holomorphic) line bundles.
761:Rational and complex twists of line bundles
537:by extension, a bouquet of flowers etc; and
19:
636:had already been used as a translation of
47:
955:{\displaystyle H^{1,1}(\mathbb {P} ^{1})}
943:
939:
938:
922:
916:
895:
891:
890:
887:
857:
841:
840:
831:
825:
801:
800:
791:
790:
781:
775:
774:
771:
753:Counting twisted sheaves and S-duality -
747:On Gromov-Witten theory of root gerbes -
461:
457:
456:
453:
432:
427:
421:
420:
417:
362:
357:
351:
350:
334:
328:
307:
302:
296:
295:
292:
271:
267:
266:
257:
236:
232:
231:
228:
192:
186:
504:'s bottom then I don't know what it is.
280:{\displaystyle X\times \mathbb {C} ^{*}}
987:An Invitation to Higher Gauge Theory -
49:
534:a sheaf of cereals (e.g., wheatsheaf);
441:{\displaystyle {\mathcal {O}}_{X}^{*}}
316:{\displaystyle {\mathcal {O}}_{X}^{*}}
7:
95:This article is within the scope of
38:It is of interest to the following
995:https://arxiv.org/abs/math/0611317
14:
1028:Mid-priority mathematics articles
694:several discussions in past years
115:Knowledge:WikiProject Mathematics
1023:Start-Class mathematics articles
904:{\displaystyle \mathbb {P} ^{n}}
755:https://arxiv.org/abs/1909.04241
470:{\displaystyle \mathbb {C} ^{*}}
245:{\displaystyle \mathbb {C} ^{*}}
118:Template:WikiProject Mathematics
82:
72:
51:
20:
989:https://arxiv.org/abs/1003.4485
749:https://arxiv.org/abs/0812.4477
135:This article has been rated as
949:
934:
869:
863:
847:
837:
807:
787:
368:
340:
210:
198:
1:
677:20:02, 10 February 2012 (UTC)
654:13:46, 10 December 2012 (UTC)
591:12:19, 2 September 2007 (UTC)
492:Where did the word come from?
109:and see a list of open tasks.
644:had already been used ... --
168:04:22, 9 November 2005 (UTC)
993:Notes on 1- and 2-gerbes -
509:02:16, 30 August 2007 (UTC)
1044:
216:{\displaystyle H^{1}(X,G)}
1009:20:22, 22 June 2020 (UTC)
701:
134:
67:
46:
718:15:46, 15 May 2007 (UTC)
617:14:14, 26 May 2010 (UTC)
487:15:43, 15 May 2007 (UTC)
141:project's priority scale
624:This would actually be
448:, or in other words of
98:WikiProject Mathematics
956:
905:
876:
814:
632:. But, as in English,
570:into English the word
471:
442:
375:
317:
281:
246:
217:
28:This article is rated
957:
906:
877:
815:
472:
443:
376:
318:
282:
247:
218:
915:
886:
824:
770:
586:in English as well.
452:
416:
327:
291:
256:
227:
185:
121:mathematics articles
689:Talk:Gerbe/Comments
669:VladimirReshetnikov
437:
367:
312:
952:
901:
872:
810:
682:Assessment comment
467:
438:
419:
371:
349:
313:
294:
277:
242:
213:
90:Mathematics portal
34:content assessment
725:
724:
620:
603:comment added by
155:
154:
151:
150:
147:
146:
1035:
961:
959:
958:
953:
948:
947:
942:
933:
932:
910:
908:
907:
902:
900:
899:
894:
881:
879:
878:
873:
862:
861:
846:
845:
836:
835:
819:
817:
816:
811:
806:
805:
796:
795:
786:
785:
780:
779:
699:
698:
691:
619:
597:
476:
474:
473:
468:
466:
465:
460:
447:
445:
444:
439:
436:
431:
426:
425:
380:
378:
377:
372:
366:
361:
356:
355:
339:
338:
322:
320:
319:
314:
311:
306:
301:
300:
286:
284:
283:
278:
276:
275:
270:
251:
249:
248:
243:
241:
240:
235:
222:
220:
219:
214:
197:
196:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1043:
1042:
1038:
1037:
1036:
1034:
1033:
1032:
1013:
1012:
984:
937:
918:
913:
912:
889:
884:
883:
853:
827:
822:
821:
773:
768:
767:
763:
733:
687:
684:
646:129.132.146.194
598:
494:
455:
450:
449:
414:
413:
330:
325:
324:
289:
288:
265:
254:
253:
230:
225:
224:
188:
183:
182:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1041:
1039:
1031:
1030:
1025:
1015:
1014:
998:
997:
991:
983:
982:Higher Gerbers
980:
979:
978:
973:
968:
963:
951:
946:
941:
936:
931:
928:
925:
921:
898:
893:
871:
868:
865:
860:
856:
852:
849:
844:
839:
834:
830:
809:
804:
799:
794:
789:
784:
778:
762:
759:
758:
757:
751:
745:
740:
736:Section 31 of
732:
729:
723:
722:
721:
720:
711:
710:
683:
680:
667:if possible)?
657:
656:
594:
593:
555:
554:
543:
542:
541:
538:
535:
502:Jerry Penacoli
493:
490:
464:
459:
435:
430:
424:
386:noncommutative
370:
365:
360:
354:
348:
345:
342:
337:
333:
310:
305:
299:
274:
269:
264:
261:
239:
234:
212:
209:
206:
203:
200:
195:
191:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1040:
1029:
1026:
1024:
1021:
1020:
1018:
1011:
1010:
1006:
1002:
996:
992:
990:
986:
985:
981:
977:
974:
972:
969:
967:
964:
944:
929:
926:
923:
919:
896:
866:
858:
854:
850:
832:
828:
797:
782:
765:
764:
760:
756:
752:
750:
746:
744:
741:
739:
735:
734:
730:
728:
719:
716:
713:
712:
708:
707:
705:
700:
697:
695:
690:
681:
679:
678:
674:
670:
666:
662:
655:
651:
647:
643:
639:
635:
631:
627:
623:
622:
621:
618:
614:
610:
606:
602:
592:
589:
585:
581:
577:
573:
569:
565:
561:
557:
556:
552:
548:
544:
539:
536:
533:
532:
530:
526:
522:
517:
513:
512:
511:
510:
507:
506:69.248.200.36
503:
497:
491:
489:
488:
485:
481:
478:
462:
433:
428:
410:
406:
403:
399:
395:
390:
387:
382:
363:
358:
346:
343:
335:
331:
308:
303:
272:
262:
259:
237:
207:
204:
201:
193:
189:
179:
175:
174:
170:
169:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
999:
726:
703:
685:
660:
658:
641:
637:
633:
629:
625:
595:
583:
579:
575:
571:
567:
563:
559:
550:
528:
524:
520:
519:preceded by
515:
498:
495:
482:
479:
411:
407:
401:
397:
393:
391:
385:
383:
180:
176:
172:
171:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
702:* See the '
599:—Preceding
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1017:Categories
514:The word
477:-gerbes.
731:Examples
640:because
638:faisceau
613:contribs
605:Quarague
601:unsigned
568:faisceau
287:is just
158:Untitled
1001:Wundzer
576:sheaves
139:on the
715:Stca74
642:Bündel
628:, not
588:Stca74
572:bundle
560:bundle
484:Stca74
323:. And
36:scale.
704:Reply
661:gerbe
634:Garbe
630:Gerbe
626:Garbe
584:gerbe
580:sheaf
564:fibré
529:garbe
525:garba
521:jarbe
516:gerbe
394:gerbe
173:Reply
165:Gauge
1005:talk
673:talk
663:(in
650:talk
609:talk
527:(or
402:lien
398:band
665:IPA
551:esp
547:OED
131:Mid
1019::
1007:)
851:∈
675:)
652:)
615:)
611:•
463:∗
434:∗
392:A
364:∗
309:∗
273:∗
263:×
238:∗
1003:(
950:)
945:1
940:P
935:(
930:1
927:,
924:1
920:H
897:n
892:P
870:)
867:X
864:(
859:2
855:H
848:)
843:L
838:(
833:1
829:c
808:)
803:L
798:,
793:L
788:(
783:X
777:D
671:(
648:(
607:(
458:C
429:X
423:O
400:(
369:)
359:X
353:O
347:,
344:X
341:(
336:1
332:H
304:X
298:O
268:C
260:X
233:C
211:)
208:G
205:,
202:X
199:(
194:1
190:H
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.