Gerbe と関連した概念

Gerbe は, Giraud [Gir71] によって, 非可換コホモロジーの研究のために導入された概念である。 一言で言うと, stack of groupoids であるが, \(\bbC ^{\times }\) を fiber とする gerbe は, 単純に言えば 高次の line bundle のようなものであり, 最近幾何学的構造を記述するのに使おうという試みがある。 例えば, mirror symmetry との関連が, Hitchin により [Hit01] で述べられている。 理論物理でも, [Kal99] など, popular な概念になりつつあるようである。

Line bundle に様々な解釈があるように, gerbe にも様々なアプローチが考えられる。

  • sheaf of groupoids としての gerbe の定義 [Bry93]
  • bundle gerbe [Mur96]
  • principal \(B\bbC ^{\times }\)-bundle としての gerbe [Gaj97]
  • 3次の Cech cocycle による記述

Gerbe については, Brylinski の本 [Bry93] が, 「教科書」としてよく挙げられている。Gajer の論文 [Gaj97] の Appendix A には gerbe と principal \(B\bbC ^{\times }\)-bundle の対応が説明してある。 代数的トポロジーの人にはこの論文が分かりやすいと思う。その延長にあるのが, Stevenson の thesis [Ste00] である。\(2\)-gerbe や bundle \(2\)-gerbe とそれらに関連した \(H^4(X;\Z )\) の元について考察されている。Gerbe と bundle gerbe に関する解説としても, 一度目を通しておくべきである。 他にも以下のような文献が参考になる。

  • Hitchin の論文 [Hit01] の最初の section
  • Lupercio と Uribe のもの [LU]
  • Breen と Messing の [BM05]
  • Breen の [Bre10]
  • Waldorf の thesis ( この website から download できる)
  • Bunk の bundle gerbe の解説 [Bun21]

Hitchin は, 底空間が\(n\)次元向き付け可能多様体のとき, gerbe を\((n-3)\)次元部分多様体として扱うことを提案している。 Gerbe を表す\(3\)次元コホモロジー類の Poincaré dual である \((n-3)\)次元ホモロジー類を表す部分多様体を考える, ということである。

より一般的に, Grothendieck site 上の locally connected presheaf of groupoids として扱うこともできる。 Jardine の [Jar10] では, その gerbe の定義での homotopy 集合を用いた分類を行なっている。そこで用いられている cocycle category は, Jardine により [Jar09] で定義されたものである。

Gerbe は line bundle の類似なので, vector bundle に関する概念に類似の概念を定義しようとするのは自然な要求であり, 既に多くの試みがある。例えば, その上に connection を考えることは初期の研究から行なわれてきた。

  • gerbe with connection
  • connective structure [BM05]
  • curving
  • gerbeのextension [Yek10]

Connective structure と curving を持つ gerbe は, \(2\)次元の Deligne cohomology で分類される。

Aldrovandi [Ald08] によると, connective structure は, “gerbe bound by complex” という概念の特別な場合らしい。 この論文の目的は, \(2\)-gerbe bound by complex を考えることであるが。

  • gerbe bound by complex

Equivariant gerbe は, Brylinski の [Bry] の appendix で述べられている。

  • equivariant gerbe
  • orbifold 上の connection を持つ gerbe の holonomy map [LU06]

Gomi は, equivariant smooth Deligne cohomologyを [Gom05]で導入し, それが connective structure と curving を持つ equivariant gerbe を分類することを示している。

Bundle gerbe の equivariant 版もある。 Murray, Roberts, Stevenson, Vozzo の[Mur+17] である。 また Hekmati, Murray, Szabo, Vozzo の [Hek+19] では, 底空間が \(\Z _{2}\)作用を持つときの Real bundle gerbe が導入され, 調べられている。

  • equivariant bundle gerbe
  • Real bundle gerbe

複素 line bundle は, \(\bbC ^{\times }\) を構造群に持つ fiber bundleであり, その同型類は, classifying map \[ X \longrightarrow B\bbC ^{\times } \simeq K(\Z ,2) \] で分類される。つまり \(H^2(X;\Z )\) の元で分類されるわけであるが, それは first Chern class \(c_1\) である。(\(\bbC \)上の) gerbe は, Dixmier-Douady class という \(3\) 次元のコホモロジー類で分類されることが知られている。

  • gerbe の Dixmier-Douady class
  • gerbe が Dixmier-Douady class で分類されること。

