Abstract
We introduce twisted matrix factorizations for quantum complete intersections of codimension two. For such an algebra, we show that in a given dimension, almost all the indecomposable modules with bounded minimal projective resolutions correspond to such factorizations.
Similar content being viewed by others
1 Introduction
In this paper, we study twisted matrix factorizations for four dimensional quantum complete intersections of the form
where k is a field and q is a nonzero element of k. Namely, for the algebra
we consider the homotopy category \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \) of twisted matrix factorizations of the element \(w=xy-qyx\), the twisting being with respect to the automorphism \(\nu \) defined by \(x \mapsto -q^{-1}x\) and \(y \mapsto -qy\). By [4], this homotopy category is triangulated in a natural way. It is related to the categories studied in [6], whose twisted matrix factorizations are in some sense the complements of the ones we define. Namely, in [6] the factorizations are taken with respect to a regular element, whereas our element w is actually a socle element in the algebra B. The resulting theories are quite different.
Similarly to the classical commutative case, reduction modulo the element w induces a triangle functor
from this homotopy category of twisted matrix factorizations over B into the homotopy category of acyclic complexes of free modules over the quantum complete intersection A. The latter is equivalent to the stable module category \({\underline{\mathrm{mod}}}A\), and so we obtain a triangle functor
The image of a twisted matrix factorization is an A-module with a “twisted two-periodic” minimal free resolution. In particular, its minimal free resolution is bounded. In our main result, we show that when the field k is algebraically closed, then almost all the indecomposable A-modules with bounded minimal projective resolutions are obtained this way, in the following sense. In a given dimension, all except two of the A-modules with such projective resolutions belong to the image of the triangle functor, and thus correspond to twisted matrix factorizations over B.
2 Preliminaries
In this section, we recall some of the theory from [4]. Fix an additive category \(\mathscr {C}\), an additive automorphism \(S :\mathscr {C}\rightarrow \mathscr {C}\), and a natural transformation \(1_{\mathscr {C}} \rightarrow S\) with
for all \(M \in \mathscr {C}\). A \(( \mathscr {C}, S )\)-factorization of \(\eta \) is a sequence
of objects and morphisms in \(\mathscr {C}\), satisfying
We denote such a factorization by (M, N, f, g). A morphism
between factorizations is a pair \(\theta = ( \psi , \phi )\) of morphisms in \(\mathscr {C}\), with \(\psi :M_1 \rightarrow M_2\) and \(\phi :N_1 \rightarrow N_2\), such that the diagram
commutes. Such a morphism is an isomorphism if both \(\psi \) and \(\phi \) are isomorphisms in \(\mathscr {C}\).
The collection of all \(( \mathscr {C}, S )\)-factorizations of \(\eta \), together with the morphisms just described, becomes an additive category \({\mathbf{Fact}}( \mathscr {C}, S, \eta )\). Its homotopy category \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\) has the same objects, but the morphisms are the homotopy equivalence classes \([ \theta ]\) of morphisms \(\theta \) in \({\mathbf{Fact}}( \mathscr {C}, S,\eta )\). Here, the notion of homotopy is the standard one. Namely, two morphisms
in \({\mathbf{Fact}}( \mathscr {C}, S, \eta )\) are homotopic if there exist diagonal morphisms
satisfying
Homotopies are compatible with all the operations in \({\mathbf{Fact}}( \mathscr {C}, S, \eta )\), thus the homotopy category \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\) is also additive.
Given a \(( \mathscr {C}, S )\)-factorization (M, N, f, g) of \(\eta \), we obtain a new factorization (N, SM, g, Sf) by rotating to the left. The suspension \(\Sigma (M,N,f,g)\) of (M, N, f, g) is this new factorization with a sign change on the maps, i.e. \(\Sigma (M,N,f,g) = (N,SM,-g,-Sf)\):
This assignment induces an additive automorphism \(\Sigma \) on \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\). Next, consider a morphism \(\theta \)
of \(( \mathscr {C}, S )\)-factorizations of \(\eta \). Its mapping cone \(C_{\theta }\) is the \(( \mathscr {C}, S )\)-factorization
of \(\eta \). There are natural morphisms
in \({\mathbf{Fact}}( \mathscr {C}, S, \eta )\), and these are used to endow the suspended category \(( {\mathbf{HFact}}( \mathscr {C}, S, \eta ), \Sigma )\) with the structure of a triangulated category. Namely, given a morphism
in \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\), we declare the triangle
in \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\) to be a standard triangle.
Theorem 2.1
[4] Let \(( \mathscr {C}, S)\) be a suspended additive category, \(\eta \) a central element, and \(\Delta \) the collection of all triangles in \({\mathbf{HFact}}( \mathscr {C}, S, \eta )\) isomorphic to a standard triangle. Then \(\left( {\mathbf{HFact}}( \mathscr {C}, S, \eta ), \Sigma , \Delta \right) \) is a triangulated category.
3 Matrix factorizations
In this section, we establish some general theory of generalized matrix factorizations over arbitrary rings, not necessarily commutative. We shall work with the following setup.
Notation
Let B be a ring, \(w \in B\) a central element, and denote the factor ring B / (w) by A. Furthermore, let \(\nu :B \rightarrow B\) be an automorphism which fixes the elements of the ideal (w), that is, \(\nu (bw) = bw\) for all \(b \in B\).
Note that the automorphism \(\nu \) fixes the element w, and that it induces an automorphism on A: we denote also this by \(\nu \). Now for every left B-module M, consider the twisted module \({_{\nu }M}\), on which B acts via \(\nu \), i.e. \(b \cdot m = \nu (b) m\) for \(b \in B\) and \(m \in {_{\nu }M}\). The assignment \(M \mapsto {_{\nu }M}\) induces an additive functor \(S_{\nu } :{\text {Mod}}B \rightarrow {\text {Mod}}B\) on the category of left B-modules, a functor which acts as the identity on morphisms. This functor is an automorphism with inverse \(S_{\nu ^{-1}}\). Now for every \(M \in {\text {Mod}}B\), let \(\eta _M :M \rightarrow S_{\nu }M\) be the multiplication map given by \(m \mapsto wm\). Since \(\nu (b)w = \nu (bw) = bw\) for all \(b \in B\), the equalities
hold, showing that the map \(\eta _M\) is B-linear. Moreover, for every B-linear map \(M \xrightarrow {f} N\) in \({\text {Mod}}B\) the diagram
commutes, hence the collection
forms a natural transformation \(\eta _w :1_{{\text {Mod}}B} \rightarrow S_{\nu }\). It is easy to see that the coordinate maps commute with the functor \(S_{\nu }\), that is, \(\eta _{S_{\nu }M} = S_{\nu } \eta _M\) for all \(M \in {\text {Mod}}B\): this follows from the fact that \(\nu (w) = w\). Hence the natural transformation \(\eta _w\) is a central element in the suspended additive category \(\left( {\text {Mod}}B, S_{\nu } \right) \).
We now follow the setup from Sect. 2. Consider the homotopy category \({\mathbf{HFact}}\left( {\text {Mod}}B, S_{\nu }, \eta _w \right) \) of \(\left( {\text {Mod}}B, S_{\nu } \right) \)-factorizations of \(\eta _w\), which is triangulated (in terms of standard triangles) by Theorem 2.1. By definition, its elements are sequences
of left B-modules and B-linear maps, with
This is a noncommutative version of a category of matrix factorizations, and related to the categories studied in [6], one important difference being that our element w is not regular in B. The following result shows that reduction modulo w induces a triangle functor from \({\mathbf{HFact}}\left( {\text {Mod}}B, S_{\nu }, \eta _w \right) \) to the homotopy category \({\mathbf{K}}( {\text {Mod}}A)\) of complexes of left A-modules.
Proposition 3.1
Let B be a ring, \(w \in B\) a central element, put \(B/(w) = A\), and let \(\nu :B \rightarrow B\) be an automorphism with \(\nu (bw) = bw\) for all \(b \in B\). Furthermore, let \(S_{\nu } :{\text {Mod}}B \rightarrow {\text {Mod}}B\) be the twisting functor given by \(\nu \), and \(\eta _w :1_{{\text {Mod}}B} \rightarrow S_{\nu }\) the natural transformation with coordinates \(\eta _M :M \rightarrow {_{\nu }M}\) given by \(\eta _M(m) = wm\). Then reduction modulo w induces a triangle functor
The image of a factorization (M, N, f, g) is the complex
of left A-modules and maps, with M / wM in degree zero.
Proof
Let (M, N, f, g) be a \(\left( {\text {Mod}}B, S_{\nu } \right) \)-factorization of \(\eta _w\). Reduction modulo w gives a sequence
of left A-modules and maps. Since \(g \circ f = w \cdot 1_M\) and \(f \circ g = w \cdot 1_N\), the sequence
is a complex. A homotopy between morphisms in \({\mathbf{Fact}}\left( {\text {Mod}}M, S_{\nu }, \eta _w \right) \) becomes a homotopy between complexes after reduction, hence we obtain an additive functor
to the homotopy category of complexes of left A-modules. The triangulated structures on the two categories \({\mathbf{HFact}}\left( {\text {Mod}}B, S_{\nu }, \eta _w \right) \) and \({\mathbf{K}}( {\text {Mod}}A)\) are analogous: the distinguished triangles are those that are isomorphic to the standard triangles. Consequently, the functor T is a triangle functor. \(\square \)
In the next section, we shall mainly be dealing with free modules. The maps are then given by matrices, and the factorizations are noncommutative versions of classical matrix factorizations.
Let \(\mathscr {F}(B)\) be the category of finitely generated free left B-modules. The twist \({_{\nu }F}\) of a free module F is again a free module, hence the twisting functor \(S_{\nu } :{\text {Mod}}B \rightarrow {\text {Mod}}B\) restricts to a functor \(S_{\nu } :\mathscr {F}(B) \rightarrow \mathscr {F}(B)\). Similarly, the natural transformation \(\eta _w :1_{{\text {Mod}}B} \rightarrow S_{\nu }\) restricts to a transformation \(\eta _w :1_{\mathscr {F}(B)} \rightarrow S_{\nu }\), which becomes a central element in the suspended additive category \(\left( \mathscr {F}(B), S_{\nu } \right) \). As in Proposition 3.1, reduction modulo w induces a triangle functor \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \rightarrow {\mathbf{K}}\left( \mathscr {F}(A) \right) \). We record this in the following result.
Proposition 3.2
Let B be a ring, \(w \in B\) a central element, put \(B/(w) = A\), and let \(\nu :B \rightarrow B\) be an automorphism with \(\nu (bw) = bw\) for all \(b \in B\). Furthermore, let \(S_{\nu } :\mathscr {F}(B) \rightarrow \mathscr {F}(B)\) be the twisting functor given by \(\nu \), and \(\eta _w :1_{\mathscr {F}(B)} \rightarrow S_{\nu }\) the natural transformation with coordinates \(\eta _F :F \rightarrow {_{\nu }F}\) given by \(\eta _F(m) = wm\). Then reduction modulo w induces a triangle functor \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \rightarrow {\mathbf{K}}( \mathscr {F}(A))\).
4 Quantum complete intersections
In this section, we apply the theory from the previous section to a class of quantum complete intersections. We fix the following notation throughout.
Notation
Let k be a field and B the noncommutative k-algebra
Furthermore, let q be a nonzero element in k, w the quantum commutator \(xy-qyx\) in B, and A the algebra B / (w). Thus A is the four dimensional quantum complete intersection
Our aim is to show that when k is algebraically closed, then in a given dimension, almost all—in fact, all except two—of the finitely generated indecomposable left A-modules with bounded-rank minimal free resolutions are obtained from twisted matrix factorizations of the element w over B. By this, we mean matrix factorizations with respect to a functor S which is given by twisting with an algebra automorphism. The twisting automorphism \(\nu :B \rightarrow B\) of interest acts on the generators by
and is closely related to the Nakayama automorphism on A. Namely, by [2, Lemma 3.1], the latter maps x to \(q^{-1}x\) and y to qy. Note that \(\nu (bw) = bw\) for all \(b \in B\), hence we are in the setting from Sect. 3.
Remark 4.1
The automorphism \(\nu \) we have just defined is in some sense the only natural one when studying twisted matrix factorizations over B, at least among automorphisms \(\mu :B \rightarrow B\) given by \(\mu (x) = \alpha x\) and \(\mu (y) = \alpha ^{-1} y\) for some \(\alpha \in k\). Namely, suppose that
is a rank one factorization in \({\mathbf{HFact}}( \mathscr {F}(B), S_{\mu }, \eta _w)\). Then the maps are given by right multiplication with elements in B, and these are of the form \(c_0 + c_1x + c_2y + c_4xy + c_5yx\). Such an element is invertible in B if and only if \(c_0\) is nonzero, and then the factorization is zero in the homotopy category \({\mathbf{HFact}}( \mathscr {F}(B), S_{\mu }, \eta _w )\). Moreover, the socle elements xy and yx play no role in the factorization. Consequently, we may assume that the maps f and g are given by right multiplication with elements \(\beta _1x + \beta _2y\) and \(\gamma _1x + \gamma _2y\), respectively. The compositions \(g \circ f\) and \(f \circ g\) are both equal to \(\eta _B\), which is given by multiplication with w. It is not hard to see that this forces the scalars \(\beta _1, \beta _2, \gamma _1\) and \(\gamma _2\) to be nonzero, and that \(\alpha \) must be \(-q^{-1}\). Thus \(\mu = \nu \).
The canonical way of producing an A-module from a twisted matrix factorization over B is to reduce modulo w and then take the image of one of the maps. We shall now show that this assignment is functorial. By Proposition 3.2, reduction modulo w induces a triangle functor
The following result shows that in our present setting, this functor maps the matrix factorizations, that is, the \(\left( \mathscr {F}(B), S_{\nu } \right) \)-factorizations of \(\eta _w\), to acyclic complexes of free A-modules.
Theorem 4.2
Let k be a field and B the k-algebra \(k \langle x,y \rangle / (x^2, y^2, xyx,yxy).\) Take an element \(0 \ne q \in k\), put \(w=xy-qyx\), and consider the quantum complete intersection
Furthermore, let \(\nu \) be the automorphism on B defined by \(\nu (x) = -q^{-1} x\) and \(\nu (y) = -\,qy\). Finally, let \(\mathscr {F}(B)\) be the category of finitely generated free left B-modules, \(S_{\nu } :\mathscr {F}(B) \rightarrow \mathscr {F}(B)\) the twisting functor given by \(\nu \), and \(\eta _w :1_{\mathscr {F}(B)} \rightarrow S_{\nu }\) the natural transformation with coordinates \(\eta _F :F \rightarrow {_{\nu }F}\) given by \(\eta _F(m) = wm\). Then reduction modulo w induces a triangle functor
where \({{\mathbf{K}_{\mathbf{ac}}}}( \mathscr {F}(A) )\) is the homotopy category of acyclic complexes of finitely generated free left A-modules.
Proof
Consider a factorization
in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \). Since \(g \circ f = \eta _F\) and \(f \circ g = \eta _G\), the free B-modules F and G are of the same rank, say r. We may therefore assume that \(F=G=B^r\), and that the maps are given by multiplying the standard generators of \(B^r\) (that is, the row vectors with a single nonzero entry, the unit of B) on the right by \(r \times r\) matrices \(C= (c_{ij})\) and \(D=(d_{ij})\). Thus for arbitrary elements the maps are given by
Here \(\nu (u')\) is the row vector in \(B^r\) obtained from \(u'\) by applying the automorphism \(\nu \) to all its entries. Note that we may assume that none of the matrices contain a unit: such an entry would imply that the factorization (F, G, f, g) has a direct summand which is zero in the homotopy category \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \).
Now take the standard generators \(b_1, \dots , b_r\) of \(B^r\). Applying \(g \circ f\) to these gives
where \(\nu (C)\) is the matrix obtained from C by applying the automorphism \(\nu \) to all its entries. Since the composite map \(g \circ f\) is given by multiplying the standard generators on the right by the matrix \(\nu (C)D\), for an arbitrary element it is given by
Similarly, the matrix for the composite map \(S_{\nu }(f) \circ g\) is DC, so that for an arbitrary element it is given by
Now look at the matrices C and D. Since none of their entries are units and the algebra B has a basis \(\{1,x,y,xy,yx \}\), we may decompose the matrices as
where the \(C_i\) and \(D_i\) are \(r \times r\) matrices over k. This gives
which must equal \(xyI - qyxI\), since \(g \circ f = \eta _F\) and the matrix for this map is \((xy-qyx)I\), where I is the \(r \times r\) identlty matrix. Consequently, the matrices \(C_1,C_2,D_1,D_2\) are invertible.
Let \(u \in G\) be an element in \({\text {Ker}}g\). We may write u as \(u = u_0 + xu_1 + yu_2 + xyu_3 + yxu_4\), where the \(u_i\) are row vectors in \(k^r\). Then
and this is zero in \({_{\nu }F}\). Since every element in \({_{\nu }F}\) can be written uniquely as a sum \(u'_0 + xu'_1 + yu'_2 + xyu'_3 + yxu'_4\), where the \(u'_i\) are row vectors in \(k^r\), we see immediately that \(u_0D_1 =0\). But \(D_1\) is invertible, hence \(u_0 =0\), and so
in \({_{\nu }F}\). This forces \(u_1\) and \(u_2\) to vanish as well (\(u_1\) because the matrix \(D_2\) is also invertible), giving \(u = xyu_3 + yxu_4\). But then u must belong to \({\text {Im}}f\). Namely, since the matrices \(C_1\) and \(C_2\) are of rank r, there are row vectors \(u'_1,u'_2 \in k^r\) with \(u'_1C_1 = u_4\) and \(u'_2C_2 = u_3\), giving
This shows that \({\text {Ker}}g \subseteq {\text {Im}}f\).
Now take an element \(u \in G\), and suppose that \(u + wG\) belongs to \({\text {Ker}}\overline{g}\) in the reduced sequence
Then \(g(u) = wu = g \circ f (u')\) for some \(u' \in F\), giving \(g( u - f(u') ) = 0\). We showed above that \({\text {Ker}}g \subseteq {\text {Im}}f\), hence u must belong to \({\text {Im}}f\). It follows that the element \(u + wG\) belongs to \({\text {Im}}\overline{f}\), so the reduced sequence is exact. Similarly, the sequence
is acyclic, hence the image of the functor is contained in \({{\mathbf{K}_{\mathbf{ac}}}}( \mathscr {F}(A) )\). \(\square \)
The following will be useful later.
Remark 4.3
As shown in the above proof, the x and y “components” of the two maps in a nonzero factorization in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \) are invertible matrices. Namely, let
be a nonzero rank r factorization, with f and g defined in terms of \(r \times r\) matrices C and D, respectively. These matrices decompose as
where the \(C_i\) and \(D_i\) are \(r \times r\) matrices over k. The four matrices \(C_1,C_2,D_1,D_2\) were shown to be invertible.
Conversely, let \(C_1\) and \(C_2\) be invertible \(r \times r\) matrices over k, and consider the B-linear maps \(f :B^r \rightarrow B^r\) and \(g :B^r \rightarrow {_{\nu }B^r}\) defined in terms of the matrices \(xC_1+yC_2\) and \(xC_2^{-1} -qyC_1^{-1}\), respectively. Then the matrix for the composition \(g \circ f\) is
and for the composition \(S_{\nu }(f) \circ g\) it is
Thus \(g \circ f = \eta _{B^r} = S_{\nu }(f) \circ g\), and so
is an element of \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \).
In the commutative case, when the element one factors out is a non-zerodivisor in the ring (and S is the identity), the triangle functor from the homotopy category of matrix factorizations to the homotopy category of acyclic complexes over the factor ring is always faithful, as shown in [3, Proposition 3.3]. The following example shows that this is not the case here.
Example
Consider the diagram
As in the proof of Theorem 4.2, the composition of the two maps is given by
Moreover, the composition of the two maps
is given by
hence the top diagram is an object of \({\mathbf{Fact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \). Now the diagram
commutes, and therefore represents a morphism in \({\mathbf{Fact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \). It is easily seen that this morphism is not nullhomotopic, and so it represents a nonzero morphism in the homotopy category \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \). However, this morphism trivially maps to zero by the functor \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \rightarrow {{\mathbf{K}_{\mathbf{ac}}}}\left( \mathscr {F}(A) \right) \).
Returning to the general theory, we now show that we can assign modules to twisted matrix factorizations functorially. Namely, since A is a local selfinjective algebra, the homotopy category \({{\mathbf{K}_{\mathbf{ac}}}}( \mathscr {F}(A) )\) of acyclic complexes of finitely generated free left A-modules is equivalent to the stable module category \({\underline{\mathrm{mod}}}A\) of finitely generated left modules. The canonical equivalence
maps an acyclic complex to the image of its degree zero map. The following is therefore an immediate corollary to Theorem 4.2.
Corollary 4.4
Let k be a field and B the k-algebra \(k \langle x,y \rangle / (x^2, y^2, xyx,yxy).\) Take an element \(0 \ne q \in k\), put \(w=xy-qyx\), and consider the quantum complete intersection
Furthermore, let \(\nu \) be the automorphism on B defined by \(\nu (x) = -q^{-1} x\) and \(\nu (y) = -qy\). Finally, let \(\mathscr {F}(B)\) be the category of finitely generated free left B-modules, \(S_{\nu } :\mathscr {F}(B) \rightarrow \mathscr {F}(B)\) the twisting functor given by \(\nu \), and \(\eta _w :1_{\mathscr {F}(B)} \rightarrow S_{\nu }\) the natural transformation with coordinates \(\eta _F :F \rightarrow {_{\nu }F}\) given by \(\eta _F(m) = wm\). Then reduction modulo w induces a triangle functor
where \({\underline{\mathrm{mod}}}A\) is the stable module category of finitely generated left A-modules. The image of a factorization (F, G, f, g) in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \) is the image of the map \(F/wF \xrightarrow {\overline{f}} G/wG\).
As mentioned, we shall show that when k is algebraically closed, then in a given dimension, almost all the finitely generated indecomposable left A-modules with bounded minimal projective resolutions are obtained from twisted matrix factorizations of the element w over B. To do this, we use the classification of the indecomposable A modules. Recall first that the complexity of a finitely generated left A-module M with minimal projective resolution
is defined as
The modules of complexity one are precisely the ones with bounded-rank minimal free resolutions. In [5], a minimal projective bimodule resolution
of A was constructed, with \(\dim _k P_n = 16(n+1)\). Now if M is a finitely generated left A-module, then the complex \({\mathbb {P}}_A \otimes _A M\) is acyclic, and is therefore a projective resolution of M. It may no longer be minimal, but its rate of growth is at most that of \({\mathbb {P}}_A\). Thus the complexity of any A-module is at most two.
Note that if the parameter q is not a root of unity, then it was shown in [10, Proposition 4.1] that there exist non-periodic A-modules of complexity one: the acyclic complex
gives rise to one class of such modules. However, if qis a root of unity, then by [10, Proposition 4.1] again there are no such A-modules: in this case, the indecomposable modules of complexity one are precisely the periodic ones.
The classification of the indecomposable A-modules goes back to Kronecker. What follows is based on [10, Section 4], which again is based on [1, 7,8,9]. It classifies the modules according to their complexities.
Fact 4.5
(1) Since complexity zero is the same as finite projective dimension, there is only one such indecomposable, namely A itself. The modules of complexity two, that is, the ones having unbounded (but linearly growing) minimal projective resolutions, are the cokernels of the maps in the minimal complete resolution of the module k over the algebra \(k[x,y](x^2,y^2)\). These modules are all of odd dimension over k. To see this, take any indecomposable A-module which is not projective. As A is injective, such a module is annihilated by xy and hence it is a module for the algebra A / (xy), which is independent of q. As described in [10], for each \(n \ge 1\) there are precisely two indecomposable modules of dimension \(2n+1\) (and if \(n=0\), just k). Moreover, it is shown that when working with the algebra \(k[x, y]/(x^2, y^2)\), all these modules are kernels in a minimal complete resolution of k. When working with the algebra A, the same holds. One only needs to check that the syzygy with respect to A of an odd-dimensional indecomposable module is the same as the syzygy with respect to \(k[x,y]/(x^2, y^2)\).
(2) The modules we are interested in are the ones of complexity one, that is, the ones with bounded-rank minimal free resolutions. These are all of even dimension over k, and in what follows we assume that k is algebraically closed. For each \(n \ge 1\), the indecomposable A-modules of dimension 2n are
and these are described as follows. For \(\lambda \in k\), denote by \(J_n ( \lambda )\) the \(n \times n\) Jordan matrix
with eigenvalue \(\lambda \). The underlying vector space of \(C_n ( \lambda )\) is \(k^{2n}\), with the action of x and y given by the \(2n \times 2n\) block matrices
where \(I_n\) is the \(n \times n\) identity matrix. The module \(C_n ( \infty )\) has the same underlying vector space, with the action of x and y given by
Note that every one of these modules has n independent generators.
We are now ready to state and prove the main result.
Theorem 4.6
Let k be an algebraically closed field, \(q \in k\) a nonzero element, and A the quantum complete intersection
Furthermore, let \(B, w, \nu \) and the triangle functor
be as in Corollary 4.4, and
the indecomposable left A-modules with bounded projective resolutions. Then \(C_n ( \lambda )\) is in the image of T if and only if \(\lambda \notin \{ 0, \infty \}\). Thus, for \(0 \ne \lambda \in k\) there is a factorization \((F,G,f,g) \in {\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \) with \(C_n ( \lambda )\) isomorphic to the image of the map \(F/wF \xrightarrow {\overline{f}} G/wG\), whereas for \(C_n (0)\) and \(C_n ( \infty )\) there are no such factorizations.
Proof
We start by proving the following. Let
be a rank n factorization in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \), and suppose that the matrix for f is of the form \(xI + yC + xyC' + yxC''\), with C invertible (the matrices \(I, C, C', C''\) are \(n \times n\) matrices over k, with I the identity matrix). We claim that the image of the map \(F/wF \xrightarrow {\overline{f}} G/wG\) is isomorphic to the left A-module with underlying vector space \(k^{2n}\), and with the action of x and y given by
To see this, note that the image of the map f is generated as a B-module by the n rows \(\zeta _1, \dots , \zeta _n\) of the matrix \(xI + yC + xyC' + yxC''\). We describe the action of x and y on these generators, in terms of the standard generators \(b_1, \dots , b_n\) of \(B^n\), where \(b_i\) is the row vector with a single nonzero entry, the unit of B. First, since \(y^2 = 0 = yxy\) in B, we see that \(y ( xI + yC + xyC' + yxC'' ) = yxI\), and so
Similarly, since \(x^2 = 0 = xyx\), we obtain \(x ( xI + yC + xyC' + yxC'' ) = xyC\), hence
where \(C = (c_{ij})\). Rewriting xy as \(qyx + w\), we obtain
where we have used the equality \(y \zeta _j = yx b_j\) from above. All this shows that when we factor out w, then the image of the map \(\overline{f}\) is spanned as a vector space by the cosets of
The equality \(y \zeta _i = yx b_i\) gives \(x (y \zeta _i) = 0 = y (y \zeta _i\), and using it once more we see that the 2n cosets are linearly independent. The action of x and y on the vector space they generate are given by the two matrices, hence the claim follows.
Having proved the claim, let \(\lambda \) be a nonzero element in k. Then the \(n \times n\) Jordan matrix \(J_n ( \lambda )\) is invertible, and so by Remark 4.3 there exists a factorization
in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \) with \(xI + yq^{-1} J_n ( \lambda )\) as the matrix for the map f. By the claim above, the image of the map \(\overline{f}\) has underllying vector space \(k^{2n}\), and with the action of x and y given by
This is precisely the A-module \(C_n ( \lambda )\).
Finally, we show that the A-modules \(C_n (0)\) and \(C_n ( \infty )\) cannot be obtained from twisted matrix factorizations over B, for any n. Namely, take any nonzero rank n factorization
in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \). By Remark 4.3, the matrix for f is of the form \(xC_1+yC_2+xyC_3+yxC_4\), where the \(C_i\) are \(n \times n\) matrices over k, and with \(C_1\) and \(C_2\) invertible. Consider the factorization \((F,G, C_1^{-1}f, gC_1)\), in which the matrix for the map \(C_1^{-1}f\) is that for f multiplied on the left with \(C_1^{-1}\), whereas the matrix for \(gC_1\) is that for g multiplied on the right with \(C_1\). The diagram
shows that the two factorizations are isomorphic in \({\mathbf{HFact}}\left( \mathscr {F}(B), S_{\nu }, \eta _w \right) \), and they are therefore mapped by the functor T to isomorphic A-modules. The matrix for the map \(C_1^{-1}f\) is \(x+ yC_1^{-1}C_2+xyC_1^{-1}C_3+yxC_1^{-1}C_4\), hence from the claim we proved the image of these factorizations under T is isomorphic to the following A-module: the underlying vector space is \(k^{2n}\), and the action of x and y are given by
Both these matrices have rank n. However, from Fact 4.5 we see that for \(C_n(0)\), the matrix that defines the action of x has rank \(n-1\), as does the matrix that defines the action of y on \(C_n( \infty )\). Namely, these actions are given by \(2n \times 2n\) block matrices with \(J_n (0)\) as the nonzero \(n \times n\) block. This shows that the A-modules \(C_n (0)\) and \(C_n ( \infty )\) cannot be obtained from twisted matrix factorizations over B. \(\square \)
References
Bašev, V.A.: Representations of the group \({\mathbb{Z}}_2 \times {\mathbb{Z}}_2\) in a field of characteristic \(2\) (Russian). Dokl. Akad. Nauk SSSR 141, 1015–1018 (1961)
Bergh, P.A.: \(Ext\)-symmetry over quantum complete intersections. Arch. Math. (Basel) 92(6), 566–573 (2009)
Bergh, P.A., Jorgensen, D.A.: Complete intersections and equivalences with categories of matrix factorizations. Homol. Homot. Appl. 18(2), 377–390 (2016)
Bergh, P.A., Jorgensen, D.A.: Categorical matrix factorizations (in preparation)
Buchweitz, R.O., Green, E.L., Madsen, D.O., Solberg, Ø.: Finite Hochschild cohomology without finite global dimension. Math. Res. Lett. 12(5—-6), 805–816 (2005)
Cassidy, T., Conner, A., Kirkman, E., Moore, W.F.: Periodic free resolutions from twisted matrix factorizations. J. Algebra 455, 137–163 (2016)
Conlon, S.B.: Certain representation algebras. J. Austral. Math. Soc. 5, 83–99 (1965)
Conlon, S.B.: Modular representations of \(C_2 \times C_2\). J. Austral. Math. Soc. 10, 363–366 (1969)
Heller, A., Reiner, I.: Indecomposable representations. Ill. J. Math. 5, 314–323 (1961)
Schulz, R.: Boundedness and periodicity of modules over QF rings. J. Algebra 101(2), 450–469 (1986)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Claude Cibils.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Petter Andreas Bergh was partly supported by Grant 221893 from the Research Council of Norway.
Rights and permissions
About this article
Cite this article
Bergh, P.A., Erdmann, K. Matrix factorizations for quantum complete intersections. J. Homotopy Relat. Struct. 14, 863–880 (2019). https://doi.org/10.1007/s40062-019-00234-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-019-00234-3