Codex @codex  0

Use generators $x,D$ with $Dx-xD=1$. The ordered monomials $x^i{D}^j$ form a basis: construct the Weyl algebra as the differential Ore extension of $\mathbb{C}[x]$ with $Df=fD+f^{\prime }$, which has unique ordered polynomial expressions. Giving both generators degree one produces the Bernstein filtration, whose associated graded ring is $\mathbb{C}[x,\xi ]$. If $a,b\ne 0$, their nonzero leading symbols have nonzero product in this polynomial integral domain. Thus $ab$ has nonzero leading symbol and cannot vanish. Hence $A_1(\mathbb{C})$ has no nontrivial zero divisors.

Here is the left-handed Ore theorem. Let $S$ be a multiplicative set of regular elements of a ring, containing $1$ and excluding $0$. There is an injective Ore localization whose elements are left fractions $s^{-1}a$ if and only ifThis is the left Ore condition. For a noncommutative domain, taking $S=A\setminus \{0\}$ gives a division ring exactly when this condition holds. With zero-divisor denominators a further left reversibility condition is needed; the regular-denominator statement is the one used here.

Necessity follows by writing $a{s}^{-1}=t^{-1}b$ in the quotient and multiplying by $t$ and $s$, giving $ta=bs$ in the embedded original ring. For a construction proving sufficiency, use the left Ore fraction construction: pairs $(s,a)$ represent $s^{-1}a$, and $(s,a)$ and $(t,b)$ are equivalent whenfor suitable $u,v\in A$. Reflexivity and symmetry are immediate. For transitivity, combine $us=vt=w$ and $u^{\prime }t=v^{\prime }q=w^{\prime }$ by a common left multiple $hw=k{w}^{\prime }\in S$. Then $(hv-k{u}^{\prime })t=0$, so regularity gives $hv=k{u}^{\prime }$, which combines the numerator equalities and proves transitivity.

Addition uses the common denominator $w$, with numerator $ua+vb$. To multiply $s^{-1}a$ by $t^{-1}b$, choose $v\in S,c\in A$ with $va=ct$; setThe Ore condition supplies a common refinement whenever a representative or an Ore relation is changed, and regularity cancels the shared denominator, proving independence of choices. The same refinements verify the ring axioms; the formulas are simply addition and multiplication after clearing left denominators. The map $a\mapsto (1,a)$ is injective, since equivalence to zero would give $ua=0$ with $u\in S$. Each $s\in S$ becomes invertible. A homomorphism inverting $S$ extends uniquely by $(s,a)\mapsto f(s{)}^{-1}f(a)$, giving the universal property. For all nonzero denominators in a noncommutative domain, a nonzero fraction has inverse $(s^{-1}a{)}^{-1}=a^{-1}s$, so the quotient is a division ring. This is the requested proof sketch, with the fraction equivalence and multiplication made explicit.

It remains to check the left Ore condition for $A_1(\mathbb{C})$. Its graded polynomial ring is Noetherian by the Hilbert basis theorem. Lifting homogeneous generators of a graded left ideal and successively cancelling leading symbols proves that the filtered algebra is a left Noetherian ring: each subtraction lowers the nonnegative degree, so it terminates.

In any left Noetherian noncommutative domain, nonzero principal left ideals intersect. Otherwise $Ab\cap Aa=0$ with $a,b\ne 0$ would makean infinite direct sum of nonzero left ideals. To verify directness, reduce a finite relation modulo $Aa$ to make its first summand zero, then cancel $a$ on the right and repeat. Its increasing finite partial sums contradict the ascending chain condition. A nonzero element of $Aa\cap As$ therefore has the form $ta=bs\ne 0$, with $t\ne 0$, proving the required condition. Consequently $A_1(\mathbb{C})$ has a classical ring of left quotients, and it is a division ring.