Dixmier-Douady class は, \(3\)次元の Čech cohomology の元として得られるが, 幾何学的応用からは, de Rham cohomology の元として表示する方がよい。 Self-adjoint Fredholm operator の成す空間上の gerbe の Dixmier-Douady class については, Carey と Mickelsson [CM02] が調べている。

Bundle gerbe についても, Dixmier-Douady class で分類されることが分っている。ただし分類されるのは, isomorphism class ではなく stable isomorphism class である。

  • bundle gerbe の stable isomorphism
  • bundle gerbe の stable isomorphism class が Dixmier-Douady class で分類されること。[MS00]

Waldorf [Wal07] によると, stable isomorphism は bundle gerbe の圏を \(2\)-category と考えときの, \(1\)-morphism とみなすべきもののようである。Waldorf は stable isomorphism を含む新しい \(1\)-morphism を提案している。

このように, gerbe は \(H^3(X;\Z )\) の元で分類されるわけであるが, \(H^3(X;\Z )\) の元が与えられると, その元による \(K\)-theory の twisting が得られる。となると, gerbe から直接\(K\)-theoryの twisting を構成したくなるが, bundle gerbe と twisted \(K\)-theory との関連について は, Carey らの [Bou+02] で調べられている。 Orbifold 上の gerbe から, 直接 orbifold \(K\)-theory の twisting を構成することは, Lupercio と Uribe の [LU04] で行なわれている。

Paul Turner 達 [BTW04] によると, gerbe は rank one homotopy quantum field theory とほぼ同等のものらしい。

Line bundle の section が関数のglobal化であることの類似で, gerbe の section として重要な関数を表わすことも考えられている。Theta関数が, 楕円曲線上のある line bundle の holomorphic section として表わされることの“高次化”として, Felder と Henriques と Rossi と Zhu が, [Fel+08]で elliptic gamma function を, ある stack 上の gerbe の section として表わしている。

Poisson manifold 上の可微分関数の成す環に対しては, deformaion quantization が考えられるが, その一般化として gerbe の deformation quantization も考えられる。Bressler らが [Bre+07; Bre+08] で調べ始めている。 Deligne \(2\)-groupoid などが関係しているようである。

他の gerbe の変種としては, Jurco などの “nonabelian gerbe” や “nonabelian bundle gerbe” など [Asc+10; ACJ05] がある。また Jurco は, [Jur11a] では, crossed module を用い simplicialな道具を用いて調べている。Jurco は [Jur11b] では, \(2\)-crossed module を用いた nonabelian bundle \(2\)-gerbe を考えている。

また, quantum gerbe を定義しようという試み [Asc+10; Mic] もある。

Relative gerbe は, Shahbazi の Ph.D. thesis [Sha] で定義された。

Gerbe の higher version も, もちろん考えられる。 ホモトピー論的にもっとも分りやすいのが, \(p\ge 1\) として、 principal \(B^p\bbC ^{\times }\)-bundle を考えることだろう。Higher bundle gerbe は Carey と Murray と Wang の [CMW97] で考察されている。Bundle \(2\)-gerbe は Waldorf の [Wal13] で使われている。

  • \(2\)-gerbe と bundle \(2\)-gerbe

一方, gerbe のファイバーの次元を上げて, 高次の vector bundle を考えようというのも自然なアイデアである。

References

[ACJ05]

Paolo Aschieri, Luigi Cantini, and Branislav Jurčo. “Nonabelian bundle gerbes, their differential geometry and gauge theory”. In: Comm. Math. Phys. 254.2 (2005), pp. 367–400. arXiv: hep-th/0312154. url: http://dx.doi.org/10.1007/s00220-004-1220-6.

[Ald08]

Ettore Aldrovandi. “2-gerbes bound by complexes of \(gr\)-stacks, and cohomology”. In: J. Pure Appl. Algebra 212.5 (2008), pp. 994–1038. arXiv: math/0512453. url: http://dx.doi.org/10.1016/j.jpaa.2007.07.020.

[Asc+10]

Paolo Aschieri, Igor Baković, Branislav Jurčo, and Peter Schupp. “Noncommutative gerbes and deformation quantization”. In: J. Geom. Phys. 60.11 (2010), pp. 1754–1761. arXiv: hep-th/0206101. url: http://dx.doi.org/10.1016/j.geomphys.2010.06.003.

[BM05]

