|
|
|
|
Quelle chap13.html
Sprache: HTML
|
|
| products/Sources/formale Sprachen/GAP/pkg/qpa/doc/chap13.html |
 |
<?xml version=" 1. 0" encoding="UTF- 8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1. 0 Strict//EN"
" http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns=" http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (QPA) - Chapter 13: Degeneration order for modules in finite type</title>
<meta http-equiv="content-type" content="text/html; charset=UTF- 8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap13" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap12.html">[Previous Chapter]</a> <a href="chapBib.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap13_mj.html">[MathJax on]</a></p>
<p><a id="X82CC1A63854C04F1" name="X82CC1A63854C04F1"></a></p>
<div class="ChapSects"><a href="chap13.html#X82CC1A63854C04F1">13 <span class="Heading">Degeneration order for modules in finite type</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13.html#X7DFB63A97E67C0A1">13.1 <span class="Heading">Introduction</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13.html#X78ED07E37FC2BD46">13.2 <span class="Heading">Basic definitions</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13.html#X7B3AC0B87DF8A219">13.3 <span class="Heading">Defining Auslander-Reiten quiver in finite type</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X841AD2EF7FD636B9">13.3-1 ARQuiverNumerical</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7CFA7C7D861B2D4E">13.3-2 IsARQuiverNumerical</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X861D4F9E8238AA6E">13.3-3 NumberOfIndecomposables</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X80BCA6AE80665A4B">13.3-4 NumberOfProjectives</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13.html#X7D5967788791362B">13.4 <span class="Heading">Elementary operations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7C89E06784FB86C4">13.4-1 DimensionVector</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X869602A97DFBCA30">13.4-2 DimHom</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X8017F302837B903A">13.4-3 DimEnd</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X835E686B7BDF5A09">13.4-4 OrbitDim</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X782CF3C47A7DDFC0">13.4-5 OrbitCodim</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X85D9166A85499D99">13.4-6 DegOrderLEQ</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X790BD2D9813320B6">13.4-7 DegOrderLEQNC</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X877D07357EEA1418">13.4-8 PrintMultiplicityVector</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X83C7434A7AC586CE">13.4-9 PrintMultiplicityVectors</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13.html#X7B0F730F82B4FACA">13.5 <span class="Heading">Operations returning families of modules</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7DE8B7ED854B4EA1">13.5-1 ModulesOfDimVect</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X871CF6EE8579FEC8">13.5-2 DegOrderPredecessors</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7EBEA7DA85E645EB">13.5-3 DegOrderDirectPredecessors</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X84930921811486F3">13.5-4 DegOrderPredecessorsWithDirect</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7DB3AC3685859104">13.5-5 DegOrderSuccessors</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7C477F4E81CA6791">13.5-6 DegOrderDirectSuccessors</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13.html#X7EA7BB8986E8FAF3">13.5-7 DegOrderSuccessorsWithDirect</a></span>
</div></div>
</div>
<h3>13 <span class="Heading">Degeneration order for modules in finite type</span></h3>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<h4>13.1 <span class="Heading">Introduction</span></h4>
<p>This is an implementation of several tools for computing degeneration order for modules over algebras of finite type. It can be treated as a "subpackage" of QPA and used separately since the functions do not use any of QPA routines so far.<br /> This subpackage has a little bit different philosophy than QPA in general. Namely, the "starting point" is not an algebra A defined by a Gabriel quiver with relations but an Auslander-Reiten (A-R) quiver of the category mod A, defined by numerical data (see <code class="func">ARQuiverNumerical</code> (<a href="chap13.html#X841AD2EF7FD636B9"><span class="RefLink">13.3-1</span></a>)). All the indecomposables (actually their isoclasses) have unique natural numbers established at the beginning, by invoking <code class="func">ARQuiverNumerical</code> (<a href="chap13.html#X841AD2EF7FD636B9"><span class="RefLink">13.3-1</span></a>). This function should be used before all further computations. An arbitrary module M is identified by its multiplicity vector (the sequence of multiplicities of all the indecomposables appearing in a direct sum decomposition of M). <br /> Here we always assume that A is an algebra of finite representation type. Note that in this case deg-order coincide with Hom-order, and this fact is used in the algorithms of this subpackage. The main goal of this subpackage is to give tools for testing a deg-order relation between two A-modules and determining (direct) deg-order predecessors and successors (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a> for basic definitions from this theory). As a side effect one can also obtain the dimensions of Hom-spaces between arbitrary modules (and in particular the dimension vectors of indecomposable modules).</p>
<p><a id="X78ED07E37FC2BD46" name="X78ED07E37FC2BD46"></a></p>
<h4>13.2 <span class="Heading">Basic definitions</span></h4>
<p>Here we briefly recall the basic notions we use in all the functions from this chapter.</p>
<p>Let A be an algebra. We say that for two A-modules M and N of the same dimension vector d, M degenerates to N (N is a degeneration of M) iff N belongs to a Zariski closure of the orbit of M in a variety <span class="Math">mod_A(d)</span> of A-modules of dimension vector d. If it is the case, we write <span class="Math">M <= N</span>. It is well known that</p>
<p>(1) The relation <span class="Math"><=</span> is a partial order on the set of isomorphism classes of A-modules of dimension vector d.<br /> <br /> (2) If A is an algebra of finite representation type, <span class="Math"><=</span> coincides with so-called Hom-order <span class="Math"><=_{Hom}</span>, defined as follows: <span class="Math">M <=_{Hom} N</span> iff <span class="Math">[X,M] <= [X,N]</span> for all indecomposable A-modules X, where by <span class="Math">[Y,Z]</span> we denote always the dimension of a Hom-space between Y and Z.</p>
<p>Further, if <span class="Math">M < N</span> (i.e. <span class="Math">M <= N</span> and M is not isomorphic to N), we say that M is a deg-order predecessor of N (resp. N is a deg-order successor of M). Moreover, we say that M is a direct deg-order predecessor of N if <span class="Math">M < N</span> and there is no M' such that <span class="Math">M < M' < N</span> (similarly for successors).</p>
<p><a id="X7B3AC0B87DF8A219" name="X7B3AC0B87DF8A219"></a></p>
<h4>13.3 <span class="Heading">Defining Auslander-Reiten quiver in finite type</span></h4>
<p><a id="X841AD2EF7FD636B9" name="X841AD2EF7FD636B9"></a></p>
<h5>13.3-1 ARQuiverNumerical</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ARQuiverNumerical</code>( <var class="Arg">ind</var>, <var class="Arg">proj</var>, <var class="Arg">list</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ARQuiverNumerical</code>( <var class="Arg">name</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ARQuiverNumerical</code>( <var class="Arg">name</var>, <var class="Arg">param1</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ARQuiverNumerical</code>( <var class="Arg">name</var>, <var class="Arg">param1</var>, <var class="Arg">param2</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Arguments: <var class="Arg">ind</var> - number of indecomposable modules in our category;<br /> <var class="Arg">proj</var> - number of indecomposable projective modules in our category;<br /> <var class="Arg">list</var> - list of lists containing description of meshes in A-R quiver defined as follows:<br /> <var class="Arg">list</var>[i] = description of mesh ending in vertex (indec. mod.) number i having the shape [a1,...,an,t] where<br /> a1,...,an = numbers of direct predecessors of i in A-R quiver;<br /> t = number of tau(i), or 0 if tau i does not exist (iff i is projective).<br /> In particular if i is projective <var class="Arg">list</var>[i]=[a1,...,an,0] where a1,...,an are indec. summands of rad(i).</p>
<p>OR:<br /> <var class="Arg">list</var> second version - if the first element of <var class="Arg">list</var> is a string "orbits" then the remaining elements should provide an alternative (shorter than above) description of A-R quiver as follows. <br /> <var class="Arg">list</var>[2] is a list of descriptions of orbits identified by chosen representatives. We assume that in case an orbit is non-periodic, then a projective module is its representative. Each element of list <var class="Arg">list</var>[2] is a description of i-th orbit and has the shape:<br /> <code class="code">[l, [i1,t1], ... , [is,ts]]</code> where<br /> l = length of orbit - 1<br /> <code class="code">[i1,t1], ... , [is,ts]</code> all the direct predecessors of a representative of this orbit, of the shape tau^{-t1}(i1), and i1 denotes the representative of orbit no. i1, and so on.<br /> We assume first p elements of <var class="Arg">list</var>[2] are the orbits of projectives.</p>
<p>REMARK: we ALWAYS assume that indecomposables with numbers 1..<var class="Arg">proj</var> are projectives and the only projectives (further dimension vectors are interpreted according to this order of projectives!).</p>
<p>Alternative arguments:<br /> <var class="Arg">name</var> = string with the name of predefined A-R quiver;<br /> <var class="Arg">param1</var> = (optional) parameter for <var class="Arg">name</var>;<br /> <var class="Arg">param2</var> = (optional) second parameter for <var class="Arg">name</var>.<br /> <br /> Call ARQuiverNumerical("what") to get a description of all the names and parameters for currently available predefined A-R quivers.</p>
<p>Returns: an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>).</p>
<p>This function "initializes" Auslander-Reiten quiver and performs all necessary preliminary computations concerning mainly determining the matrix of dimensions of all Hom-spaces between indecomposables.</p>
<p>Examples.<br /> Below we define an A-R quiver of a path algebra of the Dynkin quiver D4 with subspace orientation of arrows.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical(12, 4, [ [0],[1,0],[1,0],[1,0],[2,3,4,1],[5,2],[5,3],[5,4],[6,7,8,5],[9,6],[9,7],[9,8] ]);</span>
<ARQuiverNumerical with 12 indecomposables and 4 projectives>
</pre></div>
<p>The same A-R quiver (with possibly little bit different enumeration of indecomposables) can be obtained by invoking:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">b := ARQuiverNumerical(12, 4, ["orbits", [ [2], [2,[1,0]], [2,[1,0]], [2,[1,0]] ] ]);</span>
<ARQuiverNumerical with 12 indecomposables and 4 projectives>
</pre></div>
<p>This A-R quiver can be also obtained by:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical("D4 subspace");</span>
<ARQuiverNumerical with 12 indecomposables and 4 projectives>
</pre></div>
<p>since this is one of the predefined A-R quivers. <br /> Another example of predefined A-R quiver: for an algebra from Bongartz-Gabriel list of maximal finite type algebras with two simple modules. This is an algebra with number 5 on this list.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical("BG", 5);</span>
<ARQuiverNumerical with 72 indecomposables and 2 projectives>
</pre></div>
<p><a id="X7CFA7C7D861B2D4E" name="X7CFA7C7D861B2D4E"></a></p>
<h5>13.3-2 IsARQuiverNumerical</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; IsARQuiverNumerical</code></td><td class="tdright">( category )</td></tr></table></div>
<p>Objects from this category represent Auslander-Reiten (finite) quivers and additionally contain all data necessary for further computations (as components accessed as usual by !.name-of-component):<br /> ARdesc = numerical description of AR quiver (as <var class="Arg">list</var> in <code class="func">ARQuiverNumerical</code> (<a href="chap13.html#X841AD2EF7FD636B9"><span class="RefLink">13.3-1</span></a>)),<br /> DimHomMat = matrix [dim Hom (i,j)] (=> rows 1..p contain dim. vectors of all indecomposables),<br /> Simples = list of numbers of simple modules.</p>
<p><a id="X861D4F9E8238AA6E" name="X861D4F9E8238AA6E"></a></p>
<h5>13.3-3 NumberOfIndecomposables</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; NumberOfIndecomposables</code>( <var class="Arg">AR</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Argument: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>).<br /></p>
<p>Returns: the number of indecomposable modules in <var class="Arg">AR</var>.</p>
<p><a id="X80BCA6AE80665A4B" name="X80BCA6AE80665A4B"></a></p>
<h5>13.3-4 NumberOfProjectives</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; NumberOfProjectives</code>( <var class="Arg">AR</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Argument: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>).<br /></p>
<p>Returns: the number of indecomposable projective modules in <var class="Arg">AR</var>.</p>
<p><a id="X7D5967788791362B" name="X7D5967788791362B"></a></p>
<h4>13.4 <span class="Heading">Elementary operations</span></h4>
<p><a id="X7C89E06784FB86C4" name="X7C89E06784FB86C4"></a></p>
<h5>13.4-1 DimensionVector</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DimensionVector</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of an indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).</p>
<p>Returns: a dimension vector of a module <var class="Arg">M</var> in the form of a list. The order of dimensions in this list corresponds to an order of projectives defined in <var class="Arg">AR</var> (cf. <code class="func">ARQuiverNumerical</code> (<a href="chap13.html#X841AD2EF7FD636B9"><span class="RefLink">13.3-1</span></a>)).</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical("D4 subspace");</span>
<ARQuiverNumerical with 12 indecomposables and 4 projectives>
<span class="GAPprompt">gap></span> <span class="GAPinput">DimensionVector(a, 7);</span>
[ 1, 1, 0, 1 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">DimensionVector(a, [0,1,0,0,0,0,2,0,0,0,0,0]);</span>
[ 3, 3, 0, 2 ]
</pre></div>
<p><a id="X869602A97DFBCA30" name="X869602A97DFBCA30"></a></p>
<h5>13.4-2 DimHom</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DimHom</code>( <var class="Arg">AR</var>, <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector;<br /> <var class="Arg">N</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: the dimension of the homomorphism space between modules <var class="Arg">M</var> and <var class="Arg">N</var>.</p>
<p><a id="X8017F302837B903A" name="X8017F302837B903A"></a></p>
<h5>13.4-3 DimEnd</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DimEnd</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: the dimension of the endomorphism algebra of a module <var class="Arg">M</var>.</p>
<p><a id="X835E686B7BDF5A09" name="X835E686B7BDF5A09"></a></p>
<h5>13.4-4 OrbitDim</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; OrbitDim</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: the dimension of the orbit of module <var class="Arg">M</var> (in the variety of representations of quiver with relations).</p>
<p>OrbitDim(<var class="Arg">M</var>) = d_1^2+...+d_p^2 - dim End(<var class="Arg">M</var>), where (d_i)_i = DimensionVector(<var class="Arg">M</var>).</p>
<p><a id="X782CF3C47A7DDFC0" name="X782CF3C47A7DDFC0"></a></p>
<h5>13.4-5 OrbitCodim</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; OrbitCodim</code>( <var class="Arg">AR</var>, <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector;<br /> <var class="Arg">N</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: the codimension of orbits of modules <var class="Arg">M</var> and <var class="Arg">N</var> (= dim End(<var class="Arg">N</var>) - dim End(<var class="Arg">M</var>)). [explain more???]</p>
<p>NOTE: The function does not check if it makes sense, i.e. if <var class="Arg">M</var> and <var class="Arg">N</var> are in the same variety ( = dimension vectors coincide)!</p>
<p><a id="X85D9166A85499D99" name="X85D9166A85499D99"></a></p>
<h5>13.4-6 DegOrderLEQ</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderLEQ</code>( <var class="Arg">AR</var>, <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector;<br /> <var class="Arg">N</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: true if <var class="Arg">M</var><span class="Math"><=</span><var class="Arg">N</var> in a degeneration order i.e. if <var class="Arg">N</var> is a degeneration of <var class="Arg">M</var> (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>), and false otherwise.</p>
<p>NOTE: Function checks if it makes sense, i.e. if <var class="Arg">M</var> and <var class="Arg">N</var> are in the same variety ( = dimension vectors coincide). If not, it returns false and additionally prints warning.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical("R nilp");</span>
<ARQuiverNumerical with 7 indecomposables and 2 projectives>
<span class="GAPprompt">gap></span> <span class="GAPinput">DimensionVector(a, 2); DimensionVector(a, 3);</span>
[ 2, 1 ]
[ 2, 1 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">DegOrderLEQ(a, 2, 3);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">DegOrderLEQ(a, 3, 2);</span>
false
</pre></div>
<p><a id="X790BD2D9813320B6" name="X790BD2D9813320B6"></a></p>
<h5>13.4-7 DegOrderLEQNC</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderLEQNC</code>( <var class="Arg">AR</var>, <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector;<br /> <var class="Arg">N</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: true if <var class="Arg">M</var><span class="Math"><=</span><var class="Arg">N</var> in a degeneration order i.e. if <var class="Arg">N</var> is a degeneration of <var class="Arg">M</var> (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>), and false otherwise.</p>
<p>NOTE: Function does Not Check ("NC") if it makes sense, i.e. if <var class="Arg">M</var> and <var class="Arg">N</var> are in the same variety ( = dimension vectors coincide). If not, the result doesn't make sense!<br /> It is useful when one wants to speed up computations (does not need to check the dimension vectors).</p>
<p><a id="X877D07357EEA1418" name="X877D07357EEA1418"></a></p>
<h5>13.4-8 PrintMultiplicityVector</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; PrintMultiplicityVector</code>( <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">M</var> - a list = multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>This function prints the multiplicity vector <var class="Arg">M</var> in a more "readable" way (especially useful if <var class="Arg">M</var> is long and sparse). It prints a "sum" of non-zero multiplicities in the form "multiplicity * (number-of-indecomposable)".</p>
<p><a id="X83C7434A7AC586CE" name="X83C7434A7AC586CE"></a></p>
<h5>13.4-9 PrintMultiplicityVectors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; PrintMultiplicityVectors</code>( <var class="Arg">list</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">list</var> - a list of multiplicity vectors (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>This function prints all the multiplicity vectors from the <var class="Arg">list</var> in a more "readable" way, as <code class="func">PrintMultiplicityVector</code> (<a href="chap13.html#X877D07357EEA1418"><span class="RefLink">13.4-8</span></a>).</p>
<p><a id="X7B0F730F82B4FACA" name="X7B0F730F82B4FACA"></a></p>
<h4>13.5 <span class="Heading">Operations returning families of modules</span></h4>
<p>The functions from this section use quite advanced algorithms on (potentially) big amount of data, so their runtimes can be long for "big" A-R quivers!</p>
<p><a id="X7DE8B7ED854B4EA1" name="X7DE8B7ED854B4EA1"></a></p>
<h5>13.5-1 ModulesOfDimVect</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ModulesOfDimVect</code>( <var class="Arg">AR</var>, <var class="Arg">which</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">which</var> - a number of an indecomposable module in <var class="Arg">AR</var> or a dimension vector (see <code class="func">DimensionVector</code> (<a href="chap13.html#X7C89E06784FB86C4"><span class="RefLink">13.4-1</span></a>)).</p>
<p>Returns: a list of all modules (= multiplicity vectors, see <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>) with dimension vector equal to <var class="Arg">which</var>.</p>
<p><a id="X871CF6EE8579FEC8" name="X871CF6EE8579FEC8"></a></p>
<h5>13.5-2 DegOrderPredecessors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderPredecessors</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a list of all modules (= multiplicity vectors) which are the predecessors of module <var class="Arg">M</var> in a degeneration order (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>).</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">a := ARQuiverNumerical("BG", 5);</span>
<ARQuiverNumerical with 72 indecomposables and 2 projectives>
<span class="GAPprompt">gap></span> <span class="GAPinput">preds := DegOrderPredecessors(a, 60);; Length(preds);</span>
18
<span class="GAPprompt">gap></span> <span class="GAPinput">DegOrderLEQ(a, preds[7], 60);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">dpreds := DegOrderDirectPredecessors(a, 60);; Length(dpreds);</span>
5
<span class="GAPprompt">gap></span> <span class="GAPinput">PrintMultiplicityVectors(dpreds);</span>
1*(14) + 1*(64)
1*(10) + 1*(71)
1*(9) + 1*(67)
1*(5) + 1*(17) + 1*(72)
1*(1) + 1*(5) + 1*(20)
</pre></div>
<p><a id="X7EBEA7DA85E645EB" name="X7EBEA7DA85E645EB"></a></p>
<h5>13.5-3 DegOrderDirectPredecessors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderDirectPredecessors</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a list of all modules (= multiplicity vectors) which are the direct predecessors of module <var class="Arg">M</var> in a degeneration order (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>).</p>
<p><a id="X84930921811486F3" name="X84930921811486F3"></a></p>
<h5>13.5-4 DegOrderPredecessorsWithDirect</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderPredecessorsWithDirect</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a pair (2-element list) [<var class="Arg">p</var>, <var class="Arg">dp</var>] where<br /> <var class="Arg">p</var> = the same as a result of <code class="func">DegOrderPredecessors</code> (<a href="chap13.html#X871CF6EE8579FEC8"><span class="RefLink">13.5-2</span></a>);<br /> <var class="Arg">dp</var> = the same as a result of <code class="func">DegOrderDirectPredecessors</code> (<a href="chap13.html#X7EBEA7DA85E645EB"><span class="RefLink">13.5-3</span></a>);<br /></p>
<p>The function generates predecessors only once, so the runtime is exactly the same as DegOrderDirectPredecessors.</p>
<p><a id="X7DB3AC3685859104" name="X7DB3AC3685859104"></a></p>
<h5>13.5-5 DegOrderSuccessors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderSuccessors</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a list of all modules (= multiplicity vectors) which are the successors of module <var class="Arg">M</var> in a degeneration order (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>).</p>
<p><a id="X7C477F4E81CA6791" name="X7C477F4E81CA6791"></a></p>
<h5>13.5-6 DegOrderDirectSuccessors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderDirectSuccessors</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a list of all modules (= multiplicity vectors) which are the direct successors of module <var class="Arg">M</var> in a degeneration order (see <a href="chap13.html#X78ED07E37FC2BD46"><span class="RefLink">13.2</span></a>).</p>
<p><a id="X7EA7BB8986E8FAF3" name="X7EA7BB8986E8FAF3"></a></p>
<h5>13.5-7 DegOrderSuccessorsWithDirect</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; DegOrderSuccessorsWithDirect</code>( <var class="Arg">AR</var>, <var class="Arg">M</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Arguments: <var class="Arg">AR</var> - an object from the category <code class="func">IsARQuiverNumerical</code> (<a href="chap13.html#X7CFA7C7D861B2D4E"><span class="RefLink">13.3-2</span></a>);<br /> <var class="Arg">M</var> - a number of indecomposable module in <var class="Arg">AR</var> or a multiplicity vector (cf. <a href="chap13.html#X7DFB63A97E67C0A1"><span class="RefLink">13.1</span></a>).<br /></p>
<p>Returns: a pair (2-element list) [<var class="Arg">s</var>, <var class="Arg">ds</var>] where<br /> <var class="Arg">s</var> = the same as a result of <code class="func">DegOrderSuccessors</code> (<a href="chap13.html#X7DB3AC3685859104"><span class="RefLink">13.5-5</span></a>);<br /> <var class="Arg">ds</var> = the same as a result of <code class="func">DegOrderDirectSuccessors</code> (<a href="chap13.html#X7C477F4E81CA6791"><span class="RefLink">13.5-6</span></a>);<br /></p>
<p>The function generates successors only once, so the runtime is exactly the same as DegOrderDirectSuccessors.</p> | | |