Clifford PBW theorem for quadratic form - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T08:33:42Z http://mathoverflow.net/feeds/question/60596 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60596/clifford-pbw-theorem-for-quadratic-form Clifford PBW theorem for quadratic form darij grinberg 2011-04-04T19:30:40Z 2012-03-11T19:41:23Z <p><strong>Update: now with a question 2 which is much more elementary (and should be well-known!).</strong></p> <p>Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a map for which the map $L\times L\to k,\ \left(x,y\right)\mapsto g\left(x+y\right)-g\left(x\right)-g\left(y\right)$ is $k$-bilinear and which satisfies</p> <p>$g\left(\lambda x\right)=\lambda^2 g\left(x\right)$ for all $x\in L$ and $\lambda\in k$.</p> <p>We define the <em>Clifford algebra</em> $\mathrm{Cl}\left(L,g\right)$ as the tensor algebra $\otimes L$ (all tensors are over $k$) divided by the two-sided ideal generated by $x\otimes x-g\left(x\right)$ for all $x\in L$.</p> <p><strong>Question 1:</strong> Is $\mathrm{Cl}\left(L,g\right)$ isomorphic to $\wedge L$ as a $k$-module? Is the associated graded object of $\mathrm{Cl}\left(L,g\right)$ isomorphic to $\wedge L$ as a $k$-algebra?</p> <p><strong>Remark:</strong> The answer is <a href="http://mit.edu/~darij/www/algebra/algebra.html#chevalley" rel="nofollow">yes</a> if the quadratic form $g$ comes from a bilinear (not necessarily symmetric!) form. As a consequence, the answer is yes if $L$ is a free $k$-module or, more generally, a direct sum of quotient $k$-modules of $k$ (in fact, it is easy to see that in this case, every quadratic form on $L$ comes from a bilinear form). (I think that in the case when $L$ is a finite-free $k$-module, the answer "yes" can also be proven by the diamond lemma, though I have not checked.) I am interested in the "perverse" cases when none of these holds, but I suffer from a lack of perversion: I can't name any such case. So here is the question which obviously needs to be addressed first:</p> <p><strong>Question 2:</strong> Find a commutative ring $k$ with $1$ and a $k$-module $L$ with a quadratic form (this is defined as above) which doesn't come from any bilinear (symmetric or not) form on $L$. (A quadratic form $g$ is said to <em>come from</em> a bilinear form $h$ if we have $g\left(v\right)=h\left(v,v\right)$ for every $v\in L$.)</p> <p><strong>Note:</strong> The Clifford algebra of a quadratic form is, in some sense, a "little sister" of the universal enveloping algebra of a Lie or pseudo-Lie algebra. ("Little sister" not in the historical sense, but in the sense of partly having the same properties, but them being easier to prove in the Clifford case than in the universal enveloping algebra case.) The above question asks for a kind of <a href="http://en.wikipedia.org/wiki/Poincar%25C3%25A9%25E2%2580%2593Birkhoff%25E2%2580%2593Witt_theorem" rel="nofollow">Poincaré-Birkhoff-Witt (PBW) theorem</a> for the Clifford algebra. (Note that the PBW theorem itself requires some niceness conditions such as $L$ being finite-free or $k$ being a $\mathbb Q$-algebra, so it wouldn't surprise me if the Clifford case also doesn't work in full generality. But the opposite case wouldn't surprise me either, because PBW is substantially harder than PBW for Clifford algebras, even in characteristic $0$.)</p> http://mathoverflow.net/questions/60596/clifford-pbw-theorem-for-quadratic-form/60606#60606 Answer by MTS for Clifford PBW theorem for quadratic form MTS 2011-04-04T20:49:28Z 2011-04-05T18:35:04Z <p>What follows is incorrect, as pointed out by Darij and Theo. In particular, it doesn't seem that anywhere I am using the fact that $g$ is a quadratic form. I am leaving it here in the hope that it can be somehow rescued by additional assumptions, or some adaptation of the method will work.</p> <p>Original answer follows:</p> <p>I believe this follows from the general statement that taking the associated graded object is an exact functor from the category of filtered $k$-algebras to the category of graded $k$-algebras. Denote the tensor algebra of $L$ by $T(L)$, denote the relevant ideal by $$I = \langle x \otimes x - g(x) \rangle$$ and the inclusion by $\iota: I \to T(L)$.</p> <p>Then the morphism $\mathrm{gr} (\iota)$ of graded $k$-algebras maps $x \otimes x - g(x)$ (or, more pedantically, its image in $\mathrm{gr}(I)$) to $x \otimes x$ (after identifying $\mathrm{gr}(T(L))$ with $T(L)$).</p> <p>This shows that the associated graded algebra of $\mathrm{Cl}(L,g)$ is $\bigwedge(L)$, and this lifts to an isomorphism of $k$-modules between $\mathrm{Cl}(L,g)$ and $\bigwedge(L)$.</p> <p>Edit: I have expanded my original answer.</p> <p>Let $A = \cup_{n=0}^\infty A_n$ be any filtered $k$-algebra and let $I$ be an ideal. Denote $I_n = I \cap A_n$, so $I$ is filtered by $I = \cup_{n=0}^\infty I_n$. Let $$q: A \to A/I$$ be the quotient map. Then $A/I$ is filtered by $$A/I = q(A) = \cup_{n=0}^\infty q(A_n).$$ Let the inclusion map be denoted $\iota : I \to A$. Then we have the short exact sequence $$0 \to I \overset{\iota}{\longrightarrow} A \overset{q}{\longrightarrow} A/I \to 0$$ in the category of filtered $k$-algebras.</p> <p>My claim is that the sequence $$0 \to \mathrm{gr}(I) \overset{\mathrm{gr}(\iota)}{\longrightarrow} \mathrm{gr}(A) \overset{\mathrm{gr}(q)}{\longrightarrow} \mathrm{gr}(A/I) \to 0$$ remains exact in the category of graded $k$-algebras. This is a bit tedious to check but not difficult.</p> <p>Then apply this to $A = T(L)$, $I = \langle x \otimes x - g(x) \rangle$. Then $A/I$ is your Clifford algebra, and I am saying that you can figure out its associated graded object as $$\mathrm{gr}(A/I) \simeq \mathrm{gr}(A)/ \mathrm{gr}(\iota)(\mathrm{gr}(I)).$$ Finally, what does the map $\mathrm{gr}(\iota)$ do to the ideal? It turns out that $$\mathrm{gr}(\iota) (x \otimes x - g(x)) = x \otimes x,$$ so the image of $\mathrm{gr}(I)$ under $\mathrm{gr}(\iota)$ is exactly the ideal you quotient by to get the exterior algebra $\bigwedge(L)$.</p> http://mathoverflow.net/questions/60596/clifford-pbw-theorem-for-quadratic-form/87958#87958 Answer by darij grinberg for Clifford PBW theorem for quadratic form darij grinberg 2012-02-09T03:44:07Z 2012-02-09T03:49:40Z <p>If someone could check the below I'd be very indebted.</p> <p>Found the counterexample (to Question 1 and thus also to Question 2). It is inspired by the counterexample to ring-theoretical PBW in P. M. Cohn, <em>A remark on the Birkhoff-Witt theorem</em>. J. London Math. Soc. 38 1963 pp. 197-203, MR0148717 (though I still don't know whether Cohn's counterexample is true for all primes $p$ - but here I only need $p=2$).</p> <p>Let $k$ be the commutative ring $\mathbb F_2 \left[\alpha,\beta,\gamma\right] / \left(\alpha^2,\beta^2,\gamma^2\right)$.</p> <p>Let $L$ be the $k$-module $\left\langle x,y,z\right\rangle / \left\langle \alpha x - \beta y - \gamma z\right\rangle$.</p> <p>Define a map $q:L\to k$ by $q\left(\overline{ax+by+cz}\right) = a^2+b^2+c^2$ for all $a,b,c\in k$. This map $q$ is easily seen to be well-defined and a quadratic form; it also satisfies $q\left(\overline x\right)=q\left(\overline y\right)=q\left(\overline z\right)=1$.</p> <p>In the Clifford algebra $\mathrm{Cl}\left(L,q\right)$, we have $\left(\overline{\alpha x-\beta y-\gamma z}\right)\cdot\overline x = \alpha \underbrace{\overline{x}\cdot\overline{x}}_{=q\left(\overline x\right)=1} - \beta \overline y \overline x - \gamma \overline z \overline x = \alpha - \beta \overline y \overline x - \gamma \overline z \overline x$. Since the left hand side of this equality is $0$ (because $\overline{\alpha x-\beta y-\gamma z}=0$), we thus have $\alpha - \beta \overline y \overline x - \gamma \overline z \overline x = 0$. Multiplied with $\beta\gamma$, this becomes $\alpha\beta\gamma = 0$ (because $\beta^2=0$ and $\gamma^2=0$ make the other two terms disappear). This must hence hold in $\mathrm{Cl}\left(L,q\right)$. But this does not hold in $k$, and thus not in $\wedge L$ either, so we cannot have an isomorphism.</p>