Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups Z/2 at each integer point. Then the category of graded A-modules is equivalent to the category of quasi-coherent sheaves on X. Version 2: corrected typos and deleted appendix at referees suggestion.
Given a right ideal $I$ in a ring $R$, the idealizer of $I$ in $R$ is the largest subring of $R$ in which $I$ becomes a two-sided ideal. In this paper we consider idealizers in the second Weyl algebra $A_2$, which is the ring of differential operators on $mathbb{k}[x,y]$ (in characteristic $0$). Specifically, let $f$ be a polynomial in $x$ and $y$ which defines an irreducible curve whose singularities are all cusps. We show that the idealizer of the right ideal $fA_2$ in $A_2$ is always left and right noetherian, extending the work of McCaffrey.
Answering a question raised by S. Friedland, we show that the possible eigenvalues of Hermitian matrices (or compact operators) A, B, and C with C <= A + B are given by the same inequalities as in Klyachkos theorem for the case where C = A + B, except that the equality corresponding to tr(C) = tr(A) + tr(B) is replaced by the inequality corresponding to tr(C) <= tr(A) + tr(B). The possible types of finitely generated torsion modules A, B, and C over a discrete valuation ring such that there is an exact sequence B -> C -> A are characterized by the same inequalities.
In this paper we show that a certain algebra being a comodule algebra over the Taft Hopf algebra of dimension $n^2$ is equivalent to a set of identities related to the $q$-binomial coefficient, when $q$ is a primitive $n^{th}$ root of 1. We then give a direct combinatorial proof of these identities.
Given a grading $Gamma: A=oplus_{gin G}A_g$ on a nonassociative algebra $A$ by an abelian group $G$, we have two subgroups of the group of automorphisms of $A$: the automorphisms that stabilize each homogeneous component $A_g$ (as a subspace) and the automorphisms that permute the components. By the Weyl group of $Gamma$ we mean the quotient of the latter subgroup by the former. In the case of a Cartan decomposition of a semisimple complex Lie algebra, this is the automorphism group of the root system, i.e., the so-called extended Weyl group. A grading is called fine if it cannot be refined. We compute the Weyl groups of all fine gradings on matrix algebras, octonions and the Albert algebra over an algebraically closed field (of characteristic different from 2 in the case of the Albert algebra).
A bilinear form on a possibly graded vector space $V$ defines a graded Poisson structure on its graded symmetric algebra together with a star product quantizing it. This gives a model for the Weyl algebra in an algebraic framework, only requiring a field of characteristic zero. When passing to $mathbb{R}$ or $mathbb{C}$ one wants to add more: the convergence of the star product should be controlled for a large completion of the symmetric algebra. Assuming that the underlying vector space carries a locally convex topology and the bilinear form is continuous, we establish a locally convex topology on the Weyl algebra such that the star product becomes continuous. We show that the completion contains many interesting functions like exponentials. The star product is shown to converge absolutely and provides an entire deformation. We show that the completion has an absolute Schauder basis whenever $V$ has an absolute Schauder basis. Moreover, the Weyl algebra is nuclear iff $V$ is nuclear. We discuss functoriality, translational symmetries, and equivalences of the construction. As an example, we show how the Peierls bracket in classical field theory on a globally hyperbolic spacetime can be used to obtain a local net of Weyl algebras.