14
$\begingroup$

$\DeclareMathOperator\Cl{Cl}$Update Feb 3 '12: now with a question 2 which is much more elementary (and should be well-known!).

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

$$g\left(\lambda x\right)=\lambda^2 g\left(x\right)\quad\text{for all $x\in L$ and $\lambda\in k$.}$$

We define the Clifford algebra $\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$.

Question 1: Is $\Cl\left(L,g\right)$ isomorphic to ${\bigwedge}L$ as a $k$-module? Is the associated graded object of $\Cl\left(L,g\right)$ isomorphic to ${\bigwedge}L$ as a $k$-algebra?

Remark: The answer is yes 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:

Question 2: 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 come from a bilinear form $h$ if we have $g\left(v\right)=h\left(v,v\right)$ for every $v\in L$.)

Note: 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 Poincaré–Birkhoff–Witt (PBW) theorem 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$.)

$\endgroup$
2
  • $\begingroup$ If it is true in the finite-free case it should work in the free case, no? $\endgroup$ Apr 4, 2011 at 19:38
  • $\begingroup$ Probably. I just haven't checked. I don't know much about the diamond lemma in infinite cases. $\endgroup$ Apr 4, 2011 at 19:39

2 Answers 2

5
$\begingroup$

If someone could check the below I'd be very indebted.

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, A remark on the Birkhoff-Witt theorem. 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$).

Let $k$ be the commutative ring $\mathbb F_2 \left[\alpha,\beta,\gamma\right] / \left(\alpha^2,\beta^2,\gamma^2\right)$.

Let $L$ be the $k$-module $\left\langle x,y,z\right\rangle / \left\langle \alpha x - \beta y - \gamma z\right\rangle$.

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$.

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.

$\endgroup$
7
  • $\begingroup$ I'm attempting to formalize this, but I'm a little concerned by your use of $\cdot$ - it appears you're defining it as $x \cdot y = \frac{1}{2} (q(x + y) - q(x) - q(y))$, but doesn't the factor of 2 require that $k$ is not of characteristic 2, which as I understand it it is? $\endgroup$
    – Eric
    Jan 14, 2021 at 18:43
  • 1
    $\begingroup$ @Eric My $\cdot$ is just multiplication in the Clifford algebra (which is defined as a quotient of the tensor algebra by an ideal). $\endgroup$ Jan 14, 2021 at 20:17
  • $\begingroup$ Thanks, that clears things up - I was able to formalize this all the way up to proving that $\alpha\beta\gamma = 0$ in $k$, which I think is mostly due to a shortage of tools in my toolbox or lack of knowledge of how to use them! $\endgroup$
    – Eric
    Jan 15, 2021 at 13:58
  • $\begingroup$ @Eric $\alpha \beta \gamma$ is not $0$ in $k$, only in $\operatorname{Cl}\left(L, q\right)$. The slickest way to prove that $\alpha \beta \gamma$ is not $0$ in $k$ is probably to define an $\mathbb F_2$-algebra homomorphism from $k$ to the matrix ring $\mathbb F_2^{8\times 8}$ that sends $\alpha, \beta, \gamma$ to three commuting nilpotent matrices whose product is not $0$. I'll let you find these matrices (hint: Kronecker product). $\endgroup$ Jan 15, 2021 at 14:37
  • 1
    $\begingroup$ "If someone could check the below I'd be very indebted.": just a final update; this is now fully formalized at leanprover-community.github.io/mathlib4_docs/Counterexamples/… $\endgroup$
    – Eric
    Jan 12 at 11:08
1
$\begingroup$

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.

Original answer follows:

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)$.

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)$).

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)$.

Edit: I have expanded my original answer.

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.

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.

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)$.

$\endgroup$
10
  • $\begingroup$ What would stop your argument (which I don't really understand) from showing the same for ANY map $g$, which is clearly wrong (any sufficiently random $g$ would collapse the degree $0$-part of $\otimes L$)? $\endgroup$ Apr 4, 2011 at 20:52
  • 2
    $\begingroup$ OK, I think your argument breaks at your claim that "the image of gr(I) under gr(ι) is exactly the ideal you quotient by to get the exterior algebra ⋀(L)". This does NOT follow from $(\mathrm{gr}(\iota))(x\otimes x - g(x)) = x\otimes x$. In fact, you might have wild cancellations (= a sum of tensors where the highest degrees cancel out but the lower don't). $\endgroup$ Apr 4, 2011 at 21:40
  • 2
    $\begingroup$ An example might help. Assume that $g$ is random. Take two generic vectors $x$ and $y$. We know that $I$ contains the tensors $x\otimes x - g(x)$, $y\otimes y - g(y)$, $(x+y)\otimes (x+y) - g(x+y)$ and $(x-y)\otimes (x-y) - g(x-y)$. Thus, $I$ also contains $((x+y)\otimes (x+y) - g(x+y)) + ((x-y)\otimes (x-y) - g(x-y)) - 2 (x\otimes x - g(x)) - 2 (y\otimes y - g(y))$. Now, this turns out to be a tensor of degree $0$, namely $-g(x+y)-g(x-y)+2g(x)+2g(y)$, and for a random $g$ this has no reason to be $0$. *If we treat it as an element of $I_2$, then its image under $\mathrm{gr}\iota$ is ... $\endgroup$ Apr 4, 2011 at 21:50
  • 1
    $\begingroup$ ... zero and thus, of course, lies in the ideal you quotient by to get the exterior algebra. But it happens to be an element of $I_0$, and we have no reason to assume that it lies in that ideal. $\endgroup$ Apr 4, 2011 at 21:51
  • 1
    $\begingroup$ This answer can't be right, because it would prove PBW for arbitrary Lie algebras over arbitrary rings. But PBW fails: Cohn, P. M. A remark on the Birkhoff-Witt theorem. J. London Math. Soc. 38 1963 197--203. MR0148717 . $\endgroup$ Apr 5, 2011 at 14:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.