Lawrence Breen and William Messing. “Differential geometry of gerbes”. In: Adv. Math. 198.2 (2005), pp. 732–846. arXiv: math/0106083. url: http://dx.doi.org/10.1016/j.aim.2005.06.014.

[Bou+02]

Peter Bouwknegt, Alan L. Carey, Varghese Mathai, Michael K. Murray, and Danny Stevenson. “Twisted \(K\)-theory and \(K\)-theory of bundle gerbes”. In: Comm. Math. Phys. 228.1 (2002), pp. 17–45. url: http://dx.doi.org/10.1007/s002200200646.

[Bre+07]

Paul Bressler, Alexander Gorokhovsky, Ryszard Nest, and Boris Tsygan. “Deformation quantization of gerbes”. In: Adv. Math. 214.1 (2007), pp. 230–266. arXiv: math/0512136. url: http://dx.doi.org/10.1016/j.aim.2007.02.002.

[Bre+08]

Paul Bressler, Alexander Gorokhovsky, Ryszard Nest, and Boris Tsygan. “Deformations of gerbes on smooth manifolds”. In: \(K\)-theory and noncommutative geometry. EMS Ser. Congr. Rep. Eur. Math. Soc., Zürich, 2008, pp. 349–392. arXiv: math/0701380. url: http://dx.doi.org/10.4171/060-1/11.

[Bre10]

Lawrence Breen. “Notes on 1- and 2-gerbes”. In: Towards higher categories. Vol. 152. IMA Vol. Math. Appl. New York: Springer, 2010, pp. 193–235. arXiv: math/0611317. url: http://dx.doi.org/10.1007/978-1-4419-1524-5_5.

[Bry]

Jean-Luc Brylinski. Gerbes on complex reductive Lie groups. arXiv: math/0002158.

[Bry93]

Jean-Luc Brylinski. Loop spaces, characteristic classes and geometric quantization. Vol. 107. Progress in Mathematics. Boston, MA: Birkhäuser Boston Inc., 1993, pp. xvi+300. isbn: 0-8176-3644-7.

[BTW04]

Ulrich Bunke, Paul Turner, and Simon Willerton. “Gerbes and homotopy quantum field theories”. In: Algebr. Geom. Topol. 4 (2004), pp. 407–437. arXiv: math/0201116. url: http://dx.doi.org/10.2140/agt.2004.4.407.

[Bun21]

Severin Bunk. “Gerbes in geometry, field theory, and quantisation”. In: Complex Manifolds 8.1 (2021), pp. 150–182. arXiv: 2102.10406. url: https://doi.org/10.1515/coma-2020-0112.

[CM02]

Alan L. Carey and Jouko Mickelsson. “The universal gerbe, Dixmier-Douady class, and gauge theory”. In: Lett. Math. Phys. 59.1 (2002), pp. 47–60. arXiv: hep-th/0107207. url: http://dx.doi.org/10.1023/A:1014456501506.

[CMW97]

A. L. Carey, M. K. Murray, and B. L. Wang. “Higher bundle gerbes and cohomology classes in gauge theories”. In: J. Geom. Phys. 21.2 (1997), pp. 183–197. arXiv: hep-th/9511169. url: http://dx.doi.org/10.1016/S0393-0440(96)00014-9.

[Fel+08]

Giovanni Felder, André Henriques, Carlo A. Rossi, and Chenchang Zhu. “A gerbe for the elliptic gamma function”. In: Duke Math. J. 141.1 (2008), pp. 1–74. arXiv: math/0601337. url: http://dx.doi.org/10.1215/S0012-7094-08-14111-0.

[Gaj97]

Paweł Gajer. “Geometry of Deligne cohomology”. In: Invent. Math. 127.1 (1997), pp. 155–207. url: https://doi.org/10.1007/s002220050118.

[Gir71]

Jean Giraud. Cohomologie non abélienne. Berlin: Springer-Verlag, 1971, p. ix 467.

[Gom05]

Kiyonori Gomi. “Equivariant smooth Deligne cohomology”. In: Osaka J. Math. 42.2 (2005), pp. 309–337. arXiv: math/0307373. url: http://projecteuclid.org/euclid.ojm/1153494380.

[Hek+19]

Pedram Hekmati, Michael K. Murray, Richard J. Szabo, and Raymond F. Vozzo. “Real bundle gerbes, orientifolds and twisted \(KR\)-homology”. In: Adv. Theor. Math. Phys. 23.8 (2019), pp. 2093–2159. arXiv: 1608.06466. url: https://doi.org/10.4310/atmp.2019.v23.n8.a5.

