Discriminant coamoebas through homology

Abstract: Understanding the complement of the coamoeba of a (reduced) A-discriminant is one approach to studying the monodromy of solutions to the corresponding system of A-hypergeometric differential equations. Nilsson and Passare described the structure of the coamoeba and its complement (a zonotope) when the reduced A-discriminant is a function of two variables. Their main result was that the coamoeba and zonotope form a cycle which is equal to the fundamental cycle of the torus, multiplied by the normalized volume of the set A of integer vectors. That proof only worked in dimension two. Here, we use simple ideas from topology to give a new proof of this result in dimension two, one which can be generalized to all dimensions.

\section*{Introduction}

 $A$-hypergeometric functions, which are solutions to $A$-hypergeometric systems of
 differential equations~\cite{GKZ89,GKZ94,SST}, enjoy two complimentary analytical formulae
 which together give an approach to studying the monodromy of the
 solutions~\cite{Beukers} at non-resonant parameters.
 One formula is as explicit power series whose convergence domains in
 ${\bf{C}}^{N+1}$ have an action of the group ${\bf{T}}^{N+1}$ of phases.
 These power series form a basis of solutions, with known local monodromy around loops from
 ${\bf{T}}^{N+1}$.
 Another formula is as $A$-hypergeometric Mellin-Barnes
 integrals~\cite{Nilsson} evaluated at phases $\theta\in{\bf{T}}^{N+1}$.
 When the Mellin-Barnes integrals give a basis of solutions, they may be
 used to glue together the local monodromy groups and determine a subgroup
 of the monodromy group, which may sometimes be the full monodromy group.

 Here, $A\subset{\bf{Z}}^n$ consists of $N{+}1$ integer vectors that generate ${\bf{Z}}^n$.
 Considering ${\bf{Z}}^n\subset{\bf{Z}}^{n+1}$ as the vectors with first coordinate 1, we regard $A$ as a
 collection of $N{+}1$ vectors in ${\bf{Z}}^{n+1}$.
 The $A$-discriminant is a multihomogeneous polynomial in $N{+}1$ variables with $n{+}1$
 homogeneities corresponding to $A$.
 Removing these homogeneities gives the reduced $A$-discriminant, $D_B$, which is a hypersurface in
 ${\bf{C}}^d$ ($d:=N{-}n$) that depends upon a vector configuration $B\subset{\bf{Z}}^d$ Gale dual to
 $A$.
 This reduction corresponds to a homomorphism $\beta\colon({\bf{C}}^*)^{N+1}\to({\bf{C}}^*)^d$ and
 induces a corresponding map $\Arg(\beta)$ on phases.

 The Mellin-Barnes integrals at $\theta\in{\bf{T}}^{N+1}$ give a basis of solutions when
 $\Arg(\beta)(\theta)$ has a neighborhood in ${\bf{T}}^{d}$ with the property that no point of
 $D_B$ has a phase lying in that neighborhood~\cite{Nilsson}.
 By results in~\cite{Johansson,NS}, this means that $\Arg(\beta)(\theta)$ lies in the
 complement of the closure of the coamoeba ${\mathcal{A}}_B$ of $D_B$.

 When $d=2$, the closure of ${\mathcal{A}}_B$ and its complement were described
 in~\cite{NP10} as topological chains in ${\bf{T}}^2$ (induced from natural chains in its
 universal cover ${\bf{R}}^2$, where ${\bf{T}}^2=({\bf{R}}/2\pi{\bf{Z}})^2$).
 The closure of the coamoeba is an explicit chain depending on
 $B$.
 Its edges coincide with the edges of the zonotope $Z_B$ generated by $B$.
 The main result of~\cite{NP10} is the following theorem.

\begin{itheorem}\label{T:NP}
 The sum of the coamoeba chain $\overline{{\mathcal{A}}_B}$ and the zonotope $Z_B$ forms a two-dimensional
 cycle in ${\bf{T}}^2$ that is equal to $n!\vol(A)$ times the fundamental cycle.
\end{itheorem}

 Here, $n!\vol(A)$ is the normalized volume of the convex hull of $A$, which is the dimension
 of the space of solutions to the (non-resonant) $A$-hypergeometric system.
 The zonotope $Z_B$ gives points in the complement of ${\mathcal{A}}_B$, by Theorem~\ref{T:NP}.
 Its proof in~\cite{NP10} only works when $d=2$ and it is not clear
 how to generalize it to $d>2$.
 However, any such generalization would be important, for Mellin-Barnes
 integrals at a set of phases $\theta$ where $\Arg(\beta)(\theta)$ are distinct points of
 $Z_B$ with the same image in ${\bf{T}}^d$ are linearly independent.

 We give a proof of Theorem~\ref{T:NP} which explains the occurrence of the
 zonotope and can be generalized to higher dimensions.
 This proof uses the Horn-Kapranov parametrization of the $A$-discriminant~\cite{K91},
 which implies that the discriminant coamoeba is the image of the coamoeba of a line $\ell_B$ in
 $\P^N$ under the map $\Arg(\beta)$.
 We construct a piecewise linear \demph{zonotope chain} in ${\bf{T}}^N$ (the quotient of
 ${\bf{T}}^{N+1}$ by the diagonal torus) which is a cone over the
 boundary of the coamoeba of $\ell_B$, and compute the homology class of the sum of the coamoeba
 and this zonotope chain.
 This gives a formula for the image of this cycle under $\Arg(\beta)$, which
 we show is $n!\vol(A)$ times the fundamental cycle of ${\bf{T}}^2$.
 Theorem~\ref{T:NP} follows as the map $\Arg(\beta)$ sends the coamoeba of $\ell$ to the
 coamoeba ${\mathcal{A}}_B$ of $D_B$ and sends the zonotope chain to $Z_B$.

 While for $A$-discriminants, the set $A$ consists of distinct integer vectors and
 consequently its Gale dual $B$  generates ${\bf{Z}}^2$ and has no
 two vectors parallel, we establish Theorem~\ref{T:NP}
 in the greater generality of any finite multiset $B$ of
 integer vectors in ${\bf{Z}}^2$ with sum ${\bf 0}$ that spans ${\bf{R}}^2$.
 This generality is useful in our primary application to hypergeometric systems,
 for example the classical systems of Appell~\cite{appell} and Lauricella~\cite{lauricella}
 may be expressed as $A$-hypergeometric systems with repeated vectors in the Gale dual $B$.
 In this setting, we replace the reduced $A$-discriminant by the Horn-Kapranov
 parametrization given by the vectors $B$, and study the coamoeba ${\mathcal{A}}_B$ of the
 image, which is also written $D_B$.
 The normalized volume $n!\vol(A)$ of the configuration $A$ is replaced by a quantity $d_B$
 that depends upon the vectors in $B$.

 We collect some preliminaries in Section~\ref{S:one}.
 In Section~\ref{S:realline} we study the coamoeba of a line in $\P^N$ defined over the real
 numbers and define its associated zonotope chain.
 Our main result is a computation of the homology class of the cycle formed by these two
 chains.
 In Section~\ref{S:three} we show that under the map $\Arg(\beta)$ the coamoeba and zonotope
 chains map to the coamoeba ${\mathcal{A}}_B$ and the zonotope $Z_B$,
 and a simple application of the result in Section~\ref{S:realline} shows that the homology
 class of $\overline{{\mathcal{A}}_B}+Z_B$ is $d_B$ times the fundamental cycle of ${\bf{T}}^2$.\medskip

\noindent{\bf Remark.}
 This approach to reduced $A$-discriminant coamoebas and their complements was developed during the
 Winter 2011 semester at the Institut Mittag-Leffler, with the main result obtained in August
 2011, along with a sketch of a program to extend it to $d\geq 2$.
 With the tragic death of Mikael Passare on 15 September 2011, the task of completing this
 paper fell to the second author, and the program extending these results is being carried out
 in collaboration with Mounir Nisse.

\section{Coamoebas and cohomology of tori}\label{S:one}

Throughout $N$ will be an integer strictly greater than 1.
Let $\defcolor{\P^N}$ be $N$-dimensional complex projective space, which will
always have a preferred set of coordinates  $[x_1:\dotsb:x_N:x_{N+1}]$ (up to reordering).
Similarly, $\defcolor{{\bf{C}}^N}$, $\defcolor{({\bf{C}}^*)^N}$, $\defcolor{{\bf{R}}^N}$, and $\defcolor{{\bf{Z}}^N}$
are $N$-tuples of complex numbers, non-zero complex numbers, real numbers, and integers, all
with corresponding preferred coordinates.
We will write ${\bf e}_i$ for the $i$th basis vector in a corresponding ordered basis.

The argument map ${\bf{C}}^*\ni z=re^{\sqrt{-1}\theta}\mapsto\theta\in{\bf{T}}:={\bf{R}}/2\pi{\bf{Z}}$ induces an
argument map $\defcolor{\Arg}\colon({\bf{C}}^*)^N\to{\bf{T}}^N$.
To a subvariety $X\subset\P^N$ (or ${\bf{C}}^N$ or $({\bf{C}}^*)^N$) we associate its \demph{coamoeba}
$\defcolor{{\mathcal{A}}(X)}\subset{\bf{T}}^N$ which is the image of $X\cap({\bf{C}}^*)^N$ under $\Arg$.
The closure of the coamoeba ${\mathcal{A}}(X)$ was studied in~\cite{Johansson,NS}.
This closure contains  ${\mathcal{A}}(X)$, together with all limits of arguments of unbounded
sequences in $X\cap({\bf{C}}^*)^N$, which constitute the
\demph{phase limit set of $X$, ${\mathcal{P}}^\infty(X)$}.
The main result of~\cite{NS} (proven when $X$ is a complete intersection in~\cite{Johansson})
is that  ${\mathcal{P}}^\infty(X)$ is the union of the coamoebas of all initial degenerations of
$X\cap({\bf{C}}^*)^N$.

