A Tate algebra version of the Jacobian Conjecture

This paper investigates a Tate algebra version of the Jacobian conjecture, referred to as the Tate-Jacobian conjecture, for commutative rings $R$ equipped with an $I$-adic topology. We show that if the $I$-adic topology on $R$ is Hausdorff and $R\mathrm{/}I$ is a subring of a $\mathbb{Q}$-algebra, then the Tate-Jacobian conjecture is equivalent to the Jacobian conjecture. Conversely, if $R\mathrm{/}I$ has positive characteristic, the Tate-Jacobian conjecture fails. Furthermore, we establish that the Jacobian conjecture for $\mathbb{C}$ is equivalent to the following statement: for all but finitely many primes $p$, the inverse of a polynomial map over ${\mathbb{C}}_p$ whose Jacobian determinant is an element of ${\mathbb{C}}_p^{\times }$ lies in the Tate algebra over ${\mathbb{C}}_p$.