2
$\begingroup$

Let $R=\mathbb C[q^{\pm 1}]$ and let $A$ be a graded (possibly non-commutative) $R$-algebra, $A=\oplus_{n=0}^\infty A_n,$ where $A_0=R$ and all $A_n$'s are free $R$-modules. Then $A'=A/(q-1)$ is a graded algebra over $R/(q-1)=\mathbb C$ and so $A$ can be thought as a deformation of $A'.$ I couldn't find a definition of a flat deformation of algebras but I would imagine this being an example of it, correct? (Assume that $A'$ is commutative if it helps.)

Main question: Is it possible that $A'$ is finitely generated while $A$ is not (as algebras over $\mathbb C$ and $R$ respectively)?

$\endgroup$

1 Answer 1

2
$\begingroup$

To say that a deformation is flat, you should assume that $A$ is flat over $R$, e.g. each $A_n$ is a free $R$-module of finite rank.

The answer to the main question is no, even if $A$ is commutative. Consider $A$ where each $A_n=R$ with basis element $x_n$, with multiplication defined by the formula $$x_n x_m = (2-q)^{nm} x_{n+m}.$$ Since $2nm = (n+m)^2 - n^2 - m^2$, the algebra $A$ is associative. The algebra $A' = A/(1-q)$ is simply $\mathbf{C}[x_1]$, so is finitely generated. However, $A$ is not finitely generated because $A/(2-q)$ has trivial multiplication and therefore e.g. the ideal generated by $x_n$ ($n>1$) is not finitely generated.

In deformation theory, one usually considers limits of deformations over Artinian algebras. In your setting, it could be more natural to consider complete algebras over the power series ring $\mathbf{C}[[q-1]]$. In this setting, the answer to the main question is probably positive.

$\endgroup$
1
  • $\begingroup$ Many thanks, Piotr! Would you have a good reference to recommend to read more about flat deformations of algebras? $\endgroup$
    – Adam
    Commented Jan 1, 2019 at 17:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .