A Valuation-Theoretic Approach to The Deep Jacobian Conjecture
  Our goal is to settle the following result: {\sf Theorem:} {\it Let $R$ be a Krull domain domain and let $\Delta_1$ and $\Delta_2$ be subsets of ${\rm Ht}_1(R)$ such that $\Delta_1\cup \Delta_2 = {\rm Ht}_1(R)$ and $\Delta_1\cap \Delta_2 = \emptyset$. Put $R_i := \bigcap_{Q\in \Delta_i}R_Q\ (i=1,2)$, subintersections of $R$. Assume that $\Delta_2$ is a finite set and that $R\hookrightarrow R_1$ is flat. If $R_1$ is factorial and $R^\times = (R_1)^\times$, then $\Delta_2 = \emptyset$ and $R = R_1$. } As an application, this gives us the following : {\sf The Deep Jacobian Conjecture $(DJC)$~:} {\it Let $\varphi : S \rightarrow T$ be an unramified homomorphism of Noetherian normal domains with $T^\times = \varphi(S^\times)$. Assume that $T$ is factorial and that $S$ is simply connected. Then $\varphi$ is an isomorphism.} Besides, as a corollary, the following faded problem is settled: {\sf The Jacobian Conjecture $(JC_n)$~:} {\it If $f_1, \cdots, f_n$ are elements in a polynomial ring $k[X_1, \cdots, X_n]$ over a field $k$ of characteristic $0$ such that $ \det(\partial f_i/ \partial X_j) $ is a nonzero constant, then $k[f_1, \cdots, f_n] = k[X_1, \cdots, X_n]$.} For the consistency of our discussion, we observe on Example : "An open embedding of $\mathbb{C}^2$ in a $2$-dimensional $\mathbb{C}$-affine variety" sited in {\bf [10,(10.3) in p.305]}. 
Susumu Oda
math.AC