Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [jacobian-conjecture]

The tag has no usage guidance.

1
vote
2answers
213 views

The Jacobian Conjecture over a commutative $\mathbb{Q}$-algebra which is not an integral domain

Let $R$ be a commutative $\mathbb{Q}$-algebra which is not an integral domain, for example: $R=\frac{\mathbb{Q}[t]}{(t^2-1)}$. Let $k$ be an algebraically closed field of characteristic zero, and let ...
0
votes
0answers
55 views

$A,B,w \in \frac{\mathbb{Q}[t]}{(t^2-1)}[x,y]$: $\operatorname{Jac}(A,B)=1$, $\operatorname{Jac}(A,w)=0$, $w \notin \frac{\mathbb{Q}[t]}{(t^2-1)}[A]$

Let $R=\frac{\mathbb{Q}[t]}{(t^2-1)}$; trivially, $R$ is not an integral domain, since $(\overline{t-1})(\overline{t+1})=\overline{t^2-1}=\overline{0}$. Is it possible to find $A,B,w \in R[x,y]$ ...
3
votes
0answers
120 views

Solutions to $w_x=CA_x$, $w_y=CA_y$ other than $w=f(A)$ and $C=f'(A)$?

Let $R \in \{\mathbb{C}[t^2,t^3], \mathbb{Z}[\sqrt{5}]\}$, and let $A=A(x,y) \in R[x,y]$ with $\deg(A) \geq 1$ (total degree). I wish to prove or find a counterexample to the following claim: If ...
0
votes
0answers
109 views

Is it possible to generalize a result of Katsylo-Zhang concerning the two-dimensional JC?

Let $p=p(x,y), q=q(x,y) \in \mathbb{C}[x,y]$ be a Jacobian pair, namely, $Jac(p,q)=p_xq_y-p_yq_x \in \mathbb{C}^{\times}$. Denote the total degrees of $p$ and $q$ by $\deg(p)$ and $\deg(q)$, and ...
6
votes
0answers
127 views

Descending chain of subalgebras of $k[x,y]$

Let $k$ be a field of characteristic zero. Let $\{R_i\}_{i \in \mathbb{N}}$ be a descending chain of $k$-subalgebras of $k[x,y]$: $k[x,y]=:R_0 \supseteq R_1 \supseteq R_2 \supseteq \ldots$, such that ...
1
vote
0answers
90 views

What can be said about $\{\deg(f),\deg(g),\deg(h)\}$, such that $k[f,g,h]=k[t]$?

Let $f=f(t),g=g(t),h=h(t) \in k[t]$, $k$ is a field of characteristic zero. Denote $\deg(f)=a$, $\deg(g)=b$, $\deg(h)=c$. Assume that $a \geq 2, b \geq 2, c \geq 2$. Assume that $k[f,g] \neq k[t]$, $...
3
votes
0answers
132 views

A Jacobian pair $(p,q)$ such that $\gcd(\deg(p),\deg(q))=2P$, $P \geq 5$ is prime