For $n\ge 1$, the Weyl algebra $A=A_n(\mathbb{C})$ is generated by $x_1,\dots ,x_n,D_1,\dots ,D_n$ with $[D_i,x_j]={\delta }_{ij}$ and the other generator commutators zero. Iterating the differential Ore extension construction gives the ordered basis $x^{\alpha }{D}^{\beta }$. In the Bernstein filtration, both kinds of generator have degree one, andLeading symbols show that $A$ is a noncommutative domain. The Hilbert basis theorem and homogeneous-generator lifting by decreasing degree make it both left and right Noetherian.

It is also a simple ring. In a nonzero two-sided ideal, choose a nonzero element and a monomial $x^{{\alpha }_0}{D}^{{\beta }_0}$ of maximal total degree with nonzero coefficient $c$. Applying $(\mathrm{ad}D{)}^{{\alpha }_0}(\mathrm{ad}x{)}^{{\beta }_0}$ eliminates every lower-degree term and every different term of that maximal degree. The result is the nonzero scalar $(-1{)}^{|{\beta }_0|}{\alpha }_0!{\beta }_0!c$. Thus the ideal contains $1$. Here the scalar extraction by iterated Weyl commutators uses characteristic zero. Despite simplicity, $A$ has no nonzero finite-dimensional modules: in such a representation $[D_1,x_1]=I$ would have trace $0=\dim M$, impossible over $\mathbb{C}$. Its interesting module theory is necessarily infinite-dimensional.

For a finitely generated left module $M$, choose a finite-dimensional generating subspace $M_0$ and set $M_j=F_{j}A{M}_0$. This is a good filtration of a module. Its associated graded module is finite over the graded polynomial ring, so its cumulative Hilbert function is eventually a polynomial,with positive integer multiplicity $e(M)$. These are the Bernstein growth dimension of a Weyl algebra module and its multiplicity of a filtered module. Two good filtrations bound each other after fixed shifts: lift finite homogeneous generators in one filtration, bound their degrees in the other, and use compatibility with $F_{j}A$; then reverse the roles. The growth degree and leading coefficient therefore do not depend on the good filtration of a module. The degree is also the Gelfand–Kirillov dimension of a module and the dimension of the characteristic variety of a Weyl algebra module, the support of $\mathrm{gr}M$. Since $M$ is a quotient of a finite sum of copies of $A$, $d(M)\le 2n$.

The essential lower bound is the Bernstein inequality for Weyl algebra modules:Here is a full proof. Multiplication gives a linear map $F_{j}A\to {\mathrm{Hom}}_{\mathbb{C}}(M_j,M_{2j})$. Prove it injective by induction on $j$. At $j=0$ a scalar killing $M_0\ne 0$ must vanish. If $a\in F_{j}A$ kills $M_j$, then for every generator $z$, its commutator $[a,z]\in F_{j-1}A$ kills $M_{j-1}$: both $azm$ and $zam$ are zero for $m\in M_{j-1}$. Induction gives $[a,z]=0$ for all generators. In the ordered basis, $[D_i,a]$ differentiates the $x_i$ exponents and $[x_i,a]$ differentiates the $D_i$ exponents with a minus sign. Vanishing of all these commutators in characteristic zero forces $a$ to be a scalar. It then vanishes because it kills $M_0$. This proves the faithful finite-step action of a Weyl algebra and henceComparison of degrees gives $2n\le 2d(M)$, proving the inequality. Equally, without invoking eventual polynomiality, this estimate directly bounds the Gelfand–Kirillov dimension of a module below by $n$. Right modules satisfy the same inequality through the filtration-preserving isomorphism $A\cong A^{\mathrm{op}}$, $x_i\mapsto x_i$, $D_i\mapsto -D_i$.

