
TL;DR
This paper explores how Fano lattice polygons generate balanced quivers with special properties, linking their combinatorics to surface singularities and algebraic hypersurfaces, and introduces generalized mutations preserving these structures.
Contribution
It introduces a new class of balanced quivers derived from Fano polygons, connecting combinatorics, algebraic geometry, and mutations, with extensions to higher dimensions.
Findings
Fano polygons define balanced quivers with specific properties.
These quivers relate to singularities of toric Fano surfaces.
A family of algebraic hypersurfaces is associated with each Fano polygon.
Abstract
We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Advanced Combinatorial Mathematics · Polynomial and algebraic computation
††footnotetext: 2010 Mathematics Subject Classification: 14J45 (Primary); 52B20, 14J33 (Secondary).
Polygonal Quivers
Mohammad E. Akhtar
Abstract.
We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.
1. Opening Remarks
1.1. Overview
Fano polytopes and their combinatorial mutations occupy a central position in the recent programme [7, 8] to classify Fano varieties using mirror symmetry. In the case of surfaces, there is expected to be a one-to-one correspondence [2, Conjecture A] between mutation classes of Fano polygons and -Gorenstein deformation classes of Fano orbifolds.
This discussion is about quivers arising from Fano polygons. In Section 2 we define the class of polygonal quivers. Our definition brings together, and extends, earlier proposals appearing in theoretical physics [9, 13] and classification theory [14]. The polygonal quivers of and are shown in Figure 1.
Notice that our quivers are decorated: each vertex is labelled by a pair . They also contain no self-loops or -cycles (Example 2.4). In Section 3, we establish the balancing condition for polygonal quivers (Proposition 3.1). A special case of this is already known for reflexive polygons: the number of arrows into a given vertex is equal to the number of arrows out of that vertex. We extend this to all Fano polygons, by considering arrows weighted by vertex labels. This has a natural interpretation in terms of diameters of Fano polygons.
Section 4 is about mutations: we extend classical quiver mutation [17, 10] to balanced quivers (decorated quivers which satisfy the balancing condition). The class of balanced quivers is closed under this extended mutation (Proposition 4.4), but a polygonal quiver may mutate to something non-polygonal (Example 4.5). We characterize precisely when this happens (Proposition 4.6) by relating our extended quiver mutations to combinatorial mutations of Fano polygons [3]. From this perspective, the failure to remain polygonal is measured by the number of vertices corresponding to residual singularities, introduced in [4]. We discuss mutation invariants coming from the arrows and vertex labels of our quivers (Propositions 4.11 and 4.12) and observe a group structure on mutations (Proposition 6.9).
Section 5 adopts a more geometric viewpoint: every Fano polygon defines a toric Fano surface. We compute the anticanonical degree of this surface in terms of polygonal quivers. Combining this with the Noether-type formula given in [4, Proposition 3.3] we obtain the quiver degree formula (5.5), relating the singularities of a toric Fano surface to the combinatorics of its polygonal quiver. This allows us to establish non-existence results (Example 7.6) and show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces (Proposition 6.12). This generalizes earlier results [12, 5] relating Fano triangles to solutions of Markov-type Diophantine equations.
In Section 8 we characterize balanced quivers arising from Fano polygons (Theorem 8.9). The case of triangles is simpler, and is treated separately (Proposition 8.2). We use the notion of expected volume (8.6) arising in the triangle setting to demonstrate families of non-polygonal quivers (Example 8.7). The paper concludes with a view towards higher dimensions.
Remark 1.1**.**
Unless otherwise stated, we will only consider quivers with finitely many vertices and finitely many arrows between any pair of vertices. This condition is automatically satisfied for polygonal and block-polygonal quivers (Definitions 2.1 and 6.4). It allows us to avoid convergence issues, for instance in the definition of balanced quivers appearing in Section 4. A number of definitions and results, particularly those in Section 4, would remain valid (with essentially the same proofs) if finiteness of vertices was replaced with the condition that the set
1.2. Background and Notation
Let be a lattice of rank . A -dimensional lattice polytope which contains the origin in its strict interior is called a Fano polygon [15] if every vertex of is primitive: . The spanning fan of a Fano polygon is the following complete fan in :
[TABLE]
If is a -dimensional strictly convex, rational polyhedral cone with primitive generators then the inner normal vector of is the unique primitive vector which defines the hyperplane containing both and satisfies . The integer is the local index of and is called the width of . Consider the following division, which depends only on :
[TABLE]
Set if and otherwise. Then, by [4, Proposition 2.3], admits a standard refinement with maximal subcones. This is obtained by drawing rays through primitive lattice points lying in the strict interior of the line segment . The elements of , the multiset of maximal subcones in this refinement, are precisely *primitive *-cones, defined by () and residual (-)cones, defined by () (). The primitive -cones are always isomorphic to one another, by [4, Proposition 2.3]. A standard refinement of is not unique in general, but the multiset depends only on . The width and local index of these maximal subcones is determined by the equation (1.1) and also depends only on . A standard refinement of is a choice of standard refinement for every maximal cone . By construction, the maximal cones of a standard refinement are either primitive -cones or -cones. The polygonal quiver of a Fano polygon will be constructed from a standard refinement of its spanning fan.
2. Polygonal Quivers
The set of Fano polygons consists of pairs , where is an oriented lattice of rank and is a Fano polygon.
Definition 2.1**.**
Given , choose a standard refinement of as in Section 1.2. The vertex set of is the multiset of inner normal vectors of maximal cones in :
[TABLE]
The number of arrows between and is , the coefficient of , pointing from to if the determinant is positive and from to otherwise. Each is decorated by .
Any decorated quiver lying in the image of quiv is called a polygonal quiver.
Definition 2.1 is independent of the choice of standard refinement : the set underlying (2.1) is equal to the set of inner normal vectors of maximal cones in ; a vector in this set is the inner normal vector of some maximal cone , and its multiplicity in (2.1) is equal to the total number of primitive and -cones in a standard subdivision of . The vertex labels are independent of because, as observed in Section 1.2, they are completely determined by equations of the form (1.1), which depend only on the maximal cones .
Example 2.2**.**
Let with the standard orientation. Consider the Fano polygon with vertex set , , , , whose spanning fan defines as a toric variety. The maximal cones of are all smooth and (by convention) are taken to be primitive -cones with . Thus the standard refinement coincides with . The inner normal vectors of maximal cones in are and ; is shown in Figure 2 (top).
Next, consider with vertex set , , , which defines . Consider which defines a cyclic quotient singularity [11, Section 2.2]. Following [4, Lemma 2.2], we have and . Division gives , so must be subdivided into primitive -cones via a crepant blow-up through . The -skeleton of the standard refinement consists of rays through , , and , and the inner normal vectors are , , and ; is shown in Figure 2 (bottom).
Both are reflexive polygons; notice that every vertex of satisfies a balancing condition: the number of arrows into is equal to the number of arrows out of .
Example 2.3**.**
The opposite quiver of a polygonal quiver (with the same labels on its vertices) is also polygonal. It arises from the same Fano polygon by reversing the orientation of the ambient lattice.
Example 2.4**.**
A polygonal quiver never contains self loops or -cycles. This is immediate from Definition 2.1: the number of arrows from to itself is , and if then (by definition) there are exactly arrows between these two vertices. Moreover all of these arrows point in the same direction, determined by the sign of the determinant. The incidence matrix of a polygonal quiver is therefore an exchange matrix for a cluster algebra of geometric type.
Example 2.5**.**
The normalized volume of a Fano polygon can be calculated from its polygonal quiver . To see this, observe that:
[TABLE]
where the sum is taken over all maximal cones (with primitive generators ) in a standard refinement of . Here is the normalized volume, defined to take value on an empty -simplex in . Now let be a maximal cone. There exist coprime positive integers such that is isomorphic to the cone in with primitive generators . Thus . Geometrically, defines a cyclic quotient singularity (see for instance [11, Section 2.1]), and it follows from [4, Lemma 2.2] that . Thus, by (2.2):
[TABLE]
where the sum is taken over all vertices of : by Definition 2.1, these are in one-to-one correspondence with maximal cones . In particular, the right hand side of (2.3) can be calculated directly from the polygonal quiver .
Notation 2.6**.**
Let be a quiver with no -cycles, so that all arrows between any pair of vertices of have the same head and tail. Given , let
[TABLE]
where is the number of arrows between and . The quantity equals if all arrows point from to and equals otherwise.
3. Polygonal Quivers are Balanced
The number of arrows between two vertices of a polygonal quiver can be understood in terms of the Fano polygon from which it is constructed. This viewpoint shows that polygonal quivers satisfy a balancing condition at each vertex. In order to correctly formulate this condition, suppose that is constructed from a standard refinement of . Choose a vertex of , at which the balancing condition will be studied. There are two distinguished subsets of vertices of determined by :
[TABLE]
We may also write and if we wish to emphasize the quiver. These sets are disjoint and do not contain by the observations made in Example 2.4. They are also nonempty, because every edge of a Fano polygon has at least one non-parallel edge on either side of it. In terms of the Fano polygon , is the inner normal vector of a maximal cone in . In particular, it determines a height function on , so we may take to be and define similarly. The diameter of is the integer . Note that since contains the origin in its strict interior, we always have and . Therefore is always strictly positive. Recalling that every carries additional data , we have:
Proposition 3.1**.**
In the above notation:
[TABLE]
Proof.
Choose an orientation preserving isomorphism between and such that . The situation is illustrated in Figure 3.
The in Figure 3 are primitive lattice vectors determined by the rays of . Let denote the inner normal vector of , so that , and write for . In this setup, we have and . The first equality follows from the following statement: if then the quantity is equal to - i.e. to the lattice height, with respect to , of above . To see this, suppose and in the chosen basis. Note that by construction. The line segment has width , and hence . Therefore, the quantity is equal to:
[TABLE]
and the right hand side of (3.2) is equal to - , as claimed. The second equality now follows from an almost identical argument to the one just given. ∎
Example 3.2**.**
A Fano polygon is called reflexive [6] if for all maximal cones . The spanning fan of a reflexive polygon admits a unique standard refinement, and the maximal cones of this refinement are all smooth; in particular, their width is equal to . Thus, if is the polygonal quiver of a reflexive polygon, then every vertex of carries the label , and the balancing condition reduces to the statement that the number of arrows into is equal to the number of arrows out of . See Example 2.2.
4. Mutation of Balanced Quivers
A quiver with no self-loops or -cycles is said to be decorated if its vertices carry the additional data of a pair . The underlying quiver of a decorated quiver is obtained by forgetting its vertex labels. A decorated quiver is balanced if every vertex of satisfies the second equality in (3.1). If is a vertex of a balanced quiver, then the diameter of is denoted and is defined by the first equality in (3.1).
Remark 4.1**.**
Every polygonal quiver is balanced by Definition 2.1 and Proposition 3.1. However, for any choice of integer and , the following balanced quiver is not polygonal:
This follows from the observation that every polygonal quiver must have at least three vertices. To produce further examples of non-polygonal balanced quivers, note that every vertex label of a polygonal quiver satisfies some inequalities: , since the width and local index of a cone are positive, and , which follows from the division (1.1). See also Example 8.7 for a family of balanced quivers whose vertex labels satisfy both these inequalities, but which are not polygonal.
Mutation at a vertex [17, 10] is an operation defined on the underlying quiver of any decorated quiver. We begin by extending this operation to balanced quivers, by describing an accompanying transformation of the vertex labels.
Definition 4.2**.**
Let be a balanced quiver. Choose a vertex of with label . The mutation of at is denoted and is the decorated quiver whose underlying quiver is the (usual) mutation of the underlying quiver of at . A vertex of is decorated with the same label as in and the vertex in is decorated with the label .
Example 4.3**.**
The quiver in Figure 2 (bottom) is obtained by mutating the quiver in Figure 2 (top) at the top-left vertex, which has diameter . Notice that the Fano polygon in Figure 2 (bottom) is a combinatorial mutation [3] of the the Fano polygon in Figure 2 (top) with respect to the width vector and a factor of unit length. Thus, in this example, constructing combinatorial mutations commutes with the map quiv. See Proposition 4.6.
Proposition 4.4**.**
If is a balanced quiver then is balanced for any . Thus the class of balanced quivers is closed under mutation.
Proof.
For convenience, set . Then is balanced at by the following three observations: is balanced at , the label of any vertex of is the same as in and mutation of the underlying quiver at merely reverses the arrows incident at . It remains to show that is balanced at every vertex . Note that balancing at is equivalent to the vanishing of the following quantity:
[TABLE]
where the vertex carries the label . Choose a vertex of . If is not connected to in then the arrows incident at will not change under mutation at , and the labels of vertices connected to will also not change. Since is balanced at , it then follows that is balanced at . Suppose now that is connected to in . Then lies in exactly one of the sets , defined in Section 3. Suppose , as the other case is almost identical.
Let be the vertices of different from and , labelled such that for some integer satisfying . Let the label of in be , and the label of in be for . Given vertices we simplify notation by setting and . Then by definition of quiver mutation, the arrows incident at in can be enumerated as follows:
- •
;
- •
, if ;
- •
otherwise.
Substituting these quantities into Equation (4.1), the quantity equals:
[TABLE]
were is the diameter of in Q. This can be rearranged as follows:
[TABLE]
The quantity inside the left bracket equals , and equals zero because is balanced at . The quantity inside the right bracket is zero by the definition of in . Thus, and is balanced at . We conclude that is balanced. ∎
Example 4.5**.**
Let with the standard orientation. The spanning fan of the Fano polygon with vertex set defines as a toric variety, and equals its own standard refinement. The associated polygonal quiver is shown on the left of Figure 4.
The vertex with label has diameter , and mutation at this vertex produces the balanced quiver shown on the right of Figure 4. The mutated quiver is not polygonal, since one of it’s vertices carries the label , which violates the inequality: . Thus, the class of polygonal quivers is not closed under mutation.
In light of Example 4.5, it is natural to ask the extent to which polygonal quivers fail to be closed under mutation. The vertices of a polygonal quiver can be partitioned into two types: primitive -vertices are those which are inner normal vectors to primitive -cones; they are those vertices of whose label satisfies . -vertices are inner normals to -cones and their labels satisfy .
Proposition 4.6**.**
Let be a vertex of the polygonal quiver . The quiver is polygonal if and only if is a primitive -vertex, and in this case:
[TABLE]
where is the combinatorial mutation of with respect to the width vector and a factor of unit length, as defined in [3].
Proof.
If is not a primitive -vertex then it must be an -vertex, and its label in must satisfy . But then the label of in is , and this satisfies , showing that is not polygonal. Conversely, let be a primitive -vertex. Note that is a Fano polygon by [3, Proposition 2], so is a well-defined polygonal quiver. The isomorphism (4.2) holds on the level of underlying quivers by an argument identical to the one given in [14, Proposition 3.17]. It remains to show that this isomorphism preserves vertex labels.
First consider as a vertex of . Here, is the inner normal vector of a primitive -cone in whose width and local index both equal (as defined in Section 3). Thus the label of in is , which implies that the label of in is
[TABLE]
Now corresponds to some vertex of , by the isomorphism of underlying quivers. By the definition of this isomorphism, is the inner normal vector to a primitive -cone in whose width and local index both equal . Thus the label of is , which coincides with that of .
Finally consider a vertex of . As a vertex of , is the inner normal vector of a primitive or -cone in . The label of in , and hence in , is the width and local index of . The vertex of which corresponds to under the isomorphism of underlying quivers, is the inner normal vector of a cone which is isomorphic to (see [4, Proposition 3.6]). Thus the label of is also the width and local index of . We conclude that the isomorphism of underlying quivers preserves vertex labels, as claimed. ∎
The quiver of Example 4.5 was mutated at an -vertex and did not remain polygonal, as expected. Quiver mutation at an -vertex does not appear to have an analogue in terms of Fano polygons since -cones are, by definition, rigid under combinatorial mutations.
Remark 4.7**.**
More generally, one may consider a quiver , with no self loops or -cycles, whose vertices are labelled by elements of some abelian group . Such a is balanced at a vertex if the following equality holds:
[TABLE]
Every balanced vertex of has diameter , given by either side of (4.3). We can define mutation of at a balanced vertex exactly as in Definition 4.2. In particular:
Proposition 4.8** (Mutation at a Balanced Vertex).**
If is balanced at then every balanced vertex of remains balanced in .
The proof is identical to that of Proposition 4.4. Since mutation is an involution, we have:
Corollary 4.9**.**
The number of balanced vertices remains constant whenever is mutated at a balanced vertex.
Remark 4.10**.**
Let be an unlabelled quiver with vertex set , allowing the possibility of self-loops and -cycles. The exchange matrix of is . Fix an abelian group , and label the vertex of by an element of . This gives a vector . Observe that is balanced at with respect to the labelling (i.e. the analogue of (4.1) vanishes) if and only if the entry of is zero. In particular, is the space of all vertex labellings (over ) for which is balanced.
Let be a quiver with no self-loops or -cycles, which may or may not be decorated. Consider the positive integer . Then:
Proposition 4.11**.**
For any vertex of we have: .
Proof.
Given two vertices , we simplify notation by setting and . By the definition of (usual) quiver mutation we have:
- •
for all ;
- •
whenever .
Since and , it follows immediately that divides and vice versa. Both integers are positive, so they must be equal. ∎
Suppose further that the vertices of are decorated with integer labels and that is balanced with respect to these labels (so that the diameter of each vertex is defined). Let be the positive integer .
Proposition 4.12**.**
For any vertex of we have .
Proof.
Let the vertex labels of be . By Definition 4.2, the vertex labels of are , where is a weighted sum of . Therefore divides and vice versa. ∎
5. The Quiver Degree Formula for Polygonal Quivers
5.1. Anticanonical Degree
In our proof of the balancing condition (Proposition 3.1), the number of arrows between two vertices of a polygonal quiver was interpreted in terms of lattice distances in . There is another interpretation, in terms of volumes, which is more natural from the perspective of toric geometry. This viewpoint allows the anticanonical degree of toric Fano surfaces to be computed in terms of the associated polygonal quivers.
Fix an oriented lattice of rank and a Fano polygon . Since contains the origin in its strict interior, there is a toric surface , constructed from the spanning fan , and an ample line bundle on , whose space of sections has a basis indexed by lattice points of the dual polygon (see [11]). The Fano property (primitivity of vertices) implies that this ample line bundle is the anticanonical: . Therefore:
[TABLE]
where is the normalized volume, taking value on an empty -simplex in . Fix an isomorphism of oriented lattices between and . Label the vertices of cyclically: , in a way that agrees with the orientation. Then is the normalized volume of the -simplex in , and it follows that
[TABLE]
The right side of (5.1) can be computed in terms of , as follows: the cyclic numbering of the vertices of is the same as a cyclic numbering of the edges of . For each we may choose an element of the (nonempty) multiset:
[TABLE]
The precise choice of is unimportant because in general (5.2) contains multiple copies of each inner normal vector, distinguished only by vertex labels. By Definition 2.1, each is labelled by a pair and it is immediate from the definition of dual polygons that
[TABLE]
Substituting these expressions for the into (5.1), and recalling that equals , we arrive at the following formula:
[TABLE]
In particular, the right side of (5.3) can be computed directly from the polygonal quiver .
Remark 5.1** (Cyclic Subquivers).**
Notice that the method used above to compute can be re-interpreted as a recipe for constructing a special class of cyclic subquivers of a polygonal quiver. In the notation of Section 5.1, there is one cyclic subquiver of for each choice of ordered list : we set and if and otherwise. Every one of these subquivers has vertices and determines via the formula (5.3). Moreover, since at least one such cyclic subquiver always exists, we see in particular that every polygonal quiver contains at least one oriented cycle.
Example 5.2**.**
Let with the standard orientation. Consider the Fano polygon of , and its polygonal quiver , as shown in Figure 2 (bottom). To compute from , begin by labelling the edges of in a counter-clockwise manner (i.e. in a manner consistent with the chosen orientation). This labelling determines an ordered list of vertices of : one inner normal is chosen for each edge. The only non-unique choice is for the edge , where we may choose either or (in the notation of Figure 2, bottom). Our choice determines a cyclic subquiver of with vertices. The two possibilities for this subquiver are shown in Figure 5.
The anticanonical degree of can now be read off from either of these subquivers: in both cases we have , as expected.
For another example, consider (cf. Example 4.5). The associated polygonal quiver has three vertices, and is shown in Figure 4. Since the Fano polygon of also has three vertices, there is only one cyclic subquiver and it equals . The formula (5.3) then tells us that , as expected.
5.2. Quiver Degree Formula
Let be a Fano polygon, whose spanning fan defines the toric Fano surface . We recall from [4], that the singularity content of is a pair where is a non-negative integer and is a multiset of -singularities (or equivalently: of -cones, in the sense of Section 1.2). Singularity content is an invariant of combinatorial mutation, and it determines the anticanonical degree of via the following Noether formula:
[TABLE]
where the sum is taken over all . The rational numbers are defined in [4], and can be computed explicitly for any -cone. Now if , then we may use the construction of Section 5.1 to obtain a cyclic subquiver of , which also determines . Combining the formulae (5.3) and (5.4), we obtain the quiver degree formula, relating the combinatorics of to the singularities of :
[TABLE]
Here, are the (cyclically ordered) vertices of , has label , and . As discussed in Section 5.1, the left hand side of (5.5) is independent of the choice of cyclic subquiver .
6. Block Quivers of Decorated Quivers
We have seen in Section 4 that polygonal quivers behave well if one is primarily interested in combinatorial mutations of the underlying Fano polygons. However, since they are constructed from standard refinements of spanning fans, polygonal quivers often contain repeated information, which is inconvenient from the viewpoint of calculations. In this situation, it is often useful to pass to the block quiver. In particular, the block construction removes the need for choices in Section 5.1, so that every block quiver of a Fano polygon has a distinguished Hamiltonian subquiver.
Definition 6.1**.**
The block quiver of a decorated quiver is denoted . It has vertex set where if and only if the following conditions hold:
- (a)
The labels of satisfy . 2. (b)
and for all . 3. (c)
and for all .
A vertex of is thus an equivalence class of vertices of : . The label of is defined to be , where is the label of for . Given two vertices of , we define to be , where are representatives of respectively.
A block quiver is any decorated quiver satisfying . Note that the quantity in Definition 6.1 is independent of the choice of representatives: suppose and . First note that . This follows from the conditions (b) and (c) which state that if and only if , and in this case . Otherwise, we have . A similar argument also shows that .
Lemma 6.2**.**
If is a balanced quiver then its block quiver is also balanced.
Example 6.3**.**
The quiver shown in Figure 2 (top) is a block quiver. The quiver shown in Figure 2 (bottom) has balanced block quiver shown on the right of Figure 6.
Informally speaking, the block quiver has been constructed from the original by glueing the top-left and bottom-right vertices, which have the same local structure in terms of incident arrows, and adding their weight labels. We emphasize that this block quiver is different from the cyclic subquivers shown in Figure 5. In general the two constructions are different, and a block quiver need not be cyclic.
The block quiver of a polygonal quiver can be computed directly from its Fano polygon.
Definition 6.4**.**
Let . The vertex set of the quiver is the set of inner normal vectors of maximal cones in the spanning fan :
[TABLE]
The number of arrows between and is , the coefficient of , pointing from to if the determinant is positive and from to otherwise. Each is decorated by .
To show that this construction coincides with the one given in Definition 6.1 for polygonal quivers, consider vertices of . Then are, by definition, inner normal vectors of maximal cones in a standard refinement of . In particular, and are inner normal vectors of (uniquely determined) maximal cones and in .
Lemma 6.5**.**
In the above notation: if and only if . Thus
[TABLE]
that is, the construction of Definition 6.4 produces the block quiver of .
Proof.
If then , and hence . Conversely, if then there are two possibilities: first assume . If then , because polygonal quivers have no self-loops (Example 2.4). Thus, . A similar argument shows when . Next assume . Then there are no arrows between and i.e. . Since and are both primitive, we must have . But , by the assumption . So , which implies . But , since polygonal quivers contain no -cycles (Example 2.4). Therefore in this case as well.
Thus, if then there is a one-to-one correspondence between vertices of and maximal cones of in , as follows:
[TABLE]
Since every has a unique inner normal vector , which is a vertex of , the assignment is a one-to-one correspondence between vertices of and those of . Furthermore, since every equals as an inner normal vector, we have by definition that . Therefore, is arrow-preserving. Finally, if , then the labels of coincide: by definition and are the width and local index of a maximal cone in . On the other hand, (6.2) characterizes the elements of as all inner normal vectors to maximal subcones appearing in a standard refinement of . All these subcones have local index , so that and the sum of their widths is the width of i.e. . We conclude that the map is an isomorphism of decorated quivers. ∎
Remark 6.6**.**
If is the block quiver of a Fano polygon , and if , then the set contains all but at most one vertex of other than . This is immediate from Definition 6.4 and the observation that, given any edge of , there is at most one other edge that is parallel to it. It follows in particular that a cyclic quiver with at least vertices can not be the block (or polygonal) quiver of a Fano polygon.
6.1. Mutations and the Block Construction
For polygonal quivers, passing to the block quiver does not commute with mutation, as the following example shows.
Example 6.7**.**
Consider the polygonal quiver for and its block quiver as shown in Example 6.3. Mutating at the top-left vertex and then passing to the block quiver recovers the quiver for shown in Figure 2 (top). On the other hand, if we first pass from to then the equivalence class of is the vertex of with label . Mutating at does not recover the quiver of .
This discrepancy can be resolved by extending the definition of quiver mutations, as follows:
Definition 6.8**.**
Let be a balanced quiver. Choose a vertex of with label . For any integer , the underlying quiver of is obtained by transforming the underlying quiver of in the following manner:
- (a)
Reverse all arrows incident at . 2. (b)
For every subquiver of , introduce arrows . 3. (c)
Following (a) and (b), cancel all -cycles.
A vertex of is decorated with the same label as in and the vertex in is decorated with the label .
Notice that setting recovers Definition 4.2: . Next, consider the set of pairs , with a balanced quiver and a vertex of . For any integer , define the function .
Proposition 6.9**.**
If is a balanced quiver then is balanced for any and any integer . Furthermore, and
[TABLE]
In particular, the functions are self-inverse. Thus, finite compositions of these functions form a group, which is generated by .
Proof.
The statement about balancing follows by repeating the proof of Proposition 3.1 with minor changes, while the identity (6.3) follows from a direct calculation using Definition 6.8 and the observation that is the same in both and for all integers . ∎
Notice that our group of quiver mutations is not abelian: .
The functions allow us to mutate block quivers of polygonal quivers in a way that is compatible with mutation: let be a polygonal quiver and let be a vertex of the block quiver with label . By Definition 6.1, is an equivalence class of vertices of : if , , then contains at most one -vertex and finitely many (possibly zero) primitive -vertices . The all represent the same inner normal vector of a maximal cone in . In particular:
[TABLE]
Fix an integer satisfying . One can form a quiver by successively mutating (in the sense of Definition 4.2) at of the primitive -vertices: . The precise choice of vertices at which to mutate, as well as the order of mutation, is unimportant. The first claim is immediate from Definition 6.1, while the second follows immediately from (6.4). After these mutations, we may pass to the block quiver .
On the other hand, starting from one may construct an intermediate quiver . This quiver is identical to except that the vertex has been replaced by two vertices: with label and with label . All arrows incident at are removed, and for and all . Passing to the intermediate quiver is the analogue of writing the equivalence class as with and . A direct check now shows that .
6.2. Hamiltonian Subquivers
Given a Fano polygon , Section 5.1 describes a method for constructing a distinguished class of cyclic subquivers of , as explained in Remark 5.1. A similar construction exists for the block quiver : label the edges of cyclically as , and let denote the inner normal vector of the cone over , so that .
Definition 6.10**.**
The Hamiltonian subquiver of has vertex set equal to , with if and otherwise. Every vertex of carries the same label as in .
Thus is a (not necessarily balanced) cyclic subquiver of , with , such that following the vertices of in the direction of arrows is equivalent to picking out the edges of in a cyclically ordered sequence. Notice that each represents the same inner normal vector as the constructed in Section 5.1. It follows that is decorated with the same local index in both and , and . Thus, repeating the argument of Section 5.1 for with replacing the cyclic subquiver , we find that and satisfy the (same) quiver degree formula. This is expected, because the underlying polygon is the same for both and .
Lemma 6.11**.**
The quiver degree formula (5.5) for a polygonal quiver also holds for :
[TABLE]
where are the (cyclically ordered) vertices of the Hamiltonian subquiver of .
The quiver degree formula allows us to introduce a class of algebraic varieties that may be interesting from the viewpoint of classification theory. Fix an integer and let be an oriented lattice. Then:
Proposition 6.12** (Markov Varieties).**
Any Fano -gon determines a point on the hypersurface in defined by the following polynomial (with indices taken modulo ):
[TABLE]
Here, are coordinates on and is the coordinate on .
Proof.
Pass to the polygonal (or block) quiver of and write for any pair of vertices of . Here, () is the mutation invariant discussed in Proposition 4.11. The claim now follows from the quiver degree formula, which is the same for both the polygonal and the block quiver of . ∎
Proposition 6.12 generalizes results of [12] and [5], which state that every Fano triangle determines a solution to a Markov-type Diophantine equation.
7. The Hamiltonian Property
The Hamiltonian subquiver of a block-polygonal quiver has been defined in Section 6.2. A slightly unsatisfactory point is that this definition depends explicitly on the underlying Fano polygon. We will now present a different perspective on Hamiltonian subquivers which, in the polygonal case, allows them to be constructed directly from the block quiver. This construction will play an essential role in Section 8.2.
Let be a balanced block quiver with finitely many vertices, not necessarily coming from a Fano polygon. Fix a vertex of . For every , the radial distance from to is denoted and is defined to be the maximal length of a path
[TABLE]
in with the constraint that are all distinct elements of . The length of (7.1) is by definition. Note that at least one such path always exists, because lies in , and the length of the longest such path is bounded above, because is finite and are all distinct. Thus, is a well-defined positive integer satisfying for all . The radius of is defined to be
[TABLE]
Let denote the number of vertices in for which . In the special case when and for all vertices of , we may define to be the following finite sequence of vertices: and, for , is the unique element of for which . The sequence terminates at if .
Definition 7.1**.**
A balanced block quiver with finitely many vertices has the Hamiltonian property if every vertex satisfies and , and there exists a vertex of for which contains all vertices of , with .
Note that if has the Hamiltonian property then, up to cyclic reordering, is independent of the vertex . This implies that the vertices of can be cyclically ordered, , depending on their position in .
Definition 7.2**.**
Suppose that has the Hamiltonian property with vertices , cyclically labelled as above. The Hamiltonian subquiver of has vertex set with if and otherwise. Ever vertex of carries the same label as in .
The Hamiltonian subquiver, if it exists, is unique by construction.
Proposition 7.3**.**
If is a Fano polygon then has the Hamiltonian property, and the Hamiltonian subquivers from Definitions 7.2 and 6.10 coincide.
Proof.
Choose a vertex of . By Definition 6.4, is the inner normal vector of the cone over an edge of . Choose an orientation-preserving isomorphism between and such that . The Fano polygon is then represented by Figure 7.
Label the vertices of cyclically: and let denote the inner normal vector to the cone over the edge , with indices taken modulo . In this notation, and . The main observation is as follows:
[TABLE]
It follows immediately that for . In particular and this is attained at precisely one vertex of , namely . So . Repeated application of this argument shows that and for all vertices of and that is , with . Since , we conclude that has the Hamiltonian property. Moreover, the ordering on the vertices of given by agrees with the one coming from cyclically ordering the edges of in an orientation-preserving manner. Thus, the Hamiltonian subquivers from Definitions 6.10 and 7.2 coincide. ∎
Consider a block-polygonal quiver . Two key features of the Hamiltonian subquiver are that (1) every oriented cycle of passes through each vertex of exactly once (hence the name Hamiltonian) and (2) the arrows of order the vertices of in a way that coincides with the cyclic ordering of the edges of induced by the orientation on . It is natural to ask if (1) implies (2). This is not the case, as shown in Example 7.4.
Example 7.4**.**
Let with the standard orientation and let be the Fano polygon with vertices . Label the vertices in the (cyclic) order shown and let be the inner normal vector to the edge , with indices taken modulo . The block quiver of contains the following cyclic subquiver:
[TABLE]
This subquiver is not Hamiltonian. It satisfies condition (1) above, but not condition (2).
Example 7.5**.**
For a fixed positive integer , it is often useful to know all types of block quivers that can arise from a Fano -gon. The Hamiltonian property is a useful starting point for such problems. To illustrate this, let be the block quiver of a Fano triangle (). By Proposition 7.3, must have a Hamiltonian subquiver with three vertices as shown in Figure 8. But we have now drawn all vertices of and there can be no further arrows between any pair of vertices. So must equal its Hamiltonian subquiver. In other words, the general block quiver of a Fano triangle can only take the form shown in Figure 8.
Next, let be the block quiver of a Fano quadrilateral (). Then has a Hamiltonian subquiver with four vertices, as shown in Figure 9 (right). It remains to determine whether any arrows can exist between pairs of vertices not joined by arrows in the Hamiltonian subquiver. There are three possibilities, depending on whether has zero, one or two pairs of parallel edges. Thus, up to relabelling vertices, the block quiver of a Fano quadrilateral can take one of three possible forms, as shown in Figure 9.
Example 7.6** (A Non-Existence Result).**
Let be a Fano triangle with singularity content . By Example 7.5, we know that the block quiver of takes the general form shown in Figure 8. In the notation of Figure 8, assume that has coprime widths: whenever . The balancing condition at each vertex of gives the following system of linear equations:
[TABLE]
Since the are pairwise coprime, the space of integer solutions to this system is -spanned by , so that
[TABLE]
where is the mutation invariant discussed in Proposition 4.11. Thus, in the case of coprime widths, the quiver degree formula for specializes to:
[TABLE]
As an application, there can not exist a Fano triangle , such that the maximal cones of are smooth (), a singularity () and a singularity (). Such a would have singularity content , and since , it would follow from Equation (7.2) that there is an integer satisfying
[TABLE]
This is a contradiction, so no such exists. Geometrically, this means that there does not exist a toric Fano surface of Picard rank with isolated singularities and .
8. Characterization of Polygonal Quivers
The present discussion has been about quivers arising from Fano polygons. We have seen that polygonal quivers are balanced (Proposition 4.2), but not every balanced quiver is polygonal (Example 8.7). It is natural to ask which balanced quivers arise from Fano polygons. We will first demonstrate an ad hoc approach to this question (Example 8.1). This is more elementary than the general discussion starting in Section 8.1, and may be useful in the study of individual examples. See also Example 8.4.
Example 8.1**.**
We will investigate whether the following balanced quiver is polygonal.
As a first step, pass to the block quiver to simplify calculations. Note that in this example, but that this step would be nontrivial if one were to apply this calculation, for instance, to the quiver shown in Figure 2 (bottom). The problem to consider now is whether is the block quiver (Definition 6.4) of some Fano polygon .
Suppose there exists a Fano polygon for which is a block quiver. Then the vertices of , as shown above, represent primitive vectors in the dual lattice . Fix an isomorphism of with such that
[TABLE]
where the are at present unknown. The (signed) number of arrows between and is given by the equation . Applying this to each vertex of gives a system of three equations, from which it follows that
[TABLE]
The quantity is still unknown. Now apply the change of basis , for some integer to be fixed later. In the new basis:
[TABLE]
The primitivity of and implies that is not congruent to [math] or modulo . So there are three cases to consider. First, assume that . Then, after fixing a suitable integer , we arrive at a basis in which
[TABLE]
Since the are being interpreted as inner normal vectors, consider the three hyperplanes in defined by the equations: , where , is the standard pairing and is the label of in for . The vertices of are solutions to pairs of these equations. Explicitly, the equations in this basis are
[TABLE]
Solving these pairwise, we obtain the vertex set for . Since there is a linear relation: , and since and span the ambient lattice , we conclude that the associated toric variety is weighted projective space . A direct check shows that the polygonal quiver of is isomorphic to . The two remaining cases: do not yield any Fano polygons, because the hyperplane equations analogous to (8.1) in these cases contain pairs which can not be solved simultaneously over . We conclude that the quiver is polygonal, and it determines a unique Fano polygon, up to the action of .
8.1. The Triangle Case
Let be a balanced quiver whose block quiver has three vertices. Suppose is cyclic, as shown in Figure 8, with . Let denote the vertex with label , so that . Suppose for . Choose a vertex of : up to cyclic relabelling, let this vertex be . Define integers:
[TABLE]
Assume and there exists an satisfying . For such an , define the following rational numbers, with indices taken modulo :
[TABLE]
Assume , and for .
Proposition 8.2**.**
If satisfies conditions to for some vertex then it is the block quiver of a Fano triangle. Conversely, if is the block quiver of a Fano triangle then there is a vertex for which conditions to are satisfied.
Proof.
Unless otherwise stated, all indices will be taken modulo . Suppose that satisfies conditions to for some vertex . Let with the standard orientation. Let for and let . We will show that is a Fano triangle and .
Condition implies that is an integer. Thus, by and , the are primitive lattice vectors in . These vectors are all distinct: since by . Similarly are both distinct from because their -coordinates have different signs: , which is negative by , while is positive by . This observation also shows that both lie on the line , but this line does not contain . So is a -dimensional lattice polytope in whose vertices are primitive lattice vectors. Now let and let , , . By and , the are primitive lattice vectors in . A direct calculation shows that:
[TABLE]
where is the natural pairing. Condition is used to show (8.3) for . Similarly the shape of , assumed in , is used to show by balancing at . This is used to show (8.3) for . By condition , the equations (8.3) show that must be the inner normal vector of (the cone over) the edge of . In particular, the origin must lie in the strict interior of , showing that is a Fano triangle.
By Definition 6.4, has three vertices and . In the present basis, the primitive vectors in directions , and are and respectively. From this we see that the cone over the edge of has width . Combining this with (8.3) shows that the label of in is . This equals the label of in . A direct calculation of determinants also shows that:
[TABLE]
Therefore we conclude that i.e. is the block quiver of a Fano triangle.
Conversely, suppose for some some Fano polygon . Since has three vertices, must be a triangle. By fixing a suitable isomorphism, we may assume that with the standard orientation. Label the vertices of cyclically: , respecting the orientation i.e. so that . Let denote the inner normal vector of the cone over the edge . Denote the width and local index of this cone by respectively. We may assume that in the current basis. Write for . We will show that conditions to are satisfied.
By Definition 6.4, the vertices of are and , and the label of each is . The width and local index of a cone are always positive integers. Thus condition holds. Moreover, arguing as in our proof of the balancing condition (Proposition 3.1), we see that:
[TABLE]
Since is the inner normal to the cone over , the quantity must be negative. On the other hand, since contains the origin in its strict interior, must be positive. Thus is positive for . We conclude that is cyclic and condition holds. Observing that and setting in (8.4) we see that the -coordinates of are described by (8.2). In particular , so holds. Moreover, the edge/line segment joining and has lattice length , so . Since and are primitive lattice vectors, the integer satisfies condition . Next, arguing as in Example 2.5, we see that:
[TABLE]
Equation (8.5) for and can be used to obtain two different expressions for . Since both of these must be equal, condition is satisfied. Finally, a direct calculation of the inner normals of shows that and , where the are as defined above. This immediately shows condition , that are integers. Condition now follows from the primitivity of and of . Thus, there exists a vertex of for which conditions to are satisfied. ∎
Remark 8.3**.**
In the above discussion, note that the conditions to and quantities etc. are all expressed in terms of a nominated vertex of . Suppose that satisfies to with respect to the vertex . Then we may construct a Fano triangle such that the vertices of are identified with the inner normal vectors of the maximal cones in . By choosing a basis such that either or equals and arguing as in the converse part of Proposition 8.2, we see that also satisfies to with respect to and , once the quantities etc. have been redefined in terms of the new vertices. Thus, the choice of nominated vertex does not affect whether or not is block-polygonal.
Example 8.4**.**
Consider the (block) quiver of Example 8.1, with vertices as shown. A direct calculation shows that satisfies conditions to with respect to the vertex and . Therefore, by (the proof of) Proposition 8.2, is the block quiver of the Fano triangle in with vertices and . This triangle is -equivalent to the one obtained in Example 8.1.
Remark 8.5** (Expected Volume).**
Recall condition from Proposition 8.2, which requires that . Using the definitions of etc. we see that this condition, with respect to the vertex , is equivalent to the following equality:
[TABLE]
Note that this expression is independent of the integer chosen in condition . The right hand side of (8.6) appears to depend on the vertex : indeed, writing condition for would replace this term by , and for we would have . But these three right hand side terms are equal in the triangle case, by the balancing condition (Proposition 3.1). Thus, (8.6) is a global condition on a three-vertex cyclic balanced quiver.
If we assume that the block quiver of Proposition 8.2 comes from a Fano triangle , the equality (8.6) can be given a natural interpretation: a slight modification of Example 2.5 identifies the left hand side of (8.6) as the normalized volume of , as computed from the block quiver. On the other hand the right hand side, can be rewritten as . By thinking of as the ‘base length’ of and as the ‘height’ of , this is the well-known formula for the normalized volume of a triangle. Condition , rewritten as (8.6), is then just the statement that these two calculations of normalized volume agree i.e. the expected volume of a Fano triangle underlying our block quiver is well-defined.
Example 8.6**.**
As an application of Remark 8.5, consider the (block) quiver shown in Figure 4 (right). For this quiver, the left hand side of (8.6) equals: , while the right hand side, computed at the vertex , equals: . We conclude that is not the block quiver of a Fano polygon, because the expected volume is not well-defined.
Example 8.7** (Families of Non-Polygonal Quivers).**
The balanced quiver shown in Figure 10 (left) is polygonal if and only if : if , then is obtained from the Fano polygon of in with vertex set .
Conversely, if is polygonal then (since it equals its own block quiver) it must satisfy Equation (8.6), from which it follows that . A similar argument shows that the balanced quiver shown in Figure 10 (right) is polygonal if and only if . In this case, is obtained from the Fano polygon of in with vertex set .
8.2. The General Case
Consider the block quiver of a polygonal quiver . Suppose that for every vertex of , the set contains all but at most one vertex of other than and has the Hamiltonian property. Choose a vertex of . Label the vertices in as and those in as . The ordering on the as increases should coincide with that given by . If there is a vertex of different from which does not lie in , label it . Otherwise, will remain undefined. Let denote the label of for and assume that for . Taking indices modulo , define integers:
[TABLE]
Let and if exists. Note that by the balancing condition at . Assume that if exists and otherwise. Then and are all nonzero. Observe that is strictly increasing and is strictly decreasing.
Remark 8.8**.**
There are now four possibilities, depending on whether or not one of is zero and whether or not one of is zero. In what follows, we will consider the case when one of is zero and all of are nonzero. The remaining cases can be treated similarly.
Consider the case when for some fixed satisfying , and all other are nonzero. Assume that there exists an integer satisfying and . Let be an arbitrary integer (to be defined later). Define the following rational numbers:
[TABLE]
Define the following rational numbers (independent of ), with indices taken modulo :
[TABLE]
Assume and that there exists an integer such that the following conditions are satisfied: is an integer for , and for and if exists and otherwise. Assume that whenever and whenever .
Theorem 8.9**.**
If satisfies conditions to for some vertex then it is the block quiver of a Fano polygon. Conversely, if is the block quiver of a Fano polygon then there is a vertex for which conditions to are satisfied.
Proof.
Unless otherwise stated, all indices will be taken modulo . Suppose that satisfies conditions to for some vertex . Let with the standard orientation. Define and for . Note that is defined if and only if is defined. Otherwise, will remain undefined.
The first step is to show that is a Fano polygon. Both the and are primitive lattice vectors by , and . A direct calculation shows that:
[TABLE]
Note that the case in (8.7) is equivalent to condition and we have used condition when (if exists). In the present notation, condition becomes whenever . Thus, is a two-dimensional lattice polygon (the intersection of finitely many half spaces) with primitive vertices . It also follows from conditions and that the origin lies in the strict interior of , so that is a Fano polygon. The remainder of the proof now follows in a similar manner to that of Proposition 8.2. ∎
9. Remarks on Higher Dimensions
The notion of standard refinement, introduced in Section 1.2, is fundamental to our definition of polygonal quivers. To define a standard refinement in any given dimension, one must first classify the smallest cones of that dimension for which a combinatorial mutation exists. In dimension these are precisely the primitive -cones [1, Lemma 3.2] and by [4, Corollary 2.6] they correspond to primitive -singularities, introduced in [16].
In dimensions greater than , there is at present neither a classification of minimally mutable cones, nor a good understanding of -singularities. This is the main obstruction to defining higher dimensional analogues of polygonal quivers. Nevertheless, it is natural to expect that the higher dimensional theory will possess similar features to those seen in dimension . In particular, the analogue of Proposition 4.6 should hold: higher polygonal quivers should admit a notion of mutation that is compatible with higher dimensional combinatorial mutations.
A Fano polytope of dimension can admit nontrivial combinatorial mutations of codimensions . Here, the codimension of a mutation means minus the dimension of the factor for that mutation. See [3] for the definition of factor. This observation suggests that the ‘higher polygonal quiver’ of an -dimensional Fano polytope should be an oriented simplicial complex , with decorated faces. A codimension mutation of should correspond to a ‘mutation’ of at face(s) of dimension , where .
In contrast to a standard refinement, the spanning fan of a Fano polytope is well-defined in all dimensions (the definition is the same as that given in Section 1.2). Thus, following Definition 6.4, we may define the block complex directly, bypassing the difficulties discussed above. For brevity, we will restrict ourselves to defining the underlying complex of , leaving considerations such as face labels and mutations to future work.
Definition 9.1**.**
Let be a lattice of rank with a chosen orientation. For any Fano polytope , the vertex set of the (undecorated) block complex is the set of inner normal vectors of maximal cones in the spanning fan :
[TABLE]
For every -element subset , the number of -simplices in with vertex set is . Every one of these simplices carries the same orientation, chosen by (re-)numbering the vertices so that is positive.
Example 9.2**.**
Let with the standard orientation. Let be the Fano polytope of with vertex set . The inner normal vectors are and . The complex is shown in Figure 11 (left), with vertices identified.
Note that is smooth, so every maximal cone of the spanning fan is (trivially) a primitive -cone. In particular, is its own standard refinement and in this example. Next, consider with vertex set . The spanning fan of defines a quotient of by the cyclic group and is a codimension-1 mutation of with respect to the width vector and factor . The inner normals are and is shown in Figure 11 (right), with identified.
Acknowledgements
We thank the following colleagues for many interesting conversations: P. Bousseau, T. Coates, M. Kontsevich, V. Pestun, K. Rietsch and T. Sutherland. This work was carried out during the author’s stay as an EPSRC-funded William Hodge Fellow at the Institut des Hautes Études Scientifiques. Much of the writing was completed while the author was a Visiting Research Fellow at King’s College London. We thank both the IHÉS and King’s College London for excellent working conditions.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. Akhtar. Mutations of Laurent Polynomials and Lattice Polytopes . Ph D thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/28115 .
- 2[2] M. Akhtar, T. Coates, A. Corti, L. Heuberger, A. Kasprzyk, A. Oneto, A. Petracci, T. Prince, and K. Tveiten. Mirror Symmetry and the Classification of Orbifold del Pezzo Surfaces. ar Xiv:1501.05334 [math.AG] , 2015.
- 3[3] M. Akhtar, T. Coates, S. Galkin, and A. M. Kasprzyk. Minkowski Polynomials and Mutations. SIGMA Symmetry Integrability Geom. Methods Appl. , 8:094, pp. 707, 2012.
- 4[4] M. E. Akhtar and A. Kasprzyk. Singularity Content. ar Xiv:1401.5458 [math.AG] , 2014.
- 5[5] M. E. Akhtar and A. Kasprzyk. Mutations of Fake Weighted Projective Planes. Proc. Edinburgh Math. Soc. , 59(2):271–285, 2016.
- 6[6] V. Batyrev. Dual Polyhedra and Mirror Symmetry for Calabi–Yau Hypersurfaces in Toric Varieties. J. Algabraic Geom. , 3(3):493–535, 1994.
- 7[7] T. Coates, A. Corti, S. Galkin, V. Golyshev, and A. Kasprzyk. Mirror Symmetry and Fano Manifolds. ar Xiv:1212.1722 [math.AG] , 2012.
- 8[8] T. Coates, A. Corti, S. Galkin, and A. Kasprzyk. Quantum Periods for 3-Dimensional Fano Manifolds. ar Xiv:1303.3288 [math.AG] , 2013.
