Product property of the Conley–Zehnder index

Throughout, for a natural number $n$ (including $n=0$), $\mathrm{Mat}_n$ denotes the real $2n\times 2n$ matrices whose rows and columns are indexed by two copies of $\{0,\dots,n-1\}$: a first ("$q$") block and a second ("$p$") block. $\mathrm{Id}$ is the identity matrix. $J_0\in\mathrm{Mat}_n$ is the block matrix

$$J_0=\begin{pmatrix}0&-\mathrm{Id}\\ \mathrm{Id}&0\end{pmatrix}.$$

A matrix $A$ is called symplectic if $A\,J_0\,A^{\mathsf T}=J_0$. A path is a continuous map $[0,1]\to\mathrm{Mat}_n$ (with the usual Euclidean topology on matrix entries); the set of paths carries the compact-open topology (equivalently the topology of uniform convergence). Products, inverses and transposes of paths below are always taken pointwise in $t$. For $n=0$ all matrices are the empty $0\times 0$ matrix, whose determinant is $1$.

$\mathrm{SP}(n)$ is the set of paths $\psi$ such that $\psi(t)$ is symplectic for every $t\in[0,1]$, $\psi(0)=\mathrm{Id}$, and $\det(\mathrm{Id}-\psi(1))\neq 0$.

$\mathrm{Sp}^*(n)$ is the set of symplectic $A\in\mathrm{Mat}_n$ with $\det(\mathrm{Id}-A)\neq 0$.

$W^+=-\mathrm{Id}$, and $W^-$ is the diagonal matrix whose $q$-block diagonal is $(2,-1,\dots,-1)$ and whose $p$-block diagonal is $(\tfrac12,-1,\dots,-1)$ (the entry $2$ resp. $\tfrac12$ sits at index $0$; all other diagonal entries are $-1$). For $n=0$, $W^+=W^-$ is the empty matrix.

For $A\in\mathrm{Mat}_n$, let $C_A=\tfrac12\,(A-J_0AJ_0)$. Let $X$ be the upper-left ($q$-row, $q$-column) $n\times n$ block of $C_A$ and $Y$ its lower-left ($p$-row, $q$-column) block, and set

$$d(A)=\det{}_{\mathbb C}\,(X+iY)\in\mathbb C,$$

the determinant of the complex $n\times n$ matrix $X+iY$ (equal to $1$ when $n=0$). Then

$$\hat\rho(A)=\frac{d(A)}{|d(A)|}\in\mathbb C,$$

with the convention that division by zero gives $0$, so $\hat\rho(A)=0$ whenever $d(A)=0$.

For a function $f:[0,1]\to\mathbb C$, a function $\theta:[0,1]\to\mathbb R$ is called an argument lift of $f$ if $\theta$ is continuous and $f(t)=e^{i\theta(t)}$ for every $t\in[0,1]$. (No lift exists if $|f(t)|\neq 1$ for some $t$, e.g. if $\hat\rho$ takes the junk value $0$; continuity of $f$ is not separately assumed.)

For a path $\psi$ and an integer $k$, "$k$ is a CZ value of $\psi$" means: there exist a path $\chi$ with $\chi(0)=\psi(1)$, $\chi(t)\in\mathrm{Sp}^*(n)$ for all $t\in[0,1]$, and $\chi(1)=W^+$ or $\chi(1)=W^-$; and argument lifts $\theta_1$ of $t\mapsto\hat\rho(\psi(t))$ and $\theta_2$ of $t\mapsto\hat\rho(\chi(t))$ with

$$2\big[(\theta_1(1)-\theta_1(0))+(\theta_2(1)-\theta_2(0))\big]=2\pi k.$$

(The lifts are of $\hat\rho$ itself, not of $\hat\rho^2$; the factor $2$ appears only in this equation. No condition $\psi\in\mathrm{SP}(n)$ is part of this notion.)

The index $\mu_{CZ}(\psi)\in\mathbb Z$ of a path $\psi$ is defined as: if some integer $k$ is a CZ value of $\psi$, then $\mu_{CZ}(\psi)$ is one such $k$ chosen by the axiom of choice (an unspecified one if several exist); if no CZ value exists, $\mu_{CZ}(\psi)=0$. It is defined for every path, not only those in $\mathrm{SP}(n)$.

For $A\in\mathrm{Mat}_{n'}$ and $B\in\mathrm{Mat}_{n''}$, $A\diamond B\in\mathrm{Mat}_{n'+n''}$ is the matrix obtained from the block-diagonal matrix $\begin{pmatrix}A&0\\0&B\end{pmatrix}$ (indexed by $(q',p')$ then $(q'',p'')$) by relabeling indices so that the new $q$-block is $(q'_0,\dots,q'_{n'-1},q''_0,\dots,q''_{n''-1})$ and the new $p$-block is $(p'_0,\dots,p'_{n'-1},p''_0,\dots,p''_{n''-1})$. Concretely, for $s,s'\in\{q,p\}$: the $(s_k,s'_{l})$ entry of $A\diamond B$ is $A_{s_k,s'_l}$ if $k,l<n'$, is $B_{s_{k-n'},s'_{l-n'}}$ if $k,l\ge n'$, and is $0$ otherwise.

Claim. Let $n',n''\in\mathbb N$ (either may be $0$), $\psi_1\in\mathrm{SP}(n')$, $\psi_2\in\mathrm{SP}(n'')$, and let $\psi$ be a path in $\mathrm{Mat}_{n'+n''}$ with $\psi(t)=\psi_1(t)\diamond\psi_2(t)$ for all $t$. Then

$$\mu_{CZ}(\psi)=\mu_{CZ}(\psi_1)+\mu_{CZ}(\psi_2),$$

where each $\mu_{CZ}$ is taken in its own dimension.