6
$\begingroup$

In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra here). For Gorenstein algebras $A$ with Gorenstein dimension $g$, the category of Gorenstein projective modules has almost split sequences and the Auslander-Reiten translate of an object $C$ is given by the nonprojective part of the module $\Omega^gD\Omega^g Tr(C)$. Here are my questions:

  1. Are there examples (of larger classes of Gorenstein algebras) in the literatur, where Auslander-Reiten quivers of the category of Gorenstein projectives has been calculated?

  2. If there are only finitely many Gorenstein projective modules, one can build the direct sum $M$ of all such modules and calculate the endomorphism ring $B=End_A(M)$. Is there a relation between the Auslander-Reiten quiver of the Gorenstein projectives and the quiver of $B$ as is the case for "normal" Auslander algebras?

  3. Are there useful tools to calculate the middle term in such an almost split sequence?

$\endgroup$
  • 1
    $\begingroup$ What is $d$? Do you mean really the projective part, or should it be the non-projective summand? $\endgroup$ – Dag Oskar Madsen May 19 '16 at 19:51
  • $\begingroup$ thanks for noticing. its d=g and of course nonprojective part. $\endgroup$ – Mare May 19 '16 at 21:54
1
$\begingroup$

This is only a partial answer:

For Q1, you might be interested in the examples in the papers arXiv:math/0609138 and arXiv:1309.7301, which both give several examples of AR quivers of categories of Gorenstein projectives. The categories being considered are not described as such, particularly in the first case, but each is equivalent to the category of Gorenstein projectives over the endomorphism algebra of a projective generator; these algebras have Gorenstein dimension 1 for all the examples in both papers. I'm not sure this counts as a computation in a 'large class of examples', but they are at least some examples.

In the case of Q2, these quivers are isomorphic (or opposite, depending on various conventions), essentially by definition, except if you consider the AR-quiver to also include the data of how the AR translation acts on vertices, in which case I don't know how to recover that on the quiver of B (without using the isomorphism!), even in the case of normal Auslander algebras. This works for any additive category with AR-sequences and finitely many indecomposables (or even without the AR-sequences; if you forget the translation structure, the definition of the rest of the AR quiver makes sense without these).

However, the AR-quiver, with its translation structure, has a naturally associated mesh algebra, and this need not (quite) agree with the endomorphism algebra of a basic additive generator. Let $R=\mathbb{C}[[x^n,xy,y^n]]$ be a type A Kleinian singularity. Then $R$ is $1$-Gorenstein and Cohen–Macaulay, and the Gorenstein projectives coincide with the Cohen–Macaulay modules, finitely many of which are indecomposable. Herzog shows that a basic additive generator for the category of Gorenstein projective modules is $S=\mathbb{C}[[x,y]]$, and by a result of Reiten–van den Bergh, $\operatorname{End}_R(S)$ is isomorphic to the preprojective algebra $\Pi$ of type $\tilde{\mathsf{A}}_{n-1}$. Under this isomorphism, the indecomposable projective $R$ corresponds to the Euclidean node of the diagram, which looks exactly like all the other nodes, and indeed has a mesh relation in $\Pi$. However, the AR-translation is undefined at projective vertices, and so the mesh algebra misses out this relation. (Essentially the same thing happens in other Dynkin types as well, but I emphasize type $\mathsf{A}$ because the calculation is very tractable for small $n$.)

In these Kleinian singularity examples, the AR translation on $\operatorname{GP}(R)$ is the identity where defined, so it extends in an obvious way to the projective vertex. Making this extension gives a translation quiver whose mesh algebra is $\operatorname{End}_R(S)$, so the two aren't very far apart, but there is definitely some mismatch that might get worse for other examples.

I find this very strange (to the point where, when I first noticed it, I had to do a calculation for small $n$ to convince myself that Reiten–van den Bergh's result was really true, and the 'extra' relation does appear in $\operatorname{End}_R(S)$!) and if anyone has a good conceptual explanation of why this happens I would be very interested.

While not directly related to your question, you may also be interested in Iyama's very general version of the Auslander correspondence (arXiv:math/0411631), which includes categories of Gorenstein projective modules as a special case.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks for the answer. To Q2: I actually meant quiver and relations. In the case of Auslander algebras, one can obtain the relations immediatly as mesh relations in most cases. Is something similar true in case of Gorenstein projective modules? $\endgroup$ – Mare Jun 14 '16 at 6:47
  • 1
    $\begingroup$ Ah, great - thanks for clarifying. It is in fact not true that the "GP"-Auslander algebra is given by the AR-quiver of the category of GP modules modulo meshes from the AR sequences: this doesn't hold in the case of Kleinian singularities. I will add some details to the answer. $\endgroup$ – Matthew Pressland Jun 15 '16 at 8:49
  • $\begingroup$ Thanks for the edit, but Im mainly interested in algebras with finite dimension. $\endgroup$ – Mare Jun 15 '16 at 9:13
  • 1
    $\begingroup$ OK - in that case I don't know an example of this failing. (Although the problem in the Kleinian singularity case isn't really to do with finiteness, because the algebras are finitely generated over a Krull dimension $1$ ring - the problem might be to do with this Krull dimension being non-zero, but if it isn't then I would expect similar examples to exist in the case of finite dimensional algebras over fields.) $\endgroup$ – Matthew Pressland Jun 15 '16 at 9:41
  • 1
    $\begingroup$ Nice answer. In the Kleinian singularity examples, I believe the extra mesh relation at R comes from the "fundamental sequence", which here takes the form $0\rightarrow R \rightarrow E \stackrel{p}{\rightarrow} R$. Moreover $p$ is a right almost split map with image equal to the maximal ideal of R. (See Ch. 11 in Yoshino's book on CM modules for more info.) $\endgroup$ – Alex Dugas Aug 25 '16 at 23:30
4
$\begingroup$

Concerning Q3: In QPA one can compute (although I have not tested it extensively) almost split sequences in $^\perp T = \{ X\mid\operatorname{Ext}^i_\Lambda(X,T) = 0 \textrm{ for } i >0\}$ for a cotilting module $T$. When $\Lambda$ is an admissible quotient of a path algebra and $\Lambda$ is Gorenstein, then letting $T = \Lambda$ gives you a way of computing in the category of Cohen-Macaulay modules.

I hope that this is helpful.

Best regards, the QPA-team.

Command:

AlmostSplitSequenceInPerpT( T, M );

where $T$ is the cotilting module and $M$ is an indecomposable module in $^\perp T\setminus \operatorname{add T}$.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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