5
$\begingroup$

Let $n$ be a positive integer and let $\mathbb Z_n=\mathbb Z/n \mathbb Z$. Consider the ring of Laurent polynomials $R=\mathbb Z_n[x_1^\pm,\dots,x_D^\pm]$. $R$-modules of the form $M=M_0 \otimes_{\mathbb Z_n} R$, where $M_0$ is a $\mathbb Z_n$-module, will be called quasi-free. I'm happy to restrict attention to finitely generated quasi-free modules whenever that makes a difference. I'm interested in answers to several questions about quasi-free modules (or pointers to literature).

  1. Is there some characterization of quasi-free modules, e.g. in homological terms or expressed by subquotients $p^k M / p^{k+1}M$? Here is a working conjecture that I came up with: if $n=p^t$ for a prime number $p$, then $M$ is quasi-free if and only if $p^k M/p^{k+1}M$ is free over $R/(p)$ for every $k$.
  2. One source of my interest in descriptions as above is to address questions such as: (a) are summands of quasi-free modules quasi-free? (b) for a short exact sequence $0 \to A \to B \to C \to 0$ with $C$ quasi-free, is it true that $A$ quasi-free $\iff$ $B$ quasi-free (if not, do we have at least a one-sided implication)?
$\endgroup$
3
  • $\begingroup$ In the first version of this question I mentioned that quasi-free modules $M$ satisfy $\mathrm{Ext}^i_R(M,N)=0$ for every $i>0$ and every $N$ free over $\mathbb Z_n$ (equivalently, $N$ of finite projective dimension) and asked if the converse is true. Then I realized that module $M = \mathrm{im} \begin{pmatrix} 2 & 0 \\ 1-x & 2 \end{pmatrix}$ with $n=4$ and $D=1$ provides a counterexample to this converse. $\endgroup$
    – Blazej
    Jun 7, 2022 at 10:27
  • $\begingroup$ I think $M$ quasi-free and fgen can be characterized quite explicitly. Note that $M \otimes_R \mathbb{Z}_n \simeq M_0$ must be fgen too. By the classification theorem, $M_0 \simeq \bigoplus_{\lambda \in \Lambda} \mathbb{Z}_{q_{\lambda}}$ with $\Lambda$ finite and $q_{\lambda} \mid n$ prime powers. This implies $M \simeq \bigoplus R/q_{\lambda} R$, that is a finite sum of quotients for primes coming from $R \to \mathbb{Z}_n$. $\endgroup$ Jan 1 at 16:40
  • $\begingroup$ (false proof that every module is quasi-free: consider $M_0 = M \otimes_R \mathbb{Z}_n$. Then $M_0 \otimes_{\mathbb{Z}_n} R \simeq (M \otimes_R \mathbb{Z}_n ) \otimes_{\mathbb{Z}_n} R \simeq M \otimes_R (\mathbb{Z}_n \otimes_{\mathbb{Z}_n} R ) \simeq M \otimes_R R \simeq M$ ) $\endgroup$ Jan 1 at 17:33

1 Answer 1

0
$\begingroup$

I will show that there exists a short exact sequence $A \to B \to C$ with $A,C$ quasi-free but $B$ non-quasi-free. In doing so I will provide a quasi-freeness criterion that could serve as a springboard for further investigation.

First reformulation. A $\mathbb{Z}_n[x_1^{\pm}, \ldots, x_D^{\pm} ]$-module is the same as a $\mathbb{Z}_n$-module equipped with the action of $D$ automorphisms $x_1, \ldots, x_D$ commuting with each other.

For a matter of convenience, let us restrict to the case $n=p$ prime, so that the underlying module is an $\mathbb{F}_p$ vector space.

Second reformulation. A module $M$ is quasi-free if and only if there exists a subspace $M_{0 \ldots 0} \subset M$ such that $$ M \simeq \bigoplus_{n_1 \ldots n_d \in \mathbb{Z} } M_{n_1 \ldots n_d} $$ where $M_{n_1 \ldots n_d} := x_1^{n_1} \ldots x_D^{n_D} M_{0 \ldots 0}$.

This amounts to spelling out the action of the $x_i$'s in $M_0 \otimes_{\mathbb{Z}_n} \mathbb{Z}_n [x_1^{\pm}, \ldots x_D^{\pm} ]$

