Novikov-type Conjectures

可微分多様体特性類や, それらから定義される不変量は, その多様体の tangent bundle の不変量である。 それが, どれぐらい多様体のトポロジーや幾何学的構造を反映しているかというのは, 基本的であり難しい問題である。

Ferry と Ranicki と Rosenberg による Novikov 予想についての survey [FRR95a] の “Precursors of the Novikov Conjecture” として書いてある部分を読むとよい。 Ferry と Ranicki と Rosenberg の解説は, 二分冊になっている本 [FRR95b; FRR95c] に収録されている。 Rosenberg の survey [Ros16] もある。

  • Hirzebruch の signature theorem [Hir71]

Hirzebruch の signature theorem の “higher signature” への拡張として, Novikov が [Nov70] で提案したのが, Novikov 予想である。

  • Novikov 予想

ここで, higher signature というのは, 単連結ではない多様体への signature の拡張のことである。Novikov 予想は, higher signature の homotopy 不変性を主張する予想である。

Novikov 予想は, その多様体 \(M\) の基本群 \(\Gamma =\pi _{1}(M)\) に関する assembly map \[ \Hom (L_{*}(\Z [\Gamma ]),\Q ) \rarrow {} H^{*}(B\Gamma ;\Q ) \] が全射であるという主張と同値になる。ここで, \(L\) は algebraic \(L\)-theory である。

このような, 群 \(\Gamma \) の group algebra や group \(C^{*}\)-algebra の代数的不変量と 分類空間 \(B\Gamma \) の(コ)ホモロジーとの関係についての予想が色々あるが, このページでは, それらをまとめて Novikov 型の予想と呼んでいる。 Novikov 予想の外に, 以下のようなものがある。

  • Borel 予想
  • Baum-Connes 予想
  • Gromov-Lawson 予想, Gromov-Lawson-Rosenberg 予想
  • Farrell-Jones 予想

これらは, surgery の理論を用いて解決することが試みられたりもしたが, 未だに部分的にしか解決されていない。 指数定理非可換幾何学など, 様々なことと深く関連した予想である。

Farrell-Jones 予想については, Bartels と Lück と Reich の [BLR08] や Lück の [Lüc10b; Lüc10a] を見るとよい。 Farrell-Jones 予想も含めた, Farrell と Jones の仕事についての survey と して, Jim Davis の [Dav12] がある。

今では, これらの予想については, Lück の本 [Lüc25] を読むべきだろう。 Part II の Chapter 16 で, それぞれの予想に対し, どのような群に対し証明されているかが書かれている。

Balmer と Matthey [BM04b] は, 図式の圏の モデル構造の言葉で, Baum-Connes 予想や Farrell-Jones 予想を formulate しようとしている。そのために, codescent という概念を [BM04a; BM06] などで導入して, 調べている。

この手の予想に現れる assembly map については, Lück の [Lüc20] がある。

  • assembly map

それを orbit category から spectrum の category への functor を用いて表わすことを考えたのは Davis と Lück の [DL98] である。それにより, 各種 assembly map が統一的に扱えるようになる。そして, それを更に一般の model category に値を持つ functor に拡張し, topological Hochschild homologyなど も含めた枠組みを考えているのが, Balmer と Tabuada の [BT13] である。

Assembly map の一般化としては, Bohmann と Szymik [BS24] による algebraic theory への拡張もある。

Hirzebruch の本 [Hir95] からも分かるように, これらの不変量は複素数体上の代数多様体に対しても重要な意味がある。 その視点から, Novikov予想の代数幾何版を考えたのが, Rosenberg の [Ros08] である。

Novikov予想については, 特異点を持つ多様体への一般化も考えられている。 もちろん, Poincaré duality が必要になるので, intersection homology\(L^2\)-cohomologyで Poincaré duality をみたすような空間でないといけない。 この手の一般化については, Albin らの [Alb+12; Alb+; Alb+17] がある。

Coarse 版もある。 Coarse Novikov conjecture については, Guo ら [Guo+24] は Guoliang Yu の ICM2006 での 講演録 [Yu06] を参照している。

References

[Alb+]

Pierre Albin, Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza. Hodge theory on Cheeger spaces. arXiv: 1307.5473.

[Alb+12]

Pierre Albin, Éric Leichtnam, Rafe Mazzeo, and Paolo Piazza. “The signature package on Witt spaces”. In: Ann. Sci. Éc. Norm. Supér. (4) 45.2 (2012), pp. 241–310. arXiv: 1112.0989.

[Alb+17]

Pierre Albin, Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza. “The Novikov conjecture on Cheeger spaces”. In: J. Noncommut. Geom. 11.2 (2017), pp. 451–506. arXiv: 1308.2844. url: https://doi.org/10.4171/JNCG/11-2-2.

[BLR08]

Arthur Bartels, Wolfgang Lück, and Holger Reich. “On the Farrell-Jones conjecture and its applications”. In: J. Topol. 1.1 (2008), pp. 57–86. arXiv: math/0703548. url: http://dx.doi.org/10.1112/jtopol/jtm008.

[BM04a]

Paul Balmer and Michel Matthey. “Codescent theory. I. Foundations”. In: Topology Appl. 145.1-3 (2004), pp. 11–59. arXiv: math/0306179. url: http://dx.doi.org/10.1016/j.topol.2004.05.009.

[BM04b]

Paul Balmer and Michel Matthey. “Model theoretic reformulation of the Baum-Connes and Farrell-Jones conjectures”. In: Adv. Math. 189.2 (2004), pp. 495–500. arXiv: math/0308057. url: http://dx.doi.org/10.1016/j.aim.2003.12.008.

[BM06]

