1.1-18 \[\]
‣ IsStrongExceptionalCollection ( object ) | ( filter ) |
Returns: true or false
The GAP category of exceptional collections.
‣ CreateStrongExceptionalCollection ( full, vertices_labels, vertices_labels_latex, cache ) | ( operation ) |
Returns: IsStrongExceptionalCollection
#TODO If the input is full subcategory A in some category C
, generated by finite number of objects A!.Objects, then the output is the strong exceptional collection defined by these objects. If the input is a list of objects L of objects in some category C
, then the output is CreateStrongExceptionalCollection( A ), where A := FullSubcategoryGeneratedByListOfObjects(C,L).
‣ StrongExceptionalCollection ( A ) | ( attribute ) |
Returns: IsStrongExceptionalCollection
If the input is full subcategory A in some category C
, generated by finite number of objects A!.Objects, then the output is the strong exceptional collection defined by these objects returned as an attribute for A.
‣ FullSubcategory ( E ) | ( attribute ) |
Returns the full subcategory that is generated by the elements of the strong exceptional collection E.
‣ AmbientCategory ( E ) | ( attribute ) |
Returns the ambient category of FullSubcategory
(E).
‣ EndomorphismAlgebraAttr ( E ) | ( attribute ) |
Returns: a quiver algebra
Returns the endomorphism quiver algebra of the exceptional collection E.
‣ EndomorphismAlgebra ( E ) | ( operation ) |
Returns: a quiver algebra
delegates to EndomorphismAlgebraAttr
(E).
‣ DefiningStrongExceptionalCollection ( A ) | ( attribute ) |
Returns: an exceptional collection
Returns the exceptional collection that defines the quiver algebra A.
‣ Algebroid ( E ) | ( attribute ) |
Returns: an algebroid
Returns the algebroid defined by the endomorphism quiver algebra of the exceptional collection E.
‣ QuiverRows ( E ) | ( attribute ) |
Returns: a category
Returns the category of quiver rows over the endomorphism algebra of E.
‣ TiltingObject ( E ) | ( attribute ) |
Returns: an object
Returns the direct sum of the objects of the exceptional collection E.
‣ NumberOfObjects ( E ) | ( attribute ) |
Returns: IsInt
Returns the number of objects of the exceptional collection E.
‣ UnderlyingObjects ( E ) | ( attribute ) |
Returns: IsList
Returns a list of the objects of the exceptional collection E.
‣ AdditiveClosure ( E ) | ( attribute ) |
Returns: an additive category
Returns the additive closure of the FullSubcategory
(E).
‣ CategoryOfQuiverRepresentationsOverOppositeAlgebra ( E ) | ( attribute ) |
Returns: an abelian category
Returns the category of right quiver representations over the opposite algebra of the endomorphism algebra of the collection.
‣ HomotopyCategory ( E ) | ( operation ) |
Returns: a category
Returns the homotopy category of the additive closure of FullSubcategory
(E).
‣ AdditiveClosureAsFullSubcategory ( E ) | ( attribute ) |
Returns: an additive category
Returns the additive closure of the FullSubcategory
(E) as an additive full subcategory in AmbientCategory
(E).
1.1-18 \[\]
‣ \[\] ( E, i ) | ( operation ) |
Returns: an object
Returns the i'th object in E.
‣ PathsOfLengthGreaterThanOne ( E, i, j ) | ( operation ) |
Returns: IsList
Returns a generating set for the vector space of morphisms from E_i to E_j that can be factored along at least one object E_l in E with i+1\leq l\leq j-1.
‣ PathsOfLengthOne ( E, i, j ) | ( operation ) |
Returns: IsList
Returns a basis for a complementing vector space in Hom(E_i,E_j) to the vector space generated by PathsOfLengthGreaterThanOne
(E,i,j).
‣ Arrows ( E, i, j ) | ( operation ) |
Returns: IsList
Delegates to PathsOfLengthOne
(E,[i,j]).
‣ AllPaths ( E, i, j ) | ( operation ) |
Returns: IsList
It returns the union of PathsOfLengthOne
and PathsOfLengthGreaterThanOne
applied on the same arguments. In other words it returns a generating set for the vector space Hom(E_i,E_j).
‣ BasisOfPaths ( E, i, j ) | ( operation ) |
Returns: IsList
It returns a basis for Hom(E_i,E_j) which cosists only from paths.
‣ LabelsForPathsOfLengthOne ( E, i, j ) | ( operation ) |
Returns: IsList
It returns labels for PathsOfLengthOne
(E,i,j). A label for path of length one gives information about the source, target and position of the path.
‣ LabelsForPathsOfLengthGreaterThanOne ( E, i, j ) | ( operation ) |
Returns: a list of lists
It returns labels for PathsOfLengthGreaterThanOne
(E,i,j) A label for a path of length greater than one gives information about the labels of the arrows whose composition is the path.
‣ LabelsForAllPaths ( E, i, j ) | ( operation ) |
Returns: a list of lists
It returns labels for AllPaths
(E,i,j).
‣ LabelsForBasisOfPaths ( E, i, j ) | ( operation ) |
Returns: a list of lists
It returns labels for BasisOfPaths
(E,i,j).
‣ InterpretListOfMorphismsAsOneMorphismInRangeCategoryOfHomomorphismStructure ( A, B, L ) | ( operation ) |
Returns: a morphism in range category of homomorphism structure
The arguments are two objects A, B and a list of morphisms L:=(f_i:A\to B) for i=1,\dots,n that live in a category equipped with homomorphism structure (1,H(-,-),\nu). The output is the morphism \langle \nu(f_1),\nu(f_2),\dots,\nu(f_n)\rangle:\oplus_{i=1}^n 1 \to H(A,B).
‣ RandomQuiverAlgebraWhoseIndecProjectiveRepsAreStrongExceptionalCollection ( F, m, n, r ) | ( function ) |
Returns: a quiver path algebra
The arguments are a field F and three non-negative integers m, n and r It returns a quiver algebra with m vertices, n arrows and at most r relations; and whose indecomposable projective or injective objects define an exceptional collection.
‣ RelationsBetweenMorphisms ( L ) | ( function ) |
Returns: a list of ring elements
The argument is a list of morphism L in some k-linear category equipped with homomorphism structure. The output is the relations between the morphisms.
‣ FullSubcategoryGeneratedByProjectiveObjects ( cat ) | ( attribute ) |
Returns: a full subcategory
The argument is an abelian category C with enouph projectives. The output the full subcategory generated by projective objects in C.
‣ FullSubcategoryGeneratedByInjectiveObjects ( cat ) | ( attribute ) |
Returns: a full subcategory
The argument is an abelian category C with enouph injectives. The output the full subcategory generated by injective objects in C.
‣ FullSubcategoryGeneratedByIndecProjectiveObjects ( cat ) | ( attribute ) |
Returns: a full subcategory
The argument is a category of quiver representations over some finite dimensional quiver algebra or a category of functors into a matrix category of some homalg field. The output the full subcategory generated by the indecomposable projective objects.
‣ FullSubcategoryGeneratedByIndecInjectiveObjects ( cat ) | ( attribute ) |
Returns: a full subcategory
The argument is a category of quiver representations over some finite dimensional quiver algebra or a category of functors into a matrix category of some homalg field. The output the full subcategory generated by the indecomposable injectives objects.
‣ AdditiveClosureAsFullSubcategory ( full ) | ( attribute ) |
Returns: an additive full subcategory
The argument is a non-additive full subcategory full whose ambient category C is additive. The output is an additive full subcategory of C generated by all direct sums of objects in full.
generated by GAPDoc2HTML