# Questions tagged [weyl-algebra]

The weyl-algebra tag has no usage guidance.

**1**

vote

**0**answers

41 views

### A variation on Dixmier's counterexample concerning centralizers in $A_1$

This question asks the following: "Suppose $k$ is a field of characteristic zero and $P$ and $Q$ are commuting elements of the first Weyl algebra. Is it true that $P$ and $Q$ are polynomials in some ...

**3**

votes

**0**answers

62 views

### Transfer modules and Weyl algebra

Let $V$ be a $\mathbb{C}$-vectorial space of dimension $n$ and $V^*$ the complex dual space.
I would like to understand the following isomorphism $$D_{V^* \leftarrow V \times V^*} \overset{L}\otimes_{...

**1**

vote

**0**answers

43 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

**0**answers

98 views

### Modules of algebras with idempotents and the Stone-von Neumann theorem

The Stone-von Neumann theorem tells us that all unitary irreducible representations of the integrated/exponentiated/Weyl form of the canonical commutation relations (CCR) algebra in finite dimensions ...

**4**

votes

**0**answers

77 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$-...

**5**

votes

**2**answers

179 views

### A non-commutative analog of: two polynomials are algebraically dependent iff their Jacobian is zero

Let $f,g \in \mathbb{C}[x,y]$.
There is a well-known result, that can be found for example
here, pages 19-20, that says the following:
$f,g$ are algebraically dependent over $\mathbb{C}$ if and ...

**3**

votes

**0**answers

87 views

### The group of automorphisms and anti-automorphisms of the first Weyl algebra

Let $k$ be a field of characteristic zero, and let $A_1=A_1(k)$ be the first Weyl algebra.
It is well known (first proved by Dixmier, if I am not wrong) that the group of automorphisms of $A_1$, ...

**1**

vote

**0**answers

36 views

### Does the Polarization Theorem for $A_1(k)$ has an analogue for $k[x,y]$?

There is an interesting theorem about the first Weyl algebra $A_1(k)= k \langle x,y | yx-xy= 1 \rangle$,
$k$ is a field of characteristic zero,
the Polarization Theorem, Corollary 5.5 by A. Joseph.
...

**5**

votes

**1**answer

153 views

### A uniqueness of the Stirling numbers?

The binomial Sheffer sequence of Bell / Touchard / exponential polynomials $\phi_n (x) $, whose coefficients are the Stirling numbers of the second kind, have the representation
$(RL)^n=\phi_n (:RL:)...

**0**

votes

**1**answer

54 views

### What are the fixed points of $\alpha^n-\mu_j$ for a fixed $j$?

Let us consider the polynomial ring $\Bbb C[x_1,...,x_s]$ and $\alpha(x_i)= x_i + \mu_i$ where $\mu_i \in \Bbb C$ are not all zero. Then $\alpha \in \mathrm{Aut}(\Bbb C[x_1,...,x_s])$.
What are ...

**1**

vote

**0**answers

55 views

### Computing intersection of Weyl algebra ideal with certain subring

Let $D=k [x_1,\ldots, x_n, \partial_1,\ldots, \partial_n] $ be the nth Weyl algebra over the characteristic zero field $k $. Set $\theta_i=x_i\partial_i $. Let $I $ be a left ideal in $D $. Is there a ...

**5**

votes

**1**answer

241 views

### Gelfand-Kirillov dimension of generalized Weyl algebras

I believe that the Gelfand-Kirillov (GK) dimension for a generalized Weyl algebra $D(\sigma,a)$ is just the GKdim$(D) + 1$.
Does anyone have a reference for this?
I can find partial results, and I ...

**5**

votes

**0**answers

111 views

### Computations in Weyl algebra with rational function coefficients

I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...

**7**

votes

**3**answers

262 views

### Computer algebra system for Weyl algebra computations

Does anyone have a suggestion for the best computer program to perform calculations in the 2nd Weyl algebra?

**4**

votes

**1**answer

173 views

### Locally nilpotent operators of the Weyl algebra

$\newcommand{\ad}{\operatorname{ad}}$As my recent post (here) did not receive any answers yet, I thought I would ask a similar question in which I'm also interested.
Let $A=$ $^{k \langle x,y\rangle }...

**4**

votes

**0**answers

132 views

### Nilpotent operator of the Weyl algebra

For a research project I'm currently working on, I came across the following problem:
Let $A=$ $^{k <x,y> }\Big/_{(yx-xy-1)}$ be the Weyl Algebra over a field $k$ of characteristic $p$, where $...

**1**

vote

**0**answers

127 views

### Supertrace on Weyl algebra

Consider Weyl algebra, i.e. the algebra of $x^i$ and $p_i=\frac{\partial}{\partial x^i}$,
its elements are differential operators $F(x,p)$. Weyl algebra is $\mathbb{Z}_2$ graded, hence one ask if ...

**2**

votes

**1**answer

240 views

### Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra

In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?

**5**

votes

**2**answers

689 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**7**

votes

**2**answers

317 views

### How big can a commutative subalgebra of Weyl algebra be?

Consider the smallest Weyl algebra $A_1=\{q,p; qp-pq=1\}$. It is known that there exist pairs of commuting elements, say $L$ and $M$, that obey various polynomial relations, e.g. elliptic curves. I ...

**1**

vote

**1**answer

323 views

### Modules over rings of differential operators

If $M$ is a left $\mathbb{C}[t] \langle \partial _t \rangle$-module ( a left module over the Weyl algebra), then $\mathrm{Hom}(M,\mathbb{C}[t] \langle \partial _t \rangle)$ is equipped with a ...

**17**

votes

**2**answers

2k views

### Koszul duality between Weyl and Clifford algebras?

Koszul duality
Given a finite-dimensional $k$-vector space $V$ (I am happy taking $k = \mathbb{C}$ anywhere in the following if it makes a difference) and a subspace $R \subseteq V \otimes V$, we can ...

**9**

votes

**2**answers

1k views

### A simple proof of the Weyl algebra's rigidity.

I am wondering if there is a nice presentation of the Hochschild cohomology of $A_n$ the Weyl algebra. It is known that $H^m(A_n,A_n)=0$ for $m>0$, and thus it is rigid. A proof can be found in ...

**6**

votes

**1**answer

500 views

### Differential operators preserving the space of harmonic functions (aka higher symmetries of the Laplacian)

The article http://arxiv.org/abs/hep-th/0206233 (published in Ann. of Math. (2) 161 (2005), no. 3) deals with linear differential operators $D$ for which there exists another linear differential ...

**11**

votes

**1**answer

526 views

### Does the image of a differential operator always contain an ideal?

Let $\delta$ denote a non-zero complex algebraic differential operator in a single variable x. That is, it can be written as a sum
$$ \delta = \sum_i f_i\partial_x^i$$
where there $f_i$ are complex ...

**6**

votes

**1**answer

450 views

### Depth Zero Ideals in the Homogenized Weyl Algebra

Let $\mathcal{D}$ be the $n$th Weyl algebra $ \mathcal{D} :=k[x_1,...,x_n,\partial_1,...,\partial_n] $, where $\partial_ix_i-x_i\partial_i=1$.
Let $\widetilde{\mathcal{D}}$ be its Rees algebra, ...

**8**

votes

**5**answers

2k views

### Proof a Weyl Algebra isn't isomorphic to a matrix ring over a division ring

Can anyone prove that a Weyl Algebra is not isomorphic to a matrix ring over a division ring?