Skip to main content
added 28 characters in body
Source Link
user237522
  • 2.8k
  • 14
  • 24

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=Ay$$p=uy$ and $q=x+By$$q=x+vy$, $A,B \in A_1(k)$$u,v \in A_1(k)$, $y$ does not divide $A$$u$, namely, $u \notin A_1y$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+By,Ay]=[x,Ay]+[By,Ay]=-[Ay,x]+[By,Ay]$$1=[q,p]=[x+vy,uy]=[x,uy]+[vy,uy]=-[uy,x]+[vy, uy]$ $=-(A[y,x]+[A,x]y)+[By,Ay]=-(A+[A,x]y)+[By,Ay]=-A-[A,x]y+[By,Ay]$$=-(u[y,x]+[u,x]y)+[vy,uy]=-(u+[u,x]y)+[vy,uy]=-u-[u,x]y+[vy,uy]$

Denote: $E:=[By,Ay]$$E:=[vy,uy]$. Then, $E=[By,Ay]=B[y,Ay]+[B,Ay]y=-B[Ay,y]-[Ay,B]y=$$E=[vy,uy]=v[y,uy]+[v,uy]y=-v[uy,y]-[uy,v]y=$ $-B(A[y,y]+[A,y]y)-[Ay,B]y=-B[A,y]y-[Ay,B]y=$$-v(u[y,y]+[u,y]y)-[uy,v]y=-v[u,y]y-[uy,v]y=$ $-B[A,y]y-(A[y,B]y+[A,B]y^2)=$$-v[u,y]y-(u[y,v]y+[u,v]y^2)=$ $-B[A,y]y-A[y,B]y-[A,B]y^2$$-v[u,y]y-u[y,v]y-[u,v]y^2$.

So we have $E=-B[A,y]y-A[y,B]y-[A,B]y^2$$E=-v[u,y]y-u[y,v]y-[u,v]y^2$. Then, $1=-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$$1=-u-[u,x]y-v[u,y]y-u[y,v]y-[u,v]y^2$.

Write $A=a_ny^n+\cdots+a_1y+a_0$$u=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $A$$u$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$should$-u-[u,x]y-v[u,y]y-u[y,v]y-[u,v]y^2$ should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[A,B]y^2$$-[u,v]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSE, but have not received any comments yet).

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=Ay$ and $q=x+By$, $A,B \in A_1(k)$, $y$ does not divide $A$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+By,Ay]=[x,Ay]+[By,Ay]=-[Ay,x]+[By,Ay]$ $=-(A[y,x]+[A,x]y)+[By,Ay]=-(A+[A,x]y)+[By,Ay]=-A-[A,x]y+[By,Ay]$

Denote: $E:=[By,Ay]$. Then, $E=[By,Ay]=B[y,Ay]+[B,Ay]y=-B[Ay,y]-[Ay,B]y=$ $-B(A[y,y]+[A,y]y)-[Ay,B]y=-B[A,y]y-[Ay,B]y=$ $-B[A,y]y-(A[y,B]y+[A,B]y^2)=$ $-B[A,y]y-A[y,B]y-[A,B]y^2$.

So we have $E=-B[A,y]y-A[y,B]y-[A,B]y^2$. Then, $1=-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$.

Write $A=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $A$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[A,B]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSE, but have not received any comments yet).

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=uy$ and $q=x+vy$, $u,v \in A_1(k)$, $y$ does not divide $u$, namely, $u \notin A_1y$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+vy,uy]=[x,uy]+[vy,uy]=-[uy,x]+[vy, uy]$ $=-(u[y,x]+[u,x]y)+[vy,uy]=-(u+[u,x]y)+[vy,uy]=-u-[u,x]y+[vy,uy]$

Denote: $E:=[vy,uy]$. Then, $E=[vy,uy]=v[y,uy]+[v,uy]y=-v[uy,y]-[uy,v]y=$ $-v(u[y,y]+[u,y]y)-[uy,v]y=-v[u,y]y-[uy,v]y=$ $-v[u,y]y-(u[y,v]y+[u,v]y^2)=$ $-v[u,y]y-u[y,v]y-[u,v]y^2$.

So we have $E=-v[u,y]y-u[y,v]y-[u,v]y^2$. Then, $1=-u-[u,x]y-v[u,y]y-u[y,v]y-[u,v]y^2$.

