Is there a simplicial volume definition of Chern Simons invariants? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T17:07:31Zhttp://mathoverflow.net/feeds/question/84522http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/84522/is-there-a-simplicial-volume-definition-of-chern-simons-invariantsIs there a simplicial volume definition of Chern Simons invariants?unknown (google)2011-12-29T16:24:19Z2011-12-30T14:31:59Z
<p>Suppose we have some compact hyperbolic 3-manifold $M=\Gamma\backslash\mathbb H^3$. Now we know that the <em>hyperbolic volume</em> of $M$ can be defined as (a constant times) the simplicial volume of the fundamental class $[M]\in H_3(M,\mathbb Z)$, which is a <em>homotopy invariant</em>.</p>
<p>Now the hyperbolic volume and Chern-Simons invariant $M$ are connected by the following definition:
$$i(\operatorname{Vol}(M)+i\operatorname{CS}(M))=\frac 12\int_M\operatorname{tr}(A\wedge dA+\frac 32A\wedge A\wedge A)\in\mathbb C/4\pi^2\mathbb Z$$
where $A$ is any flat connection on the trivial principal $\operatorname{SL}(2,\mathbb C)$-bundle over $M$ whose monodromy is the isomorphism $\pi_1(M)=\Gamma$. This corresponds to a particularly natural homomorphism (based on a dilogarithm) in $H_3(\operatorname{SL}(2,\mathbb C),\mathbb Z)\to\mathbb C/4\pi^2\mathbb Z$ (see work of Neumann and Zickert).</p>
<p>This close connection between the two invariants $\operatorname{Vol}(M)$ and $\operatorname{CS}(M)$ motivates the following question:</p>
<blockquote>
<p>Is there a definition of $\operatorname{CS}(M)$ within the framework of simplicial volume?</p>
</blockquote>
http://mathoverflow.net/questions/84522/is-there-a-simplicial-volume-definition-of-chern-simons-invariants/84590#84590Answer by Danny Calegari for Is there a simplicial volume definition of Chern Simons invariants?Danny Calegari2011-12-30T14:31:59Z2011-12-30T14:31:59Z<p>If you use eta invariant in place of Chern-Simons invariant, there is almost such a definition, at least in a closely related context. If we restrict to surface bundles over the circle with fiber of fixed genus, then the eta invariant of a fibered 3-manifold can be thought of as a certain kind of class function on the mapping class group. Such eta invariants exist for many different kinds of (unitary) representations (of subgroups of mapping class groups), and under suitable circumstances (see e.g. <a href="http://arxiv.org/abs/1003.4977" rel="nofollow">http://arxiv.org/abs/1003.4977</a>) the functions they define on (subgroups of) mapping class groups are examples of what are known as homogeneous quasimorphisms. </p>
<p>Quasimorphisms arise in the theory of bounded cohomology; there is a duality theory relating them to a (relative) 2-dimensional Gromov norm, called stable commutator length. Gromov norm here is just a synonym for simplicial volume, as in your question.</p>