We further restrict to $D=1$, which is enough to produce relevant counterexamples. In this case, a quasi-free module is a sequence of vector spaces $\{V_n\}_{n \in \mathbb{Z}}$ with isomorphisms $ f_n: V_n \to V_{n+1}$ (a sort of infinitely-long quiver representation). We have a simple numerical criterion for quasi-freeness:

Observation Suppose $M$ is quasi-free and finitely generated over $R$. Then there exists an integer $m > 0$ such that $$\lambda_k(M) := \dim_{\mathbb{F}_p}(M/(x^k-1)M) = km$$ for all $k \ge 1$. Furthermore, $x$ acts on $M/(x^k-1)M$ as a block-diagonal matrix with blocks $\left ( \begin{smallmatrix}0 & 1\\ 0 & 0\end{smallmatrix} \right )$. Note that the decomposition above of $M = \bigoplus_{n \in \mathbb{Z}} M_n$ becomes $M_0 \oplus \ldots \oplus M_{k-1}$ when quotienting for $x^k-1$. If the latter is finite-dimensional, a basis $v_1, \ldots, v_k$ of $M_0$ as well as their images $x^i v_1, \ldots, x^iv_k, i\le k-1$ provides the desired basis for the block-diagonal representation and the dimensionality criterion.

We are ready to provide the first

Counterexample. There exists an exact sequence $0 \to A \to B \to C \to 0$ such that $A,C$ are quasi-free but $B$ is not. Proof. Consider $A_n := \mathbb{F}_pa_n, C_n := \mathbb{F}_p c_n$. Define $B_n = <a_n, c_n>$ with $f_n$ given by $$ f_n(a_n) = a_{n+1}, f_n(c_n) = c_{n+1} + a_n $$ With the intuitive maps $A \to B \to C$. It is exact since it is so as vector spaces. We want to apply the above criterion. Of course, $\lambda_1(B) = \dim_{\mathbb{F_p}}(B/(x-1)B) = 2$. On the other hand, we claim that $\lambda_2(B) \le 3$. It is easy to see that we have an isomorphism $$ B/(x^2-1) B \simeq (B_0 \oplus B_1) / (x^2-1)(B_0 \oplus B_1) $$ The claim follows since two of the four generators $x^2(c_0) = x(c_1+a_0) =a_1$ are identified in the quotient.

I would like to come back and provide other examples along this line (or, hopefully, prove some stability results for quasi-freeness). I suspect that a direct summand of a quasi-free module is not necessarily quasi-free. The intuitive decomposition of a submodule $W \subset V$ given by $W_k:= V_k \cap W$ fails to span all $W$ since $\oplus, \cap$ does not behave nicely (I have in mind the classical counterexample of $W=\{y =x\}$ being intersected with $V_1 = \{y=0\}$ and $V_2 = \{x=0\}$). If some 'straightening' is possible for $n=p$, it will be even harder if we leave the vector space world.

$\endgroup$
5
  • $\begingroup$ I am a bit confused by the part titled "Observation". $x$ is an invertible element of the ring, so $M/(x^k M)=0$. $\endgroup$
    – Blazej
    Jan 19 at 16:40
  • $\begingroup$ Unless I am screwing something up, there can't be a counter-example for prime $n$. Then quasi-free is equivalent to free, and an extension of a free module by a free module is free. Characterization of free modules in homological terms is given by the (positive resolution of) Serre's "conjecture". $\endgroup$
    – Blazej
    Jan 19 at 16:48
  • $\begingroup$ Yes, you are right: I forgot a -1. I was identifying $x^km$ with $m$, which corresponds of course to quotienting by $x^k-1$. Why do you claim that an extension of free modules by a free module is free? It seems like mine is a counterexample, but maybe you have a simple homological proof in mind, and that's why you are puzzled by my calculation. $\endgroup$ Jan 19 at 18:58
  • $\begingroup$ A short exact sequence $0 \to A \to B \to C \to 0$ with $C$ free splits, so $B \cong A \oplus C$. I will rethink your counterexample with the typo corrected later. $\endgroup$
    – Blazej
    Jan 19 at 21:56
  • $\begingroup$ Of course, you are right. I am quite convinced that there is an error somewhere: the adjustment I made of my 'typo' is partial and should be revisited more thoroughly. The devil is in the details... $\endgroup$ Jan 20 at 23:51

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.