Let $p=p(x,y),q=q(x,y) \in \mathbb{C}[x,y]$ be a Jacobian pair, namely, $p_xq_y-p_yq_x \in \mathbb{C}^*$. Denote $a:= \deg(p)$ and $b:= \deg(q)$, where $\deg()$ denotes the total degree ($(1,1)$-...
0
votes
0answers
103 views

Reference request concerning the generalized Jacobian Conjecture

On page 287, A. van den Essen says: Furthermore one can show that it suffices to prove JC for all $n \geq 2$ and for all $F$'s of the form: $F=(l_1,\ldots,l_r,x_{r+1}+M_{r+1},\ldots,x_n+M_n)$ ...
0
votes
0answers
131 views

If $F(x_1,0,\ldots,0)=(x_1,0,\ldots,0)$, then $F$ is bijective?

Let $k$ be an algebraically closed field of characteristic zero and let $f_1,\ldots,f_n \in k[x_1,\ldots,x_n]$ have an invertible Jacobian, namely, the determinant ot their Jacobian matrix belongs to $...
3
votes
0answers
133 views

Must a counterexample $f$ to the $n$-dimensional JC satisfy $\cap f^i(k[x_1,\ldots,x_n])=k$?

There is a known result concerning the two-dimensional Jacobian Conjecture which says the following: Let $k$ be a field of characteristic zero. If $f:k[x,y] \to k[x,y]$ has an invertible Jacobian and ...
0
votes
0answers
169 views

Generalizations of 'Injectivity on one line'

The main result of J. Gwozdziewicz in this paper says the following: "Let $k$ be an algebraically closed field of characteristic zero, and let $f:k[x,y] \to k[x,y]$, $(x,y) \mapsto (p,q)$, be a $k$-...
1
vote
0answers
75 views

Radial similarity of Newton polytopes

Let $k$ be a field of characteristic zero, and assume that $p,q \in k[x,y]$ is a Jacobian pair, namely, $p_xq_y-p_yq_x \in k^*$ (= the determinant of the Jacobi matrix $\in k^*$). It is known that ...
0
votes
1answer
499 views

Connection between the Jacobian Conjecture and number theory conjectures

In this paper E. Formanek says: ``The purpose of this paper is to point out a connection between certain differential equations which have arisen in attempts to establish the two-variable Jacobian ...
6
votes
1answer
344 views

An analogy between the ring of polynomials in two variables and another (commutative?) ring

One of the answers to this question says: "In Serge Lang's Algebra, he says: "One of the most fruitful analogies in mathematics is that between the integers $\mathbb{Z}$ and the ring of polynomials $F[...
1
vote
0answers
108 views

Rectangular Newton polygon of a Jacobian pair

Let $p,q \in k[x,y]$, $k$ is a field of characteristic zero. By definition, $p,q$ is a Jacobian pair if their Jacobian is invertible in $k[x,y]$, namely, $p_xq_y-p_yq_x \in k^*$, and $p,q$ is an ...
1
vote
0answers
40 views

Invertibility under base change for the Weyl algebra instead of for the polynomial algebra

From Lemma 1.1.8, we obtain the following: Assume that $R \subseteq S$ are commutative rings and $u: R[x,y] \to R[x,y]$ is an $R$-algebra endomorphism that has an invertible Jacobian, namely, $Jac(u(x)...
5
votes
0answers
75 views

Is $x \in A_1$ left algebraic over the subalgebra generated by $p$ and $q$, $[q,p]=1$?

Let $A_1:=A_1(x,y,k)$ be the first Weyl algebra over a field $k$ of characteristic zero, namely, the $k$-algebra generated by $x$ and $y$ with relation $yx-xy=1$. Let $f:(x,y) \mapsto (p,q)$ be a $k$-...
6
votes
1answer
391 views

“Jacobian Conjecture” for $k[x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}]$?

Is there exist a similar conjecture to the famous Jacobian Conjecture with $\mathbb{C}[x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}]$ instead of $\mathbb{C}[x_1,\ldots,x_n]$? Namely, let $f$ be $\mathbb{...
2
votes
0answers
369 views

What are required topics I need to learn before tackling Jacobian Conjecture? [closed]

Dear MathOverFlow advisers, I am very interested in learning about the Jacobian Conjecture, which I learned of its existence while reading articles about the machine learning's inverse learning ...
3
votes
0answers
82 views

Showing that a crypto hash function is not permutation, possibly conditionally?

Let $f$ be some crypto hash function, say MD5 with output $n$ bits. Restrict the input to $n$ bits. Cryptographer told me it is open problem if such restricted collision exists, i.e. $f(x)=f(y),x \ne ...
4
votes
1answer
133 views

On transforming pair of bivariate polynomials to pair of univariate polynomials by applying polynomial map

We know that a polynomial map $f(x,y), g(x,y)$ is polynomial automorphism if there exists polynomials $p(x,y)$ and $q(x,y)$ such that $f(p,q)$=x and $g(p,q)=y$. Jacobian conjecture tries to ...
3
votes
0answers
199 views

Jacobian Conjecture, Cubic-Keller maps

I have recently read an interesting article about the Jacobian Conjecture, in particular the reduction to the case $f(x) = x + A(x)^3$. I was wondering about codimension one divisors on $Y = A^n$. ...
2
votes
0answers
332 views

Weakened jacobian conjecture for entire functions

A rudin's theorem is the assertion that any polynomial injection between affine spaces of the same dimension has a polynomial inverse, and the inverse is also given by polynomials. The jacobian ...
9
votes
1answer
912 views

Could the Jacobian conjecture be undecidable?

Most of us know the Jacobian conjecture. Here's a version below for fixed positive integers $d$ and $n$: $J(d,n)$: If $f: C^n \rightarrow C^n$ is a polynomial map of degree $d$, and if the Jacobian ...