Paul Balmer and Michel Matthey. “Codescent theory. II. Cofibrant approximations”. In: Homology, Homotopy Appl. 8.1 (2006), pp. 211–242. arXiv: math/0308056. url: http://projecteuclid.org/euclid.hha/1140012471.

[BS24]

Anna Marie Bohmann and Markus Szymik. “Generalisations of Loday’s assembly maps for Lawvere’s algebraic theories”. In: J. Inst. Math. Jussieu 23.2 (2024), pp. 811–837. arXiv: 2112.07003. url: https://doi.org/10.1017/S1474748022000603.

[BT13]

Paul Balmer and Gonçalo Tabuada. “Fundamental isomorphism conjecture via non-commutative motives”. In: Math. Nachr. 286.8-9 (2013), pp. 791–798. arXiv: 0810.2099. url: https://doi.org/10.1002/mana.201200057.

[Dav12]

James F. Davis. “The work of Tom Farrell and Lowell Jones in topology and geometry”. In: Pure Appl. Math. Q. 8.1 (2012), pp. 1–14. arXiv: 1006.1489. url: https://doi.org/10.4310/PAMQ.2012.v8.n1.a3.

[DL98]

James F. Davis and Wolfgang Lück. “Spaces over a category and assembly maps in isomorphism conjectures in \(K\)- and \(L\)-theory”. In: \(K\)-Theory 15.3 (1998), pp. 201–252. url: http://dx.doi.org/10.1023/A:1007784106877.

[FRR95a]

Steven C. Ferry, Andrew Ranicki, and Jonathan Rosenberg. “A history and survey of the Novikov conjecture”. In: Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993). Vol. 226. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 1995, pp. 7–66. url: http://dx.doi.org/10.1017/CBO9780511662676.003.

[FRR95b]

Steven C. Ferry, Andrew Ranicki, and Jonathan Rosenberg, eds. Novikov conjectures, index theorems and rigidity. Vol. 1. Vol. 226. London Mathematical Society Lecture Note Series. Including papers from the conference held at the Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, September 6–10, 1993. Cambridge: Cambridge University Press, 1995, pp. x+372. isbn: 0-521-49796-5.

[FRR95c]

Steven C. Ferry, Andrew Ranicki, and Jonathan Rosenberg, eds. Novikov conjectures, index theorems and rigidity. Vol. 2. Vol. 227. London Mathematical Society Lecture Note Series. Including papers from the conference held at the Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, September 6–10, 1993. Cambridge: Cambridge University Press, 1995, pp. x+364. isbn: 0-521-49795-7.

[Guo+24]

Liang Guo, Zheng Luo, Qin Wang, and Yazhou Zhang. “A Bott periodicity theorem for \(\ell ^p\)-spaces and the coarse Novikov conjecture at infinity”. In: J. Funct. Anal. 286.2 (2024), Paper No. 110215, 58. arXiv: 2207.04193. url: https://doi.org/10.1016/j.jfa.2023.110215.

[Hir71]

F. Hirzebruch. “The signature theorem: reminiscences and recreation”. In: Prospects in mathematics (Proc. Sympos., Princeton Univ., Princeton, N.J., 1970). Princeton, N.J.: Princeton Univ. Press, 1971, 3–31. Ann. of Math. Studies, No. 70.

[Hir95]

Friedrich Hirzebruch. Topological methods in algebraic geometry. Classics in Mathematics. Translated from the German and Appendix One by R. L. E. Schwarzenberger, With a preface to the third English edition by the author and Schwarzenberger, Appendix Two by A. Borel, Reprint of the 1978 edition. Berlin: Springer-Verlag, 1995, pp. xii+234. isbn: 3-540-58663-6.

[Lüc10a]

Wolfgang Lück. “\(K\)- and \(L\)-theory of group rings”. In: Proceedings of the International Congress of Mathematicians. Volume II. Hindustan Book Agency, New Delhi, 2010, pp. 1071–1098. arXiv: 1003.5002.

[Lüc10b]

Wolfgang Lück. “On the Farrell-Jones and related conjectures”. In: Cohomology of groups and algebraic \(K\)-theory. Vol. 12. Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2010, pp. 269–341. arXiv: 0710.2269.

[Lüc20]

Wolfgang Lück. “Assembly maps”. In: Handbook of homotopy theory. CRC Press/Chapman Hall Handb. Math. Ser. CRC Press, Boca Raton, FL, [2020] ©2020, pp. 851–890. arXiv: 1805.00226.

[Lüc25]

Wolfgang Lück. Isomorphism conjectures in \(K\)- and \(L\)-theory. Vol. 78. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. With contributions by Christoph Winges. Springer, Cham, [2025] ©2025, pp. xxi+874. isbn: 978-3-031-98975-9; 978-3-031-98976-6. url: https://doi.org/10.1007/978-3-031-98976-6.

[Nov70]

S. P. Novikov. “Algebraic construction and properties of Hermitian analogs of \(K\)-theory over rings with involution from the viewpoint of Hamiltonian formalism. Applications to differential topology and the theory of characteristic classes. I. II”. In: Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 253–288, ibid. 34 (1970), 475–500.

[Ros08]

Jonathan Rosenberg. “An analogue of the Novikov conjecture in complex algebraic geometry”. In: Trans. Amer. Math. Soc. 360.1 (2008), 383–394 (electronic). arXiv: math/0509526. url: http://dx.doi.org/10.1090/S0002-9947-07-04320-6.

[Ros16]

Jonathan Rosenberg. “Novikov’s conjecture”. In: Open problems in mathematics. Springer, [Cham], 2016, pp. 377–402. arXiv: 1506.05408.

[Yu06]

Guoliang Yu. “Higher index theory of elliptic operators and geometry of groups”. In: International Congress of Mathematicians. Vol. II. Eur. Math. Soc., Zürich, 2006, pp. 1623–1639.