Lines in ${\bf{C}}^3$ were studied in~\cite{NS}, and the arguments there imply some basic facts about
coamoebas of lines.
When $X=\defcolor{\ell}\subset{\bf{C}}^N$ is a line which is not parallel to a sum of coordinate
directions
(${\bf e}_{i_1}+\dotsb+{\bf e}_{i_s}$ for some subset $\{i_1,\dotsc,i_s\}$ of $\{1,\dotsc,N\}$), its
coamoeba is two-dimensional and its phase limit set is a union of at most $N{+}1$
one-dimensional subtori of ${\bf{T}}^N$, one for each point of $\ell$ at infinity, whose directions are
parallel to sums of coordinate directions.
If $\ell'\subset{\bf{C}}^M$ ($M<N$) is the image of $\ell$ under a coordinate projection, then the
coamoeba ${\mathcal{A}}(\ell')$ is the image of ${\mathcal{A}}(\ell)$ under the induced projection.
If $\ell'$ is not parallel to a sum of coordinate directions, then the map
$\overline{{\mathcal{A}}(\ell)}\to\overline{{\mathcal{A}}(\ell')}$ is an injection except for those components
of the phase limit set which are collapsed to points. \medskip

The integral cohomology of the compact torus ${\bf{T}}^N$ is the exterior algebra $\wedge^*{\bf{Z}}^N$.
Under the natural identification of homology with the linear dual of cohomology
(which is again  $\wedge^*{\bf{Z}}^N$), we will write ${\bf e}_i$ for the fundamental $1$-cycle
$[{\bf{T}}_i]$ of the coordinate circle ${\bf{T}}_i:= 0^{i-1}\times {\bf{T}}\times 0^{N-i}$ and ${\bf e}_i\wedge {\bf e}_j$
is the fundamental cycle $[{\bf{T}}_{i,j}]$ of the coordinate 2-torus  ${\bf{T}}_{i,j}\simeq{\bf{T}}^2$ in the
directions $i$ and $j$ with the implied orientation.
Given a continuous map $\rho\colon{\bf{T}}^N\to{\bf{T}}^2$, the induced map in homology is
$\rho_*\colon H_*({\bf{T}}^N,{\bf{Z}})\to H_*({\bf{T}}^2,{\bf{Z}})$ where $\rho_*({\bf e}_i)=[\rho({\bf{T}}_i)]$, where
we interpret $[\rho({\bf{T}}_i)]$ as a cycle---the set of points in
$\rho({\bf{T}}_i)$ over which $\rho$ has degree $n$ will appear in $[\rho({\bf{T}}_i)]$ with coefficient
$n$.
By the identification of $H_*({\bf{T}}^N,{\bf{Z}})$ with $\wedge^*{\bf{Z}}^N$,
such a map is determined by its action on $H_1({\bf{T}}^N,{\bf{Z}})$, where it is an integer linear map
${\bf{Z}}^N\to{\bf{Z}}^2$.

\section{The coamoeba and zonotope chains of a real line}\label{S:realline}

We study the coamoeba ${\mathcal{A}}(\ell)$ of a line $\ell$ in $\P^N$ defined by real
equations.
Its closure $\overline{{\mathcal{A}}(\ell)}$ is a two-dimensional chain in ${\bf{T}}^N$ whose boundary consists
of at most $N{+}1$ one-dimensional subtori parallel to sums of coordinate directions.
We describe a piecewise linear two-dimensional chain---the \demph{zonotope chain} of
$\ell$---which has the same boundary as the coamoeba, but with opposite orientation.
The union of the coamoeba and the zonotope chain forms a cycle whose
homology class we compute.

The line $\ell$ has a parametrization
\[
   \Phi\ \colon\ \P^1\ni z\ \longmapsto\
    [b_1(z)\,:\, b_2(z)\,:\, \dotsb\,:\,b_{N+1}(z)]\ \in\ \P^N\,,
\]
where $b_1,\dotsc,b_{N+1}$ are real linear forms with zeroes
$\xi_1,\dotsc,\xi_{N+1}\in{\bf{R}}\P^1$.
The formulation and statement of our results about the coamoeba of $\ell$ will be with
respect to particular orderings of the forms $b_i$, which we now describe.

\begin{definition}\label{D:conventions}
Suppose that these zeroes are in a weakly increasing cyclic order on ${\bf{R}}\P^1$,
 \begin{equation}\label{Eq:A}
   \xi_1\ \leq\ \xi_2\ \leq\ \dotsb\ \leq\ \xi_{N+1}\,.
 \end{equation}
Next, identify $\P^1\smallsetminus\{\xi_{N+1}\}$ with
${\bf{C}}$, so that $\xi_{N+1}$ is the point $\infty$ at infinity, and suppose that the
distinct zeroes are
 \begin{equation}\label{Eq:B}
   \zeta_1\ <\ \zeta_2\ <\ \dotsb\ <\ \zeta_M\ <\ \zeta_{M{+}1}\ =\ \infty\,.
 \end{equation}
(Note that $M\leq N$.)
Let ${\bf{R}}={\bf{R}}\P^1\smallsetminus\{\infty\}$ and consider the forms $b_i$ as affine functions on
${\bf{R}}$.
Fix a scaling of these functions so that $b_{N+1}=1$.
On the interval $(-\infty,\zeta_1)$ the sign of each function $b_i$ is constant.
Define $\defcolor{\sgn_i}\in\{\pm 1\}$ to be this sign.

By~\eqref{Eq:A} and~\eqref{Eq:B}, there exist numbers
$1=m_1<\dotsb<m_{M+1}<m_{M+2}=N{+}2$ such that $b_i(\zeta_j)=0$ if and only if
$i\in[m_j,m_{j+1})$.
We further suppose that on each of these intervals $[m_j,m_{j+1})$ the signs $\sgn_i$
are weakly ordered.
Specifically, there are integers $n_1,\dotsc,n_{M{+}1}$ with $m_j< n_j \leq m_{j+1}$ such that
one of the following holds
 \begin{eqnarray}
   \sgn_{m_j}=\sgn_{m_j+1}=\dotsb=\sgn_{n_j-1}=-1 &<
   &1=\sgn_{n_j}=\dotsb=\sgn_{m_{j+1}-1}\,,\makebox[.1in][l]{\qquad or}\label{Eq:inc}\\
      \sgn_{m_j}=\sgn_{m_j+1}=\dotsb=\sgn_{n_j-1}=1 &>
   &-1=\sgn_{n_j}=\dotsb=\sgn_{m_{j+1}-1}\,,\label{Eq:dec}
 \end{eqnarray}
for $j=1,\dotsc,M{+}1$.
If $n_j=m_{j+1}$, then all the signs are the same; otherwise both
signs occur.
Since $b_{N+1}=1$, either~\eqref{Eq:inc} occurs with $n_{M+1}\leq N{+}1$
or~\eqref{Eq:dec} occurs with $n_{M+1}=N{+}1$.
\hfill\includegraphics[height=10pt]{figures/QED.eps}
\end{definition}

The point $\Arg(b_1(z),\dotsc,b_N(z))\in{\bf{T}}^N$ is constant for $z$ in
each interval of ${\bf{R}}^1\smallsetminus\{\zeta_1,\dotsc,\zeta_M\}$.
Let $\defcolor{p_1}:=(\arg(\sgn_i)\mid i=1,\dotsc,N)$ be the point coming from the
interval $(-\infty,\zeta_1)$, and for each $j=1,\dotsc,M$, let \defcolor{$p_{j+1}$} be the
point coming from the interval $(\zeta_j,\zeta_{j+1})$.
These $M{+}1$ points $p_1,\dotsc,p_{M+1}$ of ${\bf{T}}^N$ are the vertices of the coamoeba ${\mathcal{A}}(\ell)$
of $\ell$.

To understand the rest of the coamoeba, note that when $M\geq 2$ the map $\Arg\circ\Phi$ is
injective on $\P^1\smallsetminus{\bf{R}}\P^1$ (see~\cite[\S~2]{NS}).
(When $M=1$, $\ell$ is parallel to a sum of coordinate directions and ${\mathcal{A}}(\ell)$ is a
translate of the corresponding one-dimensional subtorus of ${\bf{T}}^N$.)
It suffices to consider the image of the upper half plane, as the image of the lower half
plane is obtained by multiplying by $-1$ (induced by complex conjugation).
For the upper half plane, consider $\Arg\circ\Phi(z)$ for $z$ lying on a contour $C$
as shown in Figure~\ref{F:contour}
\begin{figure}[htb]
  \begin{picture}(223,77)
    \put(0,10){\includegraphics{figures/contour.eps}}
    \put(40,0){$\zeta_1$} \put(85,0){$\zeta_2$} \put(185,0){$\zeta_M$}
    \put(228,18){${\bf{R}}$} \put(71,50){$C$}
  \end{picture}
 \caption{Contour in upper half plane}
 \label{F:contour}
\end{figure}
that contains semicircles of
radius $\epsilon$ centered at each root $\zeta_j$ and a semicircle of radius $1/\epsilon$
centered at 0, but otherwise lies along the real axis, for $\epsilon$ a sufficiently small
positive number.

As $z$ moves along $C$, $\Arg\circ\Phi(z)$ takes on values $p_1,\dotsc,p_{M+1}$, for
$z\in C\cap{\bf{R}}$.
On the semicircular arc around $\zeta_j$, it traces a curve from $p_{j}$ to $p_{j+1}$ in
which nearly every component is constant, except for those $i$ where $b_i(\zeta_j)=0$,
each of which decreases by $\pi$.
In the limit as $\epsilon\to 0$, this becomes the line segment between $p_{j}$ and $p_{j+1}$
with direction $-{\bf f}_j$, where
\[
   \defcolor{{\bf f}_j}\ :=\ \sum_{i\colon b_i(\xi_j)=0} {\bf e}_i
   \ =\ \sum_{i=m_j}^{m_{j+1}-1} {\bf e}_i\,,
\]
and where we set ${\bf e}_{N+1}:=-({\bf e}_1+\dotsb+{\bf e}_N)$.
This is because we are really working in the torus for $\P^N$, which is the quotient
${\bf{T}}^{N+1}/\Delta({\bf{T}})$ of ${\bf{T}}^{N+1}$ modulo the diagonal torus, and
${\bf e}_i\in{\bf{T}}^{N+1}/\Delta({\bf{T}})$ is the  image of the standard basis element in ${\bf{T}}^{N+1}$.
Thus ${\bf e}_1+\dotsb+{\bf e}_{N+1}=0$.

Along the arc near infinity, $\Arg\circ\Phi(z)$ approaches the line segment between $p_{M+1}$ and
$p_1$ which has direction $-{\bf f}_{M+1}$, where
 \begin{equation}\label{Eq:bbf_M+1}
   {\bf f}_{M{+}1}\ =\ - \sum_{i\colon b_i(\infty)\neq0} {\bf e}_j\ =\ -({\bf f}_1+\dotsb+{\bf f}_M)\,.
 \end{equation}
This polygonal path connecting $p_1,\dotsc,p_{M+1}$ in cyclic order forms the
boundary of the image of the upper half plane under $\Arg\circ\Phi$, which is a
two-dimensional membrane in ${\bf{T}}^N$.

The boundary of the image of the lower half plane is also a piecewise linear path
connecting $p_1,\dotsc,p_{M+1}$ in cyclic order, but the edge directions are
${\bf f}_1,\dotsc,{\bf f}_{M{+}1}$.

\begin{example}\label{Ex:tc}
 Let $N=3$ and suppose that the affine functions $b_i$ are $z$, $1{-}2z$, $z{-}2$,
 and $1$.
 Then $M=N$, $\xi_i=\zeta_i$, $\zeta_1=0$, $\zeta_1=1/2$, $\zeta_2=2$,
 and ${\bf f}_i={\bf e}_i$.
 The vertices of ${\mathcal{A}}(\ell)$ are
 \[
  p_1\ =\ (\pi,0,\pi)\,,\quad
  p_2\ =\ (0,0,\pi)\,,\quad
  p_3\ =\ (0,-\pi,\pi)\,,\quad \mbox{and}\quad
  p_4\ =\ (0,-\pi,0)\,.
 \]
 Figure~\ref{F:linecoamoeba} shows two views of ${\mathcal{A}}(\ell)$ in the fundamental domain
 $[-\pi,\pi]^3\subset{\bf{R}}^3$ of ${\bf{T}}^3$, where the opposite faces of the cube are identified
 to form ${\bf{T}}^3$.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}
\begin{figure}[htb]
 \begin{picture}(133,115)
    \put(0,0){\includegraphics[height=115pt]{figures/three_1.eps}}
    \put(35, 78){$p_1$}  \put(53,104){$p_2$}
    \put(13,110){$p_3$}  \put(10,62){$p_4$}

    \put(75,33){$p_1$}   \put( 55, 7){$p_2$}
    \put(97, 2){$p_3$}   \put( 97,50){$p_4$}
  \end{picture}
  \qquad\qquad
  \begin{picture}(142,115)(-23,0)
    \put(0,0){\includegraphics[height=115pt]{figures/three_2.eps}}
   \put( 43,104){$p_1$}  \put( 32, 84){$p_2$}
   \put(110, 83){$p_3$}  \put(108,86){\vector(-1,0){20}}
   \put(110, 50){$p_4$}  \put(108,53){\vector(-1,0){20}}

   \put( 30, -2){$p_1$}  \put( 36, 31){$p_2$}
   \put(-23, 28){$p_3$}  \put(-12,30){\vector(1,0){20}}
   \put(-23, 61){$p_4$}  \put(-12,63){\vector(1,0){20}}
  \end{picture}

 \caption{Two views of ${\mathcal{A}}(\ell)$}
 \label{F:linecoamoeba}
\end{figure}

\begin{example}\label{Ex:CoArepeat}
 We consider three examples when $N=3$ in which the affine functions have repeated zeroes.
 For the first, suppose that the affine functions $b_i$ are
 $-1{-}z,-1{-}z,2z$, and $2$.
 These have zeroes $-1\leq-1<0<\infty$ and the vertices of the coamoeba ${\mathcal{A}}(\ell)$ are
\[
   (0,0,\pi)\,,\quad (-\pi,-\pi,\pi)\,,\quad \mbox{and}\quad
   (-\pi,-\pi,0)\,.
\]
 So ${\mathcal{A}}(\ell)$ consists of two triangles with edges parallel to ${\bf e}_1{+}{\bf e}_2$,
 ${\bf e}_3$, and ${\bf e}_1{+}{\bf e}_2{+}{\bf e}_3$.
 It lies in the plane $\theta_1=\theta_2$.

 For a second example, suppose that the affine functions $b_i$ are
 $\frac{1}{2}+z,\frac{1}{2}-z,-2$, and $1$.
 These have zeroes $-1,1,\infty$, and $\infty$.
 The vertices of the coamoeba ${\mathcal{A}}(\ell)$ are
\[
   (\pi,0,\pi)\,,\quad (0,0,\pi)\,,\quad \mbox{and}\quad
   (0,-\pi,\pi)\,.
\]
 So ${\mathcal{A}}(\ell)$ consists of two triangles with edges parallel to ${\bf e}_1$,
 ${\bf e}_2$, and ${\bf e}_1{+}{\bf e}_2$.
 It lies in the plane $\theta_3=\pi$.

 Finally, suppose that the affine functions $b_i$ are
 $-z,1-z,2z-2$, and $1$.
 These have zeroes $0,1,1$, and $\infty$.
 The vertices of the coamoeba ${\mathcal{A}}(\ell)$ are
\[
   (0,0,\pi)\,,\quad (-\pi,0,\pi)\,,\quad \mbox{and}\quad
   (-\pi,-\pi,0)\,.
\]
 So ${\mathcal{A}}(\ell)$ consists of two triangles with edges parallel to ${\bf e}_1$,
 ${\bf e}_2{+}{\bf e}_3$, and ${\bf e}_1{+}{\bf e}_2{+}{\bf e}_3$.
 It lies in the plane $\theta_3=\theta_2+\pi$.
 We display all three coamoebas in Figure~\ref{F:repeat}.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

The \demph{coamoeba chain $\overline{{\mathcal{A}}(\ell)}$} of $\ell$ is the closure of the
coamoeba of $\ell$ in which the image of each half plane (under  $\Arg\circ\Phi(\cdot)$)
is oriented so that its boundary
is an oriented polygonal path connecting $p_1,\dotsc,p_{M+1},p_1$.
On the upper half plane this agrees with the orientation induced by the parametrization
$\P^1\smallsetminus{\bf{R}}\P^1\to{\mathcal{A}}(\ell)$, but it has the opposite orientation on the lower
half plane.
The boundary of $\overline{{\mathcal{A}}(\ell)}$ consists of $M{+}1$ circles in which $p_j$ and
$p_{j+1}$ are antipodal points on the $j$th circle and both semicircles (each is the
boundary of the image of a half plane) are oriented to point from $p_j$ to $p_{j+1}$.
This coamoeba chain is not a closed chain, as it has nonempty oriented boundary, but there
is a natural zonotope chain $Z(\ell)$ such that $\overline{{\mathcal{A}}(\ell)}+Z(\ell)$ is closed.

Intuitively, $Z(\ell)$ is the cone over the boundary of $\overline{{\mathcal{A}}(\ell)}$ with vertex
the origin $\defcolor{{\bf 0}}:=(0,\dotsc,0)$.
Unfortunately, there is no notion of a cone in ${\bf{T}}^N$ and the zonotope chain may be more than
just this cone.
We instead define a chain in ${\bf{R}}^N$ as the cone over an oriented
polygon $P(\ell)$ with vertex the origin and set $Z(\ell)$ to be the image of this chain in
${\bf{T}}^N$.

\begin{definition}\label{Def:Zonotope_chain}
 Recall that the affine functions $b_1,\dotsc,b_N,b_{N{+}1}=1$ are ordered in the
 following way.
 Their zeroes are $\zeta_1<\dotsb<\zeta_M<\zeta_{M{+}1}=\infty$ and there are
 integers $1=m_1<\dotsb<m_{M+1}\leq N{+}1$ and $n_1,\dotsc,n_{M{+}1}$ with
 $m_j< n_j\leq m_{j+1}$ such that one
 of~\eqref{Eq:inc} or~\eqref{Eq:dec} holds, where $\sgn_i$ is the sign of $b_i$ on
 $(-\infty,\zeta_1)$.

 We had defined ${\bf f}_j:=\sum_{i=m_j}^{m_{j+1}-1}{\bf e}_i$.
 We will need the following vectors
\[
   \defcolor{{\bf g}_j}\ :=\ \sum_{i=m_j}^{n_j-1}{\bf e}_i
     \qquad\mbox{and}\qquad
   \defcolor{{\bf h}_j}\ :=\ \sum_{i=m_j}^{m_{j+1}-1}\sgn_i {\bf e}_i\ =\
     \sgn_{m_j}(2{\bf g}_j-{\bf f}_j)\ \,.
\]

 We first define a sequence of points
 $\widetilde{p}\hspace{1.2pt}_1,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1,\dotsc,\widetilde{p}\hspace{1.2pt}_{2M+2},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{2M+2}\in(\pi{\bf{Z}})^N$ with the property that
 $\widetilde{p}\hspace{1.2pt}_i,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_i,\widetilde{p}\hspace{1.2pt}_{M{+}1{+}i},$ and ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{M{+}1{+}i}$ all map to $p_i\in{\bf{T}}^N$.
 To begin, set $\widetilde{p}\hspace{1.2pt}_1$ to be the unique point in $\{0,\pi\}^N\subset{\bf{R}}^N$ which maps to
 $p_1\in{\bf{T}}^N$,
 \begin{equation}\label{Eq:ptilde}
  \widetilde{p}\hspace{1.2pt}_{1,i}\ =\ \arg(\sgn_i)\ =\ \left\{
     \begin{array}{rcl}\pi&\ &\mbox{if }\sgn_i=-1\\
                         0&&\mbox{if }\sgn_i=1\end{array}\right.\ .
 \end{equation}

 For each $j=1,\dotsc,M{+}1$, set $\defcolor{\widetilde{p}\hspace{1.2pt}_{j+1}}:=\widetilde{p}\hspace{1.2pt}_j+\pi{\bf h}_j$.
 Since ${\bf h}_j=\sgn_{m_j}(2{\bf g}_j-{\bf f}_j)$, we have that $\widetilde{p}\hspace{1.2pt}_{j+1}$ maps to $p_{j+1}$, as
 $p_{j+1}=p_j-\pi{\bf f}_j\mod (2\pi{\bf{Z}})^N$.
 For the remainder of the points, if $n_j<m_{j+1}$, so that both signs occur, set
 $\defcolor{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j} := \widetilde{p}\hspace{1.2pt}_j+2\pi\sgn_{m_j}{\bf g}_j$, and otherwise set
 $\defcolor{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j} := \widetilde{p}\hspace{1.2pt}_j$.
 Observe that ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ maps to $p_j$ and that
 in every case, $\widetilde{p}\hspace{1.2pt}_{j+1}={\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j-\pi\sgn_{m_j}{\bf f}_j$.

 We claim that $\widetilde{p}\hspace{1.2pt}_{M{+}2}=-\widetilde{p}\hspace{1.2pt}_1$.
 Since $\widetilde{p}\hspace{1.2pt}_{M{+}2}=\widetilde{p}\hspace{1.2pt}_1+\pi({\bf h}_1+\dotsb+{\bf h}_{M{+}1})$, we need to show that
 $\pi({\bf h}_1+\dotsb+{\bf h}_{M{+}1})=-2\widetilde{p}\hspace{1.2pt}_1$.
 By definition,
\[
  {\bf h}_1+\dotsb+{\bf h}_{M+1}\ =\ \sum_{i=1}^{N+1} \sgn_i{\bf e}_i\,.
\]
 We have $\sgn_{N+1}=1$ as $b_{N{+}1}=1$.
 Since we defined ${\bf e}_{N+1}$ to be $-({\bf e}_1+\dotsb+{\bf e}_N)$, we see that
\[
  {\bf h}_1+\dotsb+{\bf h}_{M+1}\ =\ \sum_{i=1}^N (\sgn_i-1){\bf e}_i\,.
\]
 The $i$th component of this sum is $-2$ if $\sgn_i=-1$ and $0$ if
 $\sgn_i=1$.
 Since $\widetilde{p}\hspace{1.2pt}_{1,i}=\arg(\sgn_i)$, this proves the claim.

 Finally, for each $M{+}2\leq j\leq 2M{+}2$, set
\[
    \defcolor{\widetilde{p}\hspace{1.2pt}_j}\ :=\ -\widetilde{p}\hspace{1.2pt}_{j-(M{+}1)}\qquad\mbox{and}\qquad
    \defcolor{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j}\ :=\ -\widetilde{p}\hspace{1.2pt}_{j-(M{+}1)}\,,
\]
 and let $P(\ell)$ be the cyclically oriented path obtained by connecting
\[
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{2M+2}\,,\,\widetilde{p}\hspace{1.2pt}_{2M+2}\,,\,
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{2M+1}\,,\,\widetilde{p}\hspace{1.2pt}_{2M+1}\,,\, \dotsc,
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2\,,\,\widetilde{p}\hspace{1.2pt}_2\,,\,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1\,,\, \widetilde{p}\hspace{1.2pt}_1
\]
 in cyclic order.
 The cone over $P(\ell)$ with vertex the origin is the union of possibly degenerate triangles of
 the form
\[
  \conv({\bf 0},\widetilde{p}\hspace{1.2pt}_{i+1},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{i})
  \qquad\mbox{and}\qquad
  \conv({\bf 0},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{i},\widetilde{p}\hspace{1.2pt}_{i})
   \qquad\mbox{for}\qquad i=2M{+}2,\dotsc,2,1\,,
\]
where $\widetilde{p}\hspace{1.2pt}_{2M+3}:=\widetilde{p}\hspace{1.2pt}_1$.
Each triangle is oriented so its three vertices  occur in positive order along its boundary.
If a point $\widetilde{p}\hspace{1.2pt}_i$ or ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_i$ is ${\bf 0}$, then the triangles involving it degenerate into line
segments, as do triangles $\conv({\bf 0},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{i},\widetilde{p}\hspace{1.2pt}_{i})$ when ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{i}=\widetilde{p}\hspace{1.2pt}_{i}$.
Let $\widetilde{Z(\ell)}$ be the union of these oriented triangles, which is a chain in
${\bf{R}}^N$.
Define the \demph{zonotope chain $Z(\ell)$} to be the image in ${\bf{T}}^N$ of
$\widetilde{Z(\ell)}$.
\hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{definition}

\begin{example}\label{Ex:CoZrepeat}
Figure~\ref{F:ZC} shows two views of the zonotope chain with the coamoeba chain of
Figure~\ref{F:linecoamoeba}.
\begin{figure}[htb]
  \begin{picture}(153,150)
   \put(0,0){\includegraphics[height=150pt]{figures/ZC_1.eps}}
   \put( 44,101){$\widetilde{p}\hspace{1.2pt}_1$}  \put(69,134){$\widetilde{p}\hspace{1.2pt}_2$}
   \put(120,126){$\widetilde{p}\hspace{1.2pt}_3$}  \put(127,64){$\widetilde{p}\hspace{1.2pt}_4$}
   \put(101, 46){$\widetilde{p}\hspace{1.2pt}_5$}  \put(73,10){$\widetilde{p}\hspace{1.2pt}_6$}
   \put( 18, 32){$\widetilde{p}\hspace{1.2pt}_7$}  \put(18,82){$\widetilde{p}\hspace{1.2pt}_8$}
   \put(70.5,60){${\bf 0}$}
  \end{picture}
   \qquad\qquad
  \begin{picture}(170,150)(-20,0)
   \put(0,0){\includegraphics[height=150pt]{figures/ZC_2.eps}}
   \put( 59,135){$\widetilde{p}\hspace{1.2pt}_1$}  \put( 46,110){$\widetilde{p}\hspace{1.2pt}_2$}
   \put(  0,126){$\widetilde{p}\hspace{1.2pt}_3$}
   \put(-20, 78){$\widetilde{p}\hspace{1.2pt}_4$} \put(-8,82){\vector(1,0){18}}
   \put( 55,  9){$\widetilde{p}\hspace{1.2pt}_5$}  \put( 65, 35){$\widetilde{p}\hspace{1.2pt}_6$}
   \put(113, 21){$\widetilde{p}\hspace{1.2pt}_7$}
   \put(133, 66){$\widetilde{p}\hspace{1.2pt}_8$} \put(131,69){\vector(-1,0){18}}
   \put(53,66){${\bf 0}$}
  \end{picture}
 \caption{Two views of the coamoeba and zonotope chains}
 \label{F:ZC}
\end{figure}
 Now consider the zonotope chains for the three lines of Example~\ref{Ex:CoArepeat}.
 When $\ell$ is defined by $z\mapsto[-1-z,-1-z,2z,2]$, the points $\widetilde{p}\hspace{1.2pt}_1,\dotsc,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_6$
 (omitting repeated points) are
\[
  (0,0, \pi)\,,\ ( \pi, \pi, \pi)\,,\ ( \pi, \pi,0)\,,\
  (0,0,-\pi)\,,\ (-\pi,-\pi,-\pi)\,,\quad\mbox{ and }\quad (-\pi,-\pi,0)\,.
\]
We display the coamoeba chain and the zonotope chain of $\ell$ at the left of
Figure~\ref{F:repeat}.
\begin{figure}[htb]

 \begin{picture}(102,150)(0,-20)
  \put(0,0){\includegraphics[height=110pt]{figures/equal.eps}}
  \put( 51, 95){$\widetilde{p}\hspace{1.2pt}_1$}  \put(79, 72){$\widetilde{p}\hspace{1.2pt}_2$}
  \put( 79, 35){$\widetilde{p}\hspace{1.2pt}_3$}
  \put( 39, 10){$\widetilde{p}\hspace{1.2pt}_4$}  \put( 11, 35){$\widetilde{p}\hspace{1.2pt}_5$}
  \put( 11, 70){$\widetilde{p}\hspace{1.2pt}_6$}
  \thicklines
   \put( 12,118){\White{\vector(2,-3){21}}}
   \put( 90, -8){\White{\vector(-2,3){21}}}
  \thinlines
  \put(0 ,121){${\mathcal{A}}(\ell)$}\put( 12,118){\vector(2,-3){20}}
  \put(80,-18){${\mathcal{A}}(\ell)$}\put( 90, -8){\vector(-2,3){20}}
 \end{picture}
  \qquad
 \begin{picture}(116,150)(-5,-20)
  \put(0,0){\includegraphics[height=110pt]{figures/parallelI.eps}}
  \put(12, 75){$\widetilde{p}\hspace{1.2pt}_1$}   \put( 50,97){$\widetilde{p}\hspace{1.2pt}_2$}
  \put(79, 71){$\widetilde{p}\hspace{1.2pt}_3$}   \put( 72,-5){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3$}
  \put(88, 30){$\widetilde{p}\hspace{1.2pt}_4$}
  \put( 6,  4){$\widetilde{p}\hspace{1.2pt}_5$}
  \put( 25,18){$\widetilde{p}\hspace{1.2pt}_6$}  \put( 25,107){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_6$}
  \put(-5,122){${\mathcal{A}}(\ell)$}
  \put( 28, -19){${\mathcal{A}}(\ell)$}
  \thicklines
   \put(16, 9){\White{\vector(4,1){36}}}
   \put(8,118){\White{\vector(1,-1){28}}}
   \put(42,-9){\White{\vector(1, 1){28}}}
  \thinlines
   \put(16,9){\vector(4,1){35}}
   \put(8,118){\vector(1,-1){27}}
   \put(42,-9){\vector(1, 1){27}}
 \end{picture}
  \qquad
 \begin{picture}(181,150)(-5,-20)
  \put(0,0){\includegraphics[height=110pt]{figures/parallelII.eps}}
  \put( 83,  97){$\widetilde{p}\hspace{1.2pt}_1$}   \put(104, 89){$\widetilde{p}\hspace{1.2pt}_2$}
  \put(166, 101){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2$}  \put(144, 47){$\widetilde{p}\hspace{1.2pt}_3$}
  \put( 81,   7){$\widetilde{p}\hspace{1.2pt}_4$}
  \put( 60, 19){$\widetilde{p}\hspace{1.2pt}_5$}
  \put( -5,  3){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_5$}   \put( 20, 64){$\widetilde{p}\hspace{1.2pt}_6$}
  \put(  0,120){${\mathcal{A}}(\ell)$}
  \put(145, -10){${\mathcal{A}}(\ell)$}
  \thicklines
   \put( 18,114){\White{\vector(2,-1){49}}}
   \put(153,  0){\White{\vector(-2,1){49}}}
  \thinlines
   \put( 18,114){\vector(2,-1){48}}
   \put(153,  0){\vector(-2,1){48}}
 \end{picture}

\caption{Coamoeba and zonotope chains}
\label{F:repeat}
\end{figure}

When $\ell$ is defined by $z\mapsto [\frac{1}{2}+z,\frac{1}{2}-z,-2,1]$, the points
$\widetilde{p}\hspace{1.2pt}_1,\dotsc,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_6$ are
 \begin{eqnarray*}
  &\widetilde{p}\hspace{1.2pt}_1\ =\ (\pi,0,\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_2\ =\ (0,0,\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_3\ =\ (0,\pi,\pi)\,,\
  \Magenta{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3\ =\ (0,\pi,-\pi)}\,,&\\
  &\widetilde{p}\hspace{1.2pt}_4\ =\ (-\pi,0,-\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_5\ =\ (0,0,-\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_6\ =\ (0,-\pi,-\pi)\,,\
  \Magenta{\widetilde{p}\hspace{1.2pt}_6'\ =\ (0,-\pi,\pi)}\,.&
 \end{eqnarray*}
We display the coamoeba and zonotope chains of $\ell$ in the middle of Figure~\ref{F:repeat}.

When $\ell$ is defined by $z\mapsto [-z,1-z,2z-2,1]$, the
points $\widetilde{p}\hspace{1.2pt}_1,\dotsc,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_6$  are
 \begin{eqnarray*}
  &\widetilde{p}\hspace{1.2pt}_1\ =\ (0,0,\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_2\ =\ (\pi,0,\pi)\,,\
  \Magenta{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2\ =\ (\pi,2\pi,\pi)}\,,\
  \widetilde{p}\hspace{1.2pt}_3\ =\ (\pi,\pi,0)\,,&\\
  &\widetilde{p}\hspace{1.2pt}_4\ =\ (0,0,-\pi)\,,\
  \widetilde{p}\hspace{1.2pt}_5\ =\ (-\pi,0,-\pi)\,,\
  \Magenta{{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_5\ =\ (-\pi,-2\pi,-\pi)}\,,\
  \widetilde{p}\hspace{1.2pt}_6\ =\ (-\pi,-\pi,0)\,.&
 \end{eqnarray*}
We display the coamoeba and zonotope chains of $\ell$ on the right of Figure~\ref{F:repeat}.
\hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

We state the main result of this section.

\begin{theorem}\label{Th:homology}
  The sum, $\overline{{\mathcal{A}}(\ell)}+Z(\ell)$, of the coamoeba chain and the zonotope chain forms a
  cycle in ${\bf{T}}^N$ whose homology class is
\[
   [\overline{{\mathcal{A}}(\ell)}+Z(\ell)]\ =\
    \sum_{\substack{1\leq i<j\leq N\\(\widetilde{p}\hspace{1.2pt}_{1,i},\widetilde{p}\hspace{1.2pt}_{1,j})=(0,\pi)}}
    {\bf e}_i\wedge{\bf e}_j\,.
\]
\end{theorem}

\begin{example}\label{Ex:homology_class}
For the line of Example~\ref{Ex:tc}, $\widetilde{p}\hspace{1.2pt}_1=(\pi,0,\pi)$, and the only entries $i<j$ with 0 at
$i$ and $\pi$ at $j$ are $i=2$ and $j=3$, and so
\[
    [\overline{{\mathcal{A}}(\ell)}+Z(\ell)]\ =\ {\bf e}_2\wedge{\bf e}_3\,.
\]
For the first line of Example~\ref{Ex:CoArepeat}, $\widetilde{p}\hspace{1.2pt}_1=(0,0,\pi)$, and so
\[
    [\overline{{\mathcal{A}}(\ell)}+Z(\ell)]\ =\ {\bf e}_1\wedge{\bf e}_3 + {\bf e}_2\wedge{\bf e}_3\,.
\]
For the second line of Example~\ref{Ex:CoArepeat}, $\widetilde{p}\hspace{1.2pt}_1=(\pi,0,\pi)$, so
that $[\overline{{\mathcal{A}}(\ell)}+Z(\ell)]={\bf e}_2\wedge{\bf e}_3$.
For the third line of Example~\ref{Ex:CoArepeat}, $\widetilde{p}\hspace{1.2pt}_1=(0,0,\pi)$, and
$[\overline{{\mathcal{A}}(\ell)}+Z(\ell)]={\bf e}_1\wedge{\bf e}_3 + {\bf e}_2\wedge{\bf e}_3$.
These homology classes are apparent from Figures~\ref{F:ZC} and~\ref{F:repeat}.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

\begin{example}\label{Ex:plane}
 Our proof of Theorem~\ref{Th:homology} rests on the case of $N=2$.
 Suppose first that $M=2$.
 Up to positive rescaling and translation in the domain ${\bf{R}}\P^1$, there are four lines.
\[
  \begin{picture}(65,62)(-7.5,-12)
     \put(0,0){\includegraphics{figures/lineI.eps}}
     \put(-4.5,-12){$[z:z{-}1:1]$}
   \end{picture}
  \qquad
   \begin{picture}(65,62)(-7.5,-12)
     \put(0,0){\includegraphics{figures/lineIV.eps}}
     \put(-4.5,-12){$[z:1{-}z:1]$}
   \end{picture}
  \qquad
    \begin{picture}(65,62)(-7.5,-12)
     \put(0,0){\includegraphics{figures/lineIII.eps}}
     \put(-8.5,-12){$[-z:1{-}z:1]$}
   \end{picture}
  \qquad
    \begin{picture}(65,62)(-7.5,-12)
     \put(0,0){\includegraphics{figures/lineII.eps}}
     \put(-8.5,-12){$[-z:z{-}1:1]$}
   \end{picture}
\]
 For these, the initial point
 $p_1$ is $(\pi,\pi)$, $(\pi,0)$, $(0,0)$, and $(0,\pi)$, respectively.
 The four coamoeba chains are, in the fundamental domain $[-\pi,\pi]^2$,
\[
   \includegraphics{figures/2dcoamoebaI.eps}
  \qquad
   \includegraphics{figures/2dcoamoebaIV.eps}
  \qquad
   \includegraphics{figures/2dcoamoebaIII.eps}
  \qquad
   \includegraphics{figures/2dcoamoebaII.eps}
\]
 and the corresponding zonotope chains are as follows.
\[
   \includegraphics{figures/2dzonotopeI.eps}
  \qquad
   \includegraphics{figures/2dzonotopeIV.eps}
  \qquad
   \includegraphics{figures/2dzonotopeIII.eps}
  \qquad
   \includegraphics{figures/2dzonotopeII.eps}
\]
 For each, the sum $\overline{{\mathcal{A}}(\ell)}+Z(\ell)$ of chains is a
 cycle.
 This cycle is homologous to zero for the first three, and it forms the
 fundamental cycle ${\bf e}_1\wedge{\bf e}_2$ of ${\bf{T}}^2$ for the fourth.

 Now suppose that $M=1$.
 We may assume that $\xi_1=0$.
 Up to positive rescaling there are eight
 possibilities for the parametrization of $\ell$,
 \begin{eqnarray*}
   &[-z:-z:1]\,,\
   [ z: z:1]\,,\
   [-z: 1:1]\,,\
   [ z: 1:1]\,,&\\
   &[ z:-z:1]\,,\
   [ z:-1:1]\,,\
   [-z:-1:1]\,,\
   [-z: z:1]\,.&
 \end{eqnarray*}
 For all of these, the coamoeba is one-dimensional.
 In the first four, the zonotope chain is one-dimensional.
 Table~\ref{T:paths} gives the parametrization, the vertices of the coamoeba of the upper half plane, and
 the path $P(\ell)=\widetilde{p}\hspace{1.2pt}_4,\widetilde{p}\hspace{1.2pt}_3,\widetilde{p}\hspace{1.2pt}_2,\widetilde{p}\hspace{1.2pt}_1$ for these four.
\begin{table}[htb]
 \caption{Coamoeba and zonotope chains.}\label{T:paths}
 \begin{tabular}{|r||l|l|}\hline
  \multicolumn{1}{|c||}{$\ell$} &\multicolumn{1}{|c|}{${\mathcal{A}}(\ell)$}&\multicolumn{1}{|c|}{$P(\ell)$}\\\hline
  $[-z:-z:1]$&$(0,0)\,,\,(-\pi,-\pi)$&$(-\pi,-\pi)\,,\,(0,0)\,,\,(\pi,\pi)\,,\,(0,0)$\\\hline
  $[ z: z:1]$&$(\pi,\pi)\,,\,(0,0)  $&$(0,0)\,,\,(-\pi,-\pi)\,,\,(0,0)\,,\,(\pi,\pi)$\\\hline
  $[-z: 1:1]$&$(0,0)\,,\,(-\pi,0)   $&$(-\pi,0)\,,\,(0,0)\,,\,(\pi,0)\,,\,(0,0)$\\\hline
  $[ z: 1:1]$&$(\pi,0)\,,\,(0,0)    $&$(0,0)\,,\,(-\pi,0)\,,\,(0,0)\,,\,(\pi,0)$\\\hline
 \end{tabular}
\end{table}

 The remaining parametrizations are more interesting.
 When $\ell$ is given by $z\mapsto[z:-z:1]$, we have $p_1=(\pi,0)$ and $p_2=(0,-\pi)$, and
 $P(\ell)$ is
\[
   \widetilde{p}\hspace{1.2pt}_4=(0,-\pi)\,,\ {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3=(\pi,0)\,,\ \widetilde{p}\hspace{1.2pt}_3=(-\pi,0)\,,\
   \widetilde{p}\hspace{1.2pt}_2=(0,\pi)\,,\ {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1=(-\pi,0)\,,\quad\mbox{and}\quad\widetilde{p}\hspace{1.2pt}_1=(\pi,0)\,,
\]
 and the zonotope chain is shown on the left in Figure~\ref{F:M=1}.
 The path $\widetilde{p}\hspace{1.2pt}_4{-}{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3{-}\widetilde{p}\hspace{1.2pt}_3{-}\widetilde{p}\hspace{1.2pt}_2{-}{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1{-}\widetilde{p}\hspace{1.2pt}_1{-}\widetilde{p}\hspace{1.2pt}_4$ zig-zags over itself, once
 in each direction, and consequently each triangle is covered twice, once with each
 orientation, and therefore $[Z(\ell)]=0$ in homology.
\begin{figure}[htb]

\begin{picture}(90,89)(-23,-24)
  \put(0,0){\includegraphics{figures/2dzonotopeV.eps}}
  \put( 42,33){$\widetilde{p}\hspace{1.2pt}_1={\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3$}
  \put(-23,15){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1=\widetilde{p}\hspace{1.2pt}_3$}
  \put(23,-9){$\widetilde{p}\hspace{1.2pt}_4$}   \put(23,58){$\widetilde{p}\hspace{1.2pt}_2$}
  \put(0,-24){$[ z:-z:1]$}
\end{picture}
\qquad
\begin{picture}(81,89)(-15,-24)
  \put(0,0){\includegraphics{figures/2dzonotopeVI.eps}}
  \put(-11,-7){$\widetilde{p}\hspace{1.2pt}_3$} \put(57,52){$\widetilde{p}\hspace{1.2pt}_1$}
  \put(21,-9){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2{\,=\,}\widetilde{p}\hspace{1.2pt}_4$}
  \put(-2,58){$\widetilde{p}\hspace{1.2pt}_2{\,=\,}{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_4$}
  \put(0,-24){$[ z:-1:1]$}
\end{picture}
\qquad
\begin{picture}(81,89)(-15,-24)
  \put(0,0){\includegraphics{figures/2dzonotopeVII.eps}}
  \put(-11,55){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_4$} \put(-11,-7){$\widetilde{p}\hspace{1.2pt}_4$}
  \put(22,-9){$\widetilde{p}\hspace{1.2pt}_3$}  \put(57,-7){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2$}
  \put(57,52){$\widetilde{p}\hspace{1.2pt}_2$}  \put(22,58){$\widetilde{p}\hspace{1.2pt}_1$}
  \put(0,-24){$[-z:-1:1]$}
\end{picture}
\qquad
\begin{picture}(120,89)(-32,-24)
  \put(0,0){\includegraphics{figures/2dzonotopeVIII.eps}}
  \put(-11,30){$\widetilde{p}\hspace{1.2pt}_4$} \put(-36,-3){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3$}
  \put(23,-9){$\widetilde{p}\hspace{1.2pt}_3$}  \put(56,19){$\widetilde{p}\hspace{1.2pt}_2$}
  \put(81,52){${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1$}  \put(22,58){$\widetilde{p}\hspace{1.2pt}_1$}
  \put(0,-24){$[-z: z:1]$}
\end{picture}

\caption{Four more zonotope chains.}\label{F:M=1}

\end{figure}

 When $\ell$ is given by $[z:-1:1]$, we have $p_1=(\pi,\pi)$ and $p_2=(0,\pi)$, and
 $P(\ell)$ is
\[
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_4=(0,\pi)\,,\ \widetilde{p}\hspace{1.2pt}_4=(0,-\pi)\,,\ \widetilde{p}\hspace{1.2pt}_3=(-\pi,-\pi)\,,
   \ {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2=(0,-\pi)\,,\ \widetilde{p}\hspace{1.2pt}_2=(0,\pi)\,,\quad\mbox{and}\quad\widetilde{p}\hspace{1.2pt}_1=(\pi,\pi)\,,
\]
 and the zonotope chain is shown on the left center of Figure~\ref{F:M=1}.
 As before, each triangle is covered twice, once with each orientation, and therefore
 $[Z(\ell)]=0$ in homology.

 When $\ell$ is given by $[-z:-1:1]$, we have $p_1=(0,\pi)$ and
 $p_2=(-\pi,\pi)$, and $P(\ell)$ is
\[
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_4=(-\pi,\pi)\,,\ \widetilde{p}\hspace{1.2pt}_4=(-\pi,-\pi)\,,\  \widetilde{p}\hspace{1.2pt}_3=(0,-\pi)\,,
   {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2=(\pi,-\pi)\,,\ \widetilde{p}\hspace{1.2pt}_2=(\pi,\pi)\,,\quad\mbox{and}\quad  \widetilde{p}\hspace{1.2pt}_1=(0,\pi)\,,
\]
 and the zonotope chain is shown on the right center of Figure~\ref{F:M=1}.
 The triangles $\conv({\bf 0},\widetilde{p}\hspace{1.2pt}_2,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_2)$ and $\conv({\bf 0},\widetilde{p}\hspace{1.2pt}_4,{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_4)$ are shaded
 differently.
 The zonotope chain is equal to the fundamental cycle of ${\bf{T}}^2$, with the standard
 positive orientation.
 Thus $[Z(\ell)]={\bf e}_1\wedge{\bf e}_2$ in homology.

 Finally, when $\ell$ is given by $[-z: z:1]$, we have $p_1=(0,\pi)$ and
 $p_2=(-\pi,0)$, and $P(\ell)$ is
\[
   \widetilde{p}\hspace{1.2pt}_4=(-\pi,0)\,,\ {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_3=(-2\pi,-\pi)\,,\  \widetilde{p}\hspace{1.2pt}_3=(0,-\pi)\,,
   \widetilde{p}\hspace{1.2pt}_2=( \pi,0)\,,\ {\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_1=( 2\pi, \pi)\,,\quad\mbox{and}\quad  \widetilde{p}\hspace{1.2pt}_1=(0,\pi)\,,
\]
 and the zonotope chain is shown on the right of Figure~\ref{F:M=1}.
 Again, $[Z(\ell)]=[{\bf{T}}^2]$.

 Observe that ${\mathcal{A}}(\ell)+Z(\ell)$ forms a cycle which is homologous to zero
 unless $\widetilde{p}\hspace{1.2pt}_1=(0,\pi)$, in which case it equals the fundamental cycle ${\bf e}_1\wedge{\bf e}_2$ of ${\bf{T}}^2$.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

\begin{proof}[Proof of Theorem~$\ref{Th:homology}$]
 We show that the two chains $\overline{{\mathcal{A}}(\ell)}$ and $Z(\ell)$ have
 the same boundary, but with opposite orientation, which implies that their sum is a cycle.
 We observed that the boundary of ${\mathcal{A}}(\ell)$ lies along the $M{+}1$ circles in which
 the $j$th contains $p_j$ and $p_{j+1}$ (with $p_{M+2}=p_1$) and has direction parallel to
 ${\bf f}_j$.
 On this $j$th circle the boundary of ${\mathcal{A}}(\ell)$ consists of the two semicircles
 oriented from $p_j$ to $p_{j+1}$.

 There are two types of edges forming the boundary of the zonotope cycle $Z(\ell)$.
 The first comes from the edges of $P(\ell)$ with direction $\pm{\bf f}_j$ connecting
 $\widetilde{p}\hspace{1.2pt}_{j+1}$ to ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ and  $\widetilde{p}\hspace{1.2pt}_{M+1+j+1}$ to ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{M+1+j}$, and the second
 comes from edges connecting ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ to $\widetilde{p}\hspace{1.2pt}_j$, when ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j\neq\widetilde{p}\hspace{1.2pt}_j$.

 The first type of edge gives a part of the boundary of $Z(\ell)$ which is equal to the
 boundary of ${\mathcal{A}}(\ell)$, but with opposite orientation.
 (The edges point from $p_{j+1}$ to $p_j$.)
 The edges of the second type come in pairs which cancel each other.
 Indeed, when $\widetilde{p}\hspace{1.2pt}_j\neq{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$, then the edge from ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ to $\widetilde{p}\hspace{1.2pt}_j$ is the directed
 circle connecting $p_j$ with itself and having direction $\pm{\bf g}_j$, which is equal to, but
 opposite from, the edge connecting ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_{M+1+j}$ to $\widetilde{p}\hspace{1.2pt}_{M+1+j}$.
 Thus $\overline{{\mathcal{A}}(\ell)}+Z(\ell)$ forms a cycle in homology.

 We determine the homology class $[\overline{{\mathcal{A}}(\ell)}+Z(\ell)]$ by computing its pushforward
 to each two-dimensional coordinate projection of ${\bf{T}}^N$.
 Let $1\leq i<j\leq N$ be two coordinate directions and consider
 the projection onto the plane of the coordinates $i$
 and $j$, which is a map ${\it pr}\colon{\bf{T}}^N\to{\bf{T}}^2$.
 The image of $\ell$ under ${\it pr}$ is parametrized by
 \begin{equation}\label{Eq:proj_param}
  z\ \longmapsto\
  [b_i(z)\,:\,b_j(z)\,:\,b_{N+1}(z)]\,.
 \end{equation}

 If $b_i,b_j$, (and $b_{N{+}1}=1$) all vanish at $\xi_{N{+}1}=\infty$, then the image of
 $\ell$ under ${\it pr}$ is a point, and the image of $Z(\ell)$ is either a point or is
 one-dimensional, and so ${\it pr}_*[{\mathcal{A}}(\ell)+Z(\ell)]=0$.
 In this case $(\widetilde{p}\hspace{1.2pt}_{1,i},\widetilde{p}\hspace{1.2pt}_{1,j})$ is either $(0,0)$, $(\pi,0)$, or $(\pi,\pi)$,
 by~\eqref{Eq:inc} and~\eqref{Eq:ptilde}.

 Otherwise, the image of $\ell$ under the
 projection of $\P^N$ to the $(i,j)$-coordinate plane is the line
 $\ell'$ parameterized by~\eqref{Eq:proj_param}.
 It is immediate from the definitions that
\[
   {\it pr}(\overline{{\mathcal{A}}(\ell)})\ = \overline{{\mathcal{A}}(\ell')}
    \qquad\mbox{and}\qquad
   {\it pr}(Z(\ell))\ =\ Z(\ell')\,.
\]
 When $b_i$ and $b_j$ have distinct (finite) zeroes, say $\zeta_a$ and $\zeta_b$, then ${\it pr}$ is
 injective on the interior of $\overline{{\mathcal{A}}(\ell)}$ and on the edges with directions
 $\pm{\bf f}_a$, $\pm{\bf f}_b$, and $\pm{\bf f}_{M+1}$ (sending them to edges with directions
 $\pm{\bf e}_1$, $\pm{\bf e}_2$, and $\pm({\bf e}_1{+}{\bf e}_2)$) and collapsing the others
 to points.
 In the other cases, ${\mathcal{A}}(\ell')$ is a circle.
 However, in all cases ${\it pr}$ is one-to-one over the interiors of each triangle in the
 image zonotope cycle  $Z(\ell')$, collapsing the other triangles to line segments or to points.
 Thus
\[
   {\it pr}_*[\overline{{\mathcal{A}}(\ell)}+Z(\ell)]\ =\
   [\overline{{\mathcal{A}}(\ell')}+Z(\ell')]\,.
\]
 Since the last vertex of the path $P(\ell')$ is $(\widetilde{p}\hspace{1.2pt}_{1,i},\widetilde{p}\hspace{1.2pt}_{1,j})$, the theorem
 follows from the computation of Example~\ref{Ex:plane}.
\end{proof}

\section{Structure of discriminant coamoebas in dimension two}\label{S:three}

Suppose now that $B\subset{\bf{Z}}^2$ is a multiset of $N{+}1$ vectors which span ${\bf{R}}^2$ and
have sum ${\bf 0}=(0,0)$.
We use $B=\{{\bf b}_1,\dotsc,{\bf b}_{N{+}1}\}$ to define a rational map ${\bf{C}}^2-\to{\bf{C}}^2$
 \begin{equation}\label{Eq:HK}
  z\ \longmapsto\
  \Big( \prod_{i=1}^{N+1} \langle {\bf b}_i,z\rangle^{{\bf b}_{i,1}}\,,\,
        \prod_{i=1}^{N+1} \langle {\bf b}_i,z\rangle^{{\bf b}_{i,2}}\Bigr)\,.
 \end{equation}
Since $\sum_i {\bf b}_i={\bf 0}$, each coordinate is homogenous of degree $0$, and
so~\eqref{Eq:HK} induces a rational map $\Psi_B\colon\P^1\to\P^2$ (where the image has
distinguished coordinates).
Define \defcolor{$D_B$} to be the image of this map~\eqref{Eq:HK}.
When $B$ consists of distinct vectors that span ${\bf{Z}}^2$, then it is Gale dual to a
set of vectors of the form $(1,{\bf a})$ for ${\bf a}\in A\subset{\bf{Z}}^{n+2}$.
In this case,~\eqref{Eq:HK} is the Horn-Kapranov parametrization~\cite{K91} of the reduced
$A$-discriminant.
We use Theorem~\ref{Th:homology} to study the coamoeba \defcolor{${\mathcal{A}}_B$} of $D_B$ and
its complement, for any multiset $B$.

The results of Section~\ref{S:realline} are applicable because the map~\eqref{Eq:HK} factors,
\[
  \begin{array}{rcrcl}
   {\bf{C}}^2\ni z&\longmapsto&(\langle{\bf b}_1,z\rangle,\langle{\bf b}_2,z\rangle,
               \dotsc,\langle{\bf b}_{N+1},z\rangle)\in{\bf{C}}^{N+1}\\
   &&{\bf{C}}^{N+1}\ni (x_1,x_2,\dotsc,x_{N+1})&\longmapsto&
     {\displaystyle\Big( \prod_{i=1}^{N+1} x_i^{{\bf b}_{i,1}}\,,\,
           \prod_{i=1}^{N+1} x_i^{{\bf b}_{i,2}}\Bigr)\in{\bf{C}}^2}
  \end{array}
\]
The first map, $\Phi_B$, is linear and the second, $\beta$, is a monomial map.
They induce maps $\P^1\to\P^N-\to\P^2$, with the second a rational map.
Let \defcolor{$\ell_B$} be the image of $\Phi_B$ in $\P^N$, which is a real line as in
Section~\ref{S:realline}.
The map $\Arg(\beta)$ is the homomorphism ${\bf{T}}^N\to{\bf{T}}^2$ induced by the linear map
on the universal covers, (also written $\Arg(\beta)$),
 \[
  \Arg(\beta)\ \colon\ {\bf{R}}^N\ \ni\ {\bf e}_i\ \longmapsto\ {\bf b}_i\ \in\ {\bf{R}}^2\,,
 \]
and the following is immediate.

\begin{lemma}\label{L:coamoeba_structure}
   The coamoeba ${\mathcal{A}}_B$ is the image of the coamoeba ${\mathcal{A}}(\ell_B)$ under
   the map $\Arg(\beta)$.
\end{lemma}

\begin{example}\label{Ex:rational_cubic}
 Let $B$ be the vector configuration $\{(1,0), (-2,1), (1,-2), (0,1)\}$.
 Observe that ${\bf b}_1+{\bf b}_2+{\bf b}_3+{\bf b}_4=0$ and $3{\bf b}_1+2{\bf b}_2+{\bf b}_3=0$, thus $B$ is Gale dual
 to the vector configuration $\{(1,3),(1,2),(1,1),(1,0)\}\subset\{1\}\times{\bf{Z}}$.
 So $A$ is simply $\{0,1,2,3\}$ if we identify ${\bf{Z}}$ with $\{1\}\times{\bf{Z}}$.
We show these two configurations.
\[
  \begin{picture}(63,58)(-10,-4)
   \put(0,0){\includegraphics{figures/vectorsB.eps}}
   \put( 27,47){${\bf b}_4$}   \put(47,26){${\bf b}_1$}
   \put(-3,50){${\bf b}_2$}   \put(47,-4){${\bf b}_3$}
   \put(5,5){$B$}
  \end{picture}
   \qquad\qquad
  \begin{picture}(68,59)(-2,0)
   \put(0,30){\includegraphics{figures/vectorsA.eps}}
   \put(-1.5,23.4){$0$} \put(18.8,23.4){$1$}
   \put(38.8,23.4){$2$} \put(58.8,23.4){$3$}
   \put(29,44){$A$}
  \end{picture}
\]
 Observe that the convex hull of $A$ has volume $d_B=3$.

 The map~\eqref{Eq:HK} becomes
\[
   (x,y)\ \longmapsto\ \Bigl( \frac{x(x-2y)}{(y-2x)^2}\,,\,
          \frac{y(y-2x)}{(x-2y)^2}\Bigr)\,,
\]
 whose image is the curve below.
\[
  \begin{picture}(81,100)
   \put(0,0){\includegraphics[height=100pt]{figures/Adiscr.eps}}
   \put(21,76.5){$-2$}   \put(78,29){$-2$}
  \end{picture}
\]
 The line $\ell_B$ is the line of Example~\ref{Ex:tc} and so ${\mathcal{A}}_B$ is the image of the
 coamoeba of Figure~\ref{F:linecoamoeba} under the map
\[
   \Arg(\beta)\ \colon\ (\theta_1,\theta_2,\theta_3)\ \longmapsto\
    (\theta_1{-}2\theta_2{+}\theta_3, \theta_2{-}2\theta_3)\,.
\]
 We display this image below, first in the fundamental domain $[\pi,\pi]^2$ of ${\bf{T}}^2$, and
 then in  universal cover ${\bf{R}}^2$ of ${\bf{T}}^2$ (each square is one fundamental domain).
 \begin{equation}\label{Eq:A-discr}
  \raisebox{-40pt}{\begin{picture}(60,90)
   \put(0,0){\includegraphics{figures/AdiscrCo.eps}}
   \put(23,2){${\mathcal{A}}_B$}
  \end{picture}
   \qquad\qquad
  \begin{picture}(165,90)(5,0)
   \put(37,0){\includegraphics{figures/AdiscrCoUC.eps}}
   \put(0,2){${\mathcal{A}}_B$}
   \put(20,5){\vector(1,0){92}}
   \put(11,13){\vector(1,2){31}}
   \put(84,46){$0$}
   \put(105,75){$Z_B$} \put(104,78){\vector(-2,-1){30}}
  \end{picture}}
 \end{equation}
 In the picture on the left, the darker shaded regions are where the argument map is
 two-to-one.
 The octagon on the right is the zonotope $Z_B$ generated by $B$ and it is the image of the
 zonotope chain of Figure~\ref{F:ZC} under the map $\Arg(\beta)$.
 Observe that the union of the coamoeba and the zonotope covers the fundamental domain $d_B=3$
 times.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

What we observe in this example is in fact quite general.
We first use Lemma~\ref{L:coamoeba_structure} to describe the coamoeba ${\mathcal{A}}_B$
more explicitly, then study the zonotope $Z_B$ generated by $B$, before making an
important definition and giving our proof of Theorem~\ref{T:NP}.

The line $\ell_B$ is parametrized by the forms
$z\mapsto\langle {\bf b}_i,z\rangle$, for $i=1,\dotsc,N{+}1$.
Let $\xi_i\in{\bf{R}}\P^1$ be the zero of the $i$th form,
and suppose these are in  a weakly increasing cyclic order on ${\bf{R}}\P^1$,
\[
   \xi_1\ \leq\ \xi_2\ \leq\ \dotsb\ \leq\ \xi_{N+1}\,.
\]
Next, identify $\P^1\smallsetminus\{\xi_{N+1}\}$ with
${\bf{C}}$, so that $\xi_{N+1}$ is the point $\infty$ at infinity, and suppose that the
distinct zeroes are
\[
   \zeta_1\ <\ \zeta_2\ <\ \dotsb\ <\ \zeta_M\ <\ \zeta_{M{+}1}\ =\ \infty\,.
\]

By the description of the coamoeba ${\mathcal{A}}(\ell_B)$ of
Section~\ref{S:realline} and Lemma~\ref{L:coamoeba_structure}, we see that the coamoeba
${\mathcal{A}}_B$ is composed of two components, each bounded by polygonal paths that are the
images of the boundary of ${\mathcal{A}}(\ell_B)$ under the map $\Arg(\beta)$.
For each $j=1,\dotsc,M{+}1$, set
\[
  \defcolor{{\bf c}_j}\ :=\ \Arg(\beta)({\bf f}_j)\ =\ \sum_{i\colon \langle{\bf b}_i,\zeta_j\rangle=0} {\bf b}_i\,.
\]
The components of ${\mathcal{A}}_B$ correspond to the half planes of $\P^1$, and the boundary
along each is the polygonal path with edges $\pm\pi{\bf c}_1,\dotsc,\pm\pi{\bf c}_{M+1}$ with the
$+$ signs for the upper half plane and $-$ signs for the lower half plane.
The complete description requires the following proposition, which is explained
in~\cite[\S~2]{NP10}.

\begin{proposition}\label{P:unrammified}
 Suppose that $M>1$.
 Then the composition
\[
   \P^1\smallsetminus\{\zeta_1,\dotsc,\zeta_{M+1}\}
          \xrightarrow{\,\Psi_B\,}D_B\xrightarrow{\,\Arg\,}{\mathcal{A}}_B\ \subset\ {\bf{T}}^2
\]
 is an immersion when restricted to $\P^1\smallsetminus{\bf{R}}\P^1$ (in fact it is locally a
 covering map).
\end{proposition}

The edges $\pm\pi{\bf c}_1,\dotsc,\pm\pi{\bf c}_{M+1}$ decompose ${\bf{T}}^2$ into polygonal regions.
Over each polygonal region the map of Proposition~\ref{P:unrammified} has a constant number of
preimages.
This number of preimages equals the winding number of the polygonal path around that region.
Then the pushforward $\Arg(\beta)_*(\overline{{\mathcal{A}}(\ell_B)})$ of the coamoeba chain of
the line $\ell_B$ is the chain in ${\bf{T}}^2$ where the multiplicity of a region is this number
of preimages/winding number.
This equals the coamoeba chain of $D_B$.
We will write \defcolor{$\overline{{\mathcal{A}}_B}$} for this chain
$\Arg(\beta)_*(\overline{{\mathcal{A}}(\ell_B)})$, as our arguments use the pushforward.

There is another natural chain we may define from the vector configuration $B$.
Let $\defcolor{\overline{{\bf 0},\pi{\bf b}_i}}$ be the directed line segment in ${\bf{R}}^2$ connecting the
origin to the endpoint of the vector $\pi{\bf b}_i$.
Let $\defcolor{Z_B}\subset{\bf{R}}^2$ be the Minkowski sum of the line segments
$\overline{{\bf 0},\pi{\bf b}_i}$ for ${\bf b}_i\in B$.
This is a centrally symmetric zonotope as $\sum_i {\bf b}_i={\bf 0}$.
We will also write $Z_B$ for its image in ${\bf{T}}^2$, considered now as a chain.
For any ${\bf v}\in{\bf{R}}^2$, the points
\[
   q\ :=\ \sum_{\langle{\bf b}_i,{\bf v}\rangle>0} {\bf b}_i \qquad\mbox{and}\qquad
   q'\ :=\  \sum_{\langle{\bf b}_i,{\bf v}\rangle\geq0} {\bf b}_i
\]
are vertices of $Z_B$ which are extreme in the direction of ${\bf v}$.
These differ only if the line ${\bf{R}}{\bf v}$ represents a zero $\zeta_j$ of one of the
forms, and then the edge between them is $\pi{\bf d}_j$, where
 \begin{equation}\label{Eq:bdj}
   {\bf d}_j\ :=\  \sum_{i\colon \langle{\bf b}_i,{\bf v}\rangle=0}
     \sign(\langle{\bf b}_i,{\bf w}\rangle)\; {\bf b}_i,,
 \end{equation}
where ${\bf w}$ is a vector such that $\langle -{\bf w},q\rangle>\langle -{\bf w},q'\rangle$ and
$\sign(x)\in\{\pm1\}$ is the sign of the real number $x$.
Thus ${\bf d}_j$ is the vector parallel to any ${\bf b}_i$ with $\langle{\bf b}_i,\zeta_j\rangle=0$
whose length is the sum of the lengths of these vectors and its direction is such that
$\langle{\bf d}_j,{\bf w}\rangle>0$.

Starting at a vertex of $Z_B$ and moving, say clockwise, the successive edge vectors will be
the vectors $\{\pm\pi{\bf d}_1,\dotsc,\pm\pi{\bf d}_M,\pm\pi{\bf d}_{M+1}\}$ occuring in a cyclic
clockwise order.
This may be seen on the right in~\eqref{Eq:A-discr}, where $Z_B$ is the octagon.
Its southeastern-most vertex is $\pi{\bf b}_1+\pi{\bf b}_3$ (corresponding to the vector ${\bf v}_1=-{\bf b}_2$,
and the edges encountered from there in clockwise order are
$-\pi{\bf b}_1,\pi{\bf b}_2,-\pi{\bf b}_3, \pi{\bf b}_4, \pi{\bf b}_1,-\pi{\bf b}_2, \pi{\bf b}_3,-\pi{\bf b}_4$.
(Here, ${\bf d}_j={\bf b}_j$)

Before giving our proof of Theorem~\ref{T:NP}, we make an important definition.
 Let $B=\{{\bf b}_1,\dotsc,{\bf b}_{N+1}\}$ be a multiset of vectors in ${\bf{Z}}^2$ that span
 ${\bf{R}}^2$ and whose sum is ${\bf 0}$.
 Write \demph{$\cone({\bf b}_i,{\bf b}_j)$} for the cone generated by the vectors ${\bf b}_i, {\bf b}_j$.
 Suppose that ${\bf v}$ is any vector in ${\bf{R}}^2$ not pointing in the direction of a vector in $B$,
 and set
 \begin{equation}\label{Eq:dBv}
   \defcolor{d_{B,{\bf v}}}\ :=\ \sum_{{\bf v}\in\cone({\bf b}_i,{\bf b}_j)} |{\bf b}_i\wedge {\bf b}_j|\ .
 \end{equation}
 Here $|{\bf b}_i\wedge {\bf b}_j|$ is the absolute value of the determinant of the matrix whose columns are
 the two vectors, which is the area of the parallelogram generated by ${\bf b}_i$ and ${\bf b}_j$.

\begin{lemma}\label{L:independent}
 The sum~$\eqref{Eq:dBv}$ is independent of choice of ${\bf v}$.
\end{lemma}

\begin{proof}
 The rays generated by elements of $B$ divide ${\bf{R}}^2$ into regions.
 The sum~\eqref{Eq:dBv} depends only upon the region containing ${\bf v}$---it is a sum over all
 cones containing the given region.
 To show its independence of region, let ${\bf v},{\bf v}'$ lie in adjacent regions with
 $\defcolor{{\bf u}}$ a vector generating the ray separating the regions.
 Suppose that the vectors in $B$ are indexed so that
 ${\bf b}_\kappa,{\bf b}_{\kappa+1},\dotsc,{\bf b}_{\mu-1}$ are the vectors with direction $-{\bf u}$ and
 ${\bf b}_\mu,{\bf b}_{\mu+1},\dotsc,{\bf b}_\lambda$ are the vectors with direction ${\bf u}$.
 Then the sums for $d_{B,{\bf v}}$ and $d_{B,{\bf v}'}$ both include the sum over all cones whose relative
 interior contains ${\bf u}$, but have different terms involving cones with one generator among
 ${\bf b}_\mu,\dotsc,{\bf b}_\lambda$.
 All such cones appear, and up to a sign, the difference $d_{B,{\bf v}}-d_{B,{\bf v}'}$ is equal to
\begin{multline*}
  \bigl({\bf b}_\mu +\dotsb+ {\bf b}_\lambda\bigr) \wedge \bigl({\bf b}_1 +\dotsb+ {\bf b}_{\kappa-1}\ +\
  {\bf b}_{\lambda+1}+\dotsb+ {\bf b}_{N+1}\bigr)\\
   \ =\  \bigl({\bf b}_\mu +\dotsb +{\bf b}_\lambda\bigr) \wedge ({\bf b}_1+\dotsb+{\bf b}_{N+1})\ =\ 0\,,
\end{multline*}
 which proves the lemma.
\end{proof}

\begin{remark}
 The sum~\eqref{Eq:dBv} is known to coincide with the normalized volume of the convex hull of the
 vector configuration $A$ that is Gale dual to $B$ (see~\cite{DS02}), so Lemma~\ref{L:independent}
 also follows from this fact.
 We will henceforth write \demph{$d_B$} for this volume/sum.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{remark}

\begin{example}
 Consider the sum~\eqref{Eq:dBv} for the vector configuration $B$ of
 Example~\ref{Ex:rational_cubic}.
 There are four choices for the vector ${\bf v}$ as indicated below
 \begin{equation}\label{Eq:B-and-v}
   \raisebox{-46pt}{\begin{picture}(100,93)(-15,-3)
    \put(0,0){\includegraphics{figures/vectorsB-v.eps}}
    \put( 36,63){${\bf b}_4$}   \put(62,37){${\bf b}_1$}
    \put(-13,57){${\bf b}_2$}   \put(62, -3){${\bf b}_3$}

    \put( 36,12){${\bf v}_1$}   \put(81,21){${\bf v}_2$}
    \put( 61,61){${\bf v}_3$}   \put( 7,79){${\bf v}_4$}

   \end{picture}}
 \end{equation}
 The vector ${\bf v}_1$ lies only in $\cone({\bf b}_2,{\bf b}_3)$, and we have
 ${\bf b}_2\wedge {\bf b}_3=|\begin{smallmatrix}-2&1\\1&-2\end{smallmatrix}|=3$.
 The vector ${\bf v}_2$ lies in $\cone({\bf b}_3,{\bf b}_1)$ and $\cone({\bf b}_3,{\bf b}_4)$, and
 we have ${\bf b}_3\wedge {\bf b}_1+{\bf b}_3\wedge {\bf b}_4=
  |\begin{smallmatrix}1&-2\\1&0\end{smallmatrix}|+
  |\begin{smallmatrix}1&-1\\0&1\end{smallmatrix}|=2+1=3$.
 Similarly, ${\bf v}_3$ lies in $\cone({\bf b}_3,{\bf b}_4)$, $\cone({\bf b}_1,{\bf b}_4)$, and $\cone({\bf b}_1,{\bf b}_2)$,
 and ${\bf b}_3\wedge {\bf b}_4+{\bf b}_1\wedge {\bf b}_4+{\bf b}_1\wedge {\bf b}_2=1+1+1=3$, and the calculation for
 ${\bf v}_4$ is the mirror-image of that for ${\bf v}_2$.
 In every case, $d_{B,{\bf v}_i}=3$, and so $d_B=3$.
 \hfill$\includegraphics[height=10pt]{figures/QED.eps}$
\end{example}

\begin{theorem}\label{Th:Cycle}
 The sum, $\overline{{\mathcal{A}}_B}+Z_B$, of the coamoeba chain of $D_B$ and the
 $B$-zonotope chain is a cycle in ${\bf{T}}^2$ which equals $d_B[{\bf{T}}^2]$.
\end{theorem}

\begin{proof}
 We will show that $\Arg(\beta)_*[Z(\ell_B)]=[Z_B]$, which implies that
\[
   [\overline{{\mathcal{A}}_B}+Z_B]\ =\ \Arg(\beta)_*[\overline{{\mathcal{A}}(\ell_B)} + Z(\ell_B)]
\]
 is a cycle, as $\Arg(\beta)_*[\overline{{\mathcal{A}}(\ell_B)}]=[\overline{{\mathcal{A}}_B}]$.
 Since  $\Arg(\beta)_*({\bf e}_i\wedge{\bf e}_j)={\bf b}_i\wedge{\bf b}_j\cdot[{\bf{T}}^2]$, the formula of
 Theorem~\ref{Th:homology} will give us the homology class of $[\overline{{\mathcal{A}}_B}+Z_B]$.
 We will use~\eqref{Eq:dBv} and Lemma~\ref{L:independent} to show that it equals
 $d_B[{\bf{T}}^2]$.
 This will imply the theorem as we will show that there is an ordering
 of the vectors $B$ such that the map $\Arg(\beta)\colon Z(\ell_B)\to Z_B$ in the
 universal covers ${\bf{R}}^N\to{\bf{R}}^2$ is injective.

 Recall that $\xi_1,\dotsc,\xi_{N+1}$ are points of ${\bf{R}}\P^1$ with $\langle {\bf b}_i,\xi_i\rangle=0$
 and $\zeta_1,\dotsc,\zeta_{M+1}$ are the distinct points among them.
 Let ${\bf 0}\neq\defcolor{{\bf v}}\in{\bf{R}}^2$ represent $\xi_{N+1}=\zeta_{M+1}$
 (so that $\langle{\bf b}_{N+1},{\bf v}\rangle=0$)
 and choose $x\in{\bf{R}}^2$ to be a point with $\langle{\bf b}_{N+1},x\rangle=1$.
 Then $t\mapsto x+t{\bf v}$ gives a parametrization of ${\bf{R}}\P^1$ with $\infty=\zeta_{M+1}$, and
 identifies ${\bf{R}}$ with ${\bf{R}}\P^1\smallsetminus\{\infty\}$.

 To agree with Definition~\ref{D:conventions}, we suppose that the points
 of $B$ are ordered so that~\eqref{Eq:A} and~\eqref{Eq:B} hold.
 Thus there are integers
 $1=m_1<\dotsb<m_{M+1}<m_{M+2}=N{+}2$ such that
\[
   \langle {\bf b}_i,\zeta_j\rangle=0\
   \Longleftrightarrow\ m_j\leq i<m_{j+1}\,.
\]
 We further suppose that $B$ is ordered so that one of~\eqref{Eq:inc}
 or~\eqref{Eq:dec} holds for every $j=1,\dotsc,M{+}1$.
 Specifically, let ${\bf w}:=x+\tau {\bf v}$ for some fixed $\tau<\zeta_1$.
 Then there exist integers $n_1,\dotsc,n_{M+1}$ such that for each $j=1,\dotsc,M{+}1$
 we have $m_j< n_j\leq m_{j+1}$ and either
 \begin{eqnarray*}
  \langle{\bf b}_{m_j},{\bf w}\rangle\,,\ \dotsc\,,\ \langle{\bf b}_{n_j-1},{\bf w}\rangle
   &<\ 0\ <&
  \langle{\bf b}_{n_j},{\bf w}\rangle\,,\ \dotsc\,,\ \langle{\bf b}_{m_{j+1}-1},{\bf w}\rangle\,,
    \makebox[.1in][l]{\qquad or}\\
  \langle{\bf b}_{m_j},{\bf w}\rangle\,,\ \dotsc\,,\ \langle{\bf b}_{n_j-1},{\bf w}\rangle
   &>\ 0\ >&
  \langle{\bf b}_{n_j},{\bf w}\rangle\,,\ \dotsc\,,\ \langle{\bf b}_{m_{j+1}-1},{\bf w}\rangle\,.
 \end{eqnarray*}
 For $i=1,\dotsc,N{+}1$, let $\sgn_i\in\{\pm 1\}$ be the sign of $\langle{\bf b}_i,{\bf w}\rangle$.
 Note that $\sgn_{N+1}=1$.

 Define ${\bf f}_j,{\bf g}_j,{\bf h}_j$ as in Definition~\ref{D:conventions},
\[
  {\bf f}_j\ :=\ \sum_{i=m_j}^{m_{j+1}-1} {\bf e}_i\,,\qquad
  {\bf g}_j\  :=\ \sum_{i=m_j}^{n_{j}-1} {\bf e}_i\,,\qquad\mbox{and}\qquad
  {\bf h}_j\  :=\ \sum_{i=m_j}^{m_{j+1}-1} \sgn_i{\bf e}_i\,.
\]

 Consider now the following affine parametrization of $\ell_B\subset\P^N$,
\[
  \Phi_B\ \colon\ t\ \longmapsto\
   [\langle{\bf b}_1,x+t{\bf v}\rangle\ \colon
    \dotsb\ \colon\
     \langle{\bf b}_N,x+t{\bf v}\rangle\ \colon\ \langle{\bf b}_{N+1},x+t{\bf v}\rangle=1]\,.
\]
 Let $\widetilde{p}\hspace{1.2pt}_1\in\{0,\pi\}^N\in{\bf{R}}^N$ be the point whose $i$th coordinate is
  $\arg(\sgn_i)$.
 Its image $p_1\in{\bf{T}}^N$ is the point on the coamoeba of $\ell_B$ coming from
 the real points $\Phi_B(-\infty,\zeta_1)$.

 We describe $\Arg(\beta)(Z(\ell_B))$ in the universal cover ${\bf{R}}^2$ of ${\bf{T}}^2$.
 For each $j=1,\dotsc,2M{+}2$, set $\defcolor{\widetilde{q}_j}:=\Arg(\beta)(\widetilde{p}\hspace{1.2pt}_j)$ and
 $\defcolor{{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j}:=\Arg(\beta)({\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j)$.
 Since
 \begin{equation}\label{Eq:def_p1tilde}
    \widetilde{p}\hspace{1.2pt}_{1,i}\ =\
    \left\{ \begin{array}{rcl} \pi &&\mbox{if }\langle{\bf b}_i,{\bf w}\rangle<0\\
              0 &&\mbox{if }\langle{\bf b}_i,{\bf w}\rangle>0
    \end{array}\right.\ ,
 \end{equation}
 we have
\[
   \widetilde{q}_1\ =\ \pi\cdot\sum_{\langle{\bf b}_i,{\bf w}\rangle<0}{\bf b}_i\ ,
\]
 and so $\widetilde{q}_1$ is a vertex of $Z_B$ which is extreme in the direction of $-{\bf w}$.

 The zonotope chain $Z(\ell_B)$ is a union of the triangles
 \begin{equation}\label{Eq:ZC_triangles}
   \conv({\bf 0},\widetilde{p}\hspace{1.2pt}_{j+1},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j)
    \qquad\mbox{and}\qquad
   \conv({\bf 0},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{p}\hspace{1.2pt}_j)
    \qquad\mbox{for}\ j=M{+}2,\dotsc,1\,,
 \end{equation}
 where the second is degenerate if $\widetilde{p}\hspace{1.2pt}_j={\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j$.
 Thus $\Arg(\beta)(Z(\ell_B))$ will be the union of the (possibly degenerate) triangles
 \begin{equation}\label{Eq:Zone_triangles}
   \conv({\bf 0},\widetilde{q}_{j+1},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j)
    \qquad\mbox{and}\qquad
   \conv({\bf 0},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{q}_j)
    \qquad\mbox{for}\ j=M{+}2,\dotsc,1\,,
 \end{equation}
 For $j\leq M{+}1$, $\widetilde{p}\hspace{1.2pt}_{j+1}=\widetilde{p}\hspace{1.2pt}_j+\pi{\bf h}_j$, so
\[
   \widetilde{q}_{j+1}\ =\ \widetilde{q}_j+\pi\Arg(\beta)({\bf h}_j)\ =\
    \widetilde{q}+\pi{\bf d}_j\,,
\]
 which we see by~\eqref{Eq:bdj} (with the vector ${\bf w}=x+\tau{\bf v}$) and our definition of
 $\sgn_i$.
 If we fix the orientation so that ${\bf v}$ is clockwise of ${\bf b}_{N+1}$, then
 by our choice of ordering of the zeroes $\zeta_j$, the lines ${\bf{R}}{\bf d}_1, \dotsc,{\bf{R}}{\bf d}_{M+1}$
 occur in clockwise order.
 Since $\langle{\bf d}_j,{\bf w}\rangle>0$ and $\widetilde{q}_1$ is extreme in the direction of $-{\bf w}$,
 the vectors $\pi{\bf d}_1,\dotsc,\pi{\bf d}_{M{+}1}$ will form the edges of the zonotope
 starting at $\widetilde{q}_1$ and moving clockwise.
 It follows from the discussion following~\eqref{Eq:bdj} that $\widetilde{q}_1,\dotsc,\widetilde{q}_{2M+2}$ form
 the vertices of the zonotope $Z_B$.
 This implies that no $\widetilde{q}_j$ coincides with the origin ${\bf 0}$.

 All that remains is to understand the two triangles~\eqref{Eq:Zone_triangles}
 for those $j$ when ${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j\neq\widetilde{q}_j$.
 In this case, ${\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j=\widetilde{p}\hspace{1.2pt}_j+2\pi\sgn_{m_j}{\bf g}_j$, and so
\[
  {\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j\ =\ \widetilde{p}\hspace{1.2pt}_j\ +\  2\pi\sgn_{m_j}\sum_{i=m_j}^{n_j-1} {\bf b}_i\ =\
   \widetilde{p}\hspace{1.2pt}_j\ +\  2\pi\sum_{i=m_j}^{n_j-1} \sgn_i{\bf b}_i\,.
\]
 Since ${\bf b}_{m_j},\dotsc,{\bf b}_{m_{j+1}-1}$ are parallel, $\widetilde{q}_j,{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j$, and
 $\widetilde{q}_{j+1}$ are collinear.
 This implies that
\[
   \Arg(\beta)_* [ \conv({\bf 0},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{p}\hspace{1.2pt}_j) + \conv({\bf 0},\widetilde{p}\hspace{1.2pt}_{j+1},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j)]\ =\
   [\conv({\bf 0},\widetilde{q}_{j+1},\widetilde{q}_j)]\,,
\]
 which shows that $\Arg(\beta)_*[Z(\ell_B)]=[Z_B]$.

 Indeed, if ${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ lies between $\widetilde{q}_j$ and $\widetilde{q}_{j+1}$ then $\Arg(\beta)$
 preserves the orientation of the triangles~\eqref{Eq:ZC_triangles} and is therefore
 injective over their images, whose union is $\conv({\bf 0},\widetilde{q}_{j+1},\widetilde{q}_j)$.
 Otherwise, the two triangles~\eqref{Eq:Zone_triangles} have opposite orientations and
\[
    \conv({\bf 0},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{q}_j)\ \supset\ \conv({\bf 0},\widetilde{q}_{j+1},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j)\,,
\]
 so that $\Arg(\beta)_* [ \conv({\bf 0},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{p}\hspace{1.2pt}_j) + \conv({\bf 0},\widetilde{p}\hspace{1.2pt}_{j+1},{\widetilde{p}\hspace{1.6pt}'\hspace{-3.4pt}}_j)]$
 equals
\[
  [ \conv({\bf 0},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j,\widetilde{q}_j)]-[ \conv({\bf 0},\widetilde{q}_{j+1},{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j)]
  \ =\ [\conv({\bf 0},\widetilde{q}_{j+1},\widetilde{q}_j)]\,.
\]

 Theorem~\ref{Th:homology}, Equation~\eqref{Eq:def_p1tilde}, and
 $\Arg(\beta)_*({\bf e}_i\wedge {\bf e}_j)={\bf b}_i\wedge {\bf b}_j\cdot[{\bf{T}}^2]$, show that
 \[
   \Arg(\beta)_*[\overline{{\mathcal{A}}(\ell_B)}+Z(\ell_B)]\ =\  [{\bf{T}}^2]\cdot
   \sum_{\substack{1\leq i<j\leq N\\\langle{\bf b}_i,{\bf w}\rangle>0>\langle{\bf b}_j,{\bf w}\rangle}}
     {\bf b}_i\wedge {\bf b}_j\,.
 \]
 We will show that this equals $d_B[{\bf{T}}^2]$.
 Observe that if ${\bf b}_i$ and ${\bf b}_j$ are parallel, then ${\bf b}_i\wedge{\bf b}_j=0$ and they do not
 contribute to the sum.
 We will consider the sum with the restriction that the vectors ${\bf b}_i$ and ${\bf b}_j$ are not parallel.

 Set $\defcolor{{\bf w}^\perp}:=-{\bf b}_{N+1}+{\bf w}/\langle{\bf w},{\bf w}\rangle$, which is orthogonal to
 ${\bf w}$.
 Suppose that ${\bf v}$ is clockwise of ${\bf b}_{N+1}$, as below.
\[
  \begin{picture}(93,104)(-13,-20)
   \put(-10,-10){\includegraphics{figures/bij.eps}}
   \put(-1,-12){${\bf b}_i$} \put(58,-13){${\bf b}_j$}
   \put(25,78){${\bf b}_{N+1}$}  \put(61,33){${\bf v}$}
   \put(-13,32){${\bf w}$}   \put(16,-18){${\bf w}^\perp$}
  \end{picture}
\]
 By our choice of ${\bf w}$, the lines ${\bf{R}}{\bf w}^\perp,{\bf{R}}{\bf b}_1,\dotsc,{\bf{R}}{\bf b}_{N+1}$ occur in weak
 clockwise order with ${\bf{R}}{\bf w}^\perp$ distinct from the rest.
 Suppose now that $1\leq i<j\leq N$ where
 \begin{equation}\label{Eq:condition}
    \langle{\bf b}_i,{\bf w}\rangle\ >\ 0\ >\ \langle{\bf b}_j,{\bf w}\rangle\,,
 \end{equation}
 and ${\bf b}_i$ and ${\bf b}_j$ are not parallel.
 The cone spanned by ${\bf b}_i$ and ${\bf b}_j$ meets a half ray of ${\bf{R}}{\bf w}^\perp$, with ${\bf b}_i$
 to the left of ${\bf{R}}{\bf w}^\perp$ and ${\bf b}_j$ to the right of ${\bf{R}}{\bf w}^\perp$, by~\eqref{Eq:condition}.
 Since ${\bf{R}}{\bf w}^\perp,{\bf{R}}{\bf b}_i$, and ${\bf{R}}{\bf b}_j$ occur in clockwise order, we must have that
 ${\bf w}^\perp\in\cone({\bf b}_i,{\bf b}_j)$, which shows that
 \[
   \sum_{\substack{1\leq i<j\leq N\\\langle{\bf b}_i,{\bf w}\rangle<0<\langle{\bf b}_j,{\bf w}\rangle}}
     {\bf b}_i\wedge {\bf b}_j
   \ =\
   \sum_{\substack{1\leq i<j\leq N\\{\bf w}^\perp\in\cone({\bf b}_i,{\bf b}_j)}}
     {\bf b}_i\wedge {\bf b}_j\ =\ d_{B,{\bf w}^\perp}\ =\ d_B\,.
 \]
 The sum equals $d_{B,{\bf w}^\perp}$ because if ${\bf b}_j$ is counter clockwise from ${\bf b}_i$
 by~\eqref{Eq:condition} and the condition that ${\bf w}^\perp\in\cone({\bf b}_i,{\bf b}_j)$ with
 $i<j$.
 Thus ${\bf b}_i\wedge{\bf b}_j>0$.

 We complete the proof by noting that ${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_j$ will lie between $\widetilde{q}_j$ and $\widetilde{q}_{j+1}$
 if either $n_j=m_{j+1}$, so that ${\bf g}_j={\bf f}_j$, or if
\[
   \|{\bf g}_j\|\ =\ \|\sum_{i=m_j}^{n_j-1}{\bf b}_j\|
  \ =\ \sum_{i=m_j}^{n_j-1}\|{\bf b}_j\|\ \leq\
   \sum_{i=n_j}^{m_{j+1}-1}\|{\bf b}_j\|\ =\ \|{\bf f}_j-{\bf g}_j\|\,,
\]
 as ${\bf b}_{m_j},\dotsc,{\bf b}_{n_j-1}$ have the same direction which is opposite to the (common)
 direction of ${\bf b}_{n_j},\dotsc,{\bf b}_{m_{j+1}-1}$.
 If this does not occur for our given order, then we simply reverse the vectors
 ${\bf b}_{m_j},\dotsc,{\bf b}_{m_{j+1}-1}$, replacing ${\bf g}_j$ with ${\bf f}_j-{\bf g}_j$.
\end{proof}

\begin{example}\label{ex:parallel}
 The last point in the proof about the injectivity of
\[
   \Arg(\beta)\ \colon\ Z(\ell_B)\ \longrightarrow\ Z_B
\]
 (and more generally the arguments when $B$ has parallel vectors)
 is geometrically subtle.
 We expose this subtlety in the following two examples.
 Suppose that $B$ consists of the vectors $(1,0),(0,1),(-2,-2)$, and $(1,1)$,
\[
    \includegraphics{figures/vectorsparallel.eps}
\]
 When ${\bf v}=(1,-1)$ and $x=(\frac{1}{2},\frac{1}{2})$, then $\ell_B$ has the parametrization
 \begin{equation}\label{Eq:first_P}
   z\ \longmapsto\ [ \tfrac{1}{2}+z\;:\; \tfrac{1}{2}-z\;:\; -2\;:\; 1]\,,
 \end{equation}
 which is the second line in our running Examples~\ref{Ex:CoArepeat},~\ref{Ex:CoZrepeat},
 and~\ref{Ex:homology_class}.
 In this case the image $\Arg(\beta)(Z(\ell_B))$ is shown on the left of Figure~\ref{F:images}.
 It is superimposed over a fundamental domain and dashed lines $\theta_1,\theta_2=n\pi$ for
 $n\in{\bf{Z}}$.
 The segments $\widetilde{q}_3,{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_2$ and $\widetilde{q}_6,{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_5$ are covered in both directions as
 $\Arg(\beta)(P(\ell_B))$ backtracks over these segments.
 In fact, the triangles
\[
   \conv({\bf 0},\widetilde{q}_3,{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_2)\qquad\mbox{and}\qquad
   \conv({\bf 0},\widetilde{q}_6,{\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_5)
\]
 have orientation opposite of the other triangles.
 The medium shaded parts (near ${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_2$ and ${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_5$) are covered twice and the darker shaded
 parts near ${\bf 0}$ are covered thrice.
\begin{figure}[htb]

 \begin{picture}(177,126)(-11,-11)
  \put(0,0){\includegraphics{figures/imageParallelI.eps}}

  \put( 71, 52){${\bf 0}$}
  \put( 23,-10){$\widetilde{q}_1$}  \put( 48,-10){$\widetilde{q}_2$}
  \put(156,102){${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_2$} \put(129, 67){$\widetilde{q}_3$}
  \put(129,107){$\widetilde{q}_4$}  \put( 93,107){$\widetilde{q}_5$}
  \put(-11, -3){${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_5$} \put( 16, 32){$\widetilde{q}_6$}

 \end{picture}
 \qquad
 \begin{picture}(177,126)(-11,-11)
  \put(0,0){\includegraphics{figures/imageParallelII.eps}}

  \put( 71, 54){${\bf 0}$}
  \put( 23,-10){$\widetilde{q}_1$}  \put( 48,-10){$\widetilde{q}_2$}
  \put(104, 42){${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_2$} \put(129, 67){$\widetilde{q}_3$}
  \put(129,107){$\widetilde{q}_4$}  \put( 93,107){$\widetilde{q}_5$}
  \put( 39, 57){${\widetilde{q}\hspace{1.6pt}'\hspace{-3.4pt}}_5$} \put( 16, 32){$\widetilde{q}_6$}
  \thicklines
  \put(130,11){\White{\vector(-1,0){114}}} \put(130,11){\White{\vector(-1,0){115}}}
  \put(138,21){\White{\vector(0,1){78}}}  \put(138,22){\White{\vector(0,1){78}}}

  \thinlines
  \put(130,11){\vector(-1,0){113}}
  \put(138,21){\vector(0,1){77}}
  \put(132,9){${\mathcal{A}}_B$}
 \end{picture}

 \caption{Images of $\Arg(\beta)(Z(\ell_B))$}
 \label{F:images}
\end{figure}

Now suppose that the vectors in $B$ are in the order $(1,0)$, $(1,1)$, $(-2,-2)$, and $(0,1)$,
and $v=(-1,0)$ and $x=(0,1)$.
Then $\ell_B$ is parametrized by
\[
   z\ \longmapsto\ [-z\;:\; 1-z \;:\; 2z-2 \;:\; 1]\,,
\]
In this case the image $\Arg(\beta)(Z(\ell_B))$ is equal to the zonotope
$Z_B$, and is shown on the right of Figure~\ref{F:images}, together with the
coamoeba ${\mathcal{A}}_B$.
As explained in the proof of Theorem~\ref{Th:Cycle}, the image equals the zonotope because
in the pair of parallel vectors $(1,1)$ and $(-2,-2)$, the shorter comes first in this
case, while in the previous case, the shorter one came second.

In both cases (which are just different parametrizations of the same line)
$\Arg(\beta)_*[Z(\ell_B)]=[Z_B]$ as shown in the proof of
Theorem~\ref{Th:Cycle}, and the coamoebas coincide.
Furthermore, $[\overline{{\mathcal{A}}_B}+Z_B]=2[{\bf{T}}^2]$ for both, as $d_B=2$.
\hfill\includegraphics[height=10pt]{figures/QED.eps}
\end{example}

\def$'${$'$}
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}

Discriminant coamoebas through homology


The convergence of the Stochastic Gradient Descent (SGD) : a self-contained proof

Abstract: We give here a proof of the convergence of the Stochastic Gradient Descent (SGD) in a self-contained manner.

\section{Introduction}
 The Stochastic Gradient Descent (SGD) or other algorithms derived from it are used extensively in Deep Learning, a branch of Machine Learning; but the proof of convergence is not always easy to find. The goal of this paper is to adapt various proofs from the literature in a simple format.
 In particular no claim of originality is made (see \cite{turinici2020convergence,ayadi2020stochastic,turinici2020xray,Turinici_2019
} for some of my recent research papers in this area); on the contrary please cite this work if you find it useful (arxiv or DOI: \text{10.5281/zenodo.4638695}).

 This proof can be used in any domain where a self-contained presentation is needed.

 \section{Recall of the general framework}

 Suppose $(\Omega,F,\mathbb{P})$ is a probability space,
 $L:\Omega \times \mathbb{R}^N \to \mathbb{R}$ a function depending on a random argument $\omega$ and a parameter $X$ (second argument) to be optimized. Denote
 \begin{equation}
     \mathcal{L}(X) = \mathbb{E}_\omega [ L(\omega,X)].
 \end{equation}
 The goal of the SGD is to find a minimum of $\mathcal{L}$. It operates iteratively by taking at iteration $n$:
\begin{itemize}
\item  a (deterministic) "learning rate" $\rho_n$ (schedule fixed {\it a priori}
\item a random $\omega_n \in \Omega$ independent of any other previous random variables is drawn (following the law $\mathbb{P}$)
\item and updating by the formula
\begin{equation}
X_{n+1} = X_n - \rho_n \nabla_x L(\omega_n,X_n).
\end{equation}
\end{itemize}

 \section{Hypothesis on $L$ and $\mathcal{L}$}

 In order to prove the convergence we need some hypothesis that are detailed below

\begin{enumerate}
\item
    The gradient of $L$ is bounded:
 \begin{equation}
     \exists B > 0 : \
     \sup_\omega
     \| \nabla_X L(\omega,X) \|^2 \le B, \ \forall X \in \mathbb{R}^N.
 \label{eq:hypgradbounded}
 \end{equation}
\item $\mathcal{L}$ is strongly convex:
\begin{equation}
\exists \mu > 0 : \     \mathcal{L}(Y) \ge \mathcal{L}(X) + \langle \nabla \mathcal{L}(X), Y-X \rangle + \frac{\mu}{2} \|X-Y\|^2, \ \forall X,Y \in \mathbb{R}^N.
\label{eq:hypstrongconvex}
 \end{equation}
Note that for $\mu=0$ this is just the usual convexity, i.e. the function is above its tangent.
For general $\mu$ this tells that the function is even above a parabola centered in any $X$. For regular functions this means that the Hessian
$D^2 \mathcal{L}$ of $\mathcal{L}$ satisfies $D^2 \mathcal{L} \ge \mu \cdot I_N$\footnote{Here $I_N$ is the $N\times N$ identity matrix.}.
\end{enumerate}

\section{A convergence result and its proof}

We fill prove the following

\begin{theorem}
Suppose that each $L(\omega,\cdot)$ is differentiable (a.e. $\omega \in \Omega$)\footnote{This requirement can be largely weakened. For instance in the case of ReLU activation, which corresponds to the positive part $x\mapsto x_+$,  one can employ any suitable sub-gradient of the $x_+$ function and in particular take at the non-regular point $x=0$ any value between $0$ and $1$.} and that
$\mathcal{L}$ satisfies the hypothesis
\eqref{eq:hypgradbounded} and \eqref{eq:hypstrongconvex}.
 Then
 \begin{enumerate}
\item the function $\mathcal{L}$ has an unique minimum $X_*$;
\label{item:uniqueness}
     \item \label{item:inequalitydn}
For any $n \ge 0$ denote
 \begin{equation}
     d_n =  \mathbb{E} \left[ \|X_{n}-X_*\|^2 \right].
 \end{equation}
 Then
 \begin{equation}
     d_{n+1} \le      (1-\rho_n \mu) d_n + \rho_n^2 B.
\label{eq:dnplusone} \end{equation}
\item \label{item:constant}
For any $\epsilon > 0$ there exists a $\rho > 0$ such that if $\rho_n = \rho$ then
\begin{equation}
    \limsup_{n\to \infty}  \mathbb{E} \left[ \|X_{n+1}-X_*\|^2 \right] \le \epsilon.
\label{eq:estimationvoisinage}
\end{equation}
\item \label{item:convergence}
Take $\rho_n$ a sequence such that:
\begin{equation}
\rho_n \to 0 \text{ and } \sum_{n\ge 1} \rho_n = \infty.
\label{eq:hyprhon}
\end{equation}
 Then $d_n \to 0$, that is
 $\lim_{n \to \infty }X_n = X_*$, where the convergence is the $L^2$ convergence of random variables.
\end{enumerate}
 \begin{proof}
{\bf Item \ref{item:uniqueness}}:
The existence and uniqueness of the optimum is guaranteed by the assumptions of strong convexity and smoothness of $\mathcal{L}$.

\noindent {\bf Item \ref{item:inequalitydn}}:
We have
\begin{align}
&    \mathbb{E} \left[ \|X_{n+1}-X_*\|^2 \right]  =
    \mathbb{E} \left[ \|X_{n}-X_* - \rho_n \nabla_x L(\omega_n,X_n)\|^2 \right]
\nonumber    \\&=
    \mathbb{E} \left[ \|X_{n}-X_*\|^2 \right]  +
\rho_n^2    \mathbb{E} \left[ \|\nabla_x L(\omega_n,X_n)\|^2 \right]
- 2 \rho_n
    \mathbb{E} \left[ \langle X_{n}-X_*, \nabla_x L(\omega_n,X_n)\rangle \right].
\end{align}
First we remark that\footnote{The formal justification is as follows:
denote  by $\mathcal{F}_n$ the sigma algebra generated by $X_1$, ..., $X_n$, $\omega_1$, ..., $\omega_{n-1}$. In particular $\omega_n$ is independent of
$\mathcal{F}_n$. Recall now that for any random variables $U$ measurable with respect to $\mathcal{F}_n$ and $V$ independent of $\mathcal{F}_n$:
$ \mathbb{E}[ g(U,V) | \mathcal{F}_n] = \int g(v,U) P_V(dv) $ and in particular
$\mathbb{E}[ g(U,V)]= \mathbb{E}[\mathbb{E}[ g(U,V) | \mathcal{F}_n]]=
\mathbb{E}[ \int g(v,U) P_V(dv)]$.
}
$$   \mathbb{E} \left[ \langle X_{n}-X_*, \nabla_x L(\omega_n,X_n)\rangle \right]
 = \mathbb{E} \left[ \langle X_{n}-X_*, \nabla \mathcal{L}(X_n)\rangle \right].
$$
But at its turn
\begin{align}
    &
\mathbb{E} \left[ \langle X_{n}-X_*, \nabla \mathcal{L}(X_n)\rangle \right] \ge
\mathbb{E} \left[ \mathcal{L}(X_n) - \mathcal{L}(X_*) + \frac{\mu}{2}  \|X_{n}-X_*\|^2 \right]
\nonumber\\&
\ge \frac{\mu}{2}  \mathbb{E}  [\|X_{n}-X_*\|^2],
\end{align}
the last inequality being guaranteed by the fact that $X_*$ is the minimum.
Putting together all relations proved so far one obtains the relation
\eqref{eq:dnplusone}.

\noindent {\bf Item \ref{item:constant}}:
When $\rho_n$ is constant equal to $\rho$ inequality \eqref{eq:dnplusone} is equivalent to
$$d_{n+1} - \rho \frac{B}{\mu} \le (1-\rho \mu) (d_n - \rho \frac{B}{\mu}).$$
Since the function $x \mapsto x_+$ (the positive part) is increasing we obtain for $\rho < 1/\mu$:
$$\left(d_{n+1} - \rho \frac{B}{\mu} \right)_+
\le (1-\rho \mu) \left(d_n - \rho \frac{B}{\mu}\right)_+,$$
and by iteration, for any $k\ge 1$:
$$\left(d_{n+k} - \rho \frac{B}{\mu} \right)_+
\le (1-\rho \mu)^k \left(d_n - \rho \frac{B}{\mu}\right)_+.$$
Taking $k\to \infty$ we obtain
$\limsup_k \left(d_{k} - \rho \frac{B}{\mu} \right)_+=0$ hence the conclusion \eqref{eq:estimationvoisinage} for $\rho$ smaller then $1/\mu$
 and $\epsilon \mu / B$.

\noindent {\bf Item \ref{item:convergence}}:
For non-constant $\rho_n$ and arbitrary fixed $\epsilon$
we obtain from \eqref{eq:dnplusone}
$$d_{n+1} - \epsilon \le (1-\rho_n \mu) (d_n - \epsilon) + \rho_n (\rho_n B - \mu \epsilon).$$
When $n$ is large enough $\rho_n (\rho_n B - \mu \epsilon)\le 0$ and
thus
$$d_{n+1} - \epsilon \le (1-\rho_n \mu) (d_n - \epsilon),$$
therefore
$$\left(d_{n+k} - \epsilon\right)_+
\le (1-\rho_n \mu) \left(d_n - \epsilon\right)_+.$$
Iterating such inequalities we obtain
$$\left(d_{n+k} - \epsilon \right)_+
\le \prod_{\ell=n}^{n+k-1} (1-\rho_\ell \mu) \left(d_n - \epsilon \right)_+.$$
From the Lemma \ref{lemma:product} we obtain
$\lim_{k \to \infty} \left(d_{k} - \epsilon \right)_+=0$ and since this is true for any $\epsilon$ the conclusion follows.
\end{proof}

\end{theorem}
\begin{lemma}
Let $\mu >0$ and $\rho_n$ a sequence of positive real numbers such that $\rho_n \to 0$ and $\sum_{n\ge 1} \rho_n = \infty$. Then for any $n \ge 0$:
\begin{equation}
\lim_{k\to \infty}    \prod_{\ell= n}^{n+k} (1-\rho_\ell \mu) = 0.
\end{equation}
\label{lemma:product}
\end{lemma}
\begin{proof}
Recall that for any $x \in ]0,1[$ we have $\log(1-x) \le -x$;
then:
\begin{equation}
0 \le   \prod_{\ell= n}^{n+k} (1-\rho_\ell \mu) = e^{ \sum_{\ell= n}^{n+k} \log(1-\rho_\ell \mu)} \le e^{ \sum_{\ell= n}^{n+k} (-\rho_\ell \mu)} \overset{k\to \infty}{\longrightarrow} e^{- \infty} =0,
\end{equation}
which concludes the proof.
\end{proof}

\section{Concluding remarks}
We make here some remarks concerning the hypothesis and the use in Neural Networks.

First, consider the hypothesis $\sum_n \rho_n= \infty$; at first it may seem strange but this is not really so. Note that in particular it is true when $\rho_n$ is a constant. But in general, if we forget the stochastic part\footnote{This can be made precise when the stochastic part is added, see \cite{ayadi2020stochastic}.}, one can interpret the SGD as following some continuous time dynamics  of the type $X'(t) = - \nabla \mathcal{L}(X)$; for the simple quadratic function $\mathcal{L}(X)=  \alpha \|X\|^2 / 2$ the dynamics is
$X'(t)  = -\alpha X(t)$ with solution $X(t) = e^{-\alpha t}X(0)$ needs an infinite 'time' $t$ to converge to the minimum $X_*=0_N$. Or here $\sum_n \rho_n$ is the discrete version of the time and thus it is not a surprise to need infinite time to obtain $X_*$ with infinite precision. On the other hand if a finite precision is needed one can just take a constant time step as indicated in the theorem\footnote{but in this case one may spend a too long time to wait for the convergence to this small neighborhood to arrive see \cite{ayadi2020stochastic} for some ways to accelerate the convergence.}.

On the other hand, an important example that satisfies
\eqref{eq:hyprhon} is $\rho_n = \frac{c_1}{c_2 + n}$, with $c_1, c_2 > 0$. In general giving a functional form for $\rho_n$ is termed 'choosing a decay rate', but it may not be clear what the best decay rate is in general.

Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)