Rozansky-Witten invariants via Atiyah classes

M. Kapranov

DOI: https://doi.org/10.48550/arXiv.alg-geom/9704009

1997-04-17

Abstract:Recently, L.Rozansky and E.Witten (<a class="link-https" data-arxiv-id="hep-th/9612216" href="https://arxiv.org/abs/hep-th/9612216">hep-th/9612216</a>) associated to any hyperKaehler manifold X a system of "weights" (numbers, one for each trivalent graph) and used them to construct invariants of topological 3-manifolds. We give a very simple cohomological definition of these weights in terms of the Atiyah class of X (the obstruction to existence of a holomorphic connection). We show that the analogy between the tensor of curvature of a hyperKaehler metric and the tensor of structure constants of a Lie algebra observed by Rozansky and Witten, holds in fact for any complex manifold, if we work on the level of cohomology and for any Kaehler manifold, if we work on the level of Dolbeault forms. In particular, for any sheaf A of commutative algebras on any complex manifold the shifted cohomology of the tangent sheaf tensored with A is a graded Lie algebra. We also show that a certain system of Gilkey-type complexes of "natural tensors" on Kaehler manifolds is, up to suspension (accounting for various changes of signs), identified with the PROP (in the sense of Adams and MacLane) describing Lie algebras "up to higher homotopies". As an outcome of our considerations, we give a formula for the Rozansky-Witten classes using any Kaehler metric on a holomorphic symplectic manifold.

Algebraic Geometry,High Energy Physics - Theory,Quantum Algebra

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to reformulate and understand the three - dimensional topological manifold invariant \(c_\Gamma(X)\) related to hyper - Kähler manifolds \(X\) proposed by Rozansky and Witten. Specifically, the author M. Kapranov aims to simplify and generalize the construction method of these invariants by using the Atiyah class.

### Core problems of the paper
1. **Reformulation of Rozansky - Witten invariants**:
- Rozansky and Witten [RW] proposed a method of constructing the invariant \(c_\Gamma(X)\) of three - dimensional topological manifolds using the Riemannian curvature of the hyper - Kähler manifold \(X\).
- These invariants are constructed through the weights \(c_\Gamma(X)\) associated with trivalent graphs \(\Gamma\), and these weights are obtained by operating on the Riemannian curvature.

2. **Application of the Atiyah class**:
- The author introduced the concept of the Atiyah class, which is a cohomology class that obstructs the existence of a global holomorphic connection.
- By replacing the curvature with the Atiyah class, the author provides a more concise framework for understanding and computing these invariants.

3. **Study of the non - symplectic structure case**:
- The author also studied the case without a symplectic structure in order to better understand the special cases under the symplectic structure.
- In the non - symplectic structure case, the Atiyah class still satisfies a certain Jacobi identity, which allows it to be regarded as a structure of a weak Lie algebra.

4. **Generalization to general Kähler manifolds**:
- The author proved that even in the case of incompatible symplectic structures, \(c_\Gamma(X)\) can be computed using the curvature of an arbitrary Kähler metric, which is very useful in practical applications because hyper - Kähler metrics are usually difficult to give explicitly.

### Markdown representation of formulas

- **Atiyah class**:
\[
\alpha_E \in H^1(X, \Omega^1 \otimes \text{End}(E))
\]
represents the Atiyah class of the vector bundle \(E\).

- **Jacobi identity**:
\[
2[\alpha_E \cup \alpha_E] + \alpha_E * \alpha_T = 0 \quad \text{in} \quad H^2(X, S^2\Omega^1 \otimes \text{End}(E))
\]

- **Definition of weak Lie algebra**:
\[
d(b_n) = \sum_{p + q = n} \sum_{\sigma \in Sh(p,q)} \text{sgn}(\sigma) b_{p + 1}(b_q \otimes 1)\sigma
\]

### Summary
This paper provides a new and more concise way to understand and compute the Rozansky - Witten invariants \(c_\Gamma(X)\) by introducing the Atiyah class. In addition, the author also studied the non - symplectic structure case to better understand the special cases under the symplectic structure and proved that these invariants can be computed without relying on a specific symplectic structure.