Write $u=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $u$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-u-[u,x]y-v[u,y]y-u[y,v]y-[u,v]y^2$ should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[u,v]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSE, but have not received any comments yet).

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
deleted 16 characters in body
Source Link
user237522
  • 2.8k
  • 14
  • 24

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=Ay$ and $q=x+By$, $A,B \in A_1(k)$, $y$ does not divide $A$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+By,Ay]=[x,Ay]+[By,Ay]=-[Ay,x]+[By,Ay]$ $=-(A[y,x]+[A,x]y)+[By,Ay]=-(A+[A,x]y)+[By,Ay]=-A-[A,x]y+[By,Ay]$

Denote: $E:=[By,Ay]$. Then, $E=[By,Ay]=B[y,Ay]+[B,Ay]y=-B[Ay,y]-[Ay,B]y=$ $-B(A[y,y]+[A,y]y)-[Ay,B]y=-B[A,y]y-[Ay,B]y=$ $-B[A,y]y-(A[y,B]y+[A,B]y^2)=$ $-B[A,y]y-A[y,B]y-[A,B]y^2$.

So we have $E=-B[A,y]y-A[y,B]y-[A,B]y^2$. Then, $1=-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$.

Write $A=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $A$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[A,B]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSEMSE, but have not received any commentscomments yet).

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=Ay$ and $q=x+By$, $A,B \in A_1(k)$, $y$ does not divide $A$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+By,Ay]=[x,Ay]+[By,Ay]=-[Ay,x]+[By,Ay]$ $=-(A[y,x]+[A,x]y)+[By,Ay]=-(A+[A,x]y)+[By,Ay]=-A-[A,x]y+[By,Ay]$

Denote: $E:=[By,Ay]$. Then, $E=[By,Ay]=B[y,Ay]+[B,Ay]y=-B[Ay,y]-[Ay,B]y=$ $-B(A[y,y]+[A,y]y)-[Ay,B]y=-B[A,y]y-[Ay,B]y=$ $-B[A,y]y-(A[y,B]y+[A,B]y^2)=$ $-B[A,y]y-A[y,B]y-[A,B]y^2$.

So we have $E=-B[A,y]y-A[y,B]y-[A,B]y^2$. Then, $1=-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$.

Write $A=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $A$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[A,B]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSE, but have not received any comments yet).

Let $k$ be a field of characteristic zero, and let $A_1(k)$ be the first Weyl algebra, namely, the associative non-commutative $k$-algebra generated by $x$ and $y$ subject to the relation $yx-xy=1$.

Suppose that the following map $f$ is a $k$-algebra endomorphism of $A_1$: $(x,y) \mapsto (f(x):=p,f(y):=q)$, where $p=Ay$ and $q=x+By$, $A,B \in A_1(k)$, $y$ does not divide $A$.

As a $k$-algebra endomorphism of $A_1(k)$, we have $[q,p]=1$; indeed, just apply $f$ to $yx-xy=1$.

Is it true that $f$ is actually an automorphism of $A_1(k)$? In particular, is it true that necessarily $p=- y$?

My partial answer: $1=[q,p]=[x+By,Ay]=[x,Ay]+[By,Ay]=-[Ay,x]+[By,Ay]$ $=-(A[y,x]+[A,x]y)+[By,Ay]=-(A+[A,x]y)+[By,Ay]=-A-[A,x]y+[By,Ay]$

Denote: $E:=[By,Ay]$. Then, $E=[By,Ay]=B[y,Ay]+[B,Ay]y=-B[Ay,y]-[Ay,B]y=$ $-B(A[y,y]+[A,y]y)-[Ay,B]y=-B[A,y]y-[Ay,B]y=$ $-B[A,y]y-(A[y,B]y+[A,B]y^2)=$ $-B[A,y]y-A[y,B]y-[A,B]y^2$.

So we have $E=-B[A,y]y-A[y,B]y-[A,B]y^2$. Then, $1=-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$.

Write $A=a_ny^n+\cdots+a_1y+a_0$, $a_j \in k[x]$, $a_0 \neq 0$ (since we have assumed that $y$ does not divide $A$). We see that $a_0=-1$.

Now, the highest $(0,1)$-term of $-A-[A,x]y-B[A,y]y-A[y,B]y-[A,B]y^2$should be zero, and by considerations of $(0,1)$-degrees, it equals the $(0,1)$-highest term of $-[A,B]y^2$.


Motivation: Please see this question, in order to understand the motivation for my above question.

Any hints and comments are welcome! (I have also asked the above question in MSE, but have not received any comments yet).

added 16 characters in body
Source Link
user237522
  • 2.8k
  • 14
  • 24
Loading
Source Link
user237522
  • 2.8k
  • 14
  • 24
Loading