Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes

In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let $\sigma$ and $\tau$ be simplicial complexes and $\sigma \ast \tau$ their join. Let $J_{\sigma }$ be the exterior face ideal of $\sigma$ and $\mathrm{\Delta }(\sigma )$ the exterior algebraic shifted complex of $\sigma$. Assume that $\sigma \ast \tau$ is a simplicial complex on $[n]=\{1,2,\mathrm{.}\mathrm{.}\mathrm{.},n\}$. For any $d$-subset $S\subset [n]$, let $m_{\preceq_{rev} S}(\sigma)$denotethenumberof$d$-subsets$R \in \sigma$ which is equal to or smaller than $S$ w.r.t. the reverse lexicographic order. We will prove that $m_{\preceq_{rev} S}(\Delta({\sigma * \tau}))\geq m_{\preceq_{rev} S}(\Delta ({\Delta(\sigma)} * {\Delta (\tau)}))$forall$S \subset [n]$. To prove this fact, we also prove that $m_{\preceq_{rev} S}(\Delta(\sigma))\geq m_{\preceq_{rev} S}(\Delta({\Delta_{\phi}(\sigma)}))$forall$S\subset [n]$andforallnon-singularmatrices$\phi$,where$\Delta_{\phi}(\sigma)$ is the simplicial complex defined by $J_{{\mathrm{\Delta }}_{\varphi }(\sigma )}=\text{init}(\varphi (J_{\sigma }))$.