\section{Introduction}\label{intro_s}
Gromov-Witten theory, which is the modern manifestation of the enumerative geometry in  complex algebraic geometry, is about counting holomorphic curves of  a specified type in a complex projective variety $X$, or more generally, in a symplectic manifold $(X,\omega)$ equipped with a compatible almost complex structure $J$. The resulting (rational) numbers are invariants of the deformation equivalence class of the target. For example, there are $2875$ degree $1$ genus $0$ curves (complex lines) inside any smooth quintic threefold in $\mathbb P^4$.
Since the resulting numbers (or virtual fundamental class) are invariant under the deformation of the target, it is natural to seek for an equivalent count of such curves in the limit, whenever a family of smooth targets degenerates to a singular one in a smooth family\footnote{i.e. the total space of the deformation space is smooth.}. Normal crossings (NC) varieties are the most basic and important class of such singular objects in complex algebraic (or K\"ahler) geometry. An NC divisor in a smooth complex variety $X$ is a sub-variety with local defining equations of the form
$$
z_1\cdots z_k = 0
$$
in some holomorphic coordinate chart $(z_1, . . . , z_n)$ on $X$. An NC variety of complex dimension $n$ is a variety that can be locally embedded as an NC divisor in $\mathbb C^{n+1}$. A simple normal crossings (SC) divisor/variety is an NC divisor/variety without self-intersections. In other words, an SC divisor $D$ is transverse union of smooth divisors 
$$
D=\bigcup_{i\in S}D_i \subset X,
$$
and an SC variety $X_\emptyset$ is a global transverse union of smooth varieties $\{X_i\}_{i\in S}$ 
along SC divisors $X_{i;\partial}\!=\!\bigcup_{j\in S-i}X_{ij}$ in~$X_i$,~i.e.
\bEq{Xesetdfn_e}
X_{\emptyset}=\bigg(\bigsqcup_{i\in S}\!X_i\bigg)\!\Big/\!\!\!\sim,\qquad  
X_{ij}\approx X_{ji}\quad \forall~i,j\!\in\!S,~i\!\neq\!j,
\end{equation}
with the singular locus
$$
X_{\partial}=\bigcup_{i,j\in S,~i\neq j}\!X_{ij}\subset X_\emptyset. 
$$
A 3-fold SC variety is shown in Figure~\ref{3conf_fig}.
\begin{figure}
\begin{pspicture}(-3,-2)(11,.5)
\psset{unit=.3cm}
\psline[linewidth=.1](15,-2)(21,-2)\psline[linewidth=.1](15,-2)(15,4)
\psline[linewidth=.1](15,-2)(11.34,-5.66)\pscircle*(15,-2){.3}
\rput(19.5,2.5){\small{$X_i$}}\rput(11.5,-1){\small{$X_j$}}\rput(17,-5){\small{$X_k$}}
\rput(22.2,-2.1){\small{$X_{ik}$}}\rput(15.1,4.8){\small{$X_{ij}$}}
\rput(10.8,-6.1){\small{$X_{jk}$}}\rput(16.3,-1.2){\small{$X_{ijk}$}}
\end{pspicture}
\caption{A 3-fold SC variety.}
\label{3conf_fig}
\end{figure}
Then, a \textsf{semistable degeneration} is a smooth\footnote{i.e. $\mc{Z}$ is smooth.} one-parameter family $\pi\colon\!\mc{Z}\!\longrightarrow\!\Delta$, where $\Delta$ is a small disk around the origin in $\mathbb C$, the central fiber $\mc{Z}_0\!\equiv \!\pi^{-1}(0)$ is an NC  variety, and the fibers over $\Delta^*\!=\!\Delta\!-\!\{0\}$ are smooth. \\

\noindent
In \cite{FMZDiv}-\cite{FMZstructure}, we defined and studied the analogue of these spaces for the symplectic topology. 
An~SC symplectic divisor in a  symplectic manifold $(X,\omega)$ 
is a finite transverse union $D\!\equiv\!\bigcup_{i \in S} D_i$ 
of smooth symplectic divisors $\{D_i\}_{i\in S}$ such that for every $I\!\subset\!S$
the submanifold $$D_I\!\equiv\!\bigcap_{i\in I} D_i\subset X$$
is symplectic and its symplectic and ``intersection orientations'' are the same; see \cite[Definition~2.1]{FMZDiv}.
An SC symplectic variety is a pair $(X_\emptyset,\omega_\emptyset\equiv (\omega_i)_{i \in S})$,
where
\bEq{SCdecomposition_e}
X_{\emptyset}=\bigg(\bigsqcup_{i\in S}X_i\bigg)\!\Big/\!\!\!\sim,
\quad  X_{ij}\approx X_{ji}~~\forall~i,j\!\in\!S,~i\!\neq\!j,
\end{equation}
for a finite collection $(X_i,\omega_i)_{i\in S}$ of symplectic manifolds,
some SC symplectic divisor $X_{i;\partial}\!=\!\bigcup_{j\in S-i}X_{ij}$ in $X_i$ for each $i\!\in\!S$, 
and symplectic identifications $X_{ij}\!\approx\!X_{ji}$ 
for all $i,j\!\in\!S$ distinct; see \cite[Definition~2.5]{FMZDiv}. Arbitrary NC symplectic divisors/varieties in \cite{FMZDiv2} are defined in terms of compatible local SC charts. Then, a \textsf{symplectic semistable degeneration}, or a ``nearly regular symplectic fibration'' as we  call it in \cite[Definition 2.5]{FMZSum},
is a smooth symplectic manifold $(\mc{Z},\omega_{\mc{Z}})$ with a smooth surjective map $\pi\!:\!\mc{Z}\!\longrightarrow\!\Delta$ such that $\mc{Z}_0$ is 
an NC symplectic divisor, $\pi$ is a submersion outside of the singular locus $\mc{Z}_{0}^{\tn{sing}}\!\subset\!\mc{Z}_0\!\subset\!\mc{Z}$,
and for every $\lambda\!\in\!\Delta^*$, the restriction~$\omega_{\lambda}$ of~$\omega_{\mc{Z}}$ to $\mc{Z}_{\lambda}\!\equiv\!\pi^{-1}(\lambda)$ is non-degenerate 
(In \cite{FSC}, we will impose more restrictions on $\pi$).\\

\noindent
From the analytic point of view, for a smooth manifold $X$, $g,k\!\in\!\mathbb N$, $A\!\in\!H_2(X,\mathbb Z)$,  and an almost complex structure\footnote{i.e. $J$ is a real-linear endomorphism of $TX$ lifting the identity map and satisfying $J^2\!=\!-\tn{id}_{TX}$.}$J$ on $X$, a (nodal) $k$-marked genus $g$  degree $A$ \textsf{$J$-holomorphic map} into $X$ is a tuple $\big(u,\Sigma,\mf{j},z^1,\ldots,z^k\big)$, where
\begin{itemize}[leftmargin=*]
\item $(\Sigma,\mf{j})$ is a connected nodal Riemann surface of the arithmetic genus $g$, with complex structure $\mf{j}$ and $k$ distinct ordered marked points $z^1,\ldots,z^k$ away from the nodes, 
\item $u\colon\! (\Sigma,\mf{j})\!\longrightarrow\!(X,J)$ is a continuous and component-wise smooth map satisfying the Cauchy-Riemann equation 
$$
\bar\partial u \!=\frac{1}{2}(\tn{d} u \!+\!J\tn{d} u\circ \mf{j} )\!=\!0
$$
on each smooth component, and
\item the map $u$ represent the homology class $A$.
\end{itemize} 
Two such tuples 
$$
(u,\Sigma,\mf{j},z^1,\ldots,z^k)\quad\tn{and}\quad (u',\Sigma',\mf{j}',w^1,\ldots,w^k)
$$ 
are \textsf{equivalent} if there exists a biholomorphic isomorphism $h\colon\!(\Sigma,\mf{j})\!\longrightarrow\!(\Sigma',\mf{j}')$ such that $h(z^i)\!=\!w^i$, for all $i\!=\!1,\ldots,k$, and $u\!=\!u'\circ h$. Such a tuple is called \textsf{stable} if the group of self-automorphisms is finite. Let $\ov\mc{M}_{g,k}(X,A,J)$ (or simply $\ov\mc{M}_{g,k}(X,A)$ when $J$ is fixed in the discussion) denote the space of  equivalence classes of stable $k$-marked genus $g$ degree $A$ $J$-holomorphic maps into $X$.\\

\noindent
By a celebrated theorem of Gromov \cite[Theorem 1.5.B]{Gr}, and its subsequent refinements, for every smooth closed (i.e. compact and without boundary) symplectic manifold $(X,\omega)$ and an almost complex structure $J$ \textsf{compatible}\footnote{i.e. $\omega(\cdot,J\cdot)$ is a metric.} with $\omega$, the moduli space $\ov\mc{M}_{g,k}(X,A,J)$ has a natural sequential convergence topology, called the \textsf{Gromov topology}, which is compact, Hausdorff, and furthermore metrizable. The symplectic structure only gives an energy bound which is needed for establishing the compactness. The specific choice of $\omega$, up to deformation, is not important in GW theory. If $\ov\mc{M}_{g,k}(X,A)$ has a ``nice" orbifold structure of the expected real dimension
\bEq{exp-dim_e}
2\big(c_1^{TX}(A)+(n-3)(1-g)+k\big),
\end{equation}
Gromov-Witten (or GW) invariants are obtained by the integration of certain cohomology classes against its fundamental class. 
These numbers are independent of $J$ and only depend on the deformation equivalence class of $\omega$.
These allow the formulation of symplectic analogues of enumerative questions from algebraic geometry, as well-defined invariants of symplectic manifolds.
However,  in general, such moduli spaces can be highly singular. 
This issue is known as the \textit{transversality problem}. 
Fortunately, it has been shown  (e.g. see \cite{LT, LT2}) that $\ov\mc{M}_{g,k}(X,A)$ still carries a rational homology class, called virtual fundamental class (VFC); integration of cohomology classes against VFC gives rise to GW-invariants. We denote such an VFC by $[\ov\mc{M}_{g,k}(X,A)]^\tn{VFC}$.
In \cite{FF}, we sketch the construction of VFC via the method of Kuranishi structures in \cite{FO}. \\



\noindent
For a symplectic semistable degeneration $\mc{Z}$ as above with compact fibers, let $J_\mc{Z}$ be an almost complex structure on $\mc{Z}$ which is compatible with both $\omega_\mc{Z}$ and the fibration;
i.e. $\omega_\mc{Z}(\cdot, J_\mc{Z} \cdot)$ is a metric and every $\mc{Z}_\lambda$ is $J_\mc{Z}$-holomorphic. One may furthermore require $\pi$ to be $(\mf{i},J)$-holomorphic. For every $\lambda\!\in\!\Delta$, we denote the restriction of $J_\mc{Z}$ to $T\mc{Z}_\lambda$ by $J_\lambda$. 
We say $A\!\in\!H_2(\mc{Z},\mathbb Z)$ is \textsf{vertical} if $A\!\cdot\! [\mc{Z}_\lambda]\!=\!0$; the latter is independent of the choice of $\lambda$. 
If $A$ is vertical, every $J_\mc{Z}$-holomorphic map in $\ov\mc{M}_{g,k}(\mc{Z},A,J_\mc{Z})$ has image in a fiber\footnote{There might be different homology classes in $\mc{Z}_\lambda$ that are equal to $A$, as homology classes in $\mc{Z}$. In this case, $\ov\mc{M}_{g,k}(\mc{Z},A,J_\mc{Z})$ is the union over all the representatives of $A$ in $H_2(\mc{Z}_\lambda,\mathbb Z)$; see \cite{FZRim}. } $\mc{Z}_\lambda$, for some $\lambda\!\in\!\Delta$. 
Therefore, we get a fiberation 
$$
\ov\mc{M}_{g,k}(\mc{Z},A,J_\mc{Z})\equiv \bigcup_{\lambda\in\Delta}\ov\mc{M}_{g,k}(\mc{Z}_\lambda,A,J_\lambda)\longrightarrow \Delta,
$$
where for $\lambda\!=\!0$ by $\ov\mc{M}_{g,k}(\mc{Z}_0,A,J_0)$ we simply mean the space of $J_\mc{Z}$-holomorphic maps in $\mc{Z}$ whose image lie inside $\mc{Z}_0$. Let $\ov\mc{M}_{g,k}(\mc{Z}_{*},A,J_*)$ be the complement of $\ov\mc{M}_{g,k}(\mc{Z}_0,A,J_0)$ in $\ov\mc{M}_{g,k}(\mc{Z},A,J_\mc{Z})$. For $\lambda,\lambda'\!\in\!\Delta^*$ and any path $\gamma$ in $\Delta^*$ connecting $\lambda$ and $\lambda'$,  
$$
\pi^{-1}(\gamma)\!\subset\!\ov\mc{M}_{g,k}(\mc{Z}_*,A,J_*)
$$ 
gives a cobordism between 
$$
[\ov\mc{M}_{g,k}(\mc{Z}_\lambda,A)]^\tn{VFC}\quad\tn{and}\quad [\ov\mc{M}_{g,k}(\mc{Z}_{\lambda'},A)]^\tn{VFC}
$$ 
in the sense of \cite[Definition 3.5.1]{FF}; thus the corresponding GW invariants are equal. Since the space $\mc{Z}_0$ is not smooth, the classical construction of GW invariants does not extend to $\ov\mc{M}_{g,k}(\mc{Z}_0,A)$. Moreover, the expected dimension of the (virtually) main components of $\ov\mc{M}_{g,k}(\mc{Z}_0,A)$ could be quite different from (\ref{exp-dim_e}).
The question is: \vskip.1in

\noindent
($\star\star$)\textit{ how to replace $\ov\mc{M}_{g,k}(\mc{Z}_0,A)$ with a refined compact space $\ov\mc{M}^{\tn{good}}_{g,k}(\mc{Z}_0,A)$ (ideally, still a subset of $\ov\mc{M}_{g,k}(\mc{Z}_0,A)$) such that 
$$
\ov\mc{M}^{\tn{good}}_{g,k}(\mc{Z},A)=\ov\mc{M}_{g,k}(\mc{Z}_*,A)\cup \ov\mc{M}^{\tn{good}}_{g,k}(\mc{Z}_0,A)
$$ 
is still naturally compact, each ``main component'' of $\ov\mc{M}^{\tn{good}}_{g,k}(\mc{Z}_0,A)$ has the same expected dimension (\ref{exp-dim_e}) and is (virtually) smooth enough to admit  a natural VFC, and there exists a similar cobordism relation between 
$[\ov\mc{M}^{\tn{good}}_{g,k}(\mc{Z}_0,A)]^\tn{VFC}$ and $[\ov\mc{M}_{g,k}(\mc{Z}_\lambda,A)]^\tn{VFC}$, for any $\lambda\!\in\!\Delta^*$?} \\

\noindent
If $\mc{Z}_0\!=\!X_\emptyset$ is a simple normal crossings, it decomposes into a transverse union of smooth varieties $\{X_i\}_{i\in S}$ 
along SC divisors $X_{i;\partial}\!=\!\bigcup_{j\in S-i}X_{ij}$ in~$X_i$ as in (\ref{Xesetdfn_e}). The inclusion $\mc{Z}_0\!\subset\!\mc{Z}$ is also an SC symplectic divisor. 
Every $J_0$-holomorphic map in $\mc{Z}_0$ can be decomposed (not necessarily uniquely) into a union of $J_i$-holomorphic maps into $X_i$ that are ``compatible'' at the nodes in a suitable sense.
The question above thus brings up the following discussion. \\

\noindent
Assume $D\!=\!\bigcup_{i\in S}D_i$ is an SC symplectic divisor in $(X,\omega)$, $J$ is an almost complex structure ``compatible'' with $\omega$ and $D$, $A\!\in\!H_2(X,\mathbb Z)$, $g,k\!\in\!\mathbb N$, and 
$$
\mf{s}\!=\!  (s_i=(s_{ij})_{j\in S})_{i=1}^k \in (\mathbb N^S)^k,
$$
such that 
\bEq{Sumsi_e}
A\cdot D_j =\sum_{i=1}^k s_{ij}\qquad\forall~j\!\in\!S.
\end{equation}
Define $\mc{M}_{g,\mf{s}}(X, D, A)$ (in the stable range) to be the space of equivalence classes of $k$-marked degree $A$ genus $g$ $J$-holomorphic maps  into $X$ (with smooth domain) which have contact order of $s_{ij}$ with $D_j$ at the marked point $z^i$ for all $1\!\leq\!i\!\leq\!k$ and $j\!\in\!S$; in particular, by (\ref{Sumsi_e}),
$$
u^{-1}(D)\!\subset\!\{z^1,\ldots,z^k\}.
$$
The expected real dimension of $\mc{M}_{g,\mf{s}}(X, D, A)$ is 
\bEq{Logdim_e}
2\lrp{c_1^{TX}(A)+(n-3)(1-g)+k-A\cdot D}.
\end{equation}
Note that the marked points $z^i$ with $s_i\!=\!0\!\in\!\mathbb N^S$ correspond to the classical marked points with image away from the divisor.
Similarly to ($\star\star$), the question is:\vskip.1in

\noindent
($\star$)\textit{ how to define a ``good" compactification $\ov\mc{M}_{g,\mf{s}}^{\tn{good}}(X,D,A)$ of $\mc{M}_{g,\mf{s}}(X,D,A)$ so that the definition of contact order $\mf{s}$ naturally extends to every element of $\ov\mc{M}_{g,\mf{s}}^{\tn{good}}(X,D,A)$, $\ov\mc{M}_{g,\mf{s}}^{\tn{good}}(X,D,A)$ is (virtually) smooth enough to admit a natural class of cobordant (for various choices of $J$, etc.) Kuranishi structures of the real dimension (\ref{Logdim_e}), and the resulting GW invariants  are invariants of the deformation equivalence class of $(X,D,\omega)$?}\vskip.1in

\noindent
Once we answer ($\star$) and ($\star\star$), the natural question is:\vskip.1in

\noindent
($\star\!\star\!\star$)\textit{ whether the resulting GW invariants of $\mc{Z}_0$, and thus any $\mc{Z}_\lambda$, can be expressed as a function of the relative GW invariants of the pairs $(X_i,X_{i;\partial})$?}\\

\noindent
In this article, we outline a project aimed at answering  ($\star$) and ($\star\star$). We review the known results in 
Section~\ref{History_s}. In order to address ($\star$), in \cite{FRelative}, we introduce a notion of log pseudoholomorphic map relative to simple normal crossings symplectic divisors. We review this notion in Section~\ref{LogSCDiv_s}. In \cite{FRelative}, for an appropriate class of almost compelx structures, we show that the moduli space of ``stable" log maps of any fixed type is compact and metrizable with respect to an enhancement of the Gromov topology. In the case of smooth symplectic divisors, our compactification is often smaller than the relative compactification and there is a projection map from the former onto the latter. The latter is constructed via expanded degenerations of the target, however, our construction does not need any modification of (or an extra structure on) the target. In Section~\ref{LogSCVar_s}, we will use the decomposition (\ref{SCdecomposition_e}) and the space of relative log maps in each piece $(X_i,X_{i;\partial})$ to define a notion of log pseudoholomorphic map for ``smoothable" SC symplectic varieties. In \cite{FSC}, we will use the compactness result  for the relative case to prove a similar compactness result for the moduli spaces of stable log maps into SC symplectic varieties. 
Unlike in the case of classical moduli spaces of stable maps, log moduli spaces are often virtually singular. We describe an explicit toric model for the space of gluing parameters along each stratum in terms of the defining combinatorial data of that stratum. 
In an upcoming paper, we will define a natural Fredholm operator which gives us the deformation/obstruction spaces of each stratum and prove a gluing theorem for smoothing log maps in the normal direction to each stratum. With minor modifications to the theory of Kuranishi structures, the latter allows us to construct a virtual fundamental class for every such log moduli space. 
In Section~\ref{Formula_s}, we propose an explicit degeneration formula that relates the GW invariants (or VFC) of the smooth fibers to the expected log GW invariants (resp. VFC) of the central fiber, in a ``suitable" semistable degeneration $\pi\colon\!\mc{Z}\!\longrightarrow\! \Delta$, with a simple normal crossings central fiber $\mc{Z}_0$; see (\ref{Formula_e}). The explicit coefficients in  (\ref{Formula_e}) come from calculating the degree of the projection map induced by $\pi$ from the space of gluing parameters onto $\mathbb C$. In Remark~\ref{ACG_rmk}, we briefly compare our formula to that of Abramovich-Chen-Gross-Siebert in \cite[(1.1.1)]{ACGS}. In Section~\ref{Cubic_s}, we re-study a non-trivial (i.e. not of the classical type) example about the degeneration  of degree $3$ rational curves in a pencil of cubic surfaces, studied in \cite[Section~6]{ACGS}, to illustrate (\ref{Formula_e}) and highlight the similarities/differences of our approach with the algebraic approach. Finally, by examples such as Example~\ref{CubicxP1_eg}, a positive answer to question ($\star\!\star\!\star$) seems very unlikely in complex dimensions higher than $2$. 


\section{The state of the art}\label{History_s}
First informal mention and application of such a degeneration formula date back to the mid-1990 papers of Tian \cite{Tian} and Caporaso-Harris \cite{CH}. In algebraic geometry, for a smooth divisor $D\!\subset\!X$, Jun Li \cite{JLi1} introduced a notion of \textit{stable relative map} whose image lives in a natural simple normal crossings ``expanded degeneration" associated to $(X,D)$. Similarly, for a smoothable \textit{basic}\footnote{More generally, an SC variety $\mc{Z}_0$ is basic and the same results hold if the singular locus is smooth and locally separabale.} SC variety $\mc{Z}_0\!=\!X_1\!\cup_{X_{12}}\!X_2$,  he constructed a compactification $\ov\mc{M}^{\tn{rel}}_{g,k}(\mc{Z}_0,A)$ whose main components are appropriate fiber products of the relative moduli spaces\footnote{Over possibly disconnected domains of Euler characteristic $\chi_1$ and $\chi_2$.} $\ov\mc{M}_{\chi_1,\mf{s}}(X_1,X_{12},A_1)$ and $\ov\mc{M}_{\chi_2,\mf{s}}(X_2,X_{12},A_2)$. For any semistable degeneration with a basic SC central fiber, in \cite{JLi2}, he proved a decomposition formula which expresses (a combination of) the GW invariants of the smooth fibers in term of products of relative GW invariants of $(X_1,X_{12})$ and $(X_2,X_{12})$. Therefore, the relative theory of \cite{JLi1,JLi2} answers ($\star$) for smooth divisors and ($\star\star$)-($\star\!\!\star\!\!\star$) for basic normal crossings degenerations. On the symplectic (analytical) side, similar moduli spaces are defined in \cite{IPrel,IPsum,LR}. After some fixes, definition of relative moduli spaces in \cite{IPrel} for smooth symplectic divisors $D\!\subset\!(X,\omega)$ includes the holomorphic case and is thus a generalization of the algebraic definition. However, proof of the compactness is not complete and the construction of relative GW invariants is limited to a narrow class of semi-positive pairs; see \cite[Definition~4.7]{FZSum} for the definition of semi-positivity which is not provided in \cite{IPrel}. Similarly, the definition of $\ov\mc{M}^{\tn{rel}}_{g,k}(X_1\!\cup_{X_{12}}\!X_2,A)$ in \cite{IPsum} includes the holomorphic case, but the decomposition formula stated there is limited to the semi-positive range, and both its statement and proof are incorrect; see \cite{FZSum} and \cite{IPCor}. Definition of the relative compactification in \cite{LR} adapts the ideas of SFT for stretching of the target. This idea uses almost complex structures on $X\!-\!D$ with translational and rotational symmetry in the cylindrical end as in SFT \cite{SFT}. These almost complex structures are often not holomorphic. They are however more suitable for analytical purposes such as proving the essential gluing theorem. The statement of the degeneration formula in \cite{LR} essentially coincides with the Jun Li's formula but the paper contains no proof of the crucial statements. We believe that the analytical details of SFT can be adapted to make a complete proof.   \\

\noindent
It has been long known that the method of expanded degenerations does not work (well) for arbitrary SC divisors/varieties. On the algebraic side, log Gromov-Witten theory of Gross-Siebert and Abramovich-Chen (initially proposed by Siebert about 15 years ago) answers ($\star$) and ($\star\star$) and works even for a larger class of ``log smooth objects". Every (complex) NC divisor $D\!\subset\!X$ defines a natural ``fine saturated log structure" on $X$, and the log GW theory of \cite{ACII,GS} constructs a good compactification with a perfect obstruction theory for every fine saturated log variety $X$.\
Unlike in \cite{JLi1}, the log compactification does not require any expanded degeneration of the target. Instead, it uses the extra log structure on $X$ (and various log structures on the domains) to keep track of the curves sinking into the support of the log structure. The unpublished degeneration formula of \cite[(1.1.1)]{ACGS} and the one that we propose in this article are a sum over the same set of combinatorial data, but a priori, with different coefficients; see Remark~\ref{ACG_rmk}.
Unlike the relative compactification, which has a  geometric presentation, definition of algebraic  log moduli spaces  involves certain intricate algebraic structures that can not easily be translated into analytical/topological structures suitable for the symplectic category. 
The project outlined in this article is inspired by the log GW theory but it is completely different in definitions and details. \\

\noindent
On the analytical side, in \cite{P-GW}, Brett Parker uses his enriched almost K\"ahler category of ``exploded manifolds", defined in \cite{P-Exp}, to construct such a compactification relative to an almost K\"ahler NC divisor. His approach can be considered as a direct translation of log geometry into the almost K\"ahler category. With the ``exploded semiring" $\mathbb C\mf{t}^\mathbb R$  defined in \cite[Section~2]{P-Exp}, an abstract exploded space $B$ (cf. \cite[Definition 3.1]{P-Exp}) consists of the following data:
\begin{itemize}[leftmargin=*]
\item A (possibly non-Hausdorff) topological space $B$ whose topology is induced from a surjective map to a Hausdorff topological space, $B\!\longrightarrow\!\left \lceil{B}\right \rceil $;
\item A sheaf $\mc{E}^{\times}(B)$ of Abelian groups on $B$, called the sheaf of exploded functions on $B$, such that
\begin{enumerate}[label=$(\alph*)$,leftmargin=*]
\item each element $f\!\in\! \mc{E}^{\times}(U)$ is a map $f\colon\! U \!\longrightarrow\! \mathbb C^*\mf{t}^{\mathbb R}$,
\item multiplication is given by the point-wise multiplication in $\mathbb C^*\mf{t}^{\mathbb R}$,
\item $\mc{E}^{\times}(U)$ includes the constant functions if $U\!\neq\! \emptyset$,
\item and restriction maps are given by restriction of functions.
\end{enumerate}
\end{itemize}
The sheaf $\mc{E}^{\times}(B)$ plays the role of the sheaf of monoids in log geometry.
A smooth exploded manifold is an abstract exploded space that can be covered with some specific type of local (toroidal) charts; see \cite[Definition~3.13]{P-Exp}. Similarly to the log geometry, every complex NC divisor $D\!\subset\!X$ defines a natural exploded structure $B$ on $X\!=\!\left \lceil{B}\right \rceil$. Beyond the complex case, his construction still requires some ``holomorphicity" near $D$ and it is not clear whether there is a way to associate an exploded structure to every arbitrary NC symplectic divisor/variety. 
In addition to this rigidity issue, as the complicated definition above indicates, the moduli spaces arising from exploded structures are more complicated than desirable and have so far proved too unwieldy for practical applications.
In \cite[(1)-(2)]{PFormula}, Brett Parker claims two  ``tropical" degeneration formulas, but we have not been able to understand these formulas and compare them to (\ref{Formula_e}). \\

\noindent
In \cite{Inc},  Eleny Ionel approaches ($\star$) by considering  expanded degenerations similar to \cite{IPrel}. The definition of NC divisor in \cite[Definition~1.3]{Inc} is almost K\"ahler, i.e. the resulting invariants will not a priori be symplectic invariants; our topological notion of NC symplectic divisor in \cite{FMZDiv} together with the isomorphism  \cite[(1.7)]{FMZDiv} can be used to address this shortcoming.
However, we believe that the proof of the main result \cite[Theorem 8.1]{Inc} is still deficient for the following reasons.

\begin{itemize}[leftmargin=*]
\item By \cite[Remark~2.3]{Inc}, this paper uses Ruan-Tian type  \cite{RT1,RT2}  $(J,\nu)$-holomorphic maps to avoid constructing VFC. For this method to work, one has to ensure that there are enough ``appropriate" perturbations $\nu$ to achieve transversality. This is typically done in the literature by either assuming a semi-positivity condition on the target as in \cite{RT1,RT2} or by uniformly stabilizing all the domains via some Donaldson divisor as in \cite{CM}. The proof of \cite[Theorem 8.1]{Inc} refers to \cite[Remark 2.2]{Inc} in this regard, which is about using Donaldson divisors for any arbitrary tuple $(X,D,g,A)$.  
However, even if $D$ is smooth, by the counter examples in \cite{FZvs}, the method of stabilizing the domains with a Donaldson divisor does not work in all cases; this issue has been acknowledged by Ionel-Parker in \cite{IPvfc}.

\item The main goal of \cite{Inc} is to prove a compactness result and the author repeats the following improper argument in \cite{IPsum} about using symplectic sum fibrations. She uses various undefined deformation spaces $\mc{X}\!\longrightarrow\!B$ (see top of \cite[Page 53]{Inc}) to reduce the proof of compactness to the classical Gromov compactness. As we explain in Page 75 of \cite{FZSum}, even in the case of classical symplectic sum smoothing, using symplectic sum families associated to different expanded degenerations  to prove compactness (i.e. \cite[Definition 5.5]{Inc}) does not make any sense.   
The general fibers of such smoothings are deformation equivalent to the original symplectic manifold $X$, but not canonically. In addition, the so called ``symplectic sum" family $X_\lambda$ in \cite[Section~4]{Inc} (for that particular type of central fiber) does not exist anywhere in the literature.
\end{itemize} 
\noindent
Nevertheless, the main motivation behind the log GW theory of Gross-Siebert-Abramovich-Chen, exploded theory of Parker, and the current article is that the idea of expanded degenerations does not sound promising for proving a degeneration formula.

\section{Log pseudoholomorphic maps relative to SC divisors}\label{LogSCDiv_s}

In this section, for an arbitrary SC symplectic divisor $D\!\subset\!(X,\omega)$ and an appropriate choice of almost complex structure $J$ on $X$, we review the definition of log moduli  spaces $\ov\mc{M}_{g,\mf{s}}^{\tn{log}}(X,D,A)$
in~\cite{FRelative}. We refer to \cite{FRelative} for more details and various examples.  \\

\noindent
For a smooth symplectic divisor $D\!\subset\!(X,\omega)$, define $\mc{J}(X,D,\omega)$ to be the space of almost complex structures $J$ on $X$ that are 
\begin{enumerate}[label=$(\arabic*)$,leftmargin=*]
\item compatible\footnote{One may consider ``tame" almost complex structures.} with $\omega$, i.e. $\omega(\cdot,J\cdot)$ is a metric, 
\item compatible with $D$, i.e. $JTD\!=\!TD$, and 
\item integrable to the first order in the normal direction to $D$ in the sense that
$$
N_J(v_1,v_2)\in T_xD \qquad \forall~x\!\in\!D,~v_1,v_2\!\in\!T_xX,\quad \tn{where}
$$
$$
N_J \!\in\! \Gamma(X,\Omega^2_X\otimes TX),\quad N_J(u,v)\!\equiv\![u,v]\!+\!J[u,Jv]\!+\!J[Ju,v]\!-\![Ju,Jv]\quad\forall u,v\!\in\! TX,
$$
is the Nijenhueis tensor of $J$. 
\end{enumerate}
It can be shown using the Symplectic Neighborhood Theorem \cite[Theorem 3.30]{MS1} that this space is non-empty and contractible; see \cite[Appendix]{IPrel}.
Every almost complex structure satisfying (2) induces a complex structure $\mf{i}_{\mc{N}_XD}$ and a $\bar\partial$-operator $\bar\partial_{\mc{N}_XD}$ on the normal bundle $\mc{N}_XD$ of $D$ in $X$; see \cite{ZBasic}. This $\bar\partial$-operator plays a crucial role in defining the relative and log moduli spaces.  The Nijenhueis condition is needed for the proof of compactness/or equally to show that certain operators are complex linear.\\

\noindent
For an SC symplectic divisor $D\!=\!\bigcup_{i\in S}D_i\!\subset \!(X,\omega)$, let 
$$
\mc{J}(X,D,\omega)=\bigcap_{i\in S} \mc{J}(X,D_i,\omega)\;.
$$
This space could be empty for some choices of $\omega$. 
Let $\tn{Symp}^+(X,D)$ be the space of all symplectic structures $\omega$ on $X$ such that $D$ is an SC symplectic divisor in $(X,\omega)$ and 
$$
\mc{J}(X,D)=\lrc{(J,\omega)\colon \omega\in \tn{Symp}^+(X,D),~J\!\in\! \mc{J}(X,D,\omega)}.
$$
In the following, given a transverse union $D\!=\!\bigcup_{i\in S}D_i$ of smooth real codimension $2$ submanifolds $\{D_i\}_{i\in S}$ in $X$, we say $D$ is  an SC symplectic divisor in $X$ if $\tn{Symp}^+(X,D)\!\neq\!\emptyset$. The particular choice of $\omega$ in its deformation equivalence class is not important in GW theory.
In \cite{FMZDiv}, we introduced a subclass $\tn{AK}(X,D)$ of $\mc{J}(X,D)$ such that the projection map
$$
\tn{AK}(X,D)\longrightarrow \tn{Symp}^+(X,D)
$$
is a weak homotopy equivalence; see \cite[Theorem~2.13]{FMZDiv}. While the definitions of this section work for any almost complex structure in $\mc{J}(X,D)$, the subspace $\tn{AK}(X, D)$ is better for analytical purposes. Furthermore, because of the theorem \cite[Theorem~2.13]{FMZDiv} stated above, by restricting to the subclass $\tn{AK}(X,D)$, the eventual GW invariants would be invariants of the deformation equivalence class of $\omega$ in $\tn{Symp}^+(X,D)$. I expect the same statements to be true for the entire $\mc{J}(X,D)$.\\

\noindent
For an SC symplectic divisor $D$ in $X$ and $(J,\omega)\!\in\!\mc{J}(X,D)$, any $J$-holomorphic map $u\colon(\Sigma,\mf{j})\!\longrightarrow\!(X,J)$ with smooth domain has image in a minimal stratum $D_I\!=\!\bigcap_{i\in I}D_i $, for some $I\!\subset\!S$. Then, we say $u$ is a map of \textsf{depth $I$}. In this situation, for every $i\!\in\!I$, the pull-back $\bar\partial$-operator 
$$
u^*\bar\partial_{\mc{N}_XD_i}=u^*\bar\partial_{\mc{N}_{D_{I-i}}D_I}
$$ 
defines a holomorphic structure on the pull-back complex line bundle $u^*\mc{N}_XD_i$. Define 
$$
\Gamma_{\tn{mero}}(\Sigma,u^*\mc{N}_XD_i)\qquad\forall~i\!\in\!I
$$ 
to be the space of non-trivial meromorphic sections of $u^*\mc{N}_XD_i$ with respect to $u^*\bar\partial_{\mc{N}_XD_i}$. Given a tuple 
$$
\big(u, \zeta\equiv (\zeta_{i})_{i\in I},\Sigma,\mf{j} \big), \qquad \zeta_{i}\!\in\!\Gamma_{\tn{mero}}(\Sigma,u^*\mc{N}_XD_i)\quad \forall~i\!\in\!I,
$$
for each $x\!\in\!\Sigma$, the order vector
\bEq{OrderVec_e}
\tn{ord}_{u,\zeta}(x)=\big(\tn{ord}^j_{u,\zeta}(x)\big)_{j\in S}\!\in\!\mathbb Z^S
\end{equation}
is defined by 
\bEq{OrderVec_e2}
\tn{ord}^j_{u,\zeta}(x)=\tn{ord}_x(u,D_j)\quad  \forall~j\!\in\!S\!-\!I\qquad\tn{and}\qquad \tn{ord}^j_{u,\zeta}(x)=\tn{ord}_x\zeta_j\quad  \forall~j\!\in\!I.
\end{equation}
The first item in (\ref{OrderVec_e2}) is the order of tangency of $u$ to $D_j$ at $x$; this is zero if $u(x)\!\notin\!D_j$ and is positive otherwise.
The second item in (\ref{OrderVec_e2}) only depends on the $\mathbb C^*$-equivalence class $[\zeta_j]$ of the section $\zeta_j$; i.e. changing $\zeta_j$ with a non-zero constant multiple  of that does not change $\tn{ord}^j_{u,\zeta}(x)$.\\

\noindent
Before we discuss similar notions for nodal domains, we need to fix some notation.
Associated to every $k$-marked nodal domain $(\Sigma,z^1,\ldots,z^k)$, we construct a decorated dual graph of the following sort. This dual graph plays a crucial role in defining and studying log maps. \\

\noindent
Let $\Gamma\!=\!\Gamma(\mathbb V,\mathbb E,\mathbb L)$ be a graph with the set of vertices $\mathbb V$, edges $\mathbb E$, and legs $\mathbb L$; the latter, also called flags or roots, are half edges that have a vertex at one end and are open at the other end. Let $\uvec{\mathbb E}$ be the set of edges with an orientation. Given $\uvec{e}\!\in\!\uvec{\mathbb E}$, let $\ucev{e}$ denote the same edge with the opposite orientation. For each $\uvec{e}\!\in\!\uvec{\mathbb E}$, let $v_1(\uvec{e})$ and $v_2(\uvec{e})$ in $\mathbb V$ denote the starting and ending points of the arrow, respectively. For $v,v'\!\in\!\mathbb V$, let $\mathbb E_{v,v'}$ denote the subset of edges between the two vertices and $\uvec{\mathbb E}_{v,v'}$ denote the subset of oriented edges from $v$ to $v'$. For every $v\!\in\!\mathbb V$, let $\uvec{\mathbb E}_{v}$ denote the subset of oriented edges starting from $v$.\\

 \noindent
A \textsf{genus labeling} of $\Gamma$ is a function $g\colon\!\mathbb V\!\longrightarrow\! \mathbb N$. An \textsf{ordering of the legs} of $\Gamma$ is a bijection $o\colon \!\mathbb L\!\longrightarrow\! \{1,\ldots, |\mathbb L|\}$.
If a graph $\Gamma$ with a genus labeling is connected, the \textsf{arithmetic} genus of $\Gamma$ is 
$$
g=g_\Gamma= \sum_{v\in \mathbb V} g_v\! +\! \tn{rank} ~H_1(\Gamma,\mathbb Z),
$$
where $H_1(\Gamma,\mathbb Z)$ is the first homology group of the underlying topological space of $\Gamma$. Figure~\ref{labled-graph_fg}-left illustrates a labeled graph with $2$ flags. \\

\begin{figure}
\begin{pspicture}(8,1.3)(11,3.8)
\psset{unit=.3cm}

\pscircle*(35,6){.25}\pscircle*(39,6){.25}
\pscircle*(35,9){.25}\pscircle*(41.5,9){.25}\pscircle*(39,9){.25}
\psline[linewidth=.05](39,6)(35,9)
\psline[linewidth=.05](39,6)(39,9)\psline[linewidth=.05](39,6)(41.5,9)
\psarc[linewidth=.05](33,7.5){2.5}{-36.9}{36.9}\psarc[linewidth=.05](37,7.5){2.5}{143.1}{216.0}
\psline[linewidth=.05](41.5,9)(40.5,10.5)\psline[linewidth=.05](41.5,9)(42.5,10.5)
\rput(40.5,11.2){1}\rput(42.5,11.2){2}
\rput(35,5){$g_4$}\rput(39.5,5){$g_5$}
\rput(34.5,10){$g_1$}\rput(42.7,8.6){$g_3$}
\rput(39,10){$g_2$}


\pscircle*(55,6){.25}\pscircle*(59,6){.25}
\pscircle*(55,9){.25}\pscircle*(61.5,9){.25}\pscircle*(59,9){.25}
\psline[linewidth=.05](59,6)(55,9)
\psline[linewidth=.05](59,6)(59,9)\psline[linewidth=.05](59,6)(61.5,9)
\psarc[linewidth=.05](53,7.5){2.5}{-36.9}{36.9}\psarc[linewidth=.05](57,7.5){2.5}{143.1}{216.0}
\psline[linewidth=.05](61.5,9)(60.5,10.5)\psline[linewidth=.05](61.5,9)(62.5,10.5)
\rput(60.5,11.2){1}\rput(62.5,11.2){2}
\rput(55,5){$(g_4,A_4)$}\rput(59.5,5){$(g_5,A_5)$}
\rput(54,10){$(g_1,A_1)$}\rput(63.8,8.5){$(g_3,A_3)$}
\rput(58.3,10){$(g_2,A_2)$}
\end{pspicture}
\caption{On left, a labeled graph $\Gamma$ representing a stratum of nodal curves in $\ov\mc{M}_{g,2}$. On right, a labeled graph $\Gamma$ representing a stratum of nodal maps in $\ov\mc{M}_{g,2}(X,A)$.}
\label{labled-graph_fg}
\end{figure}

\noindent 
Such decorated graphs $\Gamma$ characterize different topological types of nodal marked surfaces 
$$
(\Sigma,\vec{z}\!=\!(z^1,\ldots,z^k))
$$ 
in the following way.
Each vertex $v\!\in\!\mathbb V$ corresponds to a smooth\footnote{We mean a smooth closed oriented surface.} component $\Sigma_v$ of $\Sigma$ with genus $g_v$. Each edge $e\!\in\!\mathbb E$ corresponds to a node $q_e$ obtained by connecting $\Sigma_v$ and $\Sigma_{v'}$ at the points $q_{\uvec{e}}\!\in\!\Sigma_v$ and $q_{\scriptsize\ucev{e}}\!\in\!\Sigma_{v'}$, where $e\!\in\!\mathbb E_{v,v'}$ and $\uvec{e}$ is an orientation on $e$ with $v_1(\uvec{e})\!=\!v$. The last condition uniquely specifies $\uvec{e}$ unless $e$ is a loop connecting $v$ to itself. Finally, each leg $l\!\in\!\mathbb L$ connected to the vertex $v(l)$ corresponds to a marked point $z^{o(l)}\!\in \Sigma_{v(l)}$ disjoint from the connecting nodes. If $\Sigma$ is connected, then $g_\Gamma$ is the arithmetic genus of $\Sigma$. Thus we have
\bEq{nodalcurve_e}
(\Sigma,\vec{z})\! =\! \coprod_{v\in \mathbb V}(\Sigma_v,\vec{z}_v,{q}_v)/\sim, \quad  q_{\uvec{e}}\!\sim\! q_{\scriptsize\ucev{e}}\quad\forall~e\!\in\!\mathbb E,
\end{equation}
where 
$$
\vec{z}_v\!=\!\vec{z}\cap \Sigma_v\quad\tn{and}\quad \quad {q}_v=\{q_{\uvec{e}}\colon \uvec{e}\!\in\!\uvec{\mathbb E}_v\}\qquad \forall~v\!\in\!\mathbb V.
$$
We treat $q_v$ as an un-ordered set of marked points on $\Sigma_v$. In this situation, we say $\Gamma$ is the \textsf{(decorated) dual graph} of $(\Sigma,\vec{z})$.\\

\noindent
A complex structure $\mf{j}$ on $\Sigma$ is a set of complex structures $(\mf{j}_v)_{v\in \mathbb V}$ on its components. By a (complex) marked nodal curve, we mean a  marked nodal real surface together with a complex structure $(\Sigma,\mf{j},\vec{z})$. 
Figure~\ref{labled-curve_fg} illustrates a nodal curve with $(g_1,g_2,g_3,g_4,g_5)=(0,2,0,1,0)$ corresponding to Figure~\ref{labled-graph_fg}-left. \\

\noindent 
Similarly, for nodal marked surfaces mapping into a topological space $X$, we consider similar decorated graphs where the vertices carry an additional \textsf{degree labeling} 
$$
A\colon \mathbb V\longrightarrow H_2(X,\mathbb Z),\quad v\longrightarrow A_v,
$$
recording the homology classes of the corresponding maps. Figure~\ref{labled-graph_fg}-right illustrates a dual graph associated to a marked nodal map over the graph on the left. \\

\begin{figure}
\begin{pspicture}(8,1.7)(11,4)
\psset{unit=.3cm}

\pscircle*(52.4,8.2){.25}\pscircle*(52.4,11.8){.25}
\pscircle(50,10){3}\psellipse[linestyle=dashed,dash=1pt](50,10)(3,1)
\pscircle(54,7){2}\psellipse[linestyle=dashed,dash=1pt](54,7)(2,.77)
\pscircle*(55,8.6){.25}\rput(56,9){$z^1$}
\pscircle*(55,5.4){.25}\rput(56,5.4){$z^2$}

\pscircle(45,10){2}\psellipse[linestyle=dashed,dash=1pt](45,10)(2,.77)
\pscircle*(47,10){.25}\pscircle*(43.4,8.8){.25}\pscircle*(43.4,11.2){.25}
\psarc(41.8,7.6){2}{270}{71}
\psarc(41.8,12.4){2}{-71}{90}
\psarc(41.8,10){4.4}{90}{270}\psarc(42.8,10){.6}{120}{240}
\psarc(40,8.7){1.5}{60}{120}
\psarc(40,11.2){1.5}{225}{315}

\psarc(54,13){2}{60}{300}
\psarc(58,13){2}{240}{120}
\psarc(56,16.464){2}{240}{300}
\psarc(56,9.546){2}{60}{120}
\psarc(54,11.7){1.5}{60}{120}
\psarc(54,14.2){1.5}{225}{315}
\psarc(58,11.7){1.5}{60}{120}
\psarc(58,14.2){1.5}{225}{315}

\end{pspicture}
\caption{A nodal curve in $\ov\mc{M}_{4,2}$.}
\label{labled-curve_fg}
\end{figure}

\noindent
Assume $D\!=\!\bigcup_{i\in S} D_i \!\subset\!X$ is an SC symplectic divisor, $(J,\omega)\!\in\!\mc{J}(X,D)$, and 
$$
u\!=\!(u_v)_{v\in \mathbb V}\colon\!(\Sigma,\mf{j})\!\longrightarrow\!(X,J)
$$ 
ia a nodal  $J$-holomorphic map. Let $\mc{P}(S)$ be the set of subsets of $S$. In this situation, the dual graph of $(u,\Sigma)$ carries additional labelings
\bEq{LabelI_e}
I\colon \mathbb V,\mathbb E\longrightarrow \mc{P}(S), \qquad v\longrightarrow I_v\quad \forall v\!\in\!\mathbb V, \qquad e\longrightarrow I_e\quad \forall e\!\in\!\mathbb E,
\end{equation}
recording the depth of $u_v$ and $u(q_e)$, respectively. 

\bDf{SmoothLogMap_dfn}
Suppose $D\!= \!\bigcup_{i\in S} D_i\!\subset\! (X,\omega)$ is an SC symplectic divisor and $(J,\omega)\!\in\!\mc{J}(X,D)$. A~\textsf{log $J$-holomorphic tuple} $(u,[\zeta], \Sigma,\mf{j},w)$ consists of a smooth (closed) connected curve $(\Sigma,\mf{j})$, distinct points $w\!=\!\{w^1,\ldots,w^\ell\}$ on $\Sigma$,  a $(J,\mf{j})$-holomorphic map $u\colon\!(\Sigma,\mf{j})\!\longrightarrow\!(X,J)$ of depth $I$, and 
$$
[\zeta]\equiv \big([\zeta_i]\big)_{i\in I}\in   \bigoplus_{i\in I} \big(\Gamma_{\tn{mero}}(\Sigma,u^*\mc{N}_XD_i)/\mathbb C^*\big),
$$
such that 
\bEq{Intersection-Condition_e}
\tn{ord}_{u,\zeta}(x)\!=\!0~~\tn{if}~~x\!\notin\!w.
\end{equation}
For all $i\!=\!1\ldots\ell$, if  $\tn{ord}_{u,\zeta}(w^i)\!=\!s_i\!\in\!\mathbb Z^S$, we say $(u,[\zeta], \Sigma,\mf{j},w)$ is of contact (order) type $\mf{s}\!=\!(s_1,\ldots,s_\ell)\!\in\!(\mathbb Z^S)^\ell$.
\end{definition}
\noindent
In particular, if $u$ is of degree $A\!\in\!H_2(X,\mathbb Z)$, Condition (\ref{Intersection-Condition_e}) implies that 
$$
(A\cdot D_j)_{j\in S}=\sum_{i=1}^\ell s_i \in \mathbb Z^{S}.
$$

\bRm{UniqueLog_rmk}
For every $J$-holomorphic map $u\colon (\Sigma,\mf{j})\!\longrightarrow\!(X,J)$ with smooth domain, $\ell$ distinct points $w^1,\ldots,w^\ell$  in $\Sigma$, and $s_1,\ldots, s_\ell\!\in\!\mathbb Z$, if $\tn{Im}(u)\!\subset\!D_i$, up to $\mathbb C^*$-action there exists at most one meromorphic section $\zeta_i\!\in\!\Gamma_{\tn{mero}}(\Sigma,u^*\mc{N}_XD_i)$ with zeros/poles of order $s_i$ at $w^i$ (and nowhere else).
\end{remark}

\bDf{PreLogMap_dfn} 
Suppose $D\!= \!\bigcup_{i\in S} D_i\!\subset\! (X,\omega)$ is an SC symplectic divisor, $(J,\omega)\!\in\!\mc{J}(X,D)$, and 
$$
C\!\equiv\!(\Sigma,\mf{j},\vec{z})=\coprod_{v\in \mathbb V} C_v\equiv(\Sigma_v,\mf{j}_v,\vec{z}_v,q_v)/\sim,\quad   q_{\uvec{e}}\!\sim\! q_{\scriptsize\ucev{e}}\quad\forall~\uvec{e}\!\in\!\uvec{\mathbb E},
$$ 
is a connected nodal $k$-marked curve with smooth components $C_v$ and dual graph $\Gamma\!=\!\Gamma(\mathbb V,\mathbb E,\mathbb L)$ as in (\ref{nodalcurve_e}). A \textsf{pre-log $J$-holomorphic} map of contact type $\mf{s}\!=\!(s_i)_{i=1}^k\!\in\!\big(\mathbb Z^S\big)^k$ from $C$ to $X$ is a collection 
\bEq{fplogSetUp_e}
f\equiv \big(f_{v}\!\equiv\! (u_v,[\zeta_v],C_v)\big)_{v\in \mathbb V}\;,
\end{equation}
such that  
\begin{enumerate}[label=$(\arabic*)$,leftmargin=*]
\item for each $v\!\in\!\mathbb V$, $(u_v,[\zeta_v]=([\zeta_{v,i}])_{i\in I_v},\Sigma_v,\mf{j}_v,z_v \cup q_v)$ is a log $J$-holomorphic tuple as in Definition~\ref{SmoothLogMap_dfn};
\item\label{MatchingPoints_l} $u_v(q_{\uvec{e}})\!=\!u_{v'}(q_{\scriptsize\ucev{e}})\!\in\! X$ for all $v,v'\!\in\!\mathbb V$ and $\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}$;
\item\label{MatchingOrders_l} $s_{\uvec{e}}\!\equiv\! \tn{ord}_{u_v,\zeta_v}(q_{\uvec{e}})\!=\! -\tn{ord}_{u_{v'},\zeta_{v'}}(q_{\scriptsize\ucev{e}})\!\equiv\!-s_{\scriptsize\ucev{e}}$ for all $v,v'\!\in\!\mathbb V$ and $\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}$;
\item and $\tn{ord}_{u_v,\zeta_v}(z^i)=s_i$ for all $v\!\in\!\mathbb V$ and $z^i\!\in\!\vec{z}_v$.
\end{enumerate}
\end{definition}
\noindent
\bRm{IevsIv_rmk}
For every $v\!\in\!\mathbb V$ and $\uvec{e}\!\in\!\uvec{\mathbb E}_v$, let
$$
s_{\uvec{e}}=(s_{\uvec{e},i})_{i\in S}=\big((\tn{ord}_{u_v}^i(q_{\uvec{e}}))_{i\in S-I_v},(\tn{ord}_{\zeta_{v,i}}(q_{\uvec{e}}))_{i\in I_v}\big) \!\in\!\mathbb Z^{S}.
$$
For $\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}$, if $u_v$ and $u_{v'}$ have image in $D_{I_{v}}$ and $D_{I_{v'}}$, respectively, by Condition~\ref{MatchingPoints_l}, we have
$$
u(q_e)\!=\!u_v(q_{\uvec{e}})\!=\!u_{v'}(q_{\scriptsize\ucev{e}})\in D_{I_{v}}\cap D_{I_{v'}}= D_{I_{v}\cup I_{v'}};
$$
i.e. $I_{e}\!\supset\!I_{v}\!\cup\! I_{v'}$ (see (\ref{LabelI_e}) for the notation). If $i\!\in\!S\!\setminus\!I_{v}\!\cup\! I_{v'}$, by (\ref{OrderVec_e2}), we have 
$$
s_{\uvec{e},i},s_{\scriptsize\ucev{e},i}\geq 0.
$$
Therefore, by Condition~\ref{MatchingOrders_l}, they are both zero, i.e.
 \bEq{Ieunion_e}
 I_{e}\!=\!I_{v}\!\cup\! I_{v'}\quad\tn{and}\quad s_{\uvec{e}}\in \mathbb Z^{I_{e}} \!\times\! \{0\}^{S-I_{e}} \subset \mathbb Z^{S}\qquad \forall~\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}.
 \end{equation}
 \end{remark}
 \vskip.1in


\noindent
The space of (equivalence classes) of pre-log maps of a fixed combinatorial type is too big; see~\cite[Example~3.6]{FRelative}. In Definition~\ref{LogMap_dfn} below, we will take out a subspace that would give us a nice compactification with the correct expected dimension. In the future, we plan to completely address the question ($\star$) in the introduction, using using this compactification. Before we state the definition, we need to introduce some combinatorial structures, that are explicitly defined in terms of the decorated dual graph of a pre-log map. \\

\noindent
Corresponding to a decorated dual graph $\Gamma\!=\!\Gamma(\mathbb V,\mathbb E,\mathbb L)$ as in Definition~\ref{PreLogMap_dfn}  and an arbitrary orientation $O\!\equiv\!\{\uvec{e}\}_{e\in \mathbb E} \subset \uvec{\mathbb E}$ on the edges, we define a homomorphism of $\mathbb Z$-modules
\bEq{DtoT_e}
\mathbb D=\mathbb D(\Gamma)\equiv \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v}  \stackrel{\varrho=\varrho_{O}}{\xrightarrow{\hspace*{1.5cm}}} 
\mathbb T=\mathbb T(\Gamma)\equiv\bigoplus_{e\in \mathbb E} \mathbb Z^{I_e}
\end{equation}
in the following way. For every $e\!\in\!\mathbb E$, let 
$$
\varrho(1_{e})\!=\!s_{\uvec{e}}\!\in\!\mathbb Z^{I_e},
$$
where $1_{e}$ is the generator of $\mathbb Z^e$ in $\mathbb Z^{\mathbb E}$ and $\uvec{e}$ is the chosen orientation on $e$ in $O$. In particular, $\varrho(1_{e})\!=\!0$ for any $e$ with $I_e\!=\!\emptyset$ (a classical node). 
Similarly, for every $v\!\in\!\mathbb V$ and $i\!\in\! I_{v}$, let $1_{v,i}$ be the generator of the $i$-th factor in $\mathbb Z^{I_v}$, and define 
$$
\varrho(1_{v,i})\!=\!\xi_{v,i}\!\in\! \bigoplus_{e\in \mathbb E} \mathbb Z^{I_e}
$$
to be the vector which has $1_{e,i}\!\in\!\mathbb Z^{I_e}\!\subset\!\mathbb Z^S$ in the $e$-th factor, if $v\!=\!v_1(\uvec{e})$ and $e$ is not a loop, it has $-1_{e,i}\!\in\!\mathbb Z^{I_e}$ in the $e$-th factor, if $v\!=\!v_2(\uvec{e})$ and $e$ is not a loop, and is zero elsewhere. This is well-defined by the first equality in (\ref{Ieunion_e}). Let 
\bEq{cLGamma_e}
\Lambda\!=\!\Lambda(\Gamma)\!=\!\tn{image}(\varrho),\quad \mathbb K\!=\!\mathbb K(\Gamma)=\tn{Ker}(\varrho)\quad\tn{and}\quad  
\mathbb{C}\mathbb{K}\!=\!\mathbb{C}\mathbb{K}(\Gamma)=\mathbb T/\Lambda=\tn{coker}(\varrho).
\end{equation}
By Definition~\ref{PreLogMap_dfn}.\ref{MatchingOrders_l}, the $\mathbb Z$-modules $\Lambda$, $\mathbb K$, and $\mathbb{C}\mathbb{K}$ are independent of the choice of the orientation $O$ on $\mathbb E$ and are invariants of the decorated graph $\Gamma$. In particular,
$$
\mathbb K=\big\{\big((\lambda_e)_{e\in \mathbb E},(s_v)_{v\in \mathbb V}\big)\!\in\!\ \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v} \colon s_{v}\!-\!s_{v'}\!=\!\lambda_es_{\uvec{e}}\quad\forall~v,v'\!\in\!\mathbb V,~\uvec{e}\!\in\!\uvec{\mathbb E}_{v',v}\big\}.
$$
In this equation, via the first identity in (\ref{Ieunion_e}) and the inclusion $\mathbb Z^{I_v}\!\cong\!\mathbb Z^{I_v}\!\times\!\{0\}^{I_e-I_v}\!\subset\!\ \mathbb Z^{I_e}$ we think of $s_{v}$ as a vector also in $ \mathbb Z^{I_e}$, for all $e\!\in\!\mathbb E_v$.
For any field of characteristic zero $F$, let 
\bEq{FVersion_e}
\mathbb D_F=\mathbb D\otimes_\mathbb Z\! F,~~~ \mathbb T_F=\mathbb T\otimes_\mathbb Z \!F,~~~ \Lambda_F=\Lambda\otimes_\mathbb Z\!F,~~~\mathbb K_F=\mathbb K\otimes_\mathbb Z\!F,~~~\tn{and}~~~\mathbb{C}\mathbb{K}_F=\mathbb{C}\mathbb{K}\otimes_\mathbb Z\!F,
\end{equation}
be the corresponding $F$-vector spaces, and $\varrho_F\!\colon\!\mathbb D_F\!\longrightarrow\!\mathbb T_F$ be the corresponding $F$-linear map.
Via the exponentiation map, let 
$$
\tn{exp}(\Lambda_\mathbb C) \subset  \prod_{e\in \mathbb E} (\mathbb C^*)^{I_e}
$$
be the subgroup corresponding to the sub-Lie algebra $\Lambda_\mathbb C\!\subset\!\mathbb T_\mathbb C$, and denote the quotient group by $\mathcal{G}\!=\!\mathcal{G}(\Lambda)\!=\!\tn{exp}(\mathbb{C}\mathbb{K}_\mathbb C)$.
In \cite[Lemma~3.7]{FRelative}, to every (equivalence class of) pre-log map $f$ as in Definition~\ref{PreLogMap_dfn} map we associate a group element
\bEq{group-element_e}
\tn{ob}_\Gamma(f) \in \mathcal{G}(\Gamma).
\end{equation}

\bDf{LogMap_dfn}
Suppose $D\!= \!\bigcup_{i\in S} D_i\!\subset\! (X,\omega)$ is an SC symplectic divisor and $(J,\omega)\!\in\!\mc{J}(X,D)$. A \textsf{log $J$-holomorphic} is a pre-log $J$-holomorphic map  $f$ with the decorated dual graph $\Gamma$ such that 
\begin{enumerate}[label=$(\arabic*)$,leftmargin=*]
\item\label{Tropical_l} there exist functions 
$$
s \colon\! \mathbb V\!\longrightarrow\!\mathbb R^S, \quad v\!\longrightarrow\!s_v,\qquad\tn{and}\qquad \lambda \colon\! \mathbb E\!\longrightarrow\!\mathbb R_+, \quad e\!\longrightarrow\!\lambda_e,
$$
such that 
\begin{enumerate}[label=$(\alph*)$,leftmargin=*]
\item $s_v\!\in\!\mathbb R_{+}^{I_v}\!\times\!\{0\}^{S-I_v}$ for all $v\!\in\!\mathbb V$,
\item\label{Direction_l} $s_{v_{2}(\uvec{e})}\!-\!s_{v_1(\uvec{e})}\!=\!\lambda_{e} s_{\uvec{e}}$  for every $\uvec{e}\!\in\!\uvec{\mathbb E}$;
\end{enumerate} 
\item\label{GObs_e} and $\tn{ob}_\Gamma(f)\!=\!1\!\in\!\mathcal{G}(\Gamma)$.
\end{enumerate}
\end{definition}
\begin{remark}
Note that the functions $s$ and $\lambda$ in \ref{Tropical_l} are not part of the defining data of a log map. 
We only require such functions to exist for $\Gamma$ in order for $f$ to define a log map.  From the tropical perspective of \cite[Definition~2.5.3]{ACGS}, the existence of such a function $s$ is equal to the existence of a suitable tropical map from the tropical curve associated to $(\Gamma,\lambda)$ into $\mathbb R_{\geq 0}^S$.

\end{remark}

\noindent
Two marked log maps are \textsf{equivalent} if they are related by a ``reparametrization of the domain".
A marked log map is \textsf{stable} if it has a finite ``automorphism group". We denote the space of equivalence classes of stable  $k$-marked degree $A$ genus $g$  log maps of contact type $\mf{s}$ by $\ov\mc{M}_{g,\mf{s}}^{\log}(X,D,A)$.
Given $\mf{s}\!\in\!(\mathbb Z^S)^k$, it follows from Remark~\ref{UniqueLog_rmk} that for every $k$-marked stable nodal map $f$ in $\ov\mc{M}_{g,k}(X,A)$ with dual graph $\Gamma$ and a choice of decorations $\{s_{\uvec{e}}\}_{\uvec{e} \in \uvec{\mathbb E}}$ satisfying $s_{\uvec{e}}\!=\!-s_{\scriptsize\ucev{e}}$ for all $e\!\in\!\mathbb E$, there exists at most one element $f_{\log}\!\in\!\ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A)$ lifting $f$ with this decorated dual graph. Furthermore, $f_{\log}$ is stable if and only if $f$ is stable (and the automorphism groups are often the same). In \cite{FRelative}, we prove the following compactness result.

\begin{theorem}[{\cite[Theorem~1.1]{FRelative}}]\label{Compactness_th}
Suppose $D\!\subset\! X$ is an SC symplectic divisor.  
If $(J,\omega)\!\in\!\tn{AK}(X,D)$ or if $(J,\omega)$ is K\"ahler, then
for every $A\!\in\!H_2(X,\mathbb Z)$, $g,k\!\in\!\mathbb N$,  and $\mf{s}\!\in\!\big(\mathbb Z^S\big)^k$, 
the Gromov sequential convergence topology on $\ov\mc{M}_{g,k}(X,A)$ lifts to a compact sequential convergence topology
on $\ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A)$ such that the forgetful map 
\bEq{FogetLog_e}
\iota \colon \ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A)\longrightarrow \ov\mc{M}_{g,k}(X,A)
\end{equation}
is a continuous local embedding. In particular, $\ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A)$ is metrizable.
If $g\!=\!0$, then (\ref{FogetLog_e}) is a global embedding.
\end{theorem}

\noindent
Except for \cite[Proposition 4.11]{FRelative}, proof of \cite[Theorem~1.1]{FRelative} works for  arbitrary $(J,\omega)\!\in\!\mc{J}(X,D)$. We are working to extend this compactness result to arbitrary $(J,\omega)\!\in\!\mc{J}(X,D)$.\\


\noindent
For $\mf{s}\!\in\!(\mathbb N^S)^k$, a simple calculation shows that the expected real dimension of $\ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A)$ is 
$$
2\big(c_1^{TX(-\log D)}(A)+(\dim_\mathbb C X-3)(1-g)+k\big)=2\big(c_1^{TX}(A)+(\dim_\mathbb C X-3)(1-g)+k-A\cdot D\big),
$$
where $TX(-\log D)$ is the log tangent bundle defined in \cite{FMZstructure}. Moreover, the only stratum with top virtual dimension is $\mc{M}^{\log}_{g,\mf{s}}(X,D,A)$. The expected  complex codimension of any other stratum  $\mc{M}^{\log}_{g,\mf{s}}(X,D,A)_{\Gamma}$ is equal to $\dim_\mathbb R \mathbb K_\mathbb R(\Gamma)$ and is positive because of   
Definition~\ref{LogMap_dfn}.\ref{Tropical_l}; see \cite[Lemma~3.19]{FRelative}. \\

\noindent
Examples~\ref{32+01inP^2_ex} and~\ref{2dinP3toP2P2_ex} below illustrate the necessity of Conditions~\ref{Tropical_l} and~\ref{GObs_e}  
in Definition~\ref{LogMap_dfn} to get a compactification of the correct expected dimension. 

\begin{example}[{\cite[Example~3.6]{FRelative}}]\label{32+01inP^2_ex}
Let $X\!=\!\mathbb P^2$ with projective coordinates $[x_1,x_2,x_3]$ and let $D\!=\!D_1\!\cup\!D_2$ be a transverse union of two hyperplanes (lines). For 
$$
g\!=\!0,\quad \mf{s}\!=\!((3,2),(0,1))\!\in\!(\mathbb N^{\{1,2\}})^2,\quad\tn{and}\quad A\!=\![3]\!\in\!H_2(X,\mathbb Z)\!\cong\!\mathbb Z,
$$ 
the (virtually) main stratum $\mc{M}_{0,\mf{s}}(X,D,[3])$ is a manifold of complex dimension $4$. If $D_1\!=\!(x_1\!=\!0)$ and $D_2\!=\!(x_2\!=\!0)$, every element in $\mc{M}_{0,\mf{s}}(X,D,[3])$ is equivalent to a holomorphic map of the form
\bEq{32maps_e}
[z,w]\!\longrightarrow [z^3, z^2w, a_3z^3+a_2z^2w + a_1zw^2 + a_0 w^3].
\end{equation}
Let $\Gamma$ be the dual graph with three vertices $v_1,v_2,v_3$, and two edges $e_1,e_2$ connecting $v_1$ to $v_3$ and $v_2$ to $v_3$, respectively.
\begin{figure}
\begin{pspicture}(-3,-.5)(11,2)
\psset{unit=.3cm}
\psline(0,0)(8,0)\psline(0,0)(0,8)\psline(0,0)(8,5)
\rput(10,5.5){\small{$\tn{Im}(u_{v_2})$}}

\psarc(10,0){10}{140}{180}
\psarc(3,0){3}{0}{180}
\psarc(8,0){2}{140}{180}
\rput(3.5,7){\small{$\tn{Im}(u_{v_1})$}}

\rput(9,9){\small{$X$}}
\rput(9,0){\small{$D_2$}}\rput(0,9){\small{$D_1$}}

\psline[linewidth=.1](20,1)(27,1)\psline[linewidth=.1](20,1)(20,8)
\psline[linewidth=.15]{->}(27,1)(24,1)\psline[linewidth=.15]{->}(20,8)(20,5)
\rput(25.5,2){\small{$\uvec{e}_2$}}\rput(21,6.5){\small{$\uvec{e}_1$}}
\pscircle*(20,1){.25}\pscircle*(27,1){.25}\pscircle*(20,8){.25}
\rput(19,2){\small{$v_3$}}\rput(28,0){\small{$v_2$}}\rput(19,8){\small{$v_1$}}
\psline[linewidth=.1](20,1)(18.7,-.3)\rput(18,-1){\small{$(3,2)$}}
\psline[linewidth=.1](20,8)(21.3,9.3)\rput(22.7,9.3){\small{$(0,1)$}}

\end{pspicture}
\caption{On left, a $2$-marked genus $0$  degree $3$ pre-log map in $\mathbb P^3$ relative to two hyperplanes. On right, its decorated dual graph.}
\label{Freeline_fig}
\end{figure}
Furthermore, choose the orientations $\uvec{e}_1$ and $\uvec{e}_2$ to end at $v_3$ and assume 
$$
I_{v_1}\!=\!I_{v_2}\!=\!\emptyset,\quad I_{v_3}\!=\!\{1,2\},\quad s_{\uvec{e}_1}\!=\!(2,1),\quad s_{\uvec{e}_2}\!=\!(1,1),\quad A_{v_1}\!=\![2],\quad A_{v_2}\!=\![1];
$$
see Figure~\ref{Freeline_fig}. 
Note that $u_{v_3}$ is map of degree $0$ from a sphere with three special points, two of which are the nodes connecting $\Sigma_{v_3}$ to $\Sigma_{v_1}$ and $\Sigma_{v_2}$ and the other one is the first marked point $z^1$ with contact order $(3,2)$. The second marked point with contact order $(0,1)$ lies on $\Sigma_{v_1}$. A~simple calculation shows that the stratum of pre-log maps of type $\Gamma$, denoted by $\mc{M}^{\tn{plog}}_{0,\mf{s}}(X,D,[3])_\Gamma$, is also a manifold of complex dimension $4$ (something we do not want). Image of $u_2$ could be any line different from $D_1$ and $D_2$ passing through $D_{12}$, and every such $u_1$ is equivalent to a holomorphic map of the form
$$
[z,w]\!\longrightarrow [z^2, zw, a_2z^2+a_1zw + a_0w^2].
$$
This $\Gamma$ does not satisfy Definition~\ref{LogMap_dfn}.\ref{Tropical_l}.
 Since $I_{v_1}\!=\!I_{v_2}\!=\!\emptyset$, we should have $s_{v_1}\!=\!s_{v_2}\!=(0,0)$. Then
 Definition~\ref{LogMap_dfn}.\ref{Tropical_l}\ref{Direction_l} requires $s_{\uvec{e}_1}\!=\!(2,1)$ and $s_{\uvec{e}_1}\!=\!(1,1)$ to be positive multiples of $s_{v_3}$, which is impossible. A straightforward calculation shows that the line component $u_{v_2}$ in any limit of (\ref{32maps_e}) with a component $u_{v_1}$ as in Figure~\ref{Freeline_fig} should lie in $D_1$. Then the function $s\colon\!\mathbb V\!\longrightarrow\!\mathbb R^2$ given by $s_{v_1}\!=\!(0,0)$, $s_{v_2}\!=\!(1,0)$, and $s_{v_3}\!=\!(2,1)$ satisfies Definition~\ref{LogMap_dfn}.\ref{Tropical_l}.\qed
\end{example}

\begin{example}[{\cite[Example~3.15]{FRelative}}]\label{2dinP3toP2P2_ex}
Let 
$$
\aligned
&X\!=\!\mathbb P^3,\quad D_1\cup D_2\!=\!\mathbb P^2\cup \mathbb P^2,\quad A\!=\![2d]\!\in\!H_2(X,\mathbb Z)\!\cong\! \mathbb Z,\quad g\!=\!(d-1)^2, \\
&\mf{s}=\big((1,0),\ldots,(1,0),(0,1),\ldots,(0,1)\big)\!\in\!\big(\mathbb Z^{\{1,2\}}\big)^{4d},
\endaligned
$$
and $\Gamma$ be the decorated dual graph illustrated in Figure~\ref{dd-decomp_fg}. This decorated graph satisfies all the necessary combinatorial conditions of a log map; in particular, the function $s\!\colon\!\mathbb V\!\longrightarrow\!\mathbb R^2$ given by $s_{v_1}\!=\!(1,0)$ and $s_{v_2}\!=\!(0,1)$ satisfies Definition~\ref{LogMap_dfn}.\ref{Tropical_l}. Every element of $\mc{M}^{\tn{plog}}_{g,\mf{s}}(X,D,A)_\Gamma$ is supported on two generic degree $d$ plane curves in $D_1$ and $D_2$ intersecting at $d$ points along $D_{12}$.   The expected complex dimension of $\mc{M}_{g,\mf{s}}(X,D,A)$ and $\mc{M}^{\tn{plog}}_{g,\mf{s}}(X,D,A)_\Gamma$ are $8d$ and $9d\!-\!2$, respectively. The latter is bigger than the former if $d\!>\!2$.

\vskip.1in
\noindent
Orient each edge such that $v_1(\uvec{e}_i)\!=\!v_1$ for all $i\!=\!1,\ldots, d$.  Then $\Lambda$ is generated by the vectors $s_{\uvec{e}_1},\ldots,s_{\uvec{e}_d}$, $\xi_{v_1}\!=\!\xi_{v_1,1}$, $\xi_{v_2}\!=\!\xi_{v_2,2}$, such that the only relation is 
$$
\xi_{v_1}+\xi_{v_2}+(s_{\uvec{e}_1}+\ldots+s_{\uvec{e}_d})=0.
$$
We conclude that the group $\mathcal{G}(\Gamma)$ is $(d\!-\!1)$-dimensional. Therefore, the subset of log maps
$$
\mc{M}^{\tn{log}}_{g,\mf{s}}(X,D,A)_\Gamma\!\subset \mc{M}^{\tn{plog}}_{g,\mf{s}}(X,D,A)_\Gamma
$$
is of expected complex dimension $(9d\!-\!2)\!-\!(d-1)\!=\!8d\!-\!1\!<\!8d$.\qed
\begin{figure}
\begin{pspicture}(4,1.3)(11,4.5)
\psset{unit=.3cm}

\pscircle*(35,10){.25}\rput(35.1,9){\small$v_1$}\rput(34.9,8){\tiny$I_{v_1}\!=\!\{1\}$}\rput(34.9,7){\tiny$g_{v_1}\!=\!\frac{d(d-1)}{2}$}\rput(34.9,5.7){\tiny$A_{v_1}\!=\![d]$}
\pscircle*(45,10){.25}\rput(45.1,9){\small$v_2$}\rput(45.1,8){\tiny$I_{v_2}\!=\!\{2\}$}\rput(45.1,7){\tiny$g_{v_2}\!=\!\frac{d(d-1)}{2}$}\rput(45.1,5.7){\tiny$A_{v_2}\!=\![d]$}
\psarc(40,6.55){6}{35}{145}\psarc{<-}(40,6.55){6}{90}{145}
\psarc(40,4){7.75}{50}{130}\psarc{<-}(40,4){7.75}{90}{130}
\rput(40,10.3){$\vdots$}\rput(41.8,10){\tiny$d$~edges}
\psarc(40,13.45){6}{215}{325}\psarc{->}(40,13.45){6}{215}{270}
\psarc(40,16){7.75}{230}{310}\psarc{->}(40,16){7.75}{230}{270}

\rput(40,13.5){\tiny$s_{\uvec{e}}\!=\!(-1,1)$}

\psline(35,10)(32,12)
\psline(35,10)(32,11)
\rput(32.2,10.3){$\vdots$}
\psline(35,10)(32,8)
\psline(35,10)(32,9)

\psline(45,10)(48,12)
\psline(45,10)(48,11)
\rput(47.8,10.3){$\vdots$}
\psline(45,10)(48,8)
\psline(45,10)(48,9)

\rput(27,11){\tiny $2d$ points of}
\rput(28,10){\tiny contact order $(1,0)$}
\rput(51,11){\tiny $2d$ points of}
\rput(52.5,10){\tiny contact order $(0,1)$}

\end{pspicture}
\caption{A decorated dual graph defining a stratum of log maps in $\mathbb P^3$ relative to two hyperplanes.}
\label{dd-decomp_fg}
\end{figure}
\end{example}


\noindent
Going back to the question $(\star)$ in the introduction,  a main step in establishing $(\star)$  is to prove a gluing theorem for smoothing the nodes. For a classical nodal $J$-holomorphic map with $|\mathbb E|$ nodes, the space of gluing parameters is a neighborhood of the zero in $\mathbb C^\mathbb E$. For a log map $f$ as in (\ref{fplogSetUp_e}), the gluing procedure involves a simultaneous smoothing of the nodes, together with pushing $u_v$ out in direction of $\zeta_{v,i}$ for some $v\!\in\!\mathbb V$ and $i\!\in\!I_v$.
Thus, a priori, the space of gluing parameters could be quite complicated. In the following, we describe this space and show that it is essentially  (a neighborhood of the origin in a) an (possibly non-irreducible and non-reduced) affine toric variety.\\

\noindent
For every log map $f\!\in\!\ov\mc{M}_{g,\mf{s}}(X,D,A)$ with the decorated dual graph $\Gamma$, fix a representative 
$$
\big(u_v ,(\zeta_{v,i})_{i\in I_v},C_v\equiv (\Sigma_v,\mf{j}_v,\vec{z}_v)\big)_{v\in \mathbb V}
$$
and a set of local coordinates $\{z_{\uvec{e}}\}_{\uvec{e}\in \uvec{\mathbb E}}$ around the nodes. For each $v\!\in\!\mathbb V$, $\uvec{e}\!\in\!\uvec{\mathbb E}_v$, and $i\!\in\!I_v$, $\zeta_{v,i}$ has a local expansion of the form 
$$
\eta_{\uvec{e},i}z_{\uvec{e}}^{s_{\uvec{e},i}}+ \tn{higher order terms},
$$ 
where $0\!\neq\! \eta_{\uvec{e},i}\!\in\!\mc{N}_XD_i|_{u(q_e)}$. Similarly, for $i\!\in\!S\!-\!I_v$, 
the map $u_v$ 
has a well-defined non-zero $s_{\uvec{e},i}$-th derivative $\eta_{\uvec{e},i}\!\in\!\mc{N}_{X}D_i|_{u(q_e)}$ (with respect to the coordinate $z_{\uvec{e}}$) in the normal direction to $D_i$ at the nodal point $q_{\uvec{e}}$.   
Since $\tn{ob}_\Gamma(f)\!=\!1$, by the proof of \cite[Lemma~3.7]{FRelative}, we can choose the representatives $\zeta_{v,i}$ and $z_{\uvec{e}}$ such that the leading coefficient vectors $\eta_{\uvec{e}}=(\eta_{\uvec{e},i})_{i\in S}$ satisfy
\bEq{smoothableChoice_e}
\eta_{\uvec{e}}=\eta_{\scriptsize{\ucev{e}}} \qquad \forall~e\!\in\!\mathbb E.
\end{equation}
For every $v\!\in\!\mathbb V$ and $i\!\in\!S\!-\!I_v$, let $t_{v,i}\!=\!1$ in (\ref{GluignEquation_e}).
Then the space of gluing parameters for $f$ is a sufficiently small neighborhood of the origin in 
\bEq{GluignEquation_e}
\aligned
\mf{Gl}_\Gamma=\bigg\{\big((\varepsilon_e)_{e\in \mathbb E},&(t_{v,i})_{v\in \mathbb V, i\in I_v}\big)\!\in\!\mathbb C^\mathbb E\times \prod_{v\in \mathbb V}\mathbb C^{I_v}\colon 
~~\varepsilon_e^{s_{\uvec{e},i}}t_{v,i}=t_{v',i}\\
&\forall~v,v'\!\in\!\mathbb V,~e\!\in\!\mathbb E_{v,v'},i\!\in\!I_e,~ \uvec{e}~~\tn{s.t}~~s_{\uvec{e},i}\geq 0\bigg\}\subset \mathbb C^\mathbb E\times \prod_{v\in \mathbb V}\mathbb C^{I_v}.
\endaligned
\end{equation} 
The complex numbers $\varepsilon_e$ are the gluing parameters for the nodes of $\Sigma$ and $t_{v,i}$ are the parameters for pushing $u_v$ out in the direction of $\zeta_{v,i}$. 
In \cite{FDef}, given a set of representatives $\big(\{z_{\uvec{e}}\}_{\uvec{e}\in \uvec{\mathbb E}}, \{\zeta_{v,i}\}_{v\in \mathbb V, i\in I_v}\big)$ satisfying (\ref{smoothableChoice_e}) and a sufficiently small
$$
(\varepsilon,t)\!\equiv\! \big((\varepsilon_e)_{e\in \mathbb E},(t_{v,i})_{v\in \mathbb V, i\in I_v}\big)\!\in\!\mf{Gl}_\Gamma,
$$ 
we will construct a pre-gluing almost log map $\wt{f}_{\varepsilon,t}$ and\footnote{After taking care of the transversality issue.} show that there is an actual log pseudoholomorphic map ``close" to it.\\

\noindent
Let 
$$
\varrho^\vee\colon\!\mathbb T^\vee\!\longrightarrow\!\mathbb D^\vee
$$
be dual of the linear map associated to $\Gamma$ in (\ref{DtoT_e}) (for any fixed choice of orientation $O$ on $\mathbb E$). For the kernel subspace $\mathbb K\!=\!\tn{ker}(\varrho)\!\subset\!\mathbb D$ as in (\ref{cLGamma_e}), let 
$$
\mathbb K^\perp=\{m\in \mathbb D^\vee\colon \left\langle m,\alpha\right\rangle =0 \quad \forall~\alpha\!\in\!\mathbb K\}\subset \mathbb D^\vee.
$$ 
Then $\tn{Im}(\varrho^\vee)\!\subset\!\mathbb K^\perp$ is finite index sub-lattice.
Let
\bEq{sicone_e}
\sigma=\sigma(\Gamma):= \mathbb K_\mathbb R\cap \big(\mathbb R_{\geq 0}^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb R_{\geq 0}^{I_v}\big).
\end{equation}
In \cite[Lemma~3.15]{FRelative}, we show that $\sigma$ is a maximal convex rational polyhedral cone in $\mathbb K_\mathbb R$. Every element of the interior of this cone is a tuple 
$$
\lrp{(\lambda_e)_{e\in \mathbb E},(s_{v,i})_{v\in \mathbb V,i\in I_v}}
$$
satisfying  Definition~\ref{LogMap_dfn}.\ref{Tropical_l}. In other words, $\sigma$ is the closure of the set of all tuples satisfying Definition~\ref{LogMap_dfn}.\ref{Tropical_l}.
Let $Y_{\sigma}$ be the toric variety with toric fan $\sigma\!\subset\!\mathbb K_\mathbb R$. In \cite[Proposition~3.24]{FRelative}, we prove that
the space of gluing parameters $\mf{Gl}_\Gamma$ in (\ref{GluignEquation_e}) is a possibly non-irreducible and non-reduced toric sub-variety of $\mathbb C^\mathbb E\!\times\!\prod_{v\in \mathbb V} \mathbb C^{I_v}$  that is isomorphic to $\abs{\mathbb K^{\perp}/\tn{image}(\varrho^\vee)}$ copies of  (the reduced and irreducible affine toric variety) $Y_{\sigma}$, counting with multiplicities\footnote{We dont know of any example, arising from such dual graphs, such that the multiplicities are bigger than $1$.}.
Replacing $\{z_{\uvec{e}}\}_{\uvec{e}\in \uvec{\mathbb E}}$ and $\{\zeta_{v,i}\}_{i\in I_v}$ with another choice satisfying (\ref{smoothableChoice_e}) corresponds to a torus action on $\mf{Gl}_\Gamma$.\\


\noindent
If $D$ is smooth (i.e. $|S|\!=\!1$) and $\mf{s}\!\in\!\mathbb N^k$, in  \cite[Proposition~3.20]{FRelative}, we prove that there exists a natural projection map
$$
\pi\colon \ov\mc{M}^{\tn{rel}}_{g,\mf{s}}(X,D,A)\longrightarrow \ov\mc{M}^{\log}_{g,\mf{s}}(X,D,A).
$$
This is expected, since the notion of nodal log map involves more $\mathbb C^*$-quotients on the set of meromorphic sections. In the algebraic case, \cite[Theorem 1.1]{AMW} shows that an algebraic analogue of this projection map induces an equivalence of the virtual fundamental classes. We expect the same to hold for invariants arising from our log compactification.


\section{Log maps into smoothable SC varieties}\label{LogSCVar_s}
In this section, for a compact smoothable SC symplectic variety $(X_\emptyset\,\omega_\emptyset)\!=\!\bigcup_{i\in S} (X_i,\omega_i)$, an appropriate choice of almost complex structure 
$J_\emptyset$ on $X_\emptyset$, $g,k\!\in\!\mathbb N$, and $A\!\in\!H_2(X_\emptyset)$, we define the moduli space genus $g$ $k$-marked degree $A$ log $J$-holomorphic maps
\bEq{LogSCVarCompct_e}
\ov\mc{M}_{g,k}^{\tn{log}}(X_\emptyset,A)
\end{equation}
which would address the first part of the question $(\star\star)$ in the introduction. By \cite[Theorem~2.7]{FMZSum}, every compact smoothable SC variety sits as an SC symplectic divisor inside a smooth symplectic manifold $\mc{Z}$. Thus, we can essentially use the log moduli spaces of the previous  section and restrict to the central fiber $X_\emptyset$ to define
the compactification (\ref{LogSCVarCompct_e}); however, we will give an intrinsic definition without reference to any smoothing.  \\

\noindent
For an SC symplectic variety $(X_\emptyset,\omega_\emptyset)\!=\!\bigcup_{i\in S} (X_i,\omega_i)$ (cf. see \cite[Section~2.1]{FMZDiv}), let $\mc{J}(X_\emptyset,\omega_\emptyset)$ be the space of tuples $J_\emptyset\equiv (J_i)_{i\in S}$ such that $J_i\!\in\!\mc{J}(X_i,X_{i;\partial},\omega_i)$, for each $i\!\in\!S$, and 
\bEq{J-ij_e}
J_i|_{TX_{ij}}\!=\!J_j|_{TX_{ij}}\qquad \forall~i,j\!\in\!S.
\end{equation}
Let $\tn{Symp}^+(X_\emptyset)$ be the space of all symplectic structures $\omega_\emptyset=(\omega_i)_{i\in S}$ with respect to which $X_\emptyset$ is an SC symplectic variety  and 
$$
\mc{J}(X_\emptyset)\!=\!\lrc{(J_\emptyset,\omega_\emptyset)\colon~\omega_\emptyset\in\tn{Symp}^+(X_\emptyset),~J_\emptyset\!\in\!\mc{J}(X_\emptyset,\omega_\emptyset)}.
$$

\noindent
In \cite{FMZSum}, associated to every SC symplectic variety $X_\emptyset$ we define a (deformation equivalence class of) complex line bundle over its singular locus $\mc{O}_{X_\partial}(X_\emptyset) \longrightarrow X_{\partial}$ such that
$$
\mc{O}_{X_\partial}(X_\emptyset)|_{X_I}= \bigotimes_{i\in I} \mc{N}_{X_{I-i}}X_I \otimes \bigotimes_{i\in S-I} \mc{O}_{X_I}(X_{I\cup \{i\}})\quad \forall~I\!\subset\! S,~|I|\!\geq\!2,
$$
where $\mc{O}_{X_I}(X_{I\cup \{i\}})$ is the line bundle associated to the smooth divisor $X_{I\cup \{i\}}\subset X_I$. By \cite[Theorem~2.7]{FMZSum},  an SC symplectic variety is symplectically smoothable if and only if $\mc{O}_{X_\partial}(X_\emptyset)$ is trivializable. The last condition is the direct analogue of the d-semistability (necessary but not sufficient) condition of Friedman in the complex case; see \cite[Definition~(1.13)]{F83} . \\

\noindent
In \cite{FSC}, in order to define the moduli space $\ov\mc{M}_{g,k}^{\tn{log}}(X_\emptyset,A)$, we will restrict to a subset $\mc{J}_{\bullet}(X_\emptyset)\!\subset\!\mc{J}(X_\emptyset)$ whose elements  $J_\emptyset$ have the following crucial property. For every $i\!\in\!I\!\subset\!S$ with $|I|\!\geq\!2$, as in the previous section, (the $i$-th component $J_i$ of) every $J_\emptyset\!\in\!\mc{J}(X_\emptyset)$ induces a complex structure $\mf{i}_{I;i}$ and a $\bar\partial$-operator $\bar\partial_{I;i}$ on the normal bundle 
$$
\mc{N}_{I;i}\!=\!\mc{N}_{X_{I-i}}X_I
$$ 
of the smooth divisor $X_I$ in $X_{I-i}$. Let $J_I\!=\!J_i|_{TX_I}$ for any $i\!\in\!I$; this is well-defined by (\ref{J-ij_e}).
For any $J_I$-holomorphic map $u\colon\!(\Sigma,\mf{j})\longrightarrow X_I$ and $i\!\in\!I$, $u^*\bar\partial_{I;i}$ defines a holomorphic structure on $u^*\mc{N}_{I;i}$. For $i\!\in\!S\!-\!I$, let 
$$
\mc{O}_{\Sigma}(u^{-1}(X_{I\cup i}))
$$ 
be the holomorphic line bundle corresponding to the divisor 
$$
\sum_{x\in u^{-1}(X_{I\cup i})} \tn{ord}_x(u,X_{I\cup i})~x\;.
$$
The latter admits a canonical ($\mathbb C^*$-equivalence class of) meromorphic section $s_{I;i}$ with zeros/poles of the order $\tn{ord}_x(u,X_{I\cup i})$ at each $x\!\in\! u^{-1}(X_{I \cup i})$.
By assumption, 
\bEq{Pic0_e}
 u^*\mc{O}_{X_\partial}(X_\emptyset)\cong \bigotimes_{i\in I} u^*\mc{N}_{X_{I-i}}X_I \otimes \bigotimes_{i\in S-I} \mc{O}_{\Sigma}(u^{-1}(X_{I\cup i}))
\end{equation}
is a degree  $0$ holomorphic line bundle; i.e. it defines an element of $\tn{Pic}^0(\Sigma,\mf{j})$. In \cite{FSC}, we will define $\mc{J}_{\bullet}(X_\emptyset)$ in a way that for every $J_\emptyset\!\in\!\mc{J}_{\bullet}(X_\emptyset)$, (\ref{Pic0_e}) would be the trivial holomorphic line bundle. \\


\noindent
For a set $S$ and a group $R$, let
$$
R^S_\bullet=\big\{r=(r_i)_{i\in S}\colon \sum_{i\in S} r_i=0\big\}\subset R^S.
$$
For every $i\!\in\!S$, the projection
\bEq{pibullet_e}
\pi_i\colon R^S_\bullet\longrightarrow R^{S-i},\quad (r_i)_{i\in S} \longrightarrow (r_i)_{i\in S-i}
\end{equation}
is an isomorphism. For every subset $S'\!\subset\!S$, the inclusion homomorphism $R^{S'}\!\hookrightarrow\!R^{S}$ restricts to an inclusion homomorphism
$R_\bullet^{S'}\!\hookrightarrow\!R^{S}_\bullet$. \\

\noindent
Assume $X_\emptyset\!=\!\bigcup_{i\in S} X_i$ is a smoothable SC symplectic variety, $(J_\emptyset,\omega_\emptyset)\!\in\!\mc{J}_{\bullet}(X_\emptyset)$, and 
$$
\mf{s}\!=\!\big(s_i=(s_{ij})_{j\in S}\big)_{i\in [\ell]}\!\in\!(\mathbb Z^S_\bullet)^\ell. 
$$
For every $I\!\in\!S$ with $|I|\!\geq 2$ and $i\!\in\!I$, let 
$$
(u\colon\!(\Sigma,\mf{j})\!\longrightarrow\!(X_I,J_I),([\zeta_{I;a}])_{a\in I-i},w^1,\ldots,w^\ell)
$$ 
be a log tuple of the contact order type $\pi_i(\mf{s})$ for the target space $(X_i,X_{i;\partial},J_i)$ in the sense of  Definition~\ref{SmoothLogMap_dfn}. Since (\ref{Pic0_e}) is holomorphically trivial, there exists a (unique) $\mathbb C^*$-equivalence class 
$$
[\zeta_{I;i}]\!\in\!\Gamma_{\tn{mero}}(\Sigma,u^*\mc{N}_{I;i})/\mathbb C^*
$$ 
such that 
$(u,([\zeta_{I;a}])_{a\in I-j},\Sigma,\mf{j},w^1,\ldots,w^\ell)$ is a log tuple of the contact order $\pi_j(\mf{s})$ with respect to the target space $(X_j,X_{j;\partial},J_j)$, for any $j\!\in\!S$. In fact, $[\zeta_{I;i}]$ is the unique $\mathbb C^*$-equivalence class such that 
$$
 \bigotimes_{a\in I} \zeta_{I;a} \otimes \bigotimes_{a\in S-I} s_{I;a} 
$$
is a constant section. The relation 
$$
(u,([\zeta_{I;a}])_{a\in I-j},\Sigma,\mf{j},w^1,\ldots,w^\ell)\sim (u,([\zeta_{I;a}])_{a\in I-i},\Sigma,\mf{j},w^1,\ldots,w^\ell)\qquad \forall~i,j\in\!S,
$$
defines an equivalence relation between depth $I$ log $J_j$-holomorphic tuples of contact order $\pi_j(\mf{s})$ in $(X_j,X_{j;\partial})$, for all $j\!\in\!I$. We denote the equivalence class by 
\bEq{BulletTuple_e}
\big(u,([\zeta_{I;a}])_{a\in I},\Sigma,\mf{j},w^1,\ldots,w^\ell\big)_\bullet
\end{equation}
and call it a \textsf{depth $I$ log $J_\emptyset$-holomorphic tuple of contact order $\mf{s}$}.

\bDf{PreLogMap_dfn2}
Suppose $X_\emptyset\!=\!\bigcup_{i\in S} X_i$ is a smoothable SC symplectic variety, $(J_\emptyset,\omega_\emptyset)\!\in\!\mc{J}_{\bullet}(X_\emptyset)$,  
and 
$$
C\!\equiv\!(\Sigma,\mf{j},\vec{z})=\coprod_{v\in \mathbb V} C_v\equiv(\Sigma_v,\mf{j}_v,\vec{z}_v,q_v)/\sim,\quad   q_{\uvec{e}}\!\sim\! q_{\scriptsize\ucev{e}}\quad\forall~\uvec{e}\!\in\!\uvec{\mathbb E},
$$ 
is a nodal $k$-marked genus $g$ curve with smooth components $C_v$ and dual graph $\Gamma\!=\!\Gamma(\mathbb V,\mathbb E,\mathbb L)$ as in (\ref{nodalcurve_e}). A \textsf{pre-log} $J_\emptyset$-holomorphic map from $C$ to $X$ is a collection 
\bEq{fplogSetUpVar_e}
f\equiv \bigg(\lrp{f_{v}\!\equiv\! (u_v,[\zeta_v],C_v)_\bullet}_{v\in \mathbb V, |I_v|\geq 2},\big(f_{v}\!\equiv\! (u_v,C_v)\big)_{v\in \mathbb V,|I_v|=1}\bigg),\quad C_v\!=\!(\Sigma_v,\mf{j}_v,\vec{z}_v)\quad \forall~v\!\in\!\mathbb V,
\end{equation}
such that  
\begin{enumerate}[label=$(\arabic*)$,leftmargin=*]
\item for each $v\!\in\!\mathbb V$ with $I_v\!=\!\{i\}$, $u_v\colon\! (\Sigma_v,\mf{j}_v)\!\longrightarrow\!(X_i,J_i)$ is a marked $J_i$-holomorphic map of depth $\{i\}$ and $z_v\!\subset\!\Sigma_v\!-\!u_v^{-1}(X_{i;\partial})$,
\item for each $v\!\in\!\mathbb V$ with $|I_v|\!\geq \!2$, $(u_v,[\zeta_v]=([\zeta_{v,i}])_{i\in I_v},\Sigma_v,\mf{j}_v, q_v)_\bullet$ is a depth $I_v$ log $J_\emptyset$-holomorphic tuple of some contact order type
$$
\big(s_{\uvec{e}}\!\equiv\! \tn{ord}_{u_v,\zeta_v}(q_{\uvec{e}})\big)_{\uvec{e}\in \uvec{\mathbb E}_v}\subset (\mathbb Z^S_\bullet)^{\uvec{\mathbb E}_v}
$$ 
as in (\ref{BulletTuple_e}),
\item\label{MatchingPoints_l2} $u_v(q_{\uvec{e}})\!=\!u_{v'}(q_{\scriptsize\ucev{e}})\!\in\! X$ for all $\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}$;
\item\label{MatchingOrders_l2} $s_{\uvec{e}}\!=\! -s_{\scriptsize\ucev{e}}\!\in\!\mathbb Z^S_\bullet$ for all $v,v'\!\in\!\mathbb V$ and $\uvec{e}\!\in\! \uvec{\mathbb E}_{v,v'}$.
\end{enumerate}
\end{definition}

\noindent
Note that Conditions (1)-(2) and  Equation~(\ref{Intersection-Condition_e}) imply that $\tn{ord}_{u_v,\zeta_v}(z^i)=0$ for all $v\!\in\!\mathbb V$ and $z^i\!\in\!z_v$. In~other words, $\vec{z}$ is an ordered set of the classical-type marked points.
The space of (equivalence classes) of pre-log maps of a fixed combinatorial type is too big. In Definition~\ref{LogMapVar_dfn} below, we take out a subspace that would give us a nice compactification, suitable for addressing ($\star\star$). Similarly to the pervious section, in order to define the notion of log map into an SC symplectic variety, we need to introduce some combinatorial structures associated the decorated dual graph of a pre-log map.\\

\noindent
Corresponding to a decorated dual graph $\Gamma\!=\!\Gamma(\mathbb V,\mathbb E,\mathbb L)$ as in Definition~\ref{PreLogMap_dfn2}  and an arbitrary orientation $O\!\equiv\!\{\uvec{e}\}_{e\in \mathbb E} \subset \uvec{\mathbb E}$ on the edges, the map $\varrho$ defined in (\ref{DtoT_e}) restricts to a homomorphism 
\bEq{DtoT_e2}
\mathbb D_\bullet\equiv \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v}_\bullet  \stackrel{\varrho_\bullet}{\xrightarrow{\hspace*{1.5cm}}} 
\mathbb T_\bullet \equiv\bigoplus_{e\in \mathbb E} \mathbb Z_\bullet^{I_e}.
\end{equation}
Let 
\bEq{cLGamma_e2}
\Lambda_\bullet\!=\!\tn{image}(\varrho_\bullet),\quad \mathbb K_\bullet\!=\tn{Ker}(\varrho_\bullet)\quad\tn{and}\quad  
\mathbb{C}\mathbb{K}_\bullet\!=\!\mathbb T_\bullet/\Lambda_\bullet=\tn{coker}(\varrho_\bullet).
\end{equation}
The $\mathbb Z$-modules $\Lambda_\bullet$, $\mathbb K_\bullet$, and $\mathbb{C}\mathbb{K}_\bullet$ are independent of the choice of the orientation $O$ on $\mathbb E$ and are invariants of the decorated graph $\Gamma$. In particular,
\bEq{kernel_e2}
\mathbb K_\bullet=\big\{\big((\lambda_e)_{e\in \mathbb E},(s_v)_{v\in \mathbb V}\big)\!\in\!\ \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v}_\bullet \colon s_{v}\!-\!s_{v'}\!=\!\lambda_es_{\uvec{e}}\quad\forall~v,v'\!\in\!\mathbb V,~\uvec{e}\!\in\!\uvec{\mathbb E}_{v',v}\big\}.
\end{equation}
For any field of characteristic zero $F$, let 
\bEq{FVersion_e2}
\aligned
&\mathbb D_{\bullet,F}=\mathbb D_{\bullet}\otimes_\mathbb Z\! F,~~~ \mathbb T_{\bullet,F}=\mathbb T_\bullet\otimes_\mathbb Z \!F,~~~ \Lambda_{\bullet,F}=\Lambda_\bullet\otimes_\mathbb Z\!F,\\
&\mathbb K_{\bullet,F}=\mathbb K_\bullet\otimes_\mathbb Z\!F,~~~\tn{and}~~~\mathbb{C}\mathbb{K}_{\bullet,F}=\mathbb{C}\mathbb{K}_\bullet\otimes_\mathbb Z\!F
\endaligned
\end{equation}
be the corresponding $F$-vector spaces.
Via the exponentiation map, let 
$$
\tn{exp}(\Lambda_{\bullet,\mathbb C}) \subset  \prod_{e\in \mathbb E} (\mathbb C^*)^{I_e}_\bullet,\quad\tn{with}~~ (\mathbb C^*)^{I}_\bullet=\{(t_i)_{i\in I}\!\in (\mathbb C^*)^I: ~~\prod_{i\in I} t_i =1\},
$$
be the subgroup corresponding to the sub-Lie algebra $\Lambda_{\bullet,\mathbb C}\!\subset\!\mathbb T_{\bullet,\mathbb C}$, and denote the quotient group by $\mathcal{G}_\bullet\!=\!\mathcal{G}_\bullet(\Lambda)\!=\!\tn{exp}(\mathbb{C}\mathbb{K}_{\bullet,\mathbb C})$. \\

\noindent
In \cite{FSC}, similarly to (\ref{group-element_e}), to every pre-log $f$ as in Definition~\ref{PreLogMap_dfn2} we will associate a group element
$$
\tn{ob}_{\bullet,\Gamma}(f) \in \mathcal{G}_\bullet(\Gamma).
$$

\bDf{LogMapVar_dfn}
Let $X_\emptyset\!=\!\bigcup_{i\in S} X_i$ be a smoothable SC symplectic variety and $(J_\emptyset,\omega_\emptyset)\!\in\!\mc{J}_{\bullet}(X_\emptyset)$.
 A \textsf{log $J$-holomorphic} map is a pre-log  map  $f$ with the decorated dual graph $\Gamma$ such that 
\begin{enumerate}[label=$(\arabic*)$,leftmargin=*]
\item\label{Tropical_l2} there exist functions 
$$
s \colon\! \mathbb V\!\longrightarrow\!\mathbb R^S, \quad v\!\longrightarrow\!s_v,\qquad\tn{and}\qquad \lambda \colon\! \mathbb E\!\longrightarrow\!\mathbb R_+, \quad e\!\longrightarrow\!\lambda_e,
$$
such that 
\begin{enumerate}[label=$(\alph*)$,leftmargin=*]
\item $s_v\!\in\!\mathbb R_{+}^{I_v}\!\times\!\{0\}^{S-I_v}$ for all $v\!\in\!\mathbb V$,
\item\label{Direction_l2} $s_{v_{2}(\uvec{e})}\!-\!s_{v_1(\uvec{e})}\!=\!\lambda_{e} s_{\uvec{e}}$  for every $\uvec{e}\!\in\!\uvec{\mathbb E}$;
\end{enumerate}  
\item\label{GObs_e2} and $\tn{ob}_{\bullet,\Gamma}(f)\!=\!1\!\in\!\mathcal{G}_\bullet(\Gamma)$.
\end{enumerate}
\end{definition}

\noindent
Since $\Gamma$ is connected, Condition~\ref{Direction_l2} and $s_{\uvec{e}}\!\in\!\mathbb Z^{S}_\bullet$, for all $\uvec{e}\!\in\!\uvec{\mathbb E}$, imply that 
\bEq{Constantc_e}
\sum_{i\in S} s_{v,i}\!=\!c
\end{equation}
is a  fixed positive constant $c\!\in\!\mathbb R_+$ independent of $v\!\in\!\mathbb V$.\\

\noindent
Two marked log maps are \textsf{equivalent} if they are related by a ``reparametrization of the domain".
A marked log map is \textsf{stable} if it has a finite ``automorphism group". For $g,k\!\in\!\mathbb N$ and $A\!\in\!H_2(X_\emptyset,\mathbb Z)$, we denote the space of equivalence classes of stable  $k$-marked degree $A$ genus $g$  log maps by $\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)$. Every element of $\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)$ belongs to a fiber product of relative moduli spaces $\ov\mc{M}_{g,\mf{s}_i}^{\log}(X_i,X_{i;\partial},A_i)$, with $i\!\in\!S$. In \cite{FSC}, we will show that the sequential convergence topology of  relative log moduli spaces in Theorem~\ref{Compactness_th} give rise to a compact metrizable topology on $\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)$. A similar calculation shows that the expected real dimension of (each virtually main component of) $\ov\mc{M}^{\log}_{g,k}(X_\emptyset,A)$ is equal to 
$$
2\big(c_1^{T_{\log}X_\emptyset}(A)+(\dim_\mathbb C X-3)(1-g)+k\big),
$$
where $T_{\log}X_\emptyset$ is the log tangent bundle defined in \cite{FMZstructure}. For any symplectic smoothing $\pi\!\colon\!\mc{Z}\!\longrightarrow\!\Delta$ with the central fiber $X_\emptyset$, $c_1^{T_{\log}X_\emptyset}(A)$ coincides with $c_1^{T\mc{Z}_\lambda}(A)$, for all $\lambda\!\in\!\Delta^*$.




\section{The decomposition formula}\label{Formula_s}

In this section, we propose an explicit degeneration formula to address the last part of the question ($\star\star$) in the introduction.\\

\noindent
Assume $X_\emptyset\!=\!\bigcup_{i\in S} X_i$ is a smoothable SC symplectic variety and $(J_\emptyset,\omega_\emptyset)\!\in\!\mc{J}_\bullet(X_\emptyset)$.
Unlike the classical case, any log moduli space $\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)$ typically has many (virtually) main strata. 

\begin{definition}
We say an admissible decorated dual graph $\Gamma$ is a \textsf{main} graph, if 
\bEq{mainGraph_e}
\mathbb K_{\bullet}(\Gamma)=0,
\end{equation}
where $\mathbb K_{\bullet}$ is the torsion-free $\mathbb Z$-module in (\ref{kernel_e2}).
\end{definition} 

\noindent
For a main graph, up to scaling, there is a unique set of functions $(s\colon\!\mathbb V\!\to\!\mathbb R^S,\lambda\colon\!\mathbb E\!\to\!\mathbb R_+)$ satisfying  Definition~\ref{LogMapVar_dfn}.\ref{Tropical_l2}. The condition~(\ref{mainGraph_e})  implies that the image of the $\mathbb Z$-linear map 
\bEq{DtoTDual_e2}
\mathbb T^\vee_\bullet  \stackrel{\varrho^\vee_\bullet}{\xrightarrow{\hspace*{1.5cm}}} \mathbb D^\vee_\bullet
\end{equation}
dual to (\ref{DtoT_e2}) is of finite index. Let 
\bEq{mGamma}
m(\Gamma)= \abs{\mathbb D^\vee_\bullet/\tn{Im}(\varrho^\vee_\bullet)}\in\mathbb Z_+.
\end{equation}
For each $g,k\!\in\!\mathbb N$ and $A\!\in\!H_2(X_\emptyset,\mathbb Z)$, the moduli space $\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)$ decomposes into a union of (virtually) main components 
\bEq{ModuliDecomposition_e}
\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)= \bigcup_{\tn{main}~\Gamma} \ov\mc{M}_{g,k}^{\log}(X_\emptyset,A)_{\Gamma}.
\end{equation}
Then the degeneration formula (\ref{Formula_e}) below suggests that the latter gives rise to a similar but weighted decomposition formula for VFCs in such a semistable degeneration.\\

\noindent
Before we state the decomposition formula, we need to state some facts about the behavior of homology classes in a semistable degeneration.
Let $\pi\!\colon\!\mc{Z}\!\longrightarrow\!\Delta$ be a semistable degeneration as in the introduction.
For every $\lambda\!\in\!\Delta$, the embedding $\mc{Z}_\lambda\!\hookrightarrow\! \mc{Z}$ gives us a homomorphism
$$
\iota_\lambda\colon H_2(\mc{Z}_\lambda,\mathbb Z)\!\longrightarrow\! H_2(\mc{Z},\mathbb Z).
$$
For $\lambda\!\in\!\Delta^*$ and $A,A'\!\in\!H_2(\mc{Z}_\lambda,\mathbb Z)$, we write $A\!\sim\!A'$ whenever $\iota_\lambda(A\!-\!A')\!=\!0$. We denote the equivalence class of $A$ with respect to this relation by $[A]$. For example, every two classes $A,A'\!\in\!H_2(\mc{Z}_\lambda,\mathbb Z)$ related by the monodromy map are equivalent; therefore, $H_2(\mc{Z}_\lambda,\mathbb Z)/\!\sim$ is invariant under the deformation. In the following, we denote the deformation equivalence class of $\mc{Z}_\lambda$ by $X_\#$ and $H_2(\mc{Z}_\lambda,\mathbb Z)/\sim$ by $H_2(X_\#,\mathbb Z)$. The induced map 
$$
\iota_\#\colon H_2(X_\#,\mathbb Z)\longrightarrow H_2(\mc{Z},\mathbb Z)
$$
is injective and well-defined.\\

\noindent
Once we construct an appropriate VFC for each (virtually) main component of the decomposition (\ref{ModuliDecomposition_e}), the claim is that the following degeneration formula holds:\vskip.1in

\noindent
\textit{Assume $\pi\colon(\mc{Z},\omega_\mc{Z})\!\longrightarrow\!\Delta$ is a  symplectic semistable degeneration with the SC central fiber $(X_\emptyset,\omega_\emptyset)$  and $J_{\mc{Z}}$ is a ``nice" $\omega_{\mc{Z}}$-compatible (or tame) almost complex structure on $\mc{Z}$ such that $J_\emptyset\!=\!J_\mc{Z}|_{X_\emptyset}\!\in\!\mc{J}_\bullet(X_\emptyset,\omega_\emptyset)$. Then, 
for every $[A]\!\in\!H_2(X_\#,\mathbb Z)$ and $g,k\!\in\!\mathbb N$, we have
\bEq{Formula_e}
[\ov\mc{M}_{g,k}(X_\#,[A])]^\tn{VFC}= \sum_{\substack{A_0\colon \\ \iota_0(A_0)=\iota_\#([A])}}  \sum_{\tn{main } \Gamma}  \frac{m(\Gamma)}{|\mf{Aut}(\Gamma)|}~[\ov\mc{M}_{g,k}^{\log}(X_\emptyset,A_0)_\Gamma]^{\tn{VFC}}\;,
\end{equation}
where $|\mf{Aut}(\Gamma)|$ is the order of the automorphism group of the decorated dual graph $\Gamma$.\\
}

\noindent
The equality (\ref{Formula_e}) should be thought of as an equality of  \v{C}ech cohomology classes in $\ov\mc{M}^{\log}_{g,k}(\mc{Z},[A])$ in the sense of  \cite[Remark 8.2.4]{MW}.
In the case of basic degenerations, i.e. $S\!=\!\{1,2\}$, this formula coincides with the Jun Li's formula. In other words, the only decorated graphs with $ \mathbb K_{\bullet}(\Gamma)\!=\!0$ are bipartite graphs with one group of vertices indexed by $\{1\}$, the opposite group indexed by $\{2\}$, and $s_{\uvec{e}}\!=\!(-\alpha_{\uvec{e}},\alpha_{\uvec{e}})\!\neq\! 0 \in \mathbb Z^{\{1,2\}}_\bullet$ for all $e\!\in\! \mathbb E$. Moreover, $m(\Gamma)$ is the product of contact orders, i.e.
\bEq{BasicCase_e}
m(\Gamma)=\prod_{e\in \mathbb E(\Gamma)}|\alpha_{\uvec{e}}|.
\end{equation}
Unlike the basic case, a main decorated dual graph for SC varieties with non-trivial 3-fold (and higher) strata may have components mapped into
a stratum $X_I$ with $|I|\!\geq\!2$; see Section~\ref{Cubic_s}.\\

\noindent
A main step in establishing (\ref{Formula_e})  is to prove a gluing theorem for smoothing the nodes of a log map $f$ as in Definition~\ref{LogMapVar_dfn} to get $J$-holomorphic maps in $\mc{Z}$. Similarly to the relative case, the space of gluing parameters for a fixed log map $f$ with the decorated dual graph $\Gamma$ is a sufficiently small neighborhood of the origin in 
\bEq{GluignEquation_e2}
\aligned
\mf{Gl}^\bullet_\Gamma=\bigg\{\big((\varepsilon_e)_{e\in \mathbb E},(t_{v,i})_{v\in \mathbb V, i\in I_v}\big)&\!\in\!\mathbb C^\mathbb E\times \prod_{v\in \mathbb V}\mathbb C^{I_v}\colon 
\prod_{i\in I_v} t_{v,i}=\prod_{i\in I_{v'}} t_{v',i}~~~\tn{and}~~~ \varepsilon_e^{s_{\uvec{e},i}}t_{v,i}=t_{v',i}\\
&\forall~v,v'\!\in\!\mathbb V,~e\!\in\!\mathbb E_{v,v'},i\!\in\!I_e,~ \uvec{e}~~\tn{s.t}~~s_{\uvec{e},i}\geq 0\bigg\}\subset \mathbb C^\mathbb E\times \prod_{v\in \mathbb V}\mathbb C^{I_v}.
\endaligned
\end{equation} 
In (\ref{GluignEquation_e2}), if $i\!\in\!I_e\!-\!I_v$, by $t_{v,i}$ we mean $1$.
The complex numbers $\varepsilon_e$ are the gluing parameters for the nodes of $\Sigma$ and $t_{v,i}$ are the parameters for pushing $u_v$ out in the direction of $\zeta_{v,i}$. The common value $\lambda\!=\!\prod_{i\in I_v} t_{v,i}$ describes the fiber $\mc{Z}_\lambda$ in which the smoothing lies; in other words, the projection map $\pi\!\colon\!\mf{Gl}^\bullet_\Gamma\!\longrightarrow\!\mathbb C$ induced by $\pi\!\colon\!\mc{Z}\!\longrightarrow\!\mathbb C$ is the map
\bEq{piall_e}
 \big((\varepsilon_e)_{e\in \mathbb E},(t_{v,i})_{v\in \mathbb V, i\in I_v}\big)\longrightarrow \lambda= \prod_{i\in I_v} t_{v,i}.
\end{equation} 

\noindent
For any non-empty set $\Omega$ and a ring $R$, the quotient space  
$$
 \frac{R^\Omega}{R}:=R^\Omega/\{(a,\ldots,a)\!\in\!R^\Omega\colon~~a\!\in\!R\}.
$$
is the dual of $\mathbb R^\Omega_\bullet$.
Let 
\bEq{mumap_e}
\mathbb D\equiv \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v}  \stackrel{\mu =\varrho\oplus \varrho'}{\xrightarrow{\hspace*{1.5cm}}} 
\wh\mathbb T\equiv\bigoplus_{e\in \mathbb E} \mathbb Z^{I_e}\oplus \frac{\mathbb Z^\mathbb V}{\mathbb Z}
\end{equation}
be the $\mathbb Z$-linear map where $\varrho$ is the map in (\ref{DtoT_e}) (for any fixed choice of orientation $O$ on $\mathbb E$) and $\varrho'$ is given by 
$$
\big((\lambda_e)_{e\in\mathbb E},(\lambda_{v,i})_{v\in \mathbb V, i\in I_v}\big)\longrightarrow \bigg[\sum_{i\in I_v} \lambda_{v,i}\bigg]_{v\in \mathbb V}\in \frac{\mathbb Z^\mathbb V}{\mathbb Z}.
$$
Similarly to (\ref{FVersion_e}), let 
$$
\mathbb D_\mathbb R  \stackrel{\mu =\varrho_\mathbb R\oplus \varrho'_\mathbb R}{\xrightarrow{\hspace*{1.5cm}}} 
\wh\mathbb T_\mathbb R\equiv\bigoplus_{e\in \mathbb E} \mathbb R^{I_e}\oplus \frac{\mathbb R^\mathbb V}{\mathbb R}
$$
be the tensor product of (\ref{mumap_e}) with $\mathbb R$.
By Definition~\ref{PreLogMap_dfn2}.\ref{MatchingOrders_l2},
\bEq{DeCone_e2}
\tn{Ker}(\mu)\!=\!\tn{Ker}(\varrho)\!=\!\mathbb K\!:=\big\{ \big((\lambda_e)_{e\in \mathbb E}, (s_{v})_{v\in \mathbb V}\big)\!\in\!\mathbb Z^\mathbb E \oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v}\colon\! s_{v'}\!-\!s_{v}=\lambda_es_{\uvec{e}}~\forall v,v'\!\!\in\!\mathbb V,~\uvec{e}\!\in\!\mathbb E_{v,v'}\big\}.
\end{equation}
The same identity holds over $\mathbb R$.  Therefore, with notation as in  (\ref{sicone_e}), we have
$$
\sigma=\sigma(\Gamma)= \tn{Ker}(\mu)\!\cap\!\big(\mathbb R_{\geq 0}^\mathbb E \oplus \bigoplus_{v\in \mathbb V} \mathbb R_{\geq 0}^{I_v}\big).
$$

\begin{remark}
Similarly to \cite[Proposition~3.27]{FRelative}, $\mf{Gl}^\bullet_\Gamma$ is the zero set in $\mathbb C^\mathbb E\!\times\prod_{v\in \mathbb V}\mathbb C^{I_v}$ of the ``binomial ideal" corresponding to 
$\tn{Im}(\mu^\vee)$.
\end{remark}

\noindent
Let $Y_{\sigma(\Gamma)}$ be the toric variety with toric fan $\sigma(\Gamma)$. Then, similarly to the paragraph after (\ref{sicone_e}),
the space of gluing parameters $\mf{Gl}^\bullet_\Gamma$ in (\ref{GluignEquation_e2}) is a possibly non-irreducible and non-reduced affine toric sub-variety of $\mathbb C^\mathbb E\!\times\!\prod_{v\in \mathbb V} \mathbb C^{I_v}$  that is isomorphic to $\abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)}$ copies of $Y_{\sigma(\Gamma)}$, counting with multiplicities\footnote{We dont know of any example, arising from such dual graphs, such that the multiplicities are bigger than $1$.}.\\

\noindent
The projection map 
\bEq{toricProj_e}
\pi\colon \mathbb K_\mathbb R \longrightarrow \mathbb R,\quad \big((\lambda_e)_{e\in\mathbb E},(\lambda_{v,i})_{v\in \mathbb V, i\in I_v}\big)\longrightarrow \sum_{i\in I_v} \lambda_{v,i},
\end{equation}
is well-defined and $\tn{Ker}(\pi)\!=\!\mathbb K_{\bullet,\mathbb R}$. The map (\ref{toricProj_e}) sends $\sigma$ onto $\mathbb R_{\geq 0}$; thus it defines a projection map
\bEq{piToric_e}
\pi \colon Y_\sigma \longrightarrow \mathbb C.
\end{equation}
This projection map is the restriction to $Y_\sigma\!\subset\!\mf{Gl}^\bullet_\Gamma$ of the projection map (\ref{piall_e}). For a main dual graph $\Gamma$, $\mathbb K_{\bullet}$ is trivial and $\mathbb K\!\cong\!\mathbb Z$, therefore $Y_\sigma$ is isomorphic to $\mathbb C$ and $\mf{Gl}^\bullet_\Gamma$ is isomorphic to $\abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)}$ copies of $\mathbb C$, counting with multiplicities. Let $m_{\tn{red}}(\Gamma)$ be the degree of (\ref{piToric_e}).
 The following lemma explains the coefficient $m(\Gamma)$ in (\ref{Formula_e}).
\bLm{Multiplicity_lmm}
For a main dual graph $\Gamma$, (\ref{piall_e}) is a map of order $m(\Gamma)$, i.e. 
\bEq{Mult-relation_e}
m_{\tn{red}}(\Gamma) \abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)} = m(\Gamma).
\end{equation}
\end{lemma}
\begin{proof}
The following diagram commutes:
$$ 
\xymatrix{
\mathbb D_\bullet \ar[d]^{\iota_\mathbb D} \ar[rr]^{\varrho_\bullet} &&\mathbb T_\bullet\ar[d]^{\iota_\mathbb T}\\
\mathbb D \ar[rr]^{\mu}            &&\wh{\mathbb T}\,,}
$$
where $\iota_\mathbb D$ and $\iota_\mathbb T$ are the obvious inclusion maps. In the dual commutative diagram,
 
 $$ 
\xymatrix{
\mathbb D^\vee\cong \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v} \ar[d]^{\tn{pr}_\mathbb D} &&&
\wh\mathbb T^\vee\cong \bigoplus_{e\in \mathbb E} \mathbb Z^{I_e}\oplus \mathbb Z^\mathbb V_\bullet
\ar[lll]_{\mu^\vee}\ar[d]^{\tn{pr}_\mathbb T} \\
\mathbb D_\bullet^\vee\cong \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \frac{\mathbb Z^{I_v}}{\mathbb Z}             &&&
\mathbb T_\bullet^\vee\cong \bigoplus_{e\in \mathbb E} \frac{\mathbb Z^{I_e}}{\mathbb Z}\ar[lll]_{\varrho^\vee_\bullet}\,,}
$$
\vskip.1in
\noindent
$\tn{pr}_\mathbb D$ and $\tn{pr}_\mathbb T$ are the obvious surjective projection maps. By definition, $\tn{Im}(\mu^\vee)$ is a sub-lattice of finite index $\abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)}$ in $\mathbb K^\perp$, and $\tn{Im}(\varrho_\bullet^\vee)$ is a sub-lattice of finite index $m(\Gamma)$. Since $\tn{pr}_\mathbb T$ is surjective, in order to prove (\ref{Mult-relation_e}), we have to show that $\tn{Im}(\tn{pr}_\mathbb D|_{\mathbb K^\perp})$ is a sub-lattice of the index $m_{\tn{red}}(\Gamma)$.\\

\noindent
Since $\Gamma$ is a main dual graph, the kernel $\mathbb K$ is one-dimensional and is generated by a prime vector $\eta\!=\!\lrp{(\lambda_e)_{e\in\mathbb E}, (s_{v,i})_{v\in \mathbb V,i\in I_v}}$ with positive coeficients, such that 
$$
c\!=\!\sum_{i\in I_v} s_{v,i}
$$
is independent of the choice of $v\!\in\!\mathbb V$. Then, be (\ref{toricProj_e}), $m_{\tn{red}}(\Gamma)\!=\!c$. By definition,
$$
\mathbb K^\perp=\lrc{\eta^\vee=\lrp{(\alpha_e)_{e\in\mathbb E}, (\beta_{v,i})_{v\in \mathbb V,i\in I_v}}\!\in\! \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \mathbb Z^{I_v} \colon\left\langle\eta,\eta^\vee  \right\rangle\!=\! \sum_{e\in \mathbb E} \alpha_e\lambda_e+\sum_{v\in \mathbb V} \sum_{i\in I_v} \beta_{v,i} s_{v,i}=0 }.
$$
For any 
$$
\ov\eta^\vee\!=\!\lrp{(\alpha_e)_{e\in\mathbb E}, [\beta_{v,i}]_{v\in \mathbb V,i\in I_v}}\!\in\! \mathbb Z^\mathbb E\oplus \bigoplus_{v\in \mathbb V} \frac{\mathbb Z^{I_v}}{\mathbb Z},
$$
pre-images of $\ov\eta^\vee$ in $\mathbb D^\vee$ are elements of the form
$$
\eta_{k}^\vee:= \eta^\vee_0 + \sum_{v\in \mathbb V} k_v \lrp{0, (0)_{v'\in \mathbb V-v}, (1_{v,i})_{i\in I_v}},\quad k\!=\!(k_v)_{v\in \mathbb V}\!\in\!\mathbb Z^\mathbb V,
$$
where $\eta^\vee_0\!=\!\lrp{(\alpha_e)_{e\in\mathbb E}, (\beta_{v,i})_{v\in \mathbb V,i\in I_v}}$ is one fixed pre-image. If 
$$
\left\langle \eta,\ov\eta_0 \right\rangle = a
$$
then $\left\langle \eta,\ov\eta_k \right\rangle \!=\! a\!+\!c\sum_{v\in \mathbb V} k_v$, for all $k\!=\!(k_v)_{v\in \mathbb V}\!\in\!\mathbb Z^\mathbb V$. We conclude that $\ov\eta^\vee\!\in\!\tn{Im}(\tn{pr}_\mathbb D|_{\mathbb K^\perp})$ if and only if $a\equiv 0$~$\tn{mod}~c$. Therefore, $\tn{Im}(\tn{pr}_\mathbb D|_{\mathbb K^\perp})$ is a sub-lattice of index $m_{\tn{red}}(\Gamma)\!=\!c$.
\end{proof}

\bRm{ACG_rmk}
Except for the coefficients $m(\Gamma)$, the degeneration formula (\ref{Formula_e}) coincides with \cite[(1.1.1)]{ACGS} (There, it is called a ``decomposition" formula). 
The multiplicity $m_\tau$ in \cite[(1.1.1)]{ACGS} is $m_{\tn{red}}(\Gamma)$ in our notation. It is not clear to us how the extra factor $\abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)}$ emerges from their definitions. For example, with notation as in (\ref{BasicCase_e}), in the case of basic decompositions, $m_{\tn{red}}(\Gamma)$ is equal to 
$$
\tn{l.c.m}\big(\{|\alpha_{\uvec{e}}|\}_{e\in\mathbb E}\big)
$$ 
which could be different from the product in (\ref{BasicCase_e}). We last heard from H.~Ruddat in June 16 of 2017 that he, B.~Kim, and H.~Lho are working on a paper \cite{KLR} to prove that \cite[(1.1.1)]{ACGS} decomposes to the Jun Li's formula in the case of basic degenerations.
\end{remark}

\section{Rational curves in a pencil of cubic surfaces}\label{Cubic_s}
In this section, we re-study a non-trivial (i.e. not of the classical type) example of the degeneration  of degree $3$ rational curves in a pencil of cubic surfaces, studied in \cite[Section~6]{ACGS}. As our calculations show, we can easily identify the space of such log maps without any need for considering blow-ups and other sophisticated tricks used in \cite[Section~6]{ACGS}.  \\

\noindent
Let $P$ be a homogenous cubic polynomial in $x_0,\ldots,x_3$ and
$$\mc{Z}'=\!\big\{\big(t,[x_0,x_1,x_2,x_3]\big)\!\in\!\mathbb C\!\times\!\mathbb P^3\!:
x_1x_2x_3=tP(x_0,x_1,x_2,x_3)\big\}\subset\mathbb C\!\times\!\mathbb P^3\,.$$
Let $\pi'\!:\mc{Z}'\!\longrightarrow\!\mathbb C$ be the projection map to the first factor. 
For a generic $P$ and $t\!\neq\!0$, 
$\pi'^{-1}(t)$ is a smooth cubic hypersurface (divisor) in~$\mathbb P^3$. 
For $t\!=\!0$, $\pi'^{-1}(0)$ is the SC variety 
\begin{gather*}
X_{\emptyset}'=\{0\}\!\times\!\big(X_1'\!\cup\!X_2'\!\cup\!X_3'\big)\subset \{0\}\!\times\!\mathbb P^3
\qquad\hbox{with}\\
X_i'\!\equiv\!(x_i=0)\approx\mathbb P^2~~\forall~i\!\in\!\{1,2,3\},  \quad 
X_{ij}'\!\equiv\!X_i'\!\cap\!X_j'\approx\mathbb P^1~~\forall~i,j\!\in\!\{1,2,3\},~i\!\neq\!j.
\end{gather*}
However, the total space $\mc{Z}'$ of $\pi'$ is not smooth at the 9 points of 
$$\mc{Z}'_{\tn{sing}}\equiv
\{0\}\!\times\!\big(X_{\partial}'\!\cap\!(P\!=\!0)\big)\subset X_{\emptyset},
\qquad\hbox{where}\quad
X_{\partial}'=X_{12}'\!\cup\!X_{13}'\!\cup\!X_{23}'\subset\mathbb P^3\,.$$
A small resolution $\mc{Z}$ of $\mc{Z}'$ can be obtained by blowing up each singular point 
on $X_{ij}'$ in either $X_i'$ or~$X_j'$. 
The map~$\pi'$ then induces a projection $\pi\!:\mc{Z}\!\longrightarrow\!\Delta$ and defines 
a semistable degeneration.
Every fiber of~$\pi$ over~$\mathbb C^*$ is a smooth cubic surface. 
The central fiber $\pi^{-1}(0)$ is the SC variety 
$X_{\emptyset}\!\equiv\!X_1\!\cup\!X_2\!\cup\!X_3$ with 3~smooth components, 
each a blowup of~$\mathbb P^2$ at some number of points.
If each singular point on $X_{ij}'$ is blown up in $X_i'$ with $i\!<\!j$,
then $\mc{Z}$ is obtained from~$\mc{Z}'$ through two global blowups of $\mathbb C\!\times\!\mathbb P^3$
and is thus projective; see Figure~\ref{CubicToB3P2_fg}.\\

\begin{figure}
\begin{pspicture}(-5,-2.6)(11,1.8)
\psset{unit=.3cm}
\psline[linewidth=.07](0,-2)(8,-2)
\psline[linewidth=.07](0,-2)(0,6)
\psline[linewidth=.07](0,-2)(-5.34,-7.66)
\pscircle*(4,-2){.2} \pscircle*(3,-2){.2}\pscircle*(5,-2){.2}
\pscircle*(0,1){.2} \pscircle*(0,2){.2}\pscircle*(0,3){.2}
\pscircle*(-2.9,-5){.2} \pscircle*(-3.8,-6){.2}\pscircle*(-1.9,-4){.2}
\rput(4.5,2.5){${X}'_1$}
\rput(-5.5,0){${X}'_2$}
\rput(2,-6){${X}'_3$}
\rput(9.2,-2.1){${X}'_{31}$}
\rput(0.1,6.8){${X}'_{12}$}
\rput(-5.8,-8.1){${X}'_{23}$}
\rput(1.3,-1.2){${X}'_{123}$}


\psline[linewidth=.07](20,-2)(28,-2)
\psline[linewidth=.07](20,-2)(20,6)
\psline[linewidth=.07](20,-2)(14.34,-7.66)
\pscircle*(24,-2){.2} \pscircle*(23,-2){.2}\pscircle*(25,-2){.2}
\psline[linewidth=.07](24,-2)(24,0) \psline[linewidth=.07](23,-2)(23,0)\psline[linewidth=.07](25,-2)(25,0)
\pscircle*(20,1){.2} \pscircle*(20,2){.2}\pscircle*(20,3){.2}
\psline[linewidth=.2](20,1)(18,-3)
\psline{<-}(18.8,-.8)(16,2
\rput(15.3,2.5){$\alpha$
\psline[linewidth=.2](20,1)(22,1) \psline[linewidth=.07](20,2)(22,2)\psline[linewidth=.07](20,3)(22,3)
\pscircle*(17,-5){.2} \pscircle*(16,-6){.2}\pscircle*(18,-4){.2}
\psline[linewidth=.07](17,-5)(17,-3) \psline[linewidth=.07](16,-6)(16,-4)\psline[linewidth=.07](18,-4)(18,-2)
\rput(24.5,2.5){$X_1$}
\rput(15.5,0){$X_2$}
\rput(22,-6){$X_3$}
\rput(29.2,-2.1){$X_{31}$}
\rput(20.1,6.8){$X_{12}$}
\rput(13.8,-8.1){$X_{23}$}

\end{pspicture}
\caption{On left, the central fiber of $\mc{Z}'$ with its $9$ singular points. On right, the central fiber of $\mc{Z}$ with its $9$ exceptional curves. }
\label{CubicToB3P2_fg}
\end{figure}


\noindent
For the count of degree $1$ and degree $2$ rational curves in $\mc{Z}_t$, it can be shown that limiting curves are of the classical type (i.e. they do not pass through the triple intersection). For example, the broken curve $\alpha$ in Figure~\ref{CubicToB3P2_fg} is one of the $27$ degree $1$ rational curves in the limit. 
For each $t\!\neq\!0$, the moduli space $\ov\mc{M}_{0,2}(\mc{Z}_t,[3])$ of $2$-marked genus $0$ degree $3$ maps in $\mc{Z}_\lambda$ is of the (expected) complex dimension $4$. In degree $3$, for generic $t$, there are $84$ such curves passing through $2$ generic points of $\mc{Z}_t$ at the marked points. 
In the limiting SC variety $X_\emptyset$, assuming that the two point constraints move to $X_1$ and $X_2$, $81$ of these $84$ maps can be identified among the maps that do not intersect $X_{123}$. There is, however, a new type of main graph $\Gamma$ contributing to the degeneration formula  (\ref{Formula_e}) that has no analogue in the Jun Li's formula. We are going to describe this $\Gamma$, identify the space of log maps $\mc{M}^{\log}_{0,2}(X_\emptyset,[3])_\Gamma$, and calculate the coefficient $m(\Gamma)$.\\

\noindent
Let $\Gamma$ be the graph with the set of vertices $\mathbb V\!=\{v_1,v_2,v_3,v_0\}$ and the set of edges $\mathbb E\!=\!\{e_1,e_2,e_3\}$ such that $e_i$ connects $v_0$ and $v_i$, for all $i\!=\!1,2,3$. Choose the orientations $\uvec{e}_i$ to end at $v_0$,  for all $i\!=\!1,2,3$, and assume 
$$
\aligned
&I_{v_0}\!=\!S\!=\!\{1,2,3\},\quad s_{\uvec{e}_1}=(-2,1,1)\!\in\!\mathbb Z^S_\bullet,\quad s_{\uvec{e}_2}=(1,-2,1)\!\in\!\mathbb Z^S_\bullet,\quad s_{\uvec{e}_1}=(1,1,-2)\!\in\!\mathbb Z^S_\bullet, \\
 &I_{v_i}=\{i\}, \qquad A_{v_i}=[1]\!\in\!H_2(X_i,\mathbb Z), \quad  \forall i\!=\!1,2,3,
 \endaligned
$$
where, for each $i\!=\!1,2,3$, $[1]\!\in\!H_2(X_i,\mathbb Z)$ is the pre-image  in $X_i$ of the class of a line in $X'_i$ away from the blow-up points.
The two legs corresponding to the two marked points are attached to $v_1$ and $v_2$; see Figure~\ref{star_fg}. A log map with this dual graph is made of a line $\ell_i\!=\!\tn{Im}(u_{v_i})$ in $X_i'\cong \mathbb P^2$ passing though the point $X'_{123}$ (so the choice of resolution and the exceptional curves are irrelevant in the following discussion), for each $i\!\in\!S$, and a log tuple 
$$
\big(u_{v_0}, [\zeta_{i}]_{i\in S}, (\Sigma_{v_0},\mf{j}_{v_0})\cong \mathbb P^1, q_{v_0}=\{ q_{\scriptsize\ucev{e}_i}\}_{i\in S}\big)_\bullet,
$$ 
where $u_{v_0}$ is the constant map onto $X_{123}$ and $\zeta_{i}$, for each $i\!\in\!S$, is a meromorphic section of the trivial bundle 
$$
u_{v_0}^*\mc{N}_{S;i}\cong \Sigma_{v_0}\!\times\!\mathbb C
$$
with a zero of order $2$ at $q_{\scriptsize\ucev{e}_i}$ and poles of order $1$ at $\{ q_{\scriptsize\ucev{e}_j}\}_{j\in S-i}$.
The dual graph $\Gamma$ satisfies Definition~\ref{LogMapVar_dfn}.\ref{Tropical_l2}. The function $s\colon\!\mathbb V\!\longrightarrow\!\mathbb R^S$ given by
$$
 s_{v_1}=(3,0,0),\quad s_{v_2}=(0,3,0), \quad s_{v_3}=(0,0,3),\quad\tn{and}\quad  s_{v_0}=(1,1,1)
$$
has the required properties. Up to rescaling, the function $s$ above is the only function satisfying Definition~\ref{LogMapVar_dfn}.\ref{Tropical_l2}; therefore, $\Gamma$ is a main dual graph (i.e. $\mathbb K_{\bullet}\!=\!0$ or $ \mathbb K\!\cong \!\mathbb Z$).
Since the domain of the injective map (\ref{DtoT_e2}) is $5$-dimensional and its target is $6$-dimensional, we conclude that the obstruction group $\mathcal{G}_\bullet$ is isomorphic to $\mathbb C^*$. \\

\begin{figure}
\begin{pspicture}(1,-2.5)(11,1.3)
\psset{unit=.3cm}
\psline[linewidth=0.07](20,-2)(28,-2)
\psline[linewidth=0.07](20,-2)(20,6)
\psline[linewidth=0.07](20,-2)(14.34,-7.66)
\psline[linewidth=.07](24,-2)(24,-1) \psline[linewidth=.07](23,-2)(23,-1)\psline[linewidth=.07](25,-2)(25,-1)
\psline[linewidth=.07](20,1)(21,1) \psline[linewidth=.07](20,2)(21,2)\psline[linewidth=.07](20,3)(21,3)
\psline[linewidth=.07](17,-5)(17,-4) \psline[linewidth=.07](16,-6)(16,-5)\psline[linewidth=.07](18,-4)(18,-3)
\psline[linewidth=0.15](20,-2)(22,2)
\psline[linewidth=0.15](20,-2)(16,1)
\psline[linewidth=0.15](20,-2)(22,-4)
\pscircle*(20,-2){.15}
\rput(24.5,2.5){$X_1$}
\rput(15.5,0){$X_2$}
\rput(22,-6){$X_3$}

\pscircle*(40,-2){.3}\rput(39.7,-1){\small{$v_0$}}
\psline(40,-2)(44,2)\pscircle*(44,2){.3}\rput(45,2.5){\small{$v_1$}}\psline(44,2)(44,4)
\psline[linewidth=0.15]{->}(44,2)(42.5,0.5)\rput(47,.5){\scriptsize{$s_{\uvec{e}_1}=(-2,1,1)$}}

\psline(40,-2)(35,-2)\pscircle*(35,-2){.3}\rput(34,-2.2){\small{$v_2$}}\psline(35,-2)(35,-4)
\psline[linewidth=0.15]{->}(35,-2)(37,-2)\rput(33.5,-1){\scriptsize{$s_{\uvec{e}_2}=(1,-2,1)$}}

\psline(40,-2)(40,-7)\pscircle*(40,-7){.3}\rput(40,-8){\small{$v_3$}}
\psline[linewidth=0.15]{->}(40,-7)(40,-5)\rput(44,-6){\scriptsize{$s_{\uvec{e}_3}=(1,1,-2)$}}

\end{pspicture}
\caption{Dual graph $\Gamma$ and the image of a map belonging to  $\ov\mc{M}_{0,2}(X_\emptyset,[3])_\Gamma$ in $X_\emptyset$.}
\label{star_fg}
\end{figure}

\noindent
The dual map 
$$
\mathbb T^\vee_\bullet = \bigoplus_{i\in S} \bigg(\frac{\mathbb Z^{I_{e_i}}}{\mathbb Z}\bigg) \cong \bigg(\frac{\mathbb Z^{3}}{\mathbb Z}\bigg)^3 \stackrel{\varrho^\vee_\bullet}{\xrightarrow{\hspace*{1.5cm}}} 
\mathbb D^\vee_\bullet\cong \big(\mathbb Z^\mathbb E\big)^\vee \oplus \bigg(\frac{\mathbb Z^{I_{v_0}}}{\mathbb Z}\bigg)\cong \mathbb Z^3\oplus \bigg(\frac{\mathbb Z^{3}}{\mathbb Z}\bigg)
$$
in (\ref{DtoTDual_e2}) is given by 
$$
\varrho^\vee_\bullet\big([\eta_1],[\eta_2],[\eta_3]\big)=
\bigg( \!(-2\eta_{11}+\eta_{12}+\eta_{13}), (\eta_{21}-2\eta_{22}+\eta_{23}),(\eta_{31}+\eta_{32}-2\eta_{33}), -\big([\eta_1]+[\eta_2]+[\eta_3]\big)\!\bigg),
$$
where $\eta_i\!=\![\eta_{i1},\eta_{i2},\eta_{i3}]\!\in\!\frac{\mathbb Z^{3}}{\mathbb Z}$, for any~$i\!\in\!\{1,2,3\}$.
It is straightforward to check that 
$$
\tn{Im}(\varrho^\vee_\bullet)=\lrc{(a,b,c,[x,y,z])\!\in\!\mathbb Z^3\!\oplus\! \frac{\mathbb Z^3}{\mathbb Z}\colon a+b+c \equiv x+y+z ~~\tn{mod}~3}.
$$
Therefore, the quotient group $\mathbb D^\vee_\bullet/\tn{Im}(\varrho^\vee_\bullet)$ is isomorphic to  $\mathbb Z_3$ and  is generated by the class of $(1, 0,0, [0,0,0])$; i.e. $m(\Gamma)\!=\!3$.

\bRm{Comapre_rmk}
Going back to Remark~\ref{ACG_rmk}, the extra factor $\abs{\mathbb K^{\perp}/\tn{image}(\mu^\vee)} $ is equal $1$ in this example. 
Therefore, $m_{\tn{red}}(\Gamma)\!=\!m(\Gamma)$; that explains why our coefficient $m(\Gamma)\!=\!3$ coincides with the one calculated in  \cite[Section~6]{ACGS}.
\end{remark}

\noindent
In the pre-log space $\mc{M}^{\tn{plog}}_{0,2}(X_\emptyset,[3])_\Gamma$, the three lines $\ell_1,\ell_2,\ell_3$ are allowed to be any line passing through the point $X_{123}$ with some slope in $\mathbb C^*$. However, the condition $\tn{ob}_{\bullet,\Gamma}(f)\!\in\!\mathcal{G}_\bullet\cong\mathbb C^*$ in Definition~\ref{LogMapVar_dfn}.\ref{GObs_e2} puts a restriction on the set of lines $\ell_1,\ell_2,\ell_3$ that give rise to a log map.\\

\noindent
For each $i\!=\!S$, the line $\ell_i$ is the completion of the image of a map of the form
$$
\mathbb C \longrightarrow \mathbb C^3, \quad z\longrightarrow (z_{ij})_{j=1,2,3}\subset \mathbb C^3,~~z_{ii}=0,~z_{ij}=a_{ij}z,~a_{ij}\!\in\!\mathbb C^*,\quad \forall j\!\in\!S-i.
$$
It follows from definition of $\tn{ob}_{\bullet,\Gamma}(f)$ in \cite{FSC} that $\tn{ob}_{\bullet,\Gamma}(f)\!=\!1$  if and only if for any set of $3$ distinct points $\tn{pt}_1,\tn{pt}_2,\tn{pt}_3\!\in\!\mathbb P^1$ and local coordinates $w_1$, $w_2$, $w_3$ around them, respectively, there exists a set of meromorphic sections $(\zeta_i)_{i\in S}$ of $\mathbb P^1\!\times\!\mathbb C$ (holomorphic away from $\tn{pt}_1,\tn{pt}_2,\tn{pt}_3$) such that the product $\zeta_1\zeta_2\zeta_3$ is a constant section and
$$
\zeta_i(w_j)=a_{ji}w_j^{-1} \quad \forall i\!\in\! S, j\!\in\!S\!-\!i.
$$
A straightforward calculation shows that this is possible if and only if 
$$
\frac{a_{12}}{a_{13}} \frac{a_{31}}{a_{32}} \frac{a_{23}}{a_{21}}\!=\!-1,
$$
i.e. the product of the slopes of $\ell_1$, $\ell_2$, $\ell_3$ (in a certain order) is $-1$.\\

\noindent
In the degeneration formula (\ref{Formula_e}), imposing two generic point constraints in $X_1$ and $X_2$ on the image of the two marked points
fixes $\ell_1$ and $\ell_2$.  Then the slope condition above fixes $\ell_3$. Therefore, since $m(\Gamma)\!=\!3$ and $\mf{Aut}(\Gamma)\!=\!1$, the contribution of such a star-shaped log map to the GW count of degree $3$ rational curves in a smooth cubic surface passing through two generic points is $3$. \\

\noindent
We finish with some comments on the question $(\star\!\star\!\star)$ in the introduction. 
After removing the trivial component $u_{v_0}\colon\!\Sigma_{v_0}\!\longrightarrow\! X_{123}$, the moduli space $\mc{M}^{\log}_{0,2}(X_\emptyset,[3])_\Gamma$ decomposes into the relative spaces 
$$
\mc{M}^{\log}_{0,((0,0),(1,1))}(X_1,X_{1;\partial},[1]),\quad \mc{M}^{\log}_{0,((0,0),(1,1))}(X_2,X_{2;\partial},[1]),\quad\tn{and}\quad \mc{M}^{\log}_{0,(1,1)}(X_3,X_{3;\partial},[1]).
$$
So one might still hope to be able to get a decomposition formula in a situation like this. In general, specially in higher dimensions, there seems to be no obvious way to get such a decomposition. The following modification of the previous example highlights the issue.

\bEx{CubicxP1_eg} 
Consider the family $\mc{Y}\!=\!\mc{Z}\times \mathbb P^1\!\longrightarrow\!\mathbb C$, where $\mc{Z}$ is as above and $\pi$ is the lift of the projection map $\pi\colon\!\mc{Z}\!\longrightarrow\!\mathbb C$.
Let $Y_I\!=\!X_I\!\times\!\mathbb P^1$, for all $\emptyset\!\neq\!I\!\subset\!\{1,2,3\}$.
Consider the same dual graph but with $k\!=\!3$ (i.e. with a third marked point on $\Sigma_{v_3}$),
$$
A_{v_0}=[0,1]\!\in\!H_2(Y_{123},\mathbb Z)\cong H_2( \{\tn{point}\}\!\times\!\mathbb P^1,\mathbb Z)\cong \{0\}\!\times\! \mathbb Z,
$$
and 
$$
A_{v_i}=[1,0]\!\in\!H_2(Y_{i},\mathbb Z)\cong H_2( X_i\times \mathbb P^1,\mathbb Z)\cong  H_2( X_i,\mathbb Z)\!\times \!\mathbb Z \qquad \forall~i\!\in\!\{1,2,3\};
$$
see Figure~\ref{star_fg2}. 
\begin{figure}
\begin{pspicture}(-3,-3)(11,.5)
\psset{unit=.3cm}
\psline(15,-2)(21,-2)
\psline(15,-2)(12,1)
\psline(15,-2)(11,-5.5)
\psline[linewidth=.15](15,-2)(15,-8)
\psline(15,-8)(21,-8)
\psline[linestyle=dashed,dash=1pt ](15,-8)(12,-5)
\psline(15,-8)(11,-11.5)
\rput(17.5,0.5){\small{$Y_1$}}\rput(11,-2){\small{$Y_2$}}\rput(19,-5){\small{$Y_3$}}
\psline[linestyle=dashed,dash=1pt](15,-3.5)(16.5,-2)\psline[linewidth=.15](16.5,-2)(18,-0.5)\rput(21, -0.7){\scriptsize{$\ell_1=\tn{Im}(u_{v_1})$}}
\psline[linestyle=dashed,dash=1pt](15,-5)(12.2,-4.8)\rput(13.7, -4.2){\scriptsize{$\ell_2$}}
\psline[linewidth=.15](15,-6.5)(18,-9.5)\rput(16.3,-6.6){\scriptsize{$\ell_3$}}
\psarc{<-}(10,-2){5}{10}{90}
\rput(8,3){\scriptsize{$\tn{Im}(u_{v_0})$}}

\end{pspicture}
\caption{The image of a map belonging to  $\ov\mc{M}_{0,3}(Y_\emptyset,[3,1])_\Gamma$ in $Y_\emptyset$.}
\label{star_fg2}
\end{figure}
The moduli space $\ov\mc{M}_{0,3}(Y_\emptyset,[3,1])_\Gamma$ is complex $8$ dimensional with the same contributing factor $m(\Gamma)\!=\!3$ to (\ref{Formula_e}). A smooth fiber $\mc{Y}_\lambda$ of $\mc{Y}$ is the product of the smooth cubic surface $\mc{Z}_\lambda$ and~$\mathbb P^1$. Let 
\bEq{productGW_e}
\tn{GW}_{0,3}^{\mc{Y}_\lambda}(\tn{pt},\tn{pt},\alpha\!\times\!\tn{pt})
\end{equation} 
be the number of degree $[3,1]$ rational curves in $\mc{Y}_\lambda$ with two point constraints and 
$$
\alpha\!\times\!\tn{pt}\!\in\!H_2(\mc{Y}_\lambda,\mathbb Z)= H_2(\mc{Z}_\lambda\!\times\!\mathbb P^1,\mathbb Z),
$$ 
where $\alpha$ is the (homology class of the) smoothing of the limiting line shown in Figure~\ref{CubicToB3P2_fg}-Right. Since $m(\Gamma)\!=\!3$ as before, and there is a unique $\Gamma$-type log map in $Y_\emptyset$ with those constraints, we conclude that the contribution of $\Gamma$-type curves to  (\ref{productGW_e}) is again $3$. In examples like this, where there is a non-constant map $u_{v_0}$ in a stratum $Y_I$ with $|I|\!\neq\!1$, for any decomposition of $\ov\mc{M}_{g,k}(Y_\emptyset,A)_\Gamma$ into a fiber product of relative spaces, either $u_{v_0}$ should be considered in one of the relative moduli spaces (which would result in relative spaces with $\mf{s}\!\notin\!\mathbb N^S$), or it should be removed while its non-trivial GW contribution affects the matching conditions of the remaining parts. Both options sound very complicated!
\end{example}