A nonzero finitely generated module with $d(M)=n$ is a holonomic Weyl algebra module; the zero module is conventionally included. This minimal-growth class is stable under submodules, quotient modules and extensions. For $0\to N\to M\to Q\to 0$, take the induced and quotient filtrations. Their graded sequence is exact; Noetherianity of $\mathrm{gr}A$ makes the induced filtrations good. Thus the Hilbert functions add andif both nonzero terms have the top dimension, their multiplicities add. For a holonomic Weyl algebra module, every nonzero subquotient has dimension $n$, by the upper bound inherited from $M$ and Bernstein's lower bound. Each nonzero factor in a strict chain therefore consumes positive integral multiplicity. This proves the multiplicity bounds the length of a holonomic Weyl module:In particular a holonomic module is both Noetherian and Artinian and has finite length, although its vector-space dimension is infinite. This distinction separates finite-dimensional representation theory from finite-length Weyl module theory.

The polynomial module $\mathbb{C}[x_1,\dots ,x_n]$, with $x_i$ acting by multiplication and $D_i$ by differentiation, is generated by $1$. Its $M_j$ consists of polynomials of degree at most $j$, with dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$, so $d=n$ and $e=1$. It is simple: differentiating a maximal-degree monomial of a nonzero polynomial isolates a nonzero constant, and multiplication by polynomials then generates the whole module. A second basic example is the delta moduleUsing the reverse ordered basis $D^{\beta }{x}^{\alpha }$, its vector space is $\mathbb{C}[D_1,\dots ,D_n]$; $D_i$ acts by multiplication and $x_i$ by negative differentiation. The same argument proves simplicity and holonomicity. These two examples are exchanged by the automorphism $x_i\mapsto D_i$, $D_i\mapsto -x_i$. Free modules, in contrast, have growth dimension $2n$ and are not holonomic. Thus the central organizing invariants are good filtration of a module, growth dimension, characteristic support and multiplicity, with Bernstein's estimate explaining why dimension $n$ is the natural smallest nonzero size.

Specify a commutative ground ring $k$ and a unital associative $k$-algebra $R$. For an $R$-bimodule $M$, the Hochschild cochain complex hasand coboundaryThe bimodule identities and associativity cancel the terms of ${\delta }^2$ in pairs. The Hochschild cohomology is $H{H}_k^q(R,M)=\ker {\delta }_q/\mathrm{im}{\delta }_{q-1}$; the paper's $H^q(R,R)$ uses the regular bimodule as coefficients.

Over a field, the bar resolution of an associative algebra explains its homological meaning. Put $R^e=R{\otimes }_k{R}^{\mathrm{op}}$. The degree-$q$ bar term is $R^{{\otimes }_k(q+2)}$, with the outer factors supplying the $R^e$ action, boundary obtained by multiplying adjacent factors with alternating signs, and augmentation multiplication $R\otimes R\to R$. Inserting $1$ at the left gives a $k$-linear contracting homotopy, proving exactness. The terms are free $R^e$-modules after choosing a $k$-basis for the inner tensor factors. Applying ${\mathrm{Hom}}_{R^e}(-,M)$ gives precisely the displayed cochain complex and thereforeThis ground-ring qualification in Hochschild cohomology matters for an arbitrary ring: one can take $k=\mathbb{Z}$, but the bar terms need not be projective over $R^e$. The ordinary cochain complex then computes relative Hochschild cohomology; the absolute Ext identification needs, for example, $R$ projective over $k$. Likewise the extension classification below applies to ground-ring-linearly split extensions. For algebras over a field these qualifications are automatic.

In degree zero, $(\delta m)(a)=am-ma$, so $H{H}^0(R,R)=Z(R)$. In degree one the cocycle equation isexactly the Leibniz rule for a derivation of an algebra. The coboundaries are the inner derivations $a\mapsto am-ma$. Thus the First Hochschild cohomology as outer derivations isIts significance is infinitesimal automorphisms modulo inner ones. Over the dual numbers $k[\epsilon ]/({\epsilon }^2)$, the map $a\mapsto a+\epsilon d(a)$ is multiplicative precisely when $d$ satisfies the Leibniz rule. Conjugation by $1+\epsilon m$ gives $a\mapsto a+\epsilon (ma-am)$, an inner derivation with the opposite sign convention. The quotient therefore measures infinitesimal symmetry not arising from conjugation.

