Questions tagged [weyl-algebra]
The weyl-algebra tag has no usage guidance.
37
questions
3
votes
0
answers
208
views
An attempt to extend polynomial rings
Suppose $\mathbb{K}$ is a field of characteristic $0$. Let $S_n=\mathbb{K}[[x_1,\dots,x_n]]$ be the ring of formal power series in $n$ variables, $L_n$ be its fraction field and $W_n=\mathbb{K}[x_1,\...
- 992
4
votes
0
answers
89
views
Interplay beween simplicial and Weyl algebra identities
Recall that the (first) Weyl algebra is the algebra generated by $x,y$ with the relation $xy-yx=1$. It can be realized as the algebra of differential operators on $k[x]$, where one generator acts as ...
- 5,150
3
votes
0
answers
156
views
Shift Operators and the Weyl Algebra
I have a question about the action of a shift operator $E$ on polynomials $Ep(x) = p(x+1)$ in the context of linear differential operators in one variable with polynomial coefficients, i.e. ...
16
votes
6
answers
1k
views
A Leibniz-like formula for $(f(x) \frac{d}{dx})^n f(x)$?
Let $f(x)$ be sufficiently regular (e.g. a smooth function or a formal power series in characteristic 0 etc.). In my research the following recursion made a surprising entrance
$$
f_1(x) = f(x),\ f_{n+...
- 6,459
12
votes
1
answer
594
views
Infinite dimensional irreducible representations of a tensor product
The second part of Theorem 3.10.2 of "Introduction to representation
theory" by Etingof, Golberg, Hensel, Liu, Schwender, Vaintrob and Yudovina states that
if $A$ and $B$ are $k$-algebras ($...
- 177
7
votes
1
answer
347
views
Weyl algebra as an Azumaya algebra over its centre
Assume that $k$ is an algebraically closed field of positive characteristic $p$. On page 3 (page 6 of the PDF file) of Bezrukavnikov, Mirković, and Rumynin - Localisation of Modules for a semisimple ...
- 111
3
votes
1
answer
157
views
Gelfand-Kirillov dimension of the first Weyl algebra
How can we compute the Gelfand-Kirillov dimension (GK for short) of the first Weyl algebra?
As we know we can look at the Weyl algebra as a generalized Weyl algebra in the following way:
Let $A=\...
- 131
2
votes
0
answers
39
views
Concerning $(x,y) \mapsto (x^{\frac{n}{r}+1}y + A,\mu x^{-\frac{n}{r}}+B)$
Let $r \in \mathbb{N}-\{0\}$.
Commutative case:
Let $f : (x,y) \mapsto (p,q)$ be a map from $\mathbb{C}[x,y]$ to $\mathbb{C}[x^{1/r},x^{-1/r},y]$ satisfying the following two conditions:
(i) $\...
- 2,613
5
votes
0
answers
190
views
A non-commutative analog of a result concerning a Jacobian pair
Let $k$ be a field of characteristic zero and let $E=E(x,y) \in k[x,y]$.
Define $t_x(E)$ to be the maximum among $0$ and the $x$-degree of $E(x,0)$.
Similarly, define $t_y(E)$ to be the maximum among $...
- 2,613
4
votes
0
answers
83
views
Weyl theorem - possible corollary - alternative characterization of projective representation of $Z_N\times Z_N$
For an integer $N$, let $\omega=e^{2i\pi/N}$ and $A$, $B$ be the clock and shift operators:
$A=\left(\begin{matrix}
1 & 0 & \cdots & 0 \\
0 & \omega & \cdots & 0 \\
\vdots &...
- 543
1
vote
0
answers
57
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 ...
- 2,613
3
votes
0
answers
76
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_{...
- 997
1
vote
0
answers
58
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)...
- 2,613
5
votes
0
answers
126
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 ...
- 593
4
votes
0
answers
84
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$-...
- 2,613
5
votes
2
answers
221
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 ...
- 2,613
3
votes
0
answers
110
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$, ...
- 2,613
1
vote
0
answers
84
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.
...
- 2,613
5
votes
1
answer
181
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:)...
- 9,149
0
votes
1
answer
59
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 ...
- 103
1
vote
0
answers
65
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 ...
- 2,991
5
votes
2
answers
331
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 ...
- 191
5
votes
0
answers
179
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 ...
- 1,398
7
votes
3
answers
323
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?
- 191
4
votes
1
answer
228
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 }...
- 489
4
votes
0
answers
143
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 $...
- 489
1
vote
0
answers
174
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 ...
- 605
2
votes
1
answer
312
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?
- 21
5
votes
2
answers
719
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 ...
- 389
7
votes
2
answers
433
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 ...
- 605
1
vote
1
answer
346
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 ...
- 11
22
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 ...
- 8,299
10
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 ...
- 4,752
6
votes
1
answer
558
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 ...
- 7,934
12
votes
1
answer
620
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 ...
- 12.4k
7
votes
1
answer
524
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, ...
- 12.4k
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?
- 376