Servicios Personalizados
Revista
Articulo
Indicadores
-
Citado por SciELO
Links relacionados
-
Similares en SciELO
Compartir
Revista de la Unión Matemática Argentina
versión impresa ISSN 0041-6932versión On-line ISSN 1669-9637
Rev. Unión Mat. Argent. v.48 n.3 Bahía Blanca 2007
Cluster categories and their relation to Cluster algebras, Semi-invariants and Homology of torsion free nilpotent groups
Gordana Todorov
Dedicated to María Inés Platzeck for her 60th birthday and Hector Merklen for his 70th birthday
Abstract. The structure of cluster categories [BMRRT] is well suited for the combinatorics of cluster algebras [FZ1] with the main correspondence being between tilting objects and clusters. Furthermore it was shown in [IOTW] that there is a close relation between domains of virtual semi-invariants and simplicial complexes associated to cluster categories. Also the same simplicial complexes associated to cluster categories are related to the Igusa-Orr pictures in the homology of nilpotent groups.
The purpose of this paper is to define and relate several, quite different notions, and therefore the paper is mostly a survey paper, including many results without proofs and also some indications about work in progress. With this in mind, the paper is divided in the following way.
In Section 1 we define and state main properties of cluster categories. The results are mostly from [BMRRT].
In Section 2, cluster algebras with no coefficients are defined (2.1) and several results about their relation to cluster categories are given . We consider only acyclic case; in (2.2) the main bijection theorem between cluster variables and indecomposable objects of the cluster category is stated; in (2.3) the denominators of nonpolynomial cluster variables are described in terms of dimension vectors of exceptional indecomposable representations; in (2.4) weak positivity condition of cluster variables is stated as a consequence of the quite technical proposition, and the proof of the bijection theorem is given. Also, Cluster determines seed conjecture is proved in 2.5.
Section 3 is mostly survey section, where we first recall definitions and theorems about classical semi-invariants, and then give definition and properties of virtual representation spaces and virtual semi-invariants. We only state the main theorems and for proofs refer to [IOTW].
Finally, Section 4 contains a short summary of the results about homology of nilpotent groups and the relation to the simplicial complex of tilting object in the corresponding cluster category.
1.1. A motivation. The categories of finitely generated modules over hereditary artin algebras, together with their derived categories, are very well understood. Since there were clear indications (e.g.[FZ1]) that there was close relation between the indecomposable modules and cluster variables of the cluster algebras, at least in the finite representation type, via root systems, it was quite natural to study and develop the theory of certain orbit categories of the derived categories which perfectly reflect the combinatorics of cluster algebras.
1.2. Derived category. We recall the standard definitions and notation: Let be a quiver with
vertices and no oriented cycles and
a field. Then
, the associated path algebra is hereditary. Let
be the category of finitely generated
-modules, and
the derived category of bounded complexes in mod
. Since
is hereditary the derived category is easy to describe: the objects in
are finite direct sums of the objects in
and the morphisams in
can be described in the following way:
for
in
,
for
in
,
for
in
and all
for
in
and all
.
1.3. Cluster category. In order to define the corresponding cluster category, we consider the endofunctor: where
is the suspension functor, and
is the Auslander-Reiten functor. Then, the cluster category
is defined to be the orbit category, i.e. the objects in
are
-orbits, and the morphisams in
are
, where
and
are
-orbits of
and
.
From the above definition it is easy to see that a set of representatives of the orbits may be chosen in . Often we will use the same symbol for the objects in
and their orbits in
.
1.4. An example. Let be the Dynkin diagram of type
with the following orientation and labeling of the vertices:
. Let
be the non isomorphic simple
representations, or simple
-modules, let
be the nonisomorphic indecomposable projective
representations (
-modules), and let
be the nonisomorphic indecomposable injective
representations (
-modules). Consider the Auslander-Reiten quiver of mod
and
:
A set of representatives for the -orbits may be chosen to be the following 9 objects:
1.5. Tilting objects. Tilting objects are defined in a similar way as tilting modules. First we define . Then, we define
to be an exceptional object in
if
. Define a tilting object (basic) to be a maximal exceptional object in
without multiplicities. As stated in 1.3 we will usually use the same symbol for the objects in
and their orbits in
.
1.6. Tilting seeds. The notion of tilting seed is introduced for the sake of setting up a good correspondence between "cluster category" terminology and "cluster algebra" terminology, in order to be able to write rigorous proofs. A tilting seed is defined to be a pair , where
is a basic tilting object and
is the quiver of
. Notice that the tilting object
determines the quiver
.
1.7. Exchange pairs. The following theorems give precise conditions when an indecomposable summand of a tilting object can be replaced by another indecomposable object, i.e. they "can be exchanged".
Theorem 1.7.1. [BMRRT] Let be a basic tilting object with
indecomposable. Then, there exists exactly one object
not isomorphic to
, such that
is also a basic tilting object.
Definition 1.7.2. Using the notation from Theorem 1.7.1 we call the indecomposable objects and
an exchange pair with respect to
(or
).
Theorem 1.7.3. [BMRRT] Two exceptional indecomposable objects and
form an exchange pair if and only if
, where
and
.
1.8. Tilting objects in the cluster category for . We will use the same example and the same notation as in 1.4. In the following figure the vertices are labeled by representatives of indecomposable objects in the cluster category. Vertices are connected by a line segment if there are no extensions between the two corresponding objects. Consequently, each small triangle defines a tilting object and all tilting objects are given that way. There are 14 tilting objects in this example, e.g.
,
,
,
etc.
Figure 1. Tilting objects in the cluster category of
1.9. Tilting mutations. Throughout the paper we will use 3 different ways to express the situation from the Theorem 1.7.1:
- Tilting mutation of an indecomposable object
is
, with respect to
:
e.g.
with respect to the tilting object
.
- Tilting mutation of the tilting object
at
is
:
e.g.
.
- Tilting mutation of the tilting seed
at
is the new seed
:
e.g.
, with the extra information that
and
.
All examples refer to the cluster category in 1.8.
1.10. A construction of exchange pairs, i.e. tilting mutation. This construction uses the notion of minimal right approximation by a subcategory. Let be a tilting object, where
is an indecomposable summand. Let
be a minimal right
-approximation of
. This approximation exists, since
is additively generated by a finitely generated module
. Let
![Db](/img/revistas/ruma/v48n3/3a02119x.png)
1.11. Some facts about exchange pairs. Here we state some of the facts (without proofs) and draw the commutative diagrams from [BMRRT].
is indecomposable and exceptional,
is a minimal left
- approximation of
,
,
and
form an exchange pair with respect to
(or
).
- Consider the AR-triangle for
:
,
,
is an isomorphism if and only if
,
if and only if
is AR triangle if and only if
.
- The vertical maps
and
are left and right
-approximations of
and
(respec).
- By considering AR triangle for
we get a similar commutative diagram.
2. Cluster Algebras and Cluster Categories
In this section we want to indicate what correspondences exist between the categorical notions of cluster categories and combinatorial notions of cluster algebras.
Cluster algebras were defined by Fomin and Zelevinsky, in general with coefficients, however cluster categories are set to deal only with the cluster algebras without coefficients, so we will recall the definition of cluster algebras only in that case. We also point out that the "sign skew symmetrizable square matrices" correspond to valued quivers, with valuations on arrows being precisely the integer values of the entries of the corresponding matrix.
2.1. Cluster algebras; Definitions.
Cluster algebra is a subalgebra of the field of rational functions
, which is generated as algebra by cluster variables; cluster variables are defined to be all rational functions which appear in a certain collection of transcendence bases, called clusters; clusters are transcendence bases in
which are obtained from an initial cluster after applying sequences of "cluster mutations" in every possible direction, but according to the rules prescribed by the matrices
, (or equivalently, quivers
) as we will describe in 2.1.1.
We point out that at every stage of cluster mutations, there is a new pair formed , called a cluster seed, where
is the new cluster and
is the new quiver. Initial cluster seed is a pair
, where
is a transcendence basis, called initial cluster and
is the initial quiver (a matrix
).
Definition 2.1.1. Using the notation from above we now define cluster mutations (again, the same mutation expressed in 3 ways as in 1.9):
- Cluster mutation of
with respect to the cluster seed
is the new cluster variable
obtained as
.
Notation
.
- Cluster mutation of the cluster
at
is a new cluster
Notation:
- Cluster mutation of the cluster seed
at
is the new cluster seed
.
Notation:
, where
new quiver obtained in quite a complicated way (see [FZ1]).
In general, this process of creating new cluster variables will never stop, however there is a precise classification of cluster algebras which have only finitely many cluster variables, as stated in the following theorem.
Theorem 2.1.2. [FZ2] A cluster algebra has finitely many cluster varibles, if and only if a Dynkin diagram appears as one of the quivers in the mutation process.
Starting with a fixed quiver (no oriented cycles), one obtains a cluster algebra
, with all of its notions: cluster seeds, clusters, cluster variables, cluster mutations. From the same quiver one can construct cluster category
, with the tilting seeds, tilting object, indecomposable objects and tilting mutations. The following table contains main "cluster algebra" and "cluster category" notions, NOT as a theorem, but just to indicate where the correspondences should be. However, the theorems are stated afterwards.
![Q](/img/revistas/ruma/v48n3/3a02174x.png)
![]() | -- | ![]() ![]() |
![]() | -- | ![]() |
![]() | -- | ![]() |
![]() | -- | ![]() |
![]() | -- | ![]() |
Theorem 2.2.1. [FZ1], [MRZ] Suppose is a Dynkin diagram. Then there exists a one-to-one correspondence
cluster variables
isoclasses of indecomposable objects
.
Theorem 2.2.2. [BMRRT] Suppose is a simply laced Dynkin diagram. Then there exist one to one correspondences (the second one being induced by the first):
cluster variables
isoclasses of indecomposable objects
,
{clusters}{basic tilting objects}.
It was conjectured in the same paper that similar one-to-one correspondences exist between cluster variables and exceptional indecomposable objects for all simply laced diagrams with no oriented cycles. The proof of this follows from the existence of two particular surjective maps, which are inverse bijections:
,
.
The map is the Caldero-Chapoton map from [CK2], and the existence of map
is given in the following theorem.
Theorem 2.2.3. [BMRT] Let be simply laced diagram with no oriented cycles.
(a) There exist well defined maps:
cluster variables
isoclasses of indecomp. exceptional objects},
clusters
tilting objects},
cluster seeds
tilting seeds}.
(b) All three maps: are onto.
We will indicate main steps of the proof of the above theorem, since they include several other interesting results about the denominators of the cluster variables 2.3.4, weak positivity condition 2.4.6 and proof of the Fomin-Zelevinsky conjecture that cluster determines the entire cluster seed after cluster mutations 2.5.1.
Theorem 2.2.4. Bijection ([CK2],[BMRT]) Let be simply laced diagram with no oriented cycles. Then there exist a bijection between cluster variables and exceptional indecomposable objects, inducing a bijection between clusters and tilting objects.
An illustration on . We illustrate the above correspondence by using the same Figure 1 as we did for the objects, tilting objects and exchange pairs of the cluster category, but label the vertices now by the corresponding cluster variables.
Figure 2. Clusters in the cluster algebra of
- Vertices are labeled by cluster variables and cluster variables are labeled by the corresponding representatives of indecomposable objects in the cluster category.
- Vertices are connected by a line if the compatibility degree between the cluster variables is 0 which corresponds to no extensions between the corresponding two objects.
- Each small triangle defines a cluster and a basic tilting object.
- All clusters and all tilting objects are given that way.
- There are 14 clusters and 14 basic tilting objects in this example.
- The initial cluster
is chosen in such a way, that the denominators of all other cluster variables are given by the dimension vectors of the corresponding
-modules (see theorems in next section).
2.3. Denominators of cluster variables.
From this section, we only need notation, and the famous "Laurent phenomenon" theorem of Fomin and Zelevinsky. However we will also state known results about the monomials which appear in the denominators of the cluster variables.
Theorem 2.3.1. [FZ1] (Laurent phenomenon) The denominators of all cluster variables, when expressed in terms of the initial cluster, and then reduced, are monomials.
Notation: Let be a monomial in variables
. Denote the exponent vector by
.
Theorem 2.3.2. [FZ1] Let be a Dynkin diagram with alternating orientation. For each cluster variable in reduced form
, there is an indecomposable module
, such that
Theorem 2.3.3. [CCS2] Let be any Dynkin diagram. For each cluster variable in reduced form
, there is an indecomposable module
, such that
(Also [RT] and [CK1] have the same result.)
Theorem 2.3.4. [BMRT] Let be any finite simply laced diagram with no oriented cycles. For each cluster variable in reduced form
, there is an indecomposable exceptional module
, such that
Proof. This follows from 2.4.6. □
2.4. Weak Positivity Condition and Conditions (,
,
).
These are essential notions for the proofs of the existence of the maps ,
,
, i.e. that the objects
,
,
satisfy the desired conditions:
is an indecomposable exceptional object,
is a tilting object and
is a tilting seed.
Definition 2.4.1. A polynomial in variables
is said to satisfy the weak positivity condition if
for all
, where
is at the
-th place.
Remark: If satisfies the weak positivity condition, then
does not have any non-constant monomial factors.
Definition 2.4.2. Let be an initial cluster for a cluster algebra given by a quiver
. A cluster variable
is said to satisfy
if:
- either
or
, where
is a polynomial in
and it satisfies positivity condition and
- if
, then there exists an indecomposable exceptional
-module
, such that
.
Definition 2.4.3. If a cluster variable satisfies condition (
), we (can) define:
Remark: We want to define on all cluster variables. So far, we defined only on cluster variables satisfying (
). So, we will prove that ALL cluster variables satisfy condition (
) if the cluster algebra is acyclic with no coefficients.
This will be proved after the Proposition 2.4.4 and Corollary 2.4.6, however the proof involves clusters and cluster seeds as well. The corresponding conditions on clusters and cluster seeds will be denoted by: (),(
) and we define them now.
Properties: (), (
), (
) Definitions and properties.
() is a property of a cluster variable
consisting of two parts:
or
, where
satisfies positivity condition, and
, for some indecomposable exceptional module
.
Notice: If
satisfies (
), then
is defined (i.e. it is an indecomposable exceptional object)(as in 2.4.2 and 2.4.3).
() is a property of a cluster
consisting of two parts:
- each cluster variable
satisfies (
), and
is a tilting object.
Notice: If
satisfies (
), then
can be defined as
, which is a tilting object.
() is a property of a cluster seed
consisting of two parts:
- the cluster
satisfies (
), and
.
Notice: If
satisfies (
), then
can be defined as
which is a tilting seed.
Proposition 2.4.4. Let be a cluster seed satisfying (
). Consider a cluster mutation. Then:
-
:
- The new cluster variable satisfies (
).
:
- The new cluster satisfies (
).
:
- The new cluster seed satisfies (
).
-
:
commutes with mutations, i.e.
.
:
commutes with mutations, i.e.
.
:
commutes with mutations, i.e.
.
Proof. We need to set up a bit more detailed and precise notation.
Let be a cluster seed, where
is a cluster.
Let be a cluster mutation at
.
Since satisfies (
), there exists an object
such that
.
Denote by
.
Let be the new cluster variable defined via cluster mutation
.
Then
.
Proof of a: WTS satisfies (
). Let
.
It is a tilting object since satisfies (
).
Consider tilting mutation of at
, i.e. exchange
with another object
.
Then is the new tilting object.
Let and
be the exchange triangles.
Notation and results from ([BMR2], 6.2) imply:
if
and
.
At this point we brake the proof into several parts, depending on whether the representatives of and
are modules or shifted projectives.
Case I: Both and
are modules.
- Step 1:
is an exact sequence of modules.
- Step 2:
- Describe
, i.e. representatives of the summands of
in the fundamental domain add(ind
. Consider the following commutative diagram, together with the AR-triangles as mentioned at the beginning:
implies
and
Let
with
injective and
with no injective summands.
Let
with
projective and
with no projective summands.
By comparing shifts of nonprojectives, shifts of projectives and actual modules, get the following isomorphisms in the derived category:
,
,
implies
and so
Finally:
- Step 3:
- All
,
,
satisfy condition (
) by assumption.
,
,
,
,
where
,
,
,
,
satisfy positivity condition
,
,
,
.
- Step 4:
or
Reason:
- Step 5:
- Compute
- Step 6:
satisfies condition (
). Reason:
divides the rest of the numerator (Laurent phenomenon).
Numerator is a polynomial which satisfies positivity condition.
Numerator does not have any non-constant monomial factors.
Denominator is monomial
, with
is an indecomposable exceptional module.
- Step 7:
This is exactly the statement that
commutes with mutations, i.e. 2)a of the proposition.
Case II: is not a module, i.e.
.
First, we point out that in this case must be a module, since
. We will just set up the exchange triangles and commutative diagrams, and the rest is similar kind of analysis, but somewhat more complicated.
implies that
, with
non-projective and
projective.
since
Case III: a module,
. Similar to the previous case.
This finishes the proof of the new cluster variable
satisfies condition (
) and also
.
Proof of The new cluster
satisfies (
).
- Each cluster variable
satisfies (
) condition by assumption and part
.
is a tilting object.
Proof of The new cluster seed
satisfies (
).
- The new cluster
satisfies (
) by
.
- The quiver of
is equal to
by [BMR].
This finishes the proof of the proposition. □
Corollary 2.4.5. Let be a cluster seed satisfying condition (
). Let
be a cluster mutation and
the corresponding tilting mutation. Then:
.
Corollary 2.4.6. Every cluster seed satisfies (), every cluster satisfies (
) and every cluster variable satisfies (
). In particular, every cluster variable is either of the form
or
, for some weakly positive polynomial
.
Proof. The initial seed satisfies (
) condition. Since every cluster seed can be reached by a finite number of cluster mutations, and by the proposition every cluster seed at each step satisfies (
) condition it follows that all cluster seeds satisfy (
) condition. □
Proof. of the Theorem 2.2.3: By the above corollary it follows that everything satisfies appropriate (
), (
), (
), and by the comments in the definitions of (
), (
), (
), all three maps (
), (
), (
) are defined. □
Proof. of the Theorem 2.2.3: We will show that
is onto. Let
be a tilting seed. There exists a finite number of tilting mutations from the initial tilting seed to
. Consider the same sequence of cluster mutations from the initial cluster seed. Use Corollary 2.4.5. □
2.5. Fomin-Zelevinsky Conjecture: Cluster Determines Seed.
The following was conjectured by Fomin and Zelevinsky (for any cluster algebra) and we prove it for the acyclic case with no coefficients.
Theorem 2.5.1 (BMRT). Let and
be cluster seeds for an acyclic cluster algebra with no coefficients. Then
.
Proof. and
are tilting seeds. But,
since tilting seed is determined by its tilting object. □
3. Semi-invariants and Cluster Categories
We first recall the definition and some of the classical theorems about semi-invariants, as done by Kac, Schofield, Derksen-Weyman for non-negative integral vectors. After that we state theorems for "mixed signs" integral vectors as done in [IOTW]. In particular, in the Dynkin diagram case, we state the relation between the simplicial complex of the partial tilting objects and the domains of semi-invariants .
3.1. Definitions; Representations and Semi-invariants. Let be a simply laced quiver, where
denotes the set of the vertices of
, and
is the set of the arrows of
. Assume
has no oriented cycles. Let
be an algebraically closed field. Let
be the number of the vertices in
.
3.2. Representation space for . The representation space for a non-negative integral vector
is the affine space:
![R (α)](/img/revistas/ruma/v48n3/3a02500x.png)
![α-](/img/revistas/ruma/v48n3/3a02501x.png)
![R(α-)](/img/revistas/ruma/v48n3/3a02502x.png)
![αv × αu](/img/revistas/ruma/v48n3/3a02503x.png)
![a :](/img/revistas/ruma/v48n3/3a02504x.png)
![u → v](/img/revistas/ruma/v48n3/3a02505x.png)
![R (α)](/img/revistas/ruma/v48n3/3a02507x.png)
![gMa := (gha)Ma (gta)-1](/img/revistas/ruma/v48n3/3a02508x.png)
![Gl (𝕜 ) 0](/img/revistas/ruma/v48n3/3a02509x.png)
3.3. Euler bilinear form. The vertices of the quiver are partially ordered by if there is a directed path from
to
and we choose a fixed extension of this partial ordering to a total ordering. The Euler matrix
is defined as
matrix with rows and columns labeled by
(written in the order described above), with the diagonal entries equal to 1 and the entry
(the number of arrows from
to
) for
. The matrix
gives a nonsymmetric bilinear form
![n ℤ](/img/revistas/ruma/v48n3/3a02522x.png)
3.4. Some useful facts about the Euler form and Euler matrix.
, i.e.
for all representations
and
such that
and
.
- The row of
corresponding to the vertex
, consists of coefficients of indecomposable projectives in the expression of
.
gives coefficient vector of
in terms of
s.
always has non-negative coefficients, e.g. if
then
.
3.5. Notation. Let . We denote by
the following projective representation:
. Notice that
.
3.6. Canonical projective presentations. Recall, the canonical projective presentation of a representation , with
is:
![∐ P0 = P (α) = P (v)αv v](/img/revistas/ruma/v48n3/3a02545x.png)
![∐ P1 = P (v)αu u→v](/img/revistas/ruma/v48n3/3a02546x.png)
![c : P → P M 1 0](/img/revistas/ruma/v48n3/3a02547x.png)
![P (v)αu](/img/revistas/ruma/v48n3/3a02548x.png)
![P (u)αu](/img/revistas/ruma/v48n3/3a02549x.png)
![P (v)](/img/revistas/ruma/v48n3/3a02550x.png)
![P (u)v](/img/revistas/ruma/v48n3/3a02551x.png)
![P (u)](/img/revistas/ruma/v48n3/3a02552x.png)
![cM](/img/revistas/ruma/v48n3/3a02553x.png)
![αu P (v)](/img/revistas/ruma/v48n3/3a02554x.png)
![P (v)αv](/img/revistas/ruma/v48n3/3a02555x.png)
![Ma : Mu → Mv](/img/revistas/ruma/v48n3/3a02556x.png)
![a : u → v](/img/revistas/ruma/v48n3/3a02557x.png)
Remark 3.6.1. The representation can also be described as:
and
.
3.7. Classical results on semi-invariants of quivers.
We recall now the notion of semi-invariants of a group acting on a variety and state the classical results about semi-invariants on the representation spaces of quivers by Kac, Schofield and Derksen-Weyman.
3.8. Definition of semi-invariants. For an algebraic group acting on a variety
, an element
of the coordinate ring of
is called a semi-invariant, if there exists a character
of
such that for all
and all
:
3.9. Semi-invariants of quivers, . The group
acts on the representation space
(see 3.2). Since the group
is the product of general linear groups, the character
is the product
. The integral vector
is called the weight of the semi-invariant. Note that if
then
is indeterminate.
3.10. Fundamental theorems for semi-invariants of quivers. The First fundamental theorem (FFT) states that all semi-invariants of quivers are generated by determinants, the Saturation theorem describes all nonnegative vectors with semi-invariants of a given weight and the third theorem describes Generic decomposition of any non-negative integral vector .
Theorem 3.10.1 (FFT,[S, DW1]). Let be a quiver and
. Then the ring of semi-invariants on
is generated by
, where
![M ∈ R (α)](/img/revistas/ruma/v48n3/3a02585x.png)
![N](/img/revistas/ruma/v48n3/3a02586x.png)
![⟨α,dim N ⟩ = α tEdim N = 0 ------ -- ----](/img/revistas/ruma/v48n3/3a02587x.png)
![det(cM ,N )](/img/revistas/ruma/v48n3/3a02588x.png)
![EdimN-](/img/revistas/ruma/v48n3/3a02589x.png)
Remark 3.10.2. The condition is equivalent to saying that the matrix of
is square.
Definition 3.10.3. Let . The support of
is defined as
Theorem 3.10.4 (Saturation,[DW]). Let . Then:
![D (β) = {α ∈ ℝn |⟨α,β⟩ = 0} ∩ (∩ ′ {α ∈ ℝn |⟨α ,β′⟩ ≤ 0}), -- -- ---- β `→ β -- -- --](/img/revistas/ruma/v48n3/3a02597x.png)
![β′ `→ β -- --](/img/revistas/ruma/v48n3/3a02598x.png)
![β-](/img/revistas/ruma/v48n3/3a02599x.png)
![β′](/img/revistas/ruma/v48n3/3a02600x.png)
Before stating the generic decomposition theorem, recall the following definition: for ,
![𝕜](/img/revistas/ruma/v48n3/3a02603x.png)
![dim Ext](/img/revistas/ruma/v48n3/3a02604x.png)
![ext(α,β) = dim 𝕜ExtQ (A, B )](/img/revistas/ruma/v48n3/3a02605x.png)
![A,B](/img/revistas/ruma/v48n3/3a02606x.png)
![dimA = α-](/img/revistas/ruma/v48n3/3a02607x.png)
![dimB = β-](/img/revistas/ruma/v48n3/3a02608x.png)
Theorem 3.10.5 (Generic decomposition,[K]). Any has a unique decomposition of the form
where
for all
and each
is a Schur root. Furthermore, general representation
with
decomposes as
with
where
are indecomposable representations which do not extend each other.
3.11. Virtual representation spaces and Virtual semi-invariants.
In this section we deal with integral vectors (not necessarily non-negative), define non-canonical generalized representation spaces and the virtual representation space as the direct limit of those. Similarly, we define semi-invariants on the generalized representation spaces and virtual semi-invariant as the induced map on the virtual representation space.
3.12. Projective decomposition of integral vectors. Let and let
with
. We refer to
as a projective decomposition of
. Note that there is a unique minimal projective decomposition where
have disjoint supports.
3.13. Generalized representation spaces for integral vectors. Let . For each projective decomposition
of
, a non-canonical generalized representation space is defined as
3.14. Stabilization maps. Given any we have the stabilization map:
which sends
to
3.15. Virtual representation spaces for integral vectors. Let . Then all representation spaces
form a directed system with the above stabilization maps. We define the virtual representation space as the direct limit:
3.16. Semi-invariants on Generalized representation spaces. The space
is an affine space with the natural action of the group
which is given by
for each
. (We point out that this is a different action then in 3.2).
Since is an affine space its coordinate ring is a polynomial ring, hence polynomial semi-invariants are defined as in 3.8.
3.17. Virtual semi-invariants. A virtual semi-invariant on is a function
induced by a family of semi-invariants
on the representation spaces
, which are compatible with stabilization maps (3.14).
3.18. Characters . Notice that for , each element of
can be written as an
upper triangular matrix
with
and diagonal entries
The reason is that the vertices are partially ordered by
if there is a directed path from
to
and this partial ordering is extended to a total ordering to write the matrix.
Remark 3.18.1. Given a projective representation then any rational character of the group
is of the form:
with the vector
; and
for polynomial characters. As before,
is indeterminate if
.
Remark 3.18.2. (a) A polynomial SI on is a polynomial function
so that:
for some character
, all
and all
.
(b) Furthermore , with
and
characters of
and
respectively, and therefore of the form
and
for
.
3.19. Weights of semi-invariants. If are sincere (nonzero at every vertex) then
above, call it
. The well-defined
is called the weight of the SI
. Since the collection of
for sincere pairs
is cofinal in the directed system, the weights are well defined for virtual SI and have non-negative coordinates.
3.20. A construction of semi-invariants for . We show that the determinants also give generalized SI and induce virtual SI.
Proposition 3.20.1. Let be a projective decomposition of
. Let
be a representation with
. Then:
- The function
is a polynomial SI on the generalized representation space
,
- Weight(
)=
.
- Furthermore,
is compatible with stabilizations.
- The induced semi-invariant
on the virtual representation space
has also weight equal to
.
Definition 3.20.2. The support of is defined to be the set of all
so that
on
for some projective decomposition
Theorem 3.20.3. (Virtual Saturation Theorem) The support of is equal to
![N](/img/revistas/ruma/v48n3/3a02702x.png)
![β --](/img/revistas/ruma/v48n3/3a02703x.png)
Theorem 3.20.4. (Virtual Generic Decomposition) Any has a unique decomposition of the form
for all
,
- Each
is either a Schur root in degree
or negative indecomposable projective in degree 1.
3.21. The finite case - Dynkin diagrams.
We show that the simplicial complex of the clusters can be identified with the domains of the generalized semi-invariants, which will also be identified with the Igusa-Orr pictures for the sets of simple roots [IO].
3.21.1. Simplicial complex of exceptional (or partial tilting) objects. The simplicial complex of the Dynkin diagram is defined to be the simplicial complex , with vertex set
Theorem 3.21.1. (Simplicial complex and domains of semi-invariants theorem) [IOTW]. Let be a Dynkin diagram of type
. Then:
- The simplicial complex of the exceptional objects is homeomorphic to the
sphere.
- The image of the
skeleton of
in
is the union:
3.21.2. Illustration on the example of . The image of the
skeleton of
in
is the union:
- The quiver is
with Euler matrix
- Circles and semicircles, labeled by
, denote the domains of semiinvariants (with weight
).
- Vertices are labeled by the positive roots
and negative projective roots.
- Positive roots can also be viewed as dimension vectors of indecomposable representations by Gabriel's theorem, e.g.
.
- For example:
has semi-invariants of weights
and
.
- For example:
,
,
,
,
all have semi-invariants of weights
since
making
iff
.
- The semiinvariant
on a representation
is
. This is only well-defined if coordinates
are chosen. If these are changed by
then
becomes
So, this semiinvariant has weight
.
- In the case
we have
. So,
does not contain points
where
. So,
contains no points inside the
circle.
- Furthermore, any integral vector belongs to one of the simplices, and the generic decomposition is given in terms of the vertices of that simplex.
4. Homology of Nilpotent, Torsion-free Groups
4.1. Homology of groups and Lie algebras.
4.1.1. Homology of a group. The homology of a group is defined by
More explicitly, we need to choose a free resolution
of
. Then
is the homology of the complex
. One standard complex is given by the bar resolution where
is the free
module generated by
and the boundary map
is given by
![G](/img/revistas/ruma/v48n3/3a02779x.png)
![C (G ) k](/img/revistas/ruma/v48n3/3a02780x.png)
![′ k](/img/revistas/ruma/v48n3/3a02781x.png)
![B](/img/revistas/ruma/v48n3/3a02782x.png)
![G](/img/revistas/ruma/v48n3/3a02783x.png)
![G](/img/revistas/ruma/v48n3/3a02784x.png)
4.1.2. Homology of a group - topological definition. We recall, but will not use that the homology of the group is defined topologically by
where
is the classifying space of the discrete group
, also known as the Eilenberg-MacLane space
.
4.1.3. Rational homology of a group. The rational homology of a group is
.
4.1.4. Homology of a Lie algebra. The homology of a Lie algebra ,
, is defined to be the homology of its Koszul complex
given by
with boundary
given by
4.1.5. Rational homology of a Lie algebra. The rational homology of a Lie algebra is
.
4.1.6. Lie algebra associated to a group
. To every group
there is an associated graded Lie algebra
given by
with Lie bracket
given by the commutator: .
4.2. Torsion-free Nilpotent groups.
4.2.1. Definition of Torsion-free, Nilpotent groups. Let be a group and
the chain of subgroups defined as
, where
denotes the group commutator operation, i.e.
for all
. The group
is said to be:
- Torsion free if
is finitely generated free abelian group for all
.
if there exists an
such that
.
Theorem 4.2.1 (Nomizu). [N54] The rational homology of a torsion-free nilpotent group is isomorphic to the homology of the Lie algebra
.
4.2.3. Remark. Nomizu [N54] gave the first example of a nilpotent torsion free group whose integral homology is not isomorphic to that of the associated Lie algebra. Dwyer [D] points out that the upper triangular matrix group (the nilpotent group associated to the Dynkin diagram ) has
-torsion in its homology for all
. The rational homology is given by the following theorem of Bott and Kostant.
Theorem 4.2.2. [Bo][Ko] The rank of the -th homology of the nilpotent subalgebra of a semisimple Lie algebra spanned by the positive roots is equal to the number of elements of the Weyl group of weight
. For example, the rank of
is equal to the number of elements
of the symmetric group on
letters for which there are
pairs
with
.
4.2.4. Koszul complex. The Koszul complex gives both the integral and rational homology for any Lie algebra and in particular for the Lie algebra
and therefore, by Nomizu's theorem, it gives the rational homology of
as well.
4.2.5. Cenkl and Porter. In [CP1] they give an algorithm for constructing the integral cochain complex for the integral cohomology of . (The integral cohomology determines the integral homology.) In [CP1] they construct a nilpotent torsion free group with a prescribed Lie algebra (the reverse of the usual construction).
4.2.6. A motivation from topology. Kent Orr proved that all Milnor -invariants of links are represented by elements of
of the fundamental group of the complement of the link. Igusa and Orr proved that
has no torsion for nilpotent torsion free groups, using a particular complex in which boundaries are given by "pictures".
4.2.7. Remark. Each nilpotent torsion free group has a finite basis which can be obtained as the union of preimages of the bases of the free abelian groups
for
. These elements form a basis in the sense that every element in the group can be expressed uniquely in the form
where
are integers.
- Let
be preimages of a set of basis elements of
.
- Then
is a minimal set of generators for the group
, call these elements simple generators.
- The number
does not depend on the choice of the basis.
4.2.8. Igusa-Orr complex and "pictures". This is a particular resolution of
, which we will not describe precisely, but the following are some of the important facts about it:
is freely generated by the sets of k-element subsets of the basis
.
- The boundary
is recursively defined for each subset of
.
- Boundary is Koszul boundary plus additional terms.
- Boundary for each subset of
corresponds to a "picture", i.e. a cell decomposition of sphere, satisfying certain necessary and sufficient conditions.
- Left and right commutators in the group give the most efficient "collecting process".
- Different forms of commutators. The standard form of commutator is the left commutator
, the original Igusa-Orr pictures use the right commutator
, and for the Cluster-Semiinvarian pictures it is more convenient to use the middle commutator
.
4.3.1. Definition of Monomial groups. These are special torsion free monomial groups, for which Igusa-Orr pictures are related to the Cluster-Semi-invariant pictures. A group is called
if it is:
- Torsion free,
- Nilpotent and
- There exists a basis
satisfying:
- a:
- b:
- For any three elements at least two commute
- c:
- For any
,
commutes with both
and
4.3.2. Maximal monomial groups. These will be monomial groups which are maximal in the following sense (but we need to point out a few facts):
- The number of elements in
is an invariant of the group G.
- Monomial groups with
simple generators, for a fixed
, are partially ordered by epimorphisms of groups, which send simple generators to simple generators (or their inverse).
- Maximal elements with respect to this partial order are called Maximal monomial groups.
4.3.3. Dynkin diagrams and Maximal monomial groups. To each simply laced Dynkin diagram with the set of positive roots
, we associate a group
defined by:
- Generators:
and
- Relations:
where
if
and
otherwise
. Here
denotes the Euler form.
We have the following facts, questions (and work in progress):
- Simply laced Dynkin diagrams define maximal monomial groups.
- Are all maximal monomial groups given by simply laced Dynkin diagrams (A,D,E) as above?
- Description of the groups (with appropriate modifications of the condition (3)), which will correspond to the other Dynkin diagrams (B,C,F,G).
4.4.1. An example of Igusa-Orr picture.
- Circles and semicircles are labeled by positive roots
for the Dynkin diagram
. Any positive root
is expressed as a sum of simple roots
- For the middle-commutator I-O picture the same labels are used for the elements of the associated nilpotent group
, i.e. any positive root
actually stands for
, see 4.3.3.
- A free
resolution of
is given by
free module generated by subsets of
with
elements, and with boundary given by the pictures.
- The following picture describes the boundary
as:
- Each term in the sum corresponds to a vertex, and is obtained by "reading" the picture.
- Circles and semicircles are labeled by positive roots
for the Dynkin diagram
. Labeling agrees with the same labeling of the same picture by the domains of semiinvariants.
4.4.2. I-O vs C-SI pictures. The original, right commutator Igusa-Orr and Cluster-Semiinvariant pictures are given below for the example of Dynkin diagram .
- I-O picture has 12 tri-angles, 1 quadr-angle, 1 bi-angle
- C-SI picture is a simplicial complex, triangulation of a shpere with 14 tri-angles.
I-O ![]() ![]() |
- Igusa-Orr pictures are Koszul boundary plus higher terms.
- Cluster-Semiinvariant pictures are modified Koszul boundary plus higher terms.
- Cluster-Semiinvariant pictures are more natural - simplicial complex.
- Plan to re-do Igusa-Orr algorithm to construct all Cluster-Semiinvariant pictures.
- Cluster-Semiinvariant pictures give the middle commutator Igusa-Orr pictures for the particular subset consisting of the simple generators
of the group
, which actually correspond to the set of simple roots in
.
- We believe that Cluster-Semiinvariant pictures can be used to construct, in a functorial way, all middle-commutator I-O pictures (for all subsets of
.
This work was presented at:
CIMPA - UNESCO - ARGENTINA
Homological methods and representations of non-commutative algebras.
Mar del Plata,
Argentina
March 6 - 17, 2006
[Bo] Bott, Raoul, Homogeneous vector bundles, Ann. of Math. (2), 66, (1957), 203-248. [ Links ]
[BMR1] Buan A., Marsh R., Reiten I. Cluster-tilted algebras, preprint (2004) math.RT/0402075, to appear in Trans. Amer. Math. Soc. [ Links ]
[BMR2] Buan A., Marsh R., Reiten I. Cluster mutation via quiver representations, preprint (2004) math.RT/0412077 [ Links ]
[BMRT] Buan A., Marsh R., Reiten I., Todorov G. , preprint math.RT/, to appear in .(2004) [ Links ]
[BMRRT] Buan A., Marsh R., Reineke M., Reiten I., Todorov G. Tilting theory and cluster combinatorics, preprint math.RT/0402054, to appear in Adv. Math. (2004) [ Links ]
[CC] Caldero P., Chapoton F. Cluster algebras from cluster categories, preprint math.RT/0410187, (2004) [ Links ]
[CCS1] Caldero P., Chapoton F., Schiffler R., Quivers with relations arising from clusters ( case)., Preprint arxiv:math.RT/0401316, January 2004, to appear in Trans. Amer. Math. Soc. [ Links ]
[CCS2] Caldero P., Chapoton F., Schiffler R., Quivers with relations and cluster tilted algebras. Preprint arxiv:math.RT/0411238, November 2004. [ Links ]
[CK1] Caldero P., Keller B. From triangulated categories to cluster algebras, preprint math.RT/0506018, (2005) [ Links ]
[CK2] Caldero P., Keller B. From triangulated categories to cluster algebras II, preprint math.RT/0510251, (2005) [ Links ]
[CP1] Bohumil Cenkl and Richard Porter, Algorithm for the computation of the cohomology of I-groups, Algebraic topology (San Feliu de Guíxols, 1990), Lecture Notes in Math., vol. 1509, Springer, Berlin, 1992, pp. 79-94. [ Links ]
[CP2] Bohumil Cenkl and Richard Porter, Nilmanifolds and associated Lie algebras over the integers, Pacific J. Math. 193 (2000), no. 1, 5-29. [ Links ]
[D] W. G. Dwyer, Homology of integral upper-triangular matrices, Proc. Amer. Math. Soc. 94 (1985), no. 3, 523-528. [ Links ]
[DW1] Harm Derksen and Jerzy Weyman, Semi-invariants of quivers and saturation for Littlewood-Richardson coefficients. J. Amer. Math. Soc. 13 467-479 (2000). [ Links ]
[DW] Harm Derksen and Jerzy Weyman, On the canonical decomposition of quiver representations, Compositio Math. 133 (2002), no. 3, 245-265. [ Links ]
[FZ1] Fomin S., Zelevinsky A. Cluster Algebras I: Foundations, J. Amer. Math. Soc. 15, no. 2, 497-529 (2002) [ Links ]
[FZ2] Fomin S., Zelevinsky A. Cluster Algebras II: Finite type classification. Invent. Math. 154 (2003), no. 1, 63-121. [ Links ]
[FZ3] Fomin S., Zelevinsky A. Cluster Algebras III: Upper bounds and double Bruhat cells. Duke Math J. 126 (2005), No. 1, 1-52. [ Links ]
[IO] Kiyoshi Igusa and Kent E. Orr, Links, pictures and the homology of nilpotent groups, Topology 40 (2001), no. 6, 1125-1166. [ Links ]
[K] V. G. Kac, Infinite root systems, representations of graphs and invariant theory, Invent. Math. 56 (1980), no. 1, 57-92. [ Links ]
[Ko] Kostant, Bertram, Lie algebra cohomology and the generalized Borel-Weil theorem, Ann. of Math. (2), 74,(1961), 329-387. [ Links ]
[Kel] Keller B. On triangulated orbit categories, preprint, math.RT/0503240, (2005) [ Links ]
[Ker] Kerner O. ??? [ Links ]
[MRZ] Marsh R., Reineke M., Zelevinsky A. Generalized associahedra via quiver representations, Trans. Amer. Math. Soc. 355, no.10,4171-4186 (2003). [ Links ]
[N54] Nomizu, Katsumi . On the cohomology of compact homogeneous spaces of nilpotent Lie groups, Ann. of Math. (2) 59 (1954), 531-538. [ Links ]
[RT] Reiten I., Todorov G. Unpublished [ Links ]
[S] Aidan Schofield, Semi-invariants of quivers, J. London Math. Soc. (2) 43 (1991), no. 3, 385-395. [ Links ]
Gordana Todorov
Northeastern University
Department of Mathematics
360 Huntington Avenue
Boston, MA 02115, USA
todorov@neu.edu
Recibido: 1 de marzo de 2007
Aceptado: 27 de noviembre de 2007