[Hit01]

Nigel Hitchin. “Lectures on special Lagrangian submanifolds”. In: Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999). Vol. 23. AMS/IP Stud. Adv. Math. Providence, RI: Amer. Math. Soc., 2001, pp. 151–182. arXiv: math/9907034.

[Jar09]

J. F. Jardine. “Cocycle categories”. In: Algebraic topology. Vol. 4. Abel Symp. Berlin: Springer, 2009, pp. 185–218. arXiv: math/0605198. url: http://dx.doi.org/10.1007/978-3-642-01200-6_8.

[Jar10]

J. F. Jardine. “Homotopy classification of gerbes”. In: Publ. Mat. 54.1 (2010), pp. 83–111. arXiv: math/0605200. url: http://dx.doi.org/10.5565/PUBLMAT_54110_05.

[Jur11a]

Branislav Jurčo. “Crossed module bundle gerbes; classification, string group and differential geometry”. In: Int. J. Geom. Methods Mod. Phys. 8.5 (2011), pp. 1079–1095. arXiv: math/0510078. url: https://doi.org/10.1142/S0219887811005555.

[Jur11b]

Branislav Jurčo. “Nonabelian bundle 2-gerbes”. In: Int. J. Geom. Methods Mod. Phys. 8.1 (2011), pp. 49–78. arXiv: 0911.1552. url: https://doi.org/10.1142/S0219887811004963.

[Kal99]

Jussi Kalkkinen. “Gerbes and massive type II configurations”. In: J. High Energy Phys. 7 (1999), Paper 2, 22. arXiv: hep-th/9905018. url: https://doi.org/10.1088/1126-6708/1999/07/002.

[LU]

Ernesto Lupercio and Bernado Uribe. An Introduction to Gerbes on Orbifolds. arXiv: math/0402318.

[LU04]

Ernesto Lupercio and Bernardo Uribe. “Gerbes over orbifolds and twisted \(K\)-theory”. In: Comm. Math. Phys. 245.3 (2004), pp. 449–489. arXiv: math/0105039. url: http://dx.doi.org/10.1007/s00220-003-1035-x.

[LU06]

Ernesto Lupercio and Bernardo Uribe. “Holonomy for gerbes over orbifolds”. In: J. Geom. Phys. 56.9 (2006), pp. 1534–1560. arXiv: math/0307114. url: https://doi.org/10.1016/j.geomphys.2005.08.006.

[Mic]

Jouko Mickelsson. Gerbes on quantum groups. arXiv: math/0308235.

[MS00]

Michael K. Murray and Daniel Stevenson. “Bundle gerbes: stable isomorphism and local theory”. In: J. London Math. Soc. (2) 62.3 (2000), pp. 925–937. url: http://dx.doi.org/10.1112/S0024610700001551.

[Mur+17]

Michael K. Murray, David Michael Roberts, Danny Stevenson, and Raymond F. Vozzo. “Equivariant bundle gerbes”. In: Adv. Theor. Math. Phys. 21.4 (2017), pp. 921–975. arXiv: 1506.07931. url: https://doi.org/10.4310/ATMP.2017.v21.n4.a3.

[Mur96]

M. K. Murray. “Bundle gerbes”. In: J. London Math. Soc. (2) 54.2 (1996), pp. 403–416. url: http://dx.doi.org/10.1093/acprof:oso/9780199534920.003.0012.

[Sha]

Zohreh Shahbazi. Relative Gerbes. arXiv: math/0508016.

[Ste00]

Danny Stevenson. “The Geometry of Bundle Gerbes”. PhD thesis. Adelaide University, 2000. arXiv: math/0004117.

[Wal07]

Konrad Waldorf. “More morphisms between bundle gerbes”. In: Theory Appl. Categ. 18 (2007), No. 9, 240–273. arXiv: math/0702652.

[Wal13]

Konrad Waldorf. “String connections and Chern-Simons theory”. In: Trans. Amer. Math. Soc. 365.8 (2013), pp. 4393–4432. arXiv: 0906.0117. url: http://dx.doi.org/10.1090/S0002-9947-2013-05816-3.

[Yek10]

Amnon Yekutieli. “Central extensions of gerbes”. In: Adv. Math. 225.1 (2010), pp. 445–486. arXiv: 0801.0083. url: http://dx.doi.org/10.1016/j.aim.2010.03.005.