Rationality of secondary classes (Q1126437)

From MaRDI portal





scientific article; zbMATH DE number 955323
Language Label Description Also known as
default for all languages
No label defined
    English
    Rationality of secondary classes
    scientific article; zbMATH DE number 955323

      Statements

      Rationality of secondary classes (English)
      0 references
      8 December 1996
      0 references
      Let \(X\) be a smooth complex projective variety, \(\rho\) a representation of \(\pi_1(X)\) in \(\text{SL}_2(\mathbb{C})\) and \(E_\rho\) the corresponding algebraic vector bundle of rank 2 over \(X\). The author proves that the second Chern class \(c_2(E_\rho)\) of \(E_\rho\) in the Deligne cohomology group \(H^4_D(X,\mathbb{Z}(2))\) is a torsion class. He also proves that, if Vol( ) denotes the Borel hyperbolic volume and \(M\) is a compact hyperbolic \(n\)-manifold, then any representation \(\mu\) of \(\pi_1(M)\) in \(\text{PSO}(1,n)\) satisfies the higher Milnor inequality \(\text{Vol}(\mu)\leq \text{Vol}(M)\). The same argument shows that, if \(M^3\) is a Seifert fibration and \(\rho\) a representation of \(\pi_1(X)\) in \(\text{SL}_2(\mathbb{C})\), then the Chern-Simons class \(\text{Ch }S(\rho)\) of \(\rho\) is rational. The author shows finally that \(\text{Ch }S(\rho)\) is also rational for \(M\) a compact arithmetic hyperbolic 3-manifold and \(\rho\) the defining representation of \(\pi_1(M)\) in \(\text{PSL}_2(\mathbb{C})\). The proofs involve rational algebraic \(K\)-theory, the homological finiteness of \(S\)-arithmetic groups, the existence theory of twisted harmonic maps and the Sin-Sampson-Carlson-Toledo rigidity theory.
      0 references
      Borel regulation
      0 references
      Cheeger-Chern-Simons class
      0 references
      second Chern class
      0 references
      Borel hyperbolic volume
      0 references
      hyperbolic \(n\)-manifold
      0 references
      Seifert fibration
      0 references
      Chern-Simons class
      0 references
      harmonic maps
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references