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 [weyl-algebra]

The tag has no usage guidance.

1
vote
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
3answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
5answers
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?