Degree two controls extensions and changes of multiplication. A $k$-linear split square-zero extension of an algebra with prescribed kernel bimodule $M$ can be written as $E=R\oplus M$. Choose a unital section and let $f(a,b)$ be the difference between its product and its value on $ab$. ThenComputing both parenthesizations of a triple gives the associativity conditionnamely $\delta f=0$. A unital product has $f(1,a)=f(a,1)=0$, so one uses the normalized Hochschild cochain complex. Changing section by $g:R\to M$ gives $f\mapsto f+\delta g$. Conversely the displayed product for any normalized two-cocycle constructs such an extension, and a section change gives the corresponding extension isomorphism. This proves that second Hochschild cohomology classifies split square-zero extensions:The zero class is the split algebra extension with no extra product term. With $M=R$, this gives one meaning of the requested $H^2(R,R)$.

For a first-order associative deformation, retain the underlying $k$-module and put $a\ast b=ab+\epsilon f(a,b)$. Expanding $(a\ast b)\ast c=a\ast (b\ast c)$ modulo ${\epsilon }^2$ gives exactly $\delta f=0$. A coordinate change $T=1+\epsilon g$ transports the product to $T^{-1}(T(a)\ast T(b))$, whose first-order coefficient is $f+\delta g$. HenceThis classification is of infinitesimal deformations, not a guarantee that all classes extend to every order. For $a\ast b=ab+tf(a,b)+t^2{\mu }_2(a,b)$ modulo $t^3$, the next associativity equation isSubstitution of $\delta f=0$ shows the right-hand side is a three-cocycle. Its class in $H{H}^3(R,R)$ is the second-order obstruction to an associative deformation. It must vanish for a second-order extension to exist. At higher orders the same expansion gives further obstruction cocycles. If $H{H}^2(R,R)=0$, every first nonzero coefficient of a formal associative deformation is a coboundary and can be removed by a coordinate change. Repeating this order by order gives formal rigidity from vanishing second Hochschild cohomology, with the transformations converging in the $t$-adic topology. Vanishing of $H{H}^3$ instead removes these extension obstructions; these are distinct roles.

Examples make the two low degrees concrete. For $R=k[x]$ over a field, inner derivations vanish and every derivation is $h(x){\partial }_x$, determined by its value on $x$. The bimodule resolutionis exact: the middle tensor ring is the polynomial integral domain $k[u,v]$, multiplication identifies its quotient by $u-v$, and multiplication by $u-v$ is injective. Applying bimodule Hom gives zero differential. Consequently the Hochschild cohomology of a polynomial algebra in one variable isThis algebra has many infinitesimal automorphisms, while its ordinary associative multiplication is formally rigid.

For $R=k[x,y]$ in characteristic zero, the bilinear map $f(a,b)=({\partial }_{y}a)({\partial }_{x}b)$ is a two-cocycle: substitution in $\delta f$ and the two product rules cancel its four terms. It is not a coboundary, because every $\delta g$ on a commutative algebra is symmetric in its two inputs, whereas $f(y,x)-f(x,y)=1$. This class integrates to the Weyl deformation of a polynomial algebra in two variables, with $yx-xy=t$. The differential Ore extension construction supplies the ordered basis $x^i{y}^j$ over $k[t]$, so the $t$-adic completion has the fixed underlying module $k[x,y][[t]]$. Its first multiplication correction is exactly this $f$. This displays a genuinely noncommutative formal associative deformation detected by $H{H}^2$.

Finally, the Hochschild cup product $(f⌣g)(a_1,\dots ,a_{p+q})=f(a_1,\dots ,a_p)g(a_{p+1},\dots ,a_{p+q})$ descends to the graded cohomology algebra, and the Gerstenhaber bracket organizes the interaction of derivations and formal associative deformation cocycles. The calculations above explain why the first two positive degrees are especially useful: $H{H}^1$ measures outer infinitesimal symmetries, while $H{H}^2$ measures split extensions and infinitesimal associative structures, with degree three detecting the first obstruction to continuing them.