The signature of compact oriented $4k$-manifolds has the following additivity property, first observed by S. P. Novikov: If two manifolds are glued by an orientation-preserving diffeomorphism of their boundaries, then the signature of their union is the sum of their signatures.
C.T.C. Wall showed that this additivity property does not hold for the more general situation where one glues two manifolds along a common submanifold of the boundaries, which itself has a boundary. 


My questions is: does it hold when the manifolds has several boundary components and we only glue part of them? (which means the final manifold still has boundary)



Additivity of Signature
Yes, the signature is additive in this case. Wall gave a precise description of the failure of additivity in gluing two $4k$-manifolds along a subset of their boundaries. (I think the name of the paper is "On the non-additivity of the signature", or something like that, but I don't have it in front of me.) Let $A$ and $B$ be two $4k$-manifolds, and suppose we are gluing along $S\subset \partial A$ and an identical $(4k{-}1)$-manifold $S\subset \partial B$. Consider the $(4k{-}2)$-manifold $\partial S$. It bounds three manifolds: $S$, $\partial A\setminus S$, and $\partial B\setminus S$. The kernels of these inclusions give rise to three lagrangian subspaces of the symplectic middle-dimensional homology of $\partial S$; call them $L\_1, L\_2, L\_3$. Then $\sigma(A \cup\_S B) = \sigma(A) + \sigma(B) + c(L\_1, L\_2, L\_3)$, where $\sigma$ denotes signature and $c(L\_1, L\_2, L\_3)$ is an integer which, as the notation suggests, depends only on the three lagrangians $L\_1$, $L\_2$, and $L\_3$.


You assume that $\partial S$ is empty. In this case $c(L\_1, L\_2, L\_3) = 0$ and the signature is additive.




---


One simple way to define $c(L\_1, L\_2, L\_3)$ (not the way Wall does it) is as follows. Let $n$ be the dimension of $L\_i$ and let $V$ be the symplectic vector space which contains the lagrangians. If $n=1$ we define $c(L\_1, L\_2, L\_3) = \pm 1$ according to the cyclic order of $L\_1$, $L\_2$, and $L\_3$, assuming the three lagrangians are distinct. If they are not distinct we define $c(L\_1, L\_2, L\_3) =0$. For $n>1$ it is not hard to show that we can find a symplecitc direct sum decomposition $V = \oplus\_\alpha V^\alpha$, with $V^\alpha$ 2-real-dimensional, and lagrangians $L\_i^\alpha\subset V^\alpha$, such that $L\_i = \oplus\_\alpha L\_i^\alpha$. We now extend linearly and define $c(L\_1, L\_2, L\_3) = \sum\_\alpha c(L\_1^\alpha, L\_2^\alpha, L\_3^\alpha)$.


