Hi! 


Novikov's additivity theorem states that if you glue together two compact oriented 4n-manifolds along a connected component of their boundaries, the [signature](http://en.wikipedia.org/wiki/Signature_of_a_manifold) of the resulting manifold is simply the sum of the signatures of the pieces. It is proved for example in Kirby's *The Topology of 4-manifolds* and Kauffman's *On Knots*.


However, I haven't found any direct reference to an original article of Novikov's on this topic. Sometimes, *The index of elliptic operators III* by Atiyah and Singer is given as a reference. 


So my questions are : what is the original reference? Has Novikov written this result in any of his papers? What has happened between Novikov's first proof and the one by Atiyah and Singer?


Any comment on this topic will be appreciated.



First appearance of Novikov's additivity theorem
Here is as Novikov [himself](http://www.mccme.ru/edu/index.php?ikey=n-rohlin) describes it (in russian):



> 
> Rokhlin in 1965 drew my attention repeatedly to the fact that for prime p (large enough for a given dimension), the definition of combinatorial Pontryagin-Hirzebruch classes modulo p is unknown, and this issue is not trivial. I thought about it and found an interesting "additive" property of the signature of manifolds with boundary by gluing along connected boundary components. From this we with Rokhlin extracted right definition of the classes mod p. This additive has been used by Yanih and others after the Moscow Congress, where I talked about it much, for the axiomatization of the signature. We now know that this property of the signature is equivalent in modern terminology to building an "abelian" nontrivial topological quantum field theory.
> 
> 
> In 1965-1966 we with Rokhlin sat down to write the joint work, but could not finish it. None of us wanted to submit to another as how to write it. Work broke up, Rokhlin refused. In my preprint of the International Congress of Mathematicians in Moscow in 1966 I placed the information on this as a joint result. This preprint was [published](http://www.ams.org/mathscinet-getitem?mr=0268907) with the amendments in the collection in honor of de Rham in 1970.
> 
> 
> 


