TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
|
|
- Delilah Chapman
- 5 years ago
- Views:
Transcription
1 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be weak Fano in terms of the building set. 1. Introduction A toric Fano variety is a nonsingular projective toric variety over C whose anticanonical divisor is ample. It is known that there are a finite number of isomorphism classes of toric Fano varieties in any given dimension. The classification problem of toric Fano varieties has been studied by many researchers. In particular, Øbro [] gave an explicit algorithm that classifies all toric Fano varieties for any dimension. A nonsingular projective algebraic variety is said to be weak Fano if its anticanonical divisor is nef and big. Sato [5] classified toric weak Fano 3-folds that are not Fano but are deformed to Fano under a small deformation, which are called toric weakened Fano 3-folds. We can construct a nonsingular projective toric variety from a building set. Since a finite simple graph defines a building set, which is called the graphical building set, we can also associate to the graph a toric variety (see, for example [8]). The author [6, 7] characterized finite simple graphs whose associated toric varieties are Fano or weak Fano, and building sets whose associated toric varieties are Fano. In this paper, we characterize building sets whose associated toric varieties are weak Fano (see Theorem.4). Our theorem is proved combinatorially by using the fact that the intersection number of the anticanonical divisor with a torus-invariant curve can be computed in terms of the building set. A toric weak Fano variety defines a reflexive polytope. Higashitani [1] constructed integral convex polytopes from finite directed graphs and gave a necessary and sufficient condition for the polytope to be terminal and reflexive. We also discuss a difference between the class of reflexive polytopes defined by toric weak Fano varieties associated to building sets, and that of reflexive polytopes associated to finite directed graphs. The structure of the paper is as follows: In Section, we review the construction of a toric variety from a building set and state the characterization of building sets whose associated toric varieties are weak Fano. In Section 3, we consider reflexive polytopes associated to building sets and finite directed graphs. In Section 4, we give a proof of the main theorem. Date: October 13, Mathematics Subject Classification. Primary 14M5; Secondary 14J45, 5B0, 05C0. Key words and phrases. toric weak Fano varieties, building sets, nested sets, reflexive polytopes, directed graphs. 1
2 YUSUKE SUYAMA Acknowledgment. This work was supported by Grant-in-Aid for JSPS Fellows 15J The author wishes to thank his supervisor, Professor Mikiya Masuda, for his valuable advice, and Professor Akihiro Higashitani for his useful comments.. The main result Let S be a nonempty finite set. A building set on S is a finite set B of nonempty subsets of S satisfying the following conditions: (1) I, J B with I J implies I J B. () {i} B for every i S. We denote by B max the set of all maximal (by inclusion) elements of B. An element of B max is called a B-component and B is said to be connected if B max = {S}. For a nonempty subset C of S, we call B C = {I B I C} the restriction of B to C. B C is a building set on C. Note that B C is connected if and only if C B. For any building set B, we have B = C B max B C. In particular, any building set is a disjoint union of connected building sets. Definition.1. Let B be a building set. A nested set of B is a subset N of B \ B max satisfying the following conditions: (1) If I, J N, then we have either I J or J I or I J =. () For any integer k and for any pairwise disjoint I 1,..., I k N, the union I 1 I k is not in B. Note that the empty set is a nested set for any building set. The set N (B) of all nested sets of B is called the nested complex. N (B) is in fact an abstract simplicial complex on B \ B max. Proposition. ([8, Proposition 4.1]). Let B be a building set on S. Then every maximal (by inclusion) nested set of B has the same cardinality S B max. In particular, if B is connected, then the cardinality of every maximal nested set of B is S 1. We are now ready to construct a toric variety from a building set. First, suppose that B is connected and S = {1,..., n + 1}. We denote by e 1,..., e n the standard basis for R n and we put e n+1 = e 1 e n. For a nonempty subset I of S, we denote e I = i I e i. Note that e S = 0. For N N (B) \ { }, we denote by R 0 N the N -dimensional cone I N R 0e I in R n, where R 0 is the set of nonnegative real numbers, and we define R 0 to be {0} R n. Then (B) = {R 0 N N N (B)} forms a fan in R n and thus we have an n-dimensional toric variety X( (B)). If B is not connected, then we define X( (B)) = C B max X( (B C )). Theorem.3 ([8, Corollary 5. and Theorem 6.1]). Let B be a building set. Then the associated toric variety X( (B)) is nonsingular and projective. The following is our main result: Theorem.4. Let B be a building set. Then the following are equivalent: (1) The associated toric variety X( (B)) is weak Fano. () For any B-component C and for any I 1, I B C such that I 1 I, I 1 I and I I 1, we have at least one of the following: (i) I 1 I B C. (ii) I 1 I = C and (B I1 I ) max.
3 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 3 Remark.5. In a previous paper [6], we proved that the toric variety associated to a graphical building set is weak Fano if and only if every connected component of the graph does not have a cycle graph of length 4 or a diamond graph as a proper induced subgraph. However, it is unclear whether this result can be obtained from Theorem.4. Example.6. Theorem.4 implies that if S 4, then the toric variety X( (B)) is weak Fano for any connected building set B on S. Any building set is a disjoint union of connected building sets, and the disjoint union corresponds to the product of toric varieties associated to the connected building sets. Since the product of toric weak Fano varieties is also weak Fano, it follows that all toric varieties of dimension 3 associated to building sets are weak Fano. We recall a description of the intersection number of the anticanonical divisor with a torus-invariant curve, see [3] for details. Let be a nonsingular complete fan in R n and let X( ) be the associated toric variety. For 0 r n, we denote by (r) the set of r-dimensional cones in. For τ (n 1), the intersection number of the anticanonical divisor K X( ) with the torus-invariant curve V (τ) corresponding to τ can be computed as follows: Proposition.7. Let be a nonsingular complete fan in R n and τ = R 0 v R 0 v n 1 (n 1), where v 1,..., v n 1 are primitive vectors in Z n. Let v and v be the distinct primitive vectors in Z n such that τ + R 0 v and τ + R 0 v are in (n). Then there exist unique integers a 1,..., a n 1 such that v + v + a 1 v a n 1 v n 1 = 0. Furthermore, the intersection number ( K X( ).V (τ)) is equal to + a a n 1. Proposition.8 ([4, Proposition 6.17]). Let X( ) be an n-dimensional nonsingular projective toric variety. Then X( ) is weak Fano if and only if ( K X( ).V (τ)) is nonnegative for every (n 1)-dimensional cone τ in. Example.9. Let S = {1,, 3, 4, 5} and B = {{1}, {}, {3}, {4}, {5}, {1,, 3, 4}, {, 3, 4, 5}, {1,, 3, 4, 5}}. Then the nested complex N (B) consists of {{1}, {}, {3}, {1,, 3, 4}}, {{1}, {}, {4}, {1,, 3, 4}}, {{1}, {3}, {4}, {1,, 3, 4}}, {{}, {3}, {4}, {1,, 3, 4}}, {{}, {3}, {4}, {, 3, 4, 5}}, {{}, {3}, {5}, {, 3, 4, 5}}, {{}, {4}, {5}, {, 3, 4, 5}}, {{3}, {4}, {5}, {, 3, 4, 5}}, {{1}, {}, {3}, {5}}, {{1}, {}, {4}, {5}}, {{1}, {3}, {4}, {5}} and their subsets. The pair I 1 = {1,, 3, 4} and I = {, 3, 4, 5} does not satisfy the condition () in Theorem.4. Hence the 4-dimensional toric variety X( (B)) is not weak Fano. In fact, there exists a 3-dimensional cone τ in (B) such that ( K X( (B)).V (τ)) 1. Let Then we have N 1 = {{}, {3}, {4}, {1,, 3, 4}}, N = {{}, {3}, {4}, {, 3, 4, 5}}. R 0 N 1 = R 0 e + R 0 e 3 + R 0 e 4 + R 0 (e 1 + e + e 3 + e 4 ), R 0 N = R 0 e + R 0 e 3 + R 0 e 4 + R 0 ( e 1 ).
4 4 YUSUKE SUYAMA Let us consider τ = R 0 N 1 R 0 N = R 0 e +R 0 e 3 +R 0 e 4. Since (e 1 +e +e 3 + e 4 )+( e 1 ) e e 3 e 4 = 0, Proposition.7 gives ( K X( (B)).V (τ)) = 3 = 1. Therefore X( (B)) is not weak Fano by Proposition Reflexive polytopes associated to building sets An n-dimensional integral convex polytope P R n is said to be reflexive if 0 is in the interior of P and the dual P = {u R n u, v 1 for any v P } is also an integral convex polytope, where, denotes the standard inner product in R n. Let be a nonsingular complete fan in R n. If the associated toric variety X( ) is weak Fano, then the convex hull of primitive generators of rays in (1) is a reflexive polytope. For a building set B such that the associated toric variety X( (B)) is weak Fano, we denote by P B the corresponding reflexive polytope. Higashitani [1] gave a construction of integral convex polytopes from finite directed graphs (with no loops and no multiple arrows). We describe his construction briefly. Let G be a finite directed graph whose node set is V (G) = {1,..., n+1} and whose arrow set is A(G) V (G) V (G). For e = (i, j) A(G), we define ρ( e ) R n+1 to be e i e j. We define P G to be the convex hull of {ρ( e ) e A(G)} in R n+1. P G is an integral convex polytope in the hyperplane H = {(x 1,..., x n+1 ) R n+1 x x n+1 = 0}. In a previous paper we proved that if X( (B)) is Fano, then P B can be obtained from a finite directed graph: Theorem 3.1 ([7, Theorem 4.]). Let B be a building set. If the associated toric variety X( (B)) is Fano, then there exists a finite directed graph G such that P B is equivalent to P G, that is, there exists a linear isomorphism f : R n H such that f(z n ) = H Z n+1 and f(p B ) = P G. However, there exist infinitely many reflexive polytopes associated to building sets that cannot be obtained from finite directed graphs. The following proposition provides such examples: Proposition 3.. Let S = {1,..., n + 1} and B = S \ { }. Then X( (B)) is weak Fano by Theorem.4 but the reflexive polytope P B cannot be obtained from any finite directed graph for n 3. Proof. Suppose that there exists a finite directed graph G such that P B is equivalent to P G. Since 0 P G, there exists a nonempty subset A of A(G) and positive real numbers a e for e A such that e A a e ρ( e ) = 0. If (i 1, i ) A, then we must have (i, i 3 ) A for some i 3 V (G). Continuing this process, eventually we obtain a directed cycle of G. In general, if G has a nonhomogeneous cycle (a directed cycle is a nonhomogeneous cycle), then the dimension of P G is V (G) 1 (see [1, Proposition 1.3]). Hence we have V (G) = n + 1. Since G has at most n(n + 1) arrows, P G has at most n(n + 1) vertices. On the other hand, P B has n+1 vertices. Thus we have the inequality n+1 n(n + 1), but this inequality does not hold for n 3. This is a contradiction. Thus we proved the proposition. Example 3.3. There also exists a reflexive polytope associated to a finite directed graph that cannot be obtained from any building set. Let G be the finite directed graph defined by V (G) = {1,, 3, 4}, A(G) = {(1, ), (, 3), (3, 1), (1, 4), (4, 3)}.
5 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 5 Then P G cannot be obtained from any building set. P G is a reflexive 3-polytope with six lattice points. However, there are only three types of reflexive 3-polytopes with six lattice points that are obtained from building sets. They are realized by the following building sets: {{1}, {}, {3}, {4}, {1, }, {1,, 3, 4}}, {{1}, {}, {3}, {4}, {1,, 3}, {1,, 3, 4}}, {{1}, {}, {3}, {1,, 3}, {4}, {5}, {4, 5}}. All the building sets yield reflexive polytopes not equivalent to P G. Figure 1. the directed graph G whose reflexive polytope cannot be obtained from any building set. First we introduce some notation. 4. Proof of Theorem.4 Definition 4.1. Let B be a building set on S. (1) We denote by N (B) max the set of all maximal (by inclusion) nested sets of B. N (B) max is a subset of N (B). () For C B \ B max, we call N (B) C = {N (B \ B max ) \ {C} N {C} N (B)} the link of C in N (B). N (B) C is an abstract simplicial complex on {I (B \ B max ) \ {C} {I, C} N (B)}. (3) For a nonempty proper subset C of S, we call C \ B = {I S \ C I ; I B or C I B} the contraction of C from B. C \ B is a building set on S \ C. The symmetric difference of two sets X and Y is defined by X Y = (X Y ) \ (X Y ). Lemma 4.. Let B be a connected building set on S and let I 1, I B with I 1 I, I 1 I, I I 1 and I 1 I 3. Suppose that such that i 1 I 1 \ I, i I \ I 1, N N (B I1 I ) max, N N (B (I1 I )\{i 1,i }) max (4.1) {I k } N (B I1 I ) max N (B (I1 I )\{i 1,i }) max is not a nested set of B for some k = 1,. Then there exist I 1, I B such that I 1 I 1, I I, i 1 I 1 \ I, i I \ I 1, I 1 I I 1 I and I 1 I = I 1 I.
6 6 YUSUKE SUYAMA Proof. The proof is similar to a part of the proof of [7, Lemma 3.4 (1)]. Without loss of generality, we may assume k = 1. Note that {I 1 } N (B I1 I ) max and N (B (I1 I )\{i 1,i }) max are nested sets of B. Thus (4.1) falls into the following three cases. Case 1. Suppose that (4.1) does not satisfy the condition (1) in Definition.1. Then there exist K {I 1 } N (B I1 I ) max, L N (B (I1 I )\{i 1,i }) max such that K L, L K and K L. If K N (B I1 I ) max, then K L =, a contradiction. Thus we must have K = I 1. Then I 1 L B. We put I 1 = I 1 L and I = I. Since L I 1 I, it follows that L \ I 1 (I 1 I ) \ (I 1 I ). Thus I 1 I I 1 I. Case. Suppose that (4.1) does not satisfy the condition () in Definition.1, and there exist K 1,..., K r N (B I1 I ) max, L 1,..., L s N (B (I1 I )\{i 1,i }) max for r, s 1 such that K 1,..., K r, L 1,..., L s are pairwise disjoint and K 1 K r L 1 L s B. Then we have I k L 1 L s B for each k = 1,. We put I k = I k L 1 L s for k = 1,. L 1 L s I 1 I implies I k I k for some k = 1,. Since I k \ I k (I 1 I ) \ (I 1 I ), we have I 1 I I 1 I. Case 3. Suppose that (4.1) does not satisfy the condition () in Definition.1, and there exist L 1,..., L s N (B (I1 I )\{i 1,i }) max such that I 1, L 1,..., L s are pairwise disjoint and I 1 L 1 L s B. We put I 1 = I 1 L 1 L s and I = I. Since L 1 L s I, it follows that L 1 L s (I 1 I ) \ (I 1 I ). Thus I 1 I I 1 I. In every case, we have i 1 I 1 \ I, i I \ I 1 and I 1 I = I 1 I. This completes the proof. Lemmas 4.3 and 4.5 play key roles in the proof of Theorem.4. Lemma 4.3. Let B be a connected building set on S and let I 1, I I 1 I, I 1 I, I I 1 and I 1 I / B. Then there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, B with N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B, J 1 J I 1 I and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. If J 1 J = {j 1, j }, then N and (B (J1 J )\{j 1,j }) max are understood to be empty. Proof. We use induction on I 1 I. We have I 1 I. Suppose I 1 I =. We put J 1 = I 1 and J = I. Then J 1 J, J 1 J / B and J 1 J = I 1 I. We pick N N (B J1 J ) max. Then {J k } N (B J1 J ) max is a nested set of B for each k = 1,. Suppose I 1 I 3. We pick i 1 I 1 \ I, i I \ I 1, N N (B I1 I ) max and N N (B (I1 I )\{i 1,i }) max. If {I k } N (B I1 I ) max N (B (I1 I )\{i 1,i }) max
7 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 7 is a nested set of B for each k = 1,, then there is nothing to prove. Otherwise, by Lemma 4., there exist I 1, I B such that I 1 I 1, I I, i 1 I 1 \ I, i I \ I 1, I 1 I I 1 I and I 1 I = I 1 I. Case 1. Suppose I 1 I / B. We have I 1 I = I 1 I I 1 I < I 1 I I 1 I = I 1 I. By the hypothesis of induction, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B, J 1 J I 1 I = I 1 I and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Case. Suppose I 1 I B. We may assume that I 1 I 1. Subcase.1. Suppose I 1 I B. We put I 1 = I 1 and I = I 1 I. Then we have I 1 I = I 1 I / B, i 1 I 1 \I and I 1 \I 1 I \I 1. Since i (I 1 I )\(I 1 I ), we have I 1 I I 1 I. Subcase.. Suppose I 1 I / B. We put I 1 = I 1 and I I 1 I = I 1 I / B, i 1 I 1 \ I, i I \ I 1 and I 1 I Since I 1 \ I 1 (I 1 I ) \ (I 1 I ), we have I 1 I I 1 I. In every subcase, we have I 1 I = I 1 I I 1 I I 1 I. By the hypothesis of induction, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B, J 1 J I 1 I I 1 I and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Therefore the assertion holds for I 1 I. Example 4.4. Let S = {1,, 3, 4, 5, 6} and = I. Then we have = I 1 I = I 1 I. < I 1 I I 1 I = B = {{1}, {}, {3}, {4}, {5}, {6}, {1,, 3, 4}, {, 3, 4, 5}, {3, 4, 5, 6}, {1,, 3, 4, 5}, {, 3, 4, 5, 6}, {1,, 3, 4, 5, 6}}. Let us consider I 1 = {1,, 3, 4} and I = {3, 4, 5, 6}. We pick i 1 = 1 and i = 6. Then B I1 I = {{3}, {4}}, B (I1 I )\{i 1,i } = {{}, {5}}. The only maximal nested set of each is the empty set. However, {I 1 } (B I1 I ) max (B (I1 I )\{i 1,i }) max = {{1,, 3, 4}, {3}, {4}, {}, {5}} is not a nested set because {3} {4} {} {5} = {, 3, 4, 5} B (Lemma 4., Case ). Thus we put I (1) 1 = I 1 {, 3, 4, 5} = {1,, 3, 4, 5}, I (1) = I {, 3, 4, 5} = {, 3, 4, 5, 6}. We have I (1) 1 I (1) = {, 3, 4, 5} B (Lemma 4.3, Case ) and I 1 I (1) 1. Since I (1) 1 I = {3, 4, 5} / B (Subcase.), we put I () 1 = I (1) 1 = {1,, 3, 4, 5}, I () = I = {3, 4, 5, 6}.
8 8 YUSUKE SUYAMA We pick i () 1 = 1 and i () = 6. Then B () I = {{3}, {4}, {5}}, B 1 I() () (I 1 I() )\{i() 1,i() } = {{}}. The only maximal nested set of each is the empty set. {I () 1 } (B I () 1 I() = {{1,, 3, 4, 5}, {3}, {4}, {5}, {}} ) max (B () (I }) 1 I() )\{i() 1,i() max is not a nested set because {3} {4} {5} {} = {, 3, 4, 5} B (Lemma 4., Case ). Thus we put I (3) 1 = I () 1 {, 3, 4, 5} = {1,, 3, 4, 5}, I (3) = I () {, 3, 4, 5} = {, 3, 4, 5, 6}. We have I (3) 1 I (3) = {, 3, 4, 5} B (Lemma 4.3, Case ) and I () I (3). Since I () 1 I (3) = {, 3, 4, 5} B (Subcase.1), we put I (4) 1 = I () 1 I (3) = {, 3, 4, 5}, I (4) = I () = {3, 4, 5, 6}. Then B (4) I = {{3}, {4}, {5}}, I (4) 1 I(4) 1 I(4) =. The only maximal nested set of B (4) I is the empty set and 1 I(4) are nested sets of B. {I (4) 1 } (B I (4) {I (4) } (B I (4) 1 I(4) 1 I(4) ) max = {{, 3, 4, 5}, {3}, {4}, {5}}, ) max = {{3, 4, 5, 6}, {3}, {4}, {5}} Lemma 4.5. Let B be a connected building set on S and let I 1, I B with I 1 I, I 1 I, I I 1 and (B I1 I ) max 3. Then there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Furthermore, we have J 1 J I 1 I or (B J1 J ) max 3. If J 1 J = {j 1, j }, then N and (B (J1 J )\{j 1,j }) max are understood to be empty. Proof. We use induction on I 1 I. We have I 1 I. Suppose I 1 I =. We put J 1 = I 1 and J = I. Then J 1 J and (B J1 J ) max 3. We pick N N (B J1 J ) max. Then {J k } N (B J1 J ) max is a nested set of B for each k = 1,. Suppose I 1 I 3. We pick i 1 I 1 \ I, i I \ I 1, N N (B I1 I ) max and N N (B (I1 I )\{i 1,i }) max. If {I k } N (B I1 I ) max N (B (I1 I )\{i 1,i }) max is a nested set of B for each k = 1,, then there is nothing to prove. Otherwise, by Lemma 4., there exist I 1, I B such that I 1 I 1, I I, i 1 I 1 \ I, i I \ I 1, I 1 I I 1 I and I 1 I = I 1 I.
9 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 9 Case 1. Suppose (B I 1 I ) max 3. We have I 1 I = I 1 I I 1 I < I 1 I I 1 I = I 1 I. By the hypothesis of induction, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Furthermore, we have J 1 J I 1 I = I 1 I or (B J1 J ) max 3. Case. Suppose (B I 1 I ) max. For any K (B I1 I ) max, there exists unique L K (B I 1 I ) max such that K L K. Hence there exists L (B I 1 I ) max that contains more than one element of (B I1 I ) max. Let K 1,..., K r be all elements of (B I1 I ) max contained in L. Note that I 1 I L is the disjoint union of K 1,..., K r. If L I 1 I, then B L = I 1 I L = K 1 K r / B, a contradiction. Thus L I 1 I. We may assume L I 1. Subcase.1. Suppose I 1 L B. If L I, then B I 1 L = I 1 I L = K 1 K r / B, a contradiction. Thus L I. We put I 1 = I 1 L and I = I. Then we have I 1 I = I 1 I L / B, L \ I I 1 \ I and i I \ I 1. Since i 1 (I 1 I ) \ (I 1 I ), we have I 1 I I 1 I. Subcase.. Suppose I 1 L / B. We put I 1 = I 1 and I = L. Then we have I 1 I = I 1 L / B, i 1 I 1 \I and I \I 1 = L\I 1. Since i (I 1 I )\(I 1 I ), we have I 1 I I 1 I. In every subcase, by Lemma 4.3, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B, J 1 J I 1 I I 1 I and {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Therefore the assertion holds for I 1 I. Example 4.6. Let S = {1,, 3, 4, 5, 6, 7} and B = {{1}, {}, {3}, {4}, {5}, {6}, {7}, {, 4, 6}, {, 3, 4, 5}, {1,, 3, 4, 5}, {, 3, 4, 5, 6}, {3, 4, 5, 6, 7}, {1,, 3, 4, 5, 6}, {, 3, 4, 5, 6, 7}, {1,, 3, 4, 5, 6, 7}}. Let us consider I 1 = {1,, 3, 4, 5} and I = {3, 4, 5, 6, 7}. We pick i 1 = 1 and i = 7. Then B I1 I = {{3}, {4}, {5}}, B (I1 I )\{i 1,i } = {{}, {6}}. The only maximal nested set of each is the empty set. However, {I 1 } (B I1 I ) max (B (I1 I )\{i 1,i }) max = {{1,, 3, 4, 5}, {3}, {4}, {5}, {}, {6}} is not a nested set because {4} {} {6} = {, 4, 6} B (Lemma 4., Case ). Thus we put I (1) 1 = I 1 {, 4, 6} = {1,, 3, 4, 5, 6}, I (1) = I {, 4, 6} = {, 3, 4, 5, 6, 7}.
10 10 YUSUKE SUYAMA We have I (1) 1 I (1) = {, 3, 4, 5, 6} B (Lemma 4.5, Case ) and L = {, 3, 4, 5, 6}. Since L I 1 and I 1 L = {, 3, 4, 5} B (Subcase.1), we put I () 1 = I 1 L = {, 3, 4, 5}, I () = I = {3, 4, 5, 6, 7}. Now we apply Lemma 4.3 to I () 1 and I (). We pick i() 1 = and i () = 7. Then B () I = {{3}, {4}, {5}}, B 1 I() () (I 1 I() )\{i() 1,i() } = {{6}}. The only maximal nested set of each is the empty set. {I () 1 } (B I () 1 I() = {{, 3, 4, 5}, {3}, {4}, {5}, {6}} ) max (B () (I }) 1 I() )\{i() 1,i() max is not a nested set because {, 3, 4, 5} {6} = {, 3, 4, 5, 6} B (Lemma 4., Case 3). Thus we put I (3) 1 = {, 3, 4, 5, 6}, I (3) = I () = {3, 4, 5, 6, 7}. We have I (3) 1 I (3) = {3, 4, 5, 6} / B (Lemma 4.3, Case 1) and B (3) I = {{3}, {4}, {5}, {6}}, I (3) 1 I(3) 1 I(3) =. The only maximal nested set of B (3) I is the empty set and 1 I(3) {I (3) 1 } (B I (3) {I (3) } (B I (3) 1 I(3) 1 I(3) ) max = {{, 3, 4, 5, 6}, {3}, {4}, {5}, {6}}, ) max = {{3, 4, 5, 6, 7}, {3}, {4}, {5}, {6}} are nested sets of B. Furthermore, we have I (3) 1 I (3) I 1 I. Example 4.7. Let S = {1,, 3, 4, 5, 6, 7} and B = {{1}, {}, {3}, {4}, {5}, {6}, {7}, {, 6}, {4, 5, 6}, {, 4, 5, 6}, {1,, 3, 4, 5}, {, 3, 4, 5, 6}, {3, 4, 5, 6, 7}, {1,, 3, 4, 5, 6}, {, 3, 4, 5, 6, 7}, {1,, 3, 4, 5, 6, 7}}. Let us consider I 1 = {1,, 3, 4, 5} and I = {3, 4, 5, 6, 7}. We pick i 1 = 1 and i = 7. Then B I1 I = {{3}, {4}, {5}}, B (I1 I )\{i 1,i } = {{}, {6}, {, 6}}. The only maximal nested set of B I1 I is the empty set. We choose N = {{}} N (B (I1 I )\{i 1,i }) max. {I 1 } (B I1 I ) max N (B (I1 I )\{i 1,i }) max = {{1,, 3, 4, 5}, {3}, {4}, {5}, {}, {, 6}} is not a nested set because {1,, 3, 4, 5} {, 6} = {} = (Lemma 4., Case 1). Thus we put I (1) 1 = I 1 {, 6} = {1,, 3, 4, 5, 6}, I (1) = I = {3, 4, 5, 6, 7}. We have I (1) 1 I (1) = {3, 4, 5, 6} = {3} {4, 5, 6} (Lemma 4.5, Case ) and L = {4, 5, 6}. Since L I 1 and I 1 L = {4, 5} / B (Subcase.), we put I () 1 = I 1 = {1,, 3, 4, 5}, I () = L = {4, 5, 6}. Now we apply Lemma 4.3 to I () 1 and I (). We pick i() 1 = 1 and i () = 6. Then B () I = {{4}, {5}}, B 1 I() () (I = {{}, {3}}. 1 I() )\{i() 1,i() }
11 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 11 The only maximal nested set of each is the empty set. {I () } (B I () 1 I() = {{4, 5, 6}, {4}, {5}, {}, {3}} ) max (B () (I }) 1 I() )\{i() 1,i() max is not a nested set because {4, 5, 6} {} {3} = {, 3, 4, 5, 6} B (Lemma 4., Case 3). Thus we put I (3) 1 = I () 1 = {1,, 3, 4, 5}, I (3) = {, 3, 4, 5, 6}. We have I (3) 1 I (3) = {, 3, 4, 5} / B (Lemma 4.3, Case 1) and B (3) I = {{}, {3}, {4}, {5}}, I (3) 1 I(3) 1 I(3) =. The only maximal nested set of B (3) I is the empty set and 1 I(3) {I (3) 1 } (B I (3) {I (3) } (B I (3) 1 I(3) 1 I(3) ) max = {{1,, 3, 4, 5}, {}, {3}, {4}, {5}}, ) max = {{, 3, 4, 5, 6}, {}, {3}, {4}, {5}} are nested sets of B. Furthermore, we have I (3) 1 I (3) I 1 I. Proposition 4.8 ([8, Proposition 3.]). Let B be a building set on S and let C B \ B max. Then the correspondence { I \ C (C I), I I (C I) induces an isomorphism N (B) C N (B C (C \ B)) of simplicial complexes. Lemma 4.9. Let B be a connected building set on S and J 1, J B with J 1 J, J 1 J, J J 1 and J 1 J S. Let N N (B J1 J ) such that {J k } N N (B J1 J ) max for each k = 1,. Then there exists M N (B) such that {J k, J 1 J } N M N (B) max for each k = 1,. Proof. We pick M N ((J 1 J ) \ B) max. Then {J k } N M N (B J1 J ((J 1 J ) \ B)) max for each k = 1,. Hence by Proposition 4.8, there exists M N (B) such that {J k } N M are maximal simplices of N (B) J1 J. Hence {J k, J 1 J } N M N (B) max for each k = 1,. Proposition 4.10 ([8, Proposition 4.5]). Let B be a building set on S and let I 1, I B with I 1 I and N N (B) such that N {I 1 }, N {I } N (B) max. Then the following hold: (1) We have I 1 I and I I 1. () If I 1 I, then (B I1 I ) max N. (3) There exists {I 3,..., I k } N such that I 1 I, I 3,..., I k are pairwise disjoint and I 1 I k N B max ({I 3,..., I k } can be empty). We are now ready to prove Theorem.4. Proof of Theorem.4. The disjoint union of connected building sets yields the product of toric varieties associated to the connected building sets. Since the product of nonsingular projective toric varieties is weak Fano if and only if every factor is weak Fano, it suffices to show that, for any connected building set B on S = {1,..., n + 1}, the following are equivalent:
12 1 YUSUKE SUYAMA (1 ) The associated toric variety X( (B)) is weak Fano. ( ) For any I 1, I B such that I 1 I, I 1 I and I I 1, we have at least one of the following: (i ) I 1 I B. (ii ) I 1 I = S and (B I1 I ) max. (1 ) ( ): Let I 1, I B such that I 1 I, I 1 I, I I 1 and I 1 I / B. We show that if I 1 I S or (B I1 I ) max 3, then the toric variety X( (B)) is not weak Fano. Case 1. Suppose I 1 I S. By Lemma 4.3, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B, J 1 J I 1 I S and (4.) {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Since the cardinality of (4.) is J 1 J 1, (4.) is a maximal nested set of B J1 J. By Lemma 4.9, there exists M N (B) such that {J k, J 1 J } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max M N (B) max for k = 1,. Let Clearly τ = R 0 ({J 1 J } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max M). e J1 + e J Since (B J1 J ) max, Proposition.7 gives C (B J1 J ) max e C e J1 J = 0. ( K X( (B)).V (τ)) = (B J1 J ) max 1 1 = 1. Therefore X( (B)) is not weak Fano by Proposition.8. Case. Suppose that I 1 I = S and (B I1 I ) max 3. By Lemma 4.5, there exist J 1, J B, j 1 J 1 \ J, j J \ J 1, N N (B J1 J ) max, N N (B (J1 J )\{j 1,j }) max such that J 1 J, J 1 J / B and (4.3) {J k } N (B J1 J ) max N (B (J1 J )\{j 1,j }) max is a nested set of B for each k = 1,. Furthermore, we have J 1 J I 1 I = S or (B J1 J ) max 3. If J 1 J S, then a similar argument shows that X( (B)) is not weak Fano. Suppose that J 1 J = S and (B J1 J ) max 3. Then (4.3) is a maximal nested set of B. Let τ = R 0 (N (B J1 J ) max N (B (J1 J )\{j 1,j }) max ). Since e J1 J = e S = 0, it follows that e J1 + e J C (B J1 J ) max e C = 0.
13 TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS 13 Proposition.7 gives ( K X( (B)).V (τ)) = (B J1 J ) max 3 = 1. Therefore X( (B)) is not weak Fano by Proposition.8. ( ) (1 ): Let I 1, I B with I 1 I and N N (B) such that N {I 1 }, N {I } N (B) max. We need to show that ( K X( (B)).V (R 0 N)) 0. Case 1. Suppose I 1 I =. By Proposition 4.10 (3), there exists {I 3,..., I k } N such that I 1 I, I 3,..., I k are pairwise disjoint and I 1 I k N B max = N {S}. Since e I1 + e I + e I3 + + e Ik e I1 I k = 0, Proposition.7 gives { k 1 (I1 I ( K X( (B)).V (R 0 N)) = k N), k (I 1 I k = S). Hence ( K X( (B)).V (R 0 N)) 1. Case. Suppose I 1 I. By Proposition 4.10 (1), we have I 1 I and I I 1. (i ) Suppose I 1 I B. By Proposition 4.10 (), we have {I 1 I } = (B I1 I ) max N. By Proposition 4.10 (3), there exists {I 3,..., I k } N such that I 1 I, I 3,..., I k are pairwise disjoint and I 1 I k N B max = N {S}. Since e I1 + e I e I1 I + e I3 + + e Ik e I1 I k = 0, Proposition.7 gives { k (I1 I ( K X( (B)).V (R 0 N)) = k N), k 1 (I 1 I k = S). Hence ( K X( (B)).V (R 0 N)) 0. (ii ) Suppose that I 1 I = S and (B I1 I ) max. By Proposition 4.10 (), we have (B I1 I ) max N. Since e I1 I = e S = 0, it follows that e I1 + e I e C = 0. C (B I1 I ) max Proposition.7 gives ( K X( (B)).V (R 0 N)) = (B I1 I ) max = 0. Therefore X( (B)) is weak Fano by Proposition.8. This completes the proof of Theorem.4. References [1] A. Higashitani, Smooth Fano polytopes arising from finite directed graphs, Kyoto J. Math. 55 (015), [] M. Øbro, An algorithm for the classification of smooth Fano polytopes, arxiv: [3] T. Oda, Convex Bodies and Algebraic Geometry. An Introduction to the Theory of Toric Varieties, Ergeb. Math. Grenzgeb. (3) 15, Springer-Verlag, Berlin, [4] H. Sato, Toward the classification of higher-dimensional toric Fano varieties, Tohoku Math. J. 5 (000), no. 3, [5] H. Sato, The classification of smooth toric weakened Fano 3-folds, Manuscripta Math. 109 (00), no. 1, [6] Y. Suyama, Toric Fano varieties associated to finite simple graphs, Tohoku Math. J., to appear; arxiv:
14 14 YUSUKE SUYAMA [7] Y. Suyama, Toric Fano varieties associated to building sets, Kyoto J. Math., to appear; arxiv: [8] A. Zelevinsky, Nested complexes and their polyhedral realizations, Pure Appl. Math. Q. (006), no. 3, Department of Mathematics, Graduate School of Science, Osaka City University, Sugimoto, Sumiyoshi-ku, Osaka JAPAN address:
NOTES ON TORIC FANO VARIETIES ASSOCIATED TO BUILDING SETS arxiv: v1 [math.ag] 26 Sep 2018
NOTES ON TORIC FANO VARIETIES ASSOCIATED TO BUILDING SETS arxiv:1809.09830v1 [math.ag] 26 Sep 2018 YUSUKE SUYAMA Abstract. This article gives an overview of toric Fano and toric weak Fano varieties associated
More informationarxiv: v1 [math.ag] 15 Nov 2018
FANO GENERALIZED BOTT MANIFOLDS arxiv:181106209v1 [mathag] 15 Nov 2018 YUSUKE SUYAMA Abstract We give a necessary and sufficient condition for a generalized Bott manifold to be Fano or weak Fano As a consequence
More informationEQUIVALENCE CLASSES FOR SMOOTH FANO POLYTOPES. 1. Introduction
EQUIVALENCE CLASSES FOR SMOOTH FANO POLYTOPES AKIHIRO HIGASHITANI AND ALEXANDER KASPRZYK Abstract. Let F n denote the set of smooth Fano polytopes of dimension n, up to unimodular equivalence. We describe
More informationCones of effective two-cycles on toric manifolds
Cones of effective two-cycles on toric manifolds Hiroshi Sato Gifu Shotoku Gakuen University, Japan August 19, 2010 The International Conference GEOMETRY, TOPOLOGY, ALGEBRA and NUMBER THEORY, APPLICATIONS
More informationChapter 1. Preliminaries
Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between
More informationFANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction
FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES ELENA CHIERICI AND GIANLUCA OCCHETTA Abstract. We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which
More informationTHE ROTATION NUMBER OF PRIMITIVE VE SEQUENCES. Citation Osaka Journal of Mathematics. 52(3)
Title THE ROTATION NUMBER OF PRIMITIVE VE SEQUENCES Author(s) Suyaa, Yusuke Citation Osaka Journal of Matheatics 52(3) Issue 205-07 Date Tet Version publisher URL http://hdlhandlenet/094/57655 DOI Rights
More informationarxiv: v4 [math.ag] 9 Nov 2017
A Q FACTORIAL COMPLETE TORIC VARIETY WITH PICARD NUMBER 2 IS PROJECTIVE arxiv:1504.03850v4 [math.ag] 9 Nov 2017 MICHELE ROSSI AND LEA TERRACINI Abstract. This paper is devoted to settle two still open
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationarxiv: v2 [math.at] 18 Mar 2012
TODD GENERA OF COMPLEX TORUS MANIFOLDS arxiv:1203.3129v2 [math.at] 18 Mar 2012 HIROAKI ISHIDA AND MIKIYA MASUDA Abstract. In this paper, we prove that the Todd genus of a compact complex manifold X of
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationarxiv:math.ag/ v1 7 Jan 2005
arxiv:math.ag/0501104 v1 7 Jan 2005 Asymptotic cohomological functions of toric divisors Milena Hering, Alex Küronya, Sam Payne January 7, 2005 Abstract We study functions on the class group of a toric
More informationarxiv: v1 [math.ag] 13 May 2009
EXAMPLES OF NON-SYMMETRIC KÄHLER-EINSTEIN TORIC FANO MANIFOLDS arxiv:0905.2054v1 [math.ag] 13 May 2009 BENJAMIN NILL AND ANDREAS PAFFENHOLZ Abstract. In this note we report on examples of 7- and 8-dimensional
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationToric Varieties and the Secondary Fan
Toric Varieties and the Secondary Fan Emily Clader Fall 2011 1 Motivation The Batyrev mirror symmetry construction for Calabi-Yau hypersurfaces goes roughly as follows: Start with an n-dimensional reflexive
More informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
More informationSUPPLEMENT TO A CHORD DIAGRAM OF A RIBBON SURFACE-LINK
SUPPLEMENT TO A CHORD DIAGRAM OF A RIBBON SURFACE-LINK Akio Kawauchi Osaka City University Advanced Mathematical Institute Sugimoto, Sumiyoshi-ku, Osaka 558-8585, Japan kawauchi@sci.osaka-cu.ac.jp Abstract
More informationOn the Parameters of r-dimensional Toric Codes
On the Parameters of r-dimensional Toric Codes Diego Ruano Abstract From a rational convex polytope of dimension r 2 J.P. Hansen constructed an error correcting code of length n = (q 1) r over the finite
More informationNormal Fans of Polyhedral Convex Sets
Set-Valued Analysis manuscript No. (will be inserted by the editor) Normal Fans of Polyhedral Convex Sets Structures and Connections Shu Lu Stephen M. Robinson Received: date / Accepted: date Dedicated
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationVanishing theorems for toric polyhedra
RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of
More informationFLIPS VS FLOPS (PRIVATE NOTE) Contents 1. Introduction 1 2. Flips vs Flops 2 3. Questions 8 References 9
FLIPS VS FLOPS (PRIVATE NOTE) OSAMU FUJINO Abstract. In this note, we count the numbers of flipping and flopping contractions in the category of non-singular toric varieties. Contents 1. Introduction 1
More informationarxiv: v4 [math.co] 6 Jul 2016
LATTICE MULTI-POLYGONS AKIHIRO HIGASHITANI AND MIKIYA MASUDA arxiv:104.0088v4 [math.co] 6 Jul 016 Abstract. We discuss generalizations of some results on lattice polygons to certain piecewise linear loops
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6
ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES OSAMU FUJINO Abstract. We prove that any smooth projective variety with maximal Albanese dimension has a good minimal model. Contents 1. Introduction 1 2. Preliminaries
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationD-bounded Distance-Regular Graphs
D-bounded Distance-Regular Graphs CHIH-WEN WENG 53706 Abstract Let Γ = (X, R) denote a distance-regular graph with diameter D 3 and distance function δ. A (vertex) subgraph X is said to be weak-geodetically
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationDISCRETE INVARIANTS OF GENERICALLY INCONSISTENT SYSTEMS OF LAURENT POLYNOMIALS LEONID MONIN
DISCRETE INVARIANTS OF GENERICALLY INCONSISTENT SYSTEMS OF LAURENT POLYNOMIALS LEONID MONIN Abstract. Consider a system of equations f 1 = = f k = 0 in (C ) n, where f 1,..., f k are Laurent polynomials
More informationWeek 3: Faces of convex sets
Week 3: Faces of convex sets Conic Optimisation MATH515 Semester 018 Vera Roshchina School of Mathematics and Statistics, UNSW August 9, 018 Contents 1. Faces of convex sets 1. Minkowski theorem 3 3. Minimal
More informationRESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices
Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationCLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT
CLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT SHO HASUI, HIDEYA KUWATA, MIKIYA MASUDA, AND SEONJEONG PARK Abstract We say that a complete nonsingular toric variety (called a toric
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationCrash Course on Toric Geometry
Crash Course on Toric Geometry Emily Clader RTG Workshop on Mirror Symmetry February 2012 The Kähler cone If X Σ is a simplicial projective toric variety, then A n 1 (X Σ ) R = H 2 (X Σ ; R), so H 1,1
More informationSecant varieties of toric varieties
Journal of Pure and Applied Algebra 209 (2007) 651 669 www.elsevier.com/locate/jpaa Secant varieties of toric varieties David Cox a, Jessica Sidman b, a Department of Mathematics and Computer Science,
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationQuivers, Cones and Polytopes
Quivers, Cones and Polytopes Lutz Hille Dedicated to Idun Reiten on the occasion of her sixtieth birthday Abstract Let Q be a quiver without oriented cycles. We consider the polytope of flows (θ) in Q
More informationThe cocycle lattice of binary matroids
Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationGKM GRAPHS INDUCED BY GKM MANIFOLDS WITH SU(l + 1)-SYMMETRIES
Trends in Mathematics - New Series Information Center for Mathematical Sciences Volume 12, Number 1, 2010, pages 103 113 Toric Topology Workshop KAIST 2010 c 2010 ICMS in KAIST GKM GRAPHS INDUCED BY GKM
More informationFacets for Node-Capacitated Multicut Polytopes from Path-Block Cycles with Two Common Nodes
Facets for Node-Capacitated Multicut Polytopes from Path-Block Cycles with Two Common Nodes Michael M. Sørensen July 2016 Abstract Path-block-cycle inequalities are valid, and sometimes facet-defining,
More informationPOLARS AND DUAL CONES
POLARS AND DUAL CONES VERA ROSHCHINA Abstract. The goal of this note is to remind the basic definitions of convex sets and their polars. For more details see the classic references [1, 2] and [3] for polytopes.
More informationarxiv:math/ v1 [math.co] 3 Sep 2000
arxiv:math/0009026v1 [math.co] 3 Sep 2000 Max Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department San Francisco State University San Francisco, CA 94132 sergei@sfsu.edu
More informationarxiv: v1 [math.co] 20 Dec 2016
F-POLYNOMIAL FORMULA FROM CONTINUED FRACTIONS MICHELLE RABIDEAU arxiv:1612.06845v1 [math.co] 20 Dec 2016 Abstract. For cluster algebras from surfaces, there is a known formula for cluster variables and
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H 1, H 2 ) so that H 1 H 2 = G E(H 1 ) E(H 2 ) = V (H 1 ) V (H 2 ) = k Such a separation is proper if V (H
More informationClassification of Ehrhart polynomials of integral simplices
FPSAC 2012, Nagoya, Japan DMTCS proc. AR, 2012, 591 598 Classification of Ehrhart polynomials of integral simplices Akihiro Higashitani Department of Pure and Applied Mathematics, Graduate School of Information
More informationCHARACTERIZATION OF (QUASI)CONVEX SET-VALUED MAPS
CHARACTERIZATION OF (QUASI)CONVEX SET-VALUED MAPS Abstract. The aim of this paper is to characterize in terms of classical (quasi)convexity of extended real-valued functions the set-valued maps which are
More informationDETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY
DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY SFI FINANCIAL ALGEBRA PROJECT AT UCC: BH, AM & EO S 1. Definitions and basics In this working paper we have n currencies, labeled 1 through n inclusive and
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationarxiv:math/ v3 [math.ag] 1 Mar 2006
arxiv:math/0506132v3 [math.ag] 1 Mar 2006 A NOTE ON THE PROJECTIVE VARIETIES OF ALMOST GENERAL TYPE SHIGETAKA FUKUDA Abstract. A Q-Cartier divisor D on a projective variety M is almost nup, if (D, C) >
More informationDual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes. Satoru FUJISHIGE and Jens MASSBERG.
RIMS-1734 Dual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes By Satoru FUJISHIGE and Jens MASSBERG December 2011 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY,
More informationIntersections of Leray Complexes and Regularity of Monomial Ideals
Intersections of Leray Complexes and Regularity of Monomial Ideals Gil Kalai Roy Meshulam Abstract For a simplicial complex X and a field K, let h i X) = dim H i X; K). It is shown that if X,Y are complexes
More informationTUTTE POLYNOMIALS OF q-cones
TUTTE POLYNOMIALS OF q-cones JOSEPH E. BONIN AND HONGXUN QIN ABSTRACT. We derive a formula for the Tutte polynomial t(g ; x, y) of a q-cone G of a GF (q)-representable geometry G in terms of t(g; x, y).
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More information1 Matroid intersection
CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: October 21st, 2010 Scribe: Bernd Bandemer 1 Matroid intersection Given two matroids M 1 = (E, I 1 ) and
More informationOn Degree Growth and Stabilization of Three-Dimensional Monomial Maps
Michigan Math. J. 62 (2013), 567 579 On Degree Growth and Stabilization of Three-Dimensional Monomial Maps Jan-Li Lin 1. Introduction Given a rational self-map f : X X on an n-dimensional Kähler manifold
More informationCombinatorial Types of Tropical Eigenvector
Combinatorial Types of Tropical Eigenvector arxiv:1105.55504 Ngoc Mai Tran Department of Statistics, UC Berkeley Joint work with Bernd Sturmfels 2 / 13 Tropical eigenvalues and eigenvectors Max-plus: (R,,
More informationHOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID?
HOW IS A CHORDAL GRAPH LIKE A SUPERSOLVABLE BINARY MATROID? RAUL CORDOVIL, DAVID FORGE AND SULAMITA KLEIN To the memory of Claude Berge Abstract. Let G be a finite simple graph. From the pioneering work
More informationCohomology groups of toric varieties
Cohomology groups of toric varieties Masanori Ishida Mathematical Institute, Tohoku University 1 Fans and Complexes Although we treat real fans later, we begin with fans consisting of rational cones which
More informationNon-separating 2-factors of an even-regular graph
Discrete Mathematics 308 008) 5538 5547 www.elsevier.com/locate/disc Non-separating -factors of an even-regular graph Yusuke Higuchi a Yui Nomura b a Mathematics Laboratories College of Arts and Sciences
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: July 11, 2017 11 Cluster Algebra from Surfaces In this lecture, we will define and give a quick overview of some properties of cluster
More informationPETER A. CHOLAK, PETER GERDES, AND KAREN LANGE
D-MAXIMAL SETS PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE Abstract. Soare [23] proved that the maximal sets form an orbit in E. We consider here D-maximal sets, generalizations of maximal sets introduced
More informationTHE BKK ROOT COUNT IN C n. c e x e,
MATHEMATICS OF COMPUTATION Volume 65, Number 216 October 1996, Pages 1477 1484 THE BKK ROOT COUNT IN C n T Y LI AND XIAOSHEN WANG Abstract The root count developed by Bernshtein, Kushnirenko and Khovanskii
More informationCohomological rigidity of 6-dimensional quasitoric manifolds
Cohomological rigidity of 6-dimensional quasitoric manifolds Seonjeong Park 1 Joint work with Buchstaber 2, Erokhovets 2, Masuda 1, and Panov 2 1 Osaka City University, Japan 2 Moscow State University,
More informationPROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES
PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES JOSÉ LUIS GONZÁLEZ Abstract. We prove that the Cox ring of the projectivization PE of a rank two toric vector bundle E, over a toric variety
More informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. Boundary cliques, clique trees and perfect sequences of maximal cliques of a chordal graph
MATHEMATICAL ENGINEERING TECHNICAL REPORTS Boundary cliques, clique trees and perfect sequences of maximal cliques of a chordal graph Hisayuki HARA and Akimichi TAKEMURA METR 2006 41 July 2006 DEPARTMENT
More informationFINITE CONNECTED H-SPACES ARE CONTRACTIBLE
FINITE CONNECTED H-SPACES ARE CONTRACTIBLE ISAAC FRIEND Abstract. The non-hausdorff suspension of the one-sphere S 1 of complex numbers fails to model the group s continuous multiplication. Moreover, finite
More informationAxioms for Set Theory
Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:
More informationPOSITIVITY FOR TORIC VECTOR BUNDLES
POSITIVITY FOR TORIC VECTOR BUNDLES MILENA HERING, MIRCEA MUSTAŢĂ, AND SAM PAYNE Abstract. We show that a T -equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction
More informationA Note on Total Excess of Spanning Trees
A Note on Total Excess of Spanning Trees Yukichika Ohnishi Katsuhiro Ota Department of Mathematics, Keio University Hiyoshi, Kohoku-ku, Yokohama, 3-85 Japan and Kenta Ozeki National Institute of Informatics
More informationASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp , March THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN
ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp. 095 100, March 2002 005 THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN HASSETT y, HUI-WEN LIN z, AND CHIN-LUNG WANG x 1.
More informationA necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees
A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of
More information7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical
7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationSequences of height 1 primes in Z[X]
Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let
More informationA Characterization of Polyhedral Convex Sets
Journal of Convex Analysis Volume 11 (24), No. 1, 245 25 A Characterization of Polyhedral Convex Sets Farhad Husseinov Department of Economics, Bilkent University, 6533 Ankara, Turkey farhad@bilkent.edu.tr
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationSemimatroids and their Tutte polynomials
Semimatroids and their Tutte polynomials Federico Ardila Abstract We define and study semimatroids, a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationMAT-INF4110/MAT-INF9110 Mathematical optimization
MAT-INF4110/MAT-INF9110 Mathematical optimization Geir Dahl August 20, 2013 Convexity Part IV Chapter 4 Representation of convex sets different representations of convex sets, boundary polyhedra and polytopes:
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationarxiv: v1 [math.co] 16 May 2016
arxiv:165.4694v1 [math.co] 16 May 216 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE INTEGRAL CONVEX POLYTOPES YUSUKE SUYAMA Abstrat. We give an expliit formula on the Ehrhart polynomial of a 3- dimensional
More informationALGEBRAIC PROPERTIES OF BIER SPHERES
LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationz -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz
Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationarxiv:math/ v1 [math.ag] 11 Apr 2003 James McKernan and Yuri Prokhorov
THREEFOLD THRESHOLDS arxiv:math/0304152v1 [math.ag] 11 Apr 2003 James McKernan and Yuri Prokhorov Abstract. We prove that the set of accumulation points of thresholds in dimension three is equal to the
More informationS. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)
PAYNE, CATHERINE ANN, M.A. On ψ (κ, M) spaces with κ = ω 1. (2010) Directed by Dr. Jerry Vaughan. 30pp. S. Mrówka introduced a topological space ψ whose underlying set is the natural numbers together with
More informationThe 123 Theorem and its extensions
The 123 Theorem and its extensions Noga Alon and Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract It is shown
More information