H A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j
|
|
- Garey Simpson
- 6 years ago
- Views:
Transcription
1 M ath. Res. Lett. 16 (2009), no. 1, c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A C n ; it is the quotient of an exterior algebra Λ(V ) on A generators. In [9], Orlik and Terao introduced a commutative analog Sym(V )/I of the Orlik-Solomon algebra to answer a question of Aomoto and showed the Hilbert series depends only on the intersection lattice L(A). In [6], Falk and Randell define the property of 2-formality; in this note we study the relation between 2-formality and the Orlik-Terao algebra. Our main result is a necessary and sufficient condition for 2- formality in terms of the quadratic component I 2 of the Orlik-Terao ideal I. The key is that 2-formality is determined by the tangent space T p(v (I 2 )) at a generic point p. 1. Introduction Let A = {H 1,..., H d } be an arrangement of complex hyperplanes in C n. In [7], Orlik and Solomon showed that the cohomology ring of the complement X = C n \ d i=1 H i is determined by the intersection lattice L(A) = { H A A}. H A The Orlik-Solomon algebra H (X, Z) is the quotient of the exterior algebra E = (Z d ) on generators e 1,..., e d in degree 1 by the ideal generated by all elements of the form e i1...i r := q ( 1) q 1 e i1 ê iq e ir, for which codim H i1 H ir < r. Throughout this paper, we work with an essential, central arrangement of d hyperplanes; this means we may always assume L(A) has rank n and d A = V (α i ) P n 1, i=1 where α i are distinct homogeneous linear forms such that H i = V (α i ). Write [d] for {1,..., d} and let Λ = {i 1,..., i k } [d]. If codim( k j=1 H i j ) < k, then there are constants c t such that c t α t = 0. t Λ In [9], Orlik and Terao introduced the following commutative analog of the Orlik- Solomon algebra in order to answer a question of Aomoto. Received by the editors April 9, Mathematics Subject Classification. 52C35, 13D02, 13D40. Key words and phrases. Hyperplane arrangement, Free resolution, Orlik-Terao algebra. Schenck supported by NSF , NSA
2 172 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU Definition 1.1. For each dependency Λ = {i 1,..., i k }, let r Λ = k j=1 c i j y ij R = K[y 1,..., y d ]. Define f Λ = (r Λ ) = k j=1 c i j (y i1 ŷ ij y ik ), and let I be the ideal generated by the f Λ. The Orlik-Terao algebra OT is the quotient of K[y 1,..., y d ] by I. The Artinian Orlik-Terao algebra is the quotient of OT by y1, 2..., yd 2. Orlik and Terao actually study the Artinian version, but for our purposes the OT algebra will turn out to be more interesting. The crucial difference between the Orlik-Solomon algebra and Orlik-Terao algebra(s) is not the difference between the exterior algebra and symmetric algebra, but rather the fact that the Orlik-Terao algebra actually records the weights of the dependencies among the hyperplanes. So in any investigation where actual dependencies come into play, the OT algebra is the natural candidate for study Formality. In [6], Falk and Randell introduced the concept of 2-formality: Definition 1.2. For an arrangement A, the relation space F (A) is the kernel of the evaluation map φ: d e Ke i α i i K[x1,..., x n ] 1. i=1 A is 2-formal if F (A) is spanned by relations involving only three hyperplanes. Example 1.3. Suppose we have an arrangement of 4 lines in P 2 given by the linear forms: α 1 = x 1, α 2 = x 2, α 3 = x 3, α 4 = x 1 + x 2 + x 3. Obviously any three of the forms are independent, so the only relation is α 1 + α 2 + α 3 α 4 = 0. Hence the OT algebra is K[y 1,..., y 4 ]/ y 2 y 3 y 4 + y 1 y 3 y 4 + y 1 y 2 y 4 y 1 y 2 y 3. This arrangement cannot be 2-formal, since there are no relations involving only three lines, whereas F (A) is nonzero. Many interesting classes of arrangements are 2-formal: in [6], Falk and Randell proved that K(π, 1) arrangements and arrangements with quadratic Orlik-Solomon ideal are 2-formal. In [3], Brandt and Terao generalized the notion of 2-formality to k formality, proving that every free arrangement is k formal. Formality of discriminantal arrangements is studied in [1], with surprising connections to fiber polytopes [2]. In [17], Yuzvinsky shows that free arrangements are 2-formal; and gives an example showing that 2-formality does not depend on L(A). Example 1.4. Consider the following two arrangements of lines in P 2 : A 1 =V (xyz(x+ y+ z)(2x+ y+ z)(2x+ 3y+ z)(2x+ 3y+ 4z)(3x+ 5z)(3x+ 4y+ 5z)) A 2 =V (xyz(x+ y+ z)(2x+ y+ z)(2x+ 3y+ z)(2x+ 3y+ 4z)(x+ 3z)(x+ 2y+ 3z)). For a graded R module M, the graded betti numbers of M are b ij = dim K Tor R i (M, K) i+j. We shall be interested in the case when M = R/I. The graded betti numbers of the Orlik-Terao and Artinian Orlik-Terao algebras of A 1 and A 2 are identical; for the
3 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY 173 Orlik-Terao algebras the graded betti numbers are: total The diagram entry in position (i, j) is simply b ij, so for example, dim K Tor R 2 (R/I, K) 4 = 120. Yuzvinsky shows that A 1 is 2-formal, and A 2 is not. The arrangements have the same intersection lattice and appear identical to the naked eye: Figure 1. The difference is that the six multiple points of A 1 lie on a smooth conic, while the six multiple points of A 2 do not. The quadratic OT algebra is K[y 1,..., y d ]/I 2, where I 2 consists of the quadratic generators of I. The graded betti numbers of the quadratic OT algebra of A 1 are: total while the quadratic OT algebra of A 2 has betti diagram: total This paper is motivated by the question raised by the previous example: Is 2- formality determined by the quadratic OT algebra? Our main result is: Theorem: Let A be an arrangement of d hyperplanes of rank n. A is 2-formal if and only if codim(i 2 ) = d n.
4 174 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU As noted, the class of 2-formal arrangements is quite large, and includes free arrangements, K(π, 1) arrangements, and arrangements with quadratic Orlik-Solomon ideal. The previous theorem gives necessary and sufficient conditions for 2-formality in terms of the Orlik-Terao algebra. We close the introduction with several examples. Definition 1.5. Let G be a simple graph on ν vertices, with edge-set E, and let A G = {z i z j = 0 (i, j) E} be the corresponding arrangement in C ν. For a graphic arrangement A G it is obvious that d = E, and easy to show that rank A G = ν 1. In [16], Tohaneanu showed that a graphic arrangement A G is 2- formal exactly when H 1 ( G ) = 0, where G is the clique complex of G a simplicial complex, whose i-faces correspond to induced complete subgraphs on i + 1 vertices. Example 1.6. The clique complex for G as in Figure 2 consists of the four triangles (and all vertices and edges). Clearly H i ( G ) = 0 for all i 1, so A G is 2-formal. The graded betti numbers of OT are Figure 2. total while the quadratic OT algebra of A G has betti diagram: total Since I 2 is clearly a complete intersection, codim(i 2 ) = 4 = 8 (5 1) = d n, giving another proof of 2-formality for this configuration. While the examples of 2-formal arrangements encountered thus far have I 2 a complete intersection, this is generally not the case.
5 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY 175 Example 1.7. The Non-Fano arrangement is the unique configuration of seven lines in P 2 having six triple points. It is free, hence 2-formal. The graded betti numbers of OT are total while the quadratic OT algebra has betti diagram: total So I 2 is not a complete intersection, though it is Gorenstein. In general, I 2 need not even be Cohen-Macaulay, and often has multiple components. For the Non-Fano arrangement the primary decomposition of I 2 is I 2 = I y 0, y 1, y 3, y 4 In particular, if I I 2, the primary decomposition is nontrivial. When A is 2-formal, it is possible to give a simple necessary and sufficient combinatorial criterion for I 2 to be a complete intersection. Corollary 1.8. Let A be a 2-formal arrangement of rank n, with A = d. Then I 2 is a complete intersection iff ( ) d b 2 = d + n 2 Proof. First, since b 2 is the dimension of the Orlik-Solomon algebra in degree two, b 2 = dim K Λ 2 (K d ) dim K J 2, where J denotes the Orlik-Solomon ideal. Since the Artinian Orlik-Terao algebra has the same Hilbert series as the Orlik-Solomon algebra, this implies Now, clearly b 2 = dim K (R/I + y 2 1,..., y 2 d ) 2 dim K (R/ y 2 1,..., y 2 d ) 2 = dim K Λ 2 (K d ). In the next section, it is proved that I is prime. It follows from this that no y 2 i I 2. Combining, we obtain that dim K I 2 = dim K J 2. Now, I 2 is a complete intersection if codim(i 2 ) = dim K (I 2 ). By the assumption of 2-formality, this concludes the proof.
6 176 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU 2. The quadratic Orlik-Terao algebra and 2-Formality We keep the setup of the previous section: A is an essential, central arrangement of d hyperplanes in P n 1, with relation space F (A). Since dim K F (A) = d n, A is 2-formal if and only iff dim K (span K ({3-relations})) = d n. Fix defining linear forms α i so that H i = V (α i ), let I R = K[y 1,..., y d ] denote the OT ideal, and I 2 the quadratic component of I. Proposition 2.1. I is prime, and V (I) is a rational variety of codimension d n. Proof. Consider the map R Φ K [ 1 α 1,..., ] 1 = C(A) α d given by y i 1 α i. An easy check shows that I ker Φ. Our assumption that A is essential implies that [ ] [ ] 1 K,..., K,...,, y 1 y n α 1 α d hence the field of fractions of R/ ker(φ) is K(y 1,..., y n ), giving rationality and the appropriate dimension (as an affine cone). In [15], Terao proved that the Hilbert series for C(A) is given by ( t ) HS(C(A), t) = P A,. 1 t where P (A, t) is the Poincaré polynomial of A. If H is a hyperplane of A, the deletion A is the subarrangement A \ H of A, and the restriction A is the arrangement {H H H A }, considered as an arrangement in the vector space H, and there is a relation P (A, t) = P (A, t) + tp (A, t). Thus the Hilbert series of C(A) satisfies the recursion HS(C(A), t) = HS(C(A ), t) + t 1 t HS(C(A ), t) If the quotient R/I satisfies the same recursion, then I = ker Φ will follow by induction. Let y 1 be a variable corresponding to H = H 1. In [10], Proudfoot and Speyer prove that the broken circuits are a universal Gröbner basis for I, hence in particular a lex basis. Let R = K[y 1,..., y n ] and R = K[y 2,..., y n ], and consider the short exact sequence 0 R( 1)/(in(I) : y 1 ) y1 R/in(I) R/(in(I), y 1 ) 0. The initial ideal of I has the form with f i, g j not divisible by y 1. Clearly in(i) = f 1,..., f k, y 1 g 1,..., y 1 g m, in(i) : y 1 = f 1,..., f k, g 1,..., g m
7 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY 177 In the rightmost module of the short exact sequence, quotienting by y 1 kills the generator and all relations involving y 1, hence R/(in(I), y 1 ) R / f 1,..., f k = R /in(i ), with I denoting the OT ideal of A. In the leftmost module, since no relation of in(i) : y 1 involves y 1, in(i) : y 1 R, so taking into account the degree shift and the fact that y 1 acts freely on the module, we see HS(R( 1)/(in(I) : y 1 ), t) = t 1 t HS(R / f 1,..., f k, g 1,..., g m, t). We now claim that HS(R / f 1,..., f k, g 1,..., g m, t) = HS(C(A ), t). To see this, note that the initial monomials f k express the fact that the dependencies among hyperplanes of A continue to hold in A. The relations g j represent the collapsing that occurs on restricting to H 1. For example, if there is a circuit (123) in A, this means that H 2 H1 = H 3 H1. In OT(A), the relation on (123) has initial term y 1 y 2, hence y 2 in(i) : y 1. This reflects the redundancy H 2 H1 = H 3 H1 in the restriction. Similar reasoning applies to the relations g i of degree greater than one, leading to: ( HS(R / f 1,..., f k, g 1,..., g m, t) = HS(C(A ), t) = P A t ),. 1 t Combining this with an induction and Terao s formula shows that I = ker Φ. Corollary 2.2. The variety V (I) is nondegenerate. Proof. Since I is prime, V (I) will be contained in a hyperplane V (L) iff L I. However, the assumption that the hyperplanes of A are distinct implies that there are no dependencies involving only two hyperplanes, so that I is generated in degree greater than two. In particular, I contains no linear forms. Theorem 2.3. Let A be an arrangement of d hyperplanes of rank n. A is 2-formal if and only if X = V (I 2 ) (C ) d 1 has codimension d n. Proof. The proof hinges on the fact that for p (C ) d 1 P d 1, the Jacobian ideal of I 2, evaluated at p, is (after a linear change of coordinates) exactly the matrix recording the dependencies among triples of hyperplanes. Let f = ay 2 y 3 + by 1 y 3 + cy 1 y 2 = (ay 1 + by 2 + cy 3 ), a, b, c 0, be a generator of I 2, let p = (p 1 :... : p d ) be a point on X, so mp p i = 0. Such points form a dense open subset of V (I) by Corollary 2.2. The Jacobian matrix of the generators of I 2 has a special form when evaluated at p V (I 2 ) (C ) d 1. Write f i for (f)/ (y i ). For f as above, if i 4 then f i = 0, and Evaluating the partials of f at p yields: f 1 = by 3 + cy 2 f 2 = ay 3 + cy 1 f 3 = ay 2 + by 1 f 1 (p) = p 2 p 3 (b 1 p 2 + c 1 p 3 ), f 2 (p) = p 1 p 3 (a 1 p 1 + c 1 p 3 ), f 3 (p) = p 1 p 2 (a 1 p 1 + b 1 p 2 ).
8 178 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU Since f(p) = 0, a 1 p 1 + b 1 p 2 + c 1 p 3 = 0, and simplifying using this relation, we obtain: f 1 (p) = p 2p 3 p 1 a, f 2 (p) = p 1p 3 p 2 b, f 3 (p) = p 1p 2 p 3 c. The p i are nonzero, so rescaling shows that the row of J p (I 2 ) corresponding to f is: [ a p 2, b 1 p 2, c ] 2 p 2, 0,..., 0 3 Multiplying J p (I 2 ) on the right by the diagonal invertible matrix with (i, i) entry p 2 i yields a matrix whose entries encode the dependencies among triples of the forms l i. Hence rank J p (I 2 ) is exactly the dimension of the space of three relations. Theorem 2.4. A is 2-formal if and only if codim(i 2 ) = d n. Proof. When I = I 2, the result follows from Theorem 2.3. There are two cases to consider. As in Example 1.7, it is possible that I I 2 but dim V (I) = dim V (I 2 ). In this case, the theorem holds, simply from the coincidence of dimensions. The second case is that dim V (I) < dim V (I 2 ). In this case, for a smooth point p V (I 2 ), the dimension of T p (V (I 2 )) will be greater than d n, hence rank J p (I 2 ) < d n. The dimension of the tangent space can only increase at singular points, so rank J p (I 2 ) < d n at all points of V (I 2 ), and thus the three relations cannot span the relation space. Proposition 2.5. If A is supersolvable, then I = I 2. Proof. Fix the reverse lexicographic order on R = K[y 1,..., y d ]. Suppose C is a circuit with C = p 4, and that (C) / I 2. From the set of circuits with (C) / I 2, C = p, select the circuit C = {H j1,..., H jp }, j 1 < < j p which has maximal lead term M = y j2 y jp. Since A is supersolvable, there exists j r, j s, 1 r < s p and u > j s such that D = {H jr, H js, H u } is a circuit. If u {j 1, j 2,..., j p } then C contains D, which would contradict the fact that C is a circuit with C 4. Hence u / {j 1, j 2,..., j p }. So D gives rise to a dependency: yielding an element D = b r α jr + b s α js + α u = 0, b r, b s 0, (D) = y jr y js + b r y js y u + b s y jr y u I 2. Note that C also gives a dependency a 1 α j1 + +a p α jp = 0, a k 0 and corresponding element (C) = a r y j1 ŷ jr y jp + a s y j1 ŷ js y jp + y jr y js P I, with P = a 1 y j2 ŷ jr ŷ js y jp + + a p y j1 ŷ jr ŷ js y jp 1. Consider the dependencies C r = a r D b r C and C s = a s D b s C. Writing y jr y js = (D) b r y js y u b s y jr y u and substituting into the expression for (C) yields (C) = (C r ) + (C s ) + (D)P.
9 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY 179 Now note that C r and C s are circuits of cardinality p with leading terms of (C r ) and (C s ) greater than M, since we replaced the variable y jr or y js by y u, with u > j s > j r. The choice of M and C now implies that (C r ) and (C s ) are both in I 2, a contradiction. 3. Combinatorial Syzygies Example 1.4 shows that the module of first syzygies on I 2 is not determined by combinatorial data. In this section we study linear first syzygies. First, we examine the syzygies which arise from an X L 2 (A) with µ(x) 3. If µ(x) = d 1, then d hyperplanes H 1,..., H d pass thru X. To simplify, we localize to the rank two flat, so that A consists of d points in P 1. Theorem 3.1. Suppose X L 2 (A) has µ(x) = d 1 3 and let I R = K[y 1,..., y d ] K[y 1,..., y n ] be the subideal of I 2 corresponding to A X. The ideal I has an Eagon-Northcott resolution S 2 (R 2 ) Λ 4 R( 1) d 1 (R 2 ) Λ 3 R( 1) d 1 Λ 2 R( 1) d 1 Λ 2 R 2 R/I 0. In particular, the only nonzero betti numbers are ( ) d 1 dim K T or i (R/I, K) i+1 = i. i + 1 Proof. Let X L 2 (A) with µ(x) = d 1. After a change of coordinates, X = V (x 1, x 2 ), and X H iff l H x 1, x 2. Localization is exact, so without loss of generality we may assume that A consists of d points in P 1. By Proposition 2.5, I is quadratic, and by Proposition 2.1, I has codimension d 2, so V (I) is an irreducible curve in P d 1. Since the irrelevant maximal ideal is not an associated prime, I has depth at least one, and by Corollary 2.2, X is not contained in any hyperplane, so y d is a nonzero divisor on R/I. This implies that deg X = deg V (I + y d ). Since A has rank two, any set of three hyperplanes is dependent and thus every triple {H i, H j, H k } yields an element of I. Therefore I, y d = J, y d, where J = {y i y j } 1 i<j d 1. It follows that the primary decomposition of I, y d is I, y d = y i1,..., y id 2, y d, 1 i 1< <i d 2 d 1 so deg V ( I, y d ) = d 1. Any smooth, irreducible nondegenerate curve of degree d 1 in P d 1 is a rational normal curve, and has an Eagon-Northcott resolution [4]. So we need only show that V (I) is smooth. Our main theorem implies A is 2-formal, and the proof of that result shows that dim T p (V (I)) = 1 for all p V (I). Hence V (I) is rational normal curve of degree d 1.
10 180 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU 3.1. Graphic arrangements. For a graphic arrangement, all weights of dependencies are ±1, so the Orlik-Terao ideal I G has a presentation that is essentially identical to that of the Orlik-Solomon ideal obtained in [12]. The proof of the next lemma is straightforward. Lemma 3.2. I G is minimally generated by the chordless cycles of G. Lemma 3.3. Every K 4 subgraph yields two minimal linear first syzygies on I G. Proof. Let K 4 be the complete graph on {1, 2, 3, 4}. There are four relations: y 12 + y 23 y 13, y 12 + y 24 y 14, y 13 + y 34 y 14, y 23 + y 34 y 24. Let y 1 = y 12, y 2 = y 13, y 3 = y 14, y 4 = y 23, y 5 = y 24, y 6 = y 34. I is generated by: f 4 = y 2 y 4 + y 1 y 2 y 1 y 4 f 3 = y 3 y 5 + y 1 y 3 y 1 y 5 f 2 = y 3 y 6 + y 2 y 3 y 2 y 6 f 1 = y 5 y 6 + y 4 y 5 y 4 y 6 A direct calculation yields the pair of (independent) linear syzygies: (y 1 y 2 )f 1 (y 1 + y 5 )f 2 + (y 2 + y 6 )f 3 (y 6 y 5 )f 4 = 0 (y 2 y 3 )f 1 (y 4 y 5 )f 2 + (y 4 y 2 )f 3 (y 5 y 3 )f 4 = 0 A Hilbert function computation as in Corollary 1.8 concludes the proof. Theorem 3.4. If κ i is the number of induced subgraphs of type K i+1 G, then κ 2 i = 1 T or i (R/I G ) i+1 = 2κ 3 i = 2 0 i 3. Proof. Combine a Hilbert function argument as in Corollary 1.8 with suitable modifications to the proofs of Corollary 6.6 and Lemma 6.9 of [12] The spaces R k (A). In [3], Brandt-Terao introduce higher relation spaces. Definition 3.5. For X L 2 (A), let F (A X ) be the subspace of F (A) generated by the relations associated to circuits of length 3 {H i, H j, H k }, with X H i, H j, H k. The inclusion map F (A X ) F (A) gives a map π : F (A X ) F (A). X L 2(A) The first relation space R 3 (A) = ker π. The space R 3 (A) captures the dependencies among the circuits of length 3 in A, and A is 2-formal iff π is surjective. It is clear that dim F (A X ) = µ(x) 1, where µ is the Möbius function. Proposition 3.6. Let X 1,..., X s L 2 (A) and let r 1 F (A X1 ),..., r s F (A Xs ) be nonzero relations. If L 1 (r 1 ) + + L s (r s ) = 0, L i 0 is a linear syzygy, then there exist a i K with a 1 r a s r s = 0.
11 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY 181 Proof. Suppose L 1 (r 1 ) + + L s (r s ) = 0, L i 0 is a linear syzygy, with L i = a i 1y 1 + +a i d y d. Define supp(l i ) to be the set of indices j for which a i j 0, and suppose supp(l i) supp(r i ) for some i. In the expression of L i (r i ) there exists a nonzero monomial of the form y u y 2 v with H u H v = X i. Since in the syzygy this monomial must be cancelled, there exists k i such that L k (r k ) contains a term y u y 2 v. Since y 2 v cannot occur in (r k ), we see that X k = H u H v, contradicting X k X i. Let Λ i = supp(r i ). Substituting ( 1 y 1,..., 1 y d ) in the syzygy yields: f 1 r f s r s = 0, y [d]\λ1 y Λ1 y [d]\λs y Λs f where i y [d]\λi = L i ( 1 y 1,..., 1 y d ) and f i K[y 1,..., y d ] are square-free non-zero polynomials, possibly divisible by a square-free monomial. Hence f 1 r f s r s = 0 and f 1 r 1 r 2,..., r s. If r 1 / r 2,..., r s, then f 1 r 2,..., r s and f 1 = P 2 r P s r s. Evaluating this expression at ( 1 y 1,..., 1 y d ) and clearing the denominators shows there exists a monomial m such that ml 1 (r 2 ),..., (r s ) I. By Proposition 2.1 and Corollary 2.2, I is nondegenerate prime ideal, so this is impossible, and r 1 r 2,..., r s. Acknowledgements Computations were performed using Macaulay2, by Grayson and Stillman, and available at: References [1] M. Bayer, K. Brandt, Discriminantal Arrangements, Fiber Polytopes and Formality, J. Alg. Comb., 6 (1997), [2] L. Billera, B. Sturmfels, Fiber polytopes, Ann. of Math, 135 (1992), [3] K. Brandt, H. Terao, Free Arrangements and Relation Spaces, Discrete Comput. Geom., 12 (1994), [4] D. Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer- Verlag, Berlin-Heidelberg-New York, [5] M. Falk and R. Randell, On the homotopy theory of arrangements, Adv. Stud. Pure. Math. 8 (1986), [6] M. Falk and R. Randell, On the homotopy theory of arrangements II, Adv. Stud. Pure. Math. 27 (2000), [7] P. Orlik, L. Solomon, Combinatorics and topology of complements of hyperplanes, Invent. Math. 56 (1980), [8] P. Orlik, H. Terao, Arrangements of Hyperplanes, Grundlehren Math. Wiss., Bd. 300, Springer- Verlag, Berlin-Heidelberg-New York, [9] P. Orlik, H. Terao, Commutative algebras for arrangements, Nagoya Math. J., 134 (1994), [10] N. Proudfoot, D. Speyer, A broken circuit ring, Beiträge Algebra Geom., 47 (2006), [11] B. Shelton, S. Yuzvinsky, Koszul algebras from graphs and hyperplane arrangements, J. London Math. Soc. (2) 56 (1997), [12] H. Schenck, A. Suciu, Lower central series and free resolutions of hyperplane arrangements, Trans. Amer. Math. Soc. 354 (2002),
12 182 HAL SCHENCK AND ŞTEFAN O. TOHǍNEANU [13] H. Schenck, A. Suciu, Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand- Gelfand correspondence, Trans. Amer. Math. Soc. 358 (2006), [14] A. Suciu, Fundamental groups of line arrangements: Enumerative aspects, Contemporary Math. 276 (2001), AMS, Providence, RI, [15] H. Terao, Algebras generated by reciprocals of linear forms, J. Algebra, 250 (2002), [16] S. Tohaneanu, Topological criteria for k formal arrangements, Beiträge Algebra Geom., 48 (2007), [17] S. Yuzvinsky, First two obstructions to the freeness of arrangements, Trans. Amer. Math. Soc. 335 (1993), Schenck: Mathematics Department, University of Illinois, Urbana, IL 61801, USA address: schenck@math.uiuc.edu Tohaneanu: Math Department, University of Cincinnati, Cincinnati, OH 45221, USA address: stefan.tohaneanu@uc.edu
Generic section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationAnnihilators of Orlik Solomon Relations
Advances in Applied Mathematics 28, 231 249 (2002) doi:10.1006/aama.2001.0779, available online at http://www.idealibrary.com on Annihilators of Orlik Solomon Relations Graham Denham 1 and Sergey Yuzvinsky
More informationHYPERPLANE ARRANGEMENTS AND LINEAR STRANDS IN RESOLUTIONS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 355, Number 2, Pages 609 618 S 0002-9947(02)03128-8 Article electronically published on September 6, 2002 HYPERPLANE ARRANGEMENTS AND LINEAR STRANDS
More informationLower central series, free resolutions, and homotopy Lie algebras of arrangements Alex Suciu
Lower central series, free resolutions, and homotopy Lie algebras of arrangements Alex Suciu Northeastern University www.math.neu.edu/~suciu NSF-CBMS Regional Research Conference on Arrangements and Mathematical
More informationLOWER CENTRAL SERIES AND FREE RESOLUTIONS OF HYPERPLANE ARRANGEMENTS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 9, Pages 409 4 S 000-9947(0001-0 Article electronically published on May 8, 00 LOWER CENTRAL SERIES AND FREE RESOLUTIONS OF HYPERPLANE
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More informationA short introduction to arrangements of hyperplanes
A short introduction to arrangements of hyperplanes survey Sergey Yuzvinsky University of Oregon Pisa, May 2010 Setup and notation By a hyperplane arrangement we understand the set A of several hyperplanes
More informationHomotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals
Homotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals Toshitake Kohno The University of Tokyo August 2009 Plan Part 1 : Homotopy types of the complements
More informationTOPOLOGY OF LINE ARRANGEMENTS. Alex Suciu. Northeastern University. Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014
TOPOLOGY OF LINE ARRANGEMENTS Alex Suciu Northeastern University Workshop on Configuration Spaces Il Palazzone di Cortona September 1, 2014 ALEX SUCIU (NORTHEASTERN) TOPOLOGY OF LINE ARRANGEMENTS CORTONA,
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationMilnor Fibers of Line Arrangements
Milnor Fibers of Line Arrangements Alexandru Dimca Université de Nice, France Lib60ber Topology of Algebraic Varieties Jaca, Aragón June 25, 2009 Outline Outline 1 Anatoly and me, the true story... 2 Definitions,
More informationPROPAGATION OF RESONANCE. Alex Suciu. Northeastern University. Joint work with Graham Denham and Sergey Yuzvinsky
COMBINATORIAL COVERS, ABELIAN DUALITY, AND PROPAGATION OF RESONANCE Alex Suciu Northeastern University Joint work with Graham Denham and Sergey Yuzvinsky Algebra, Topology and Combinatorics Seminar University
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
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 informationThe Orlik-Solomon Algebra and the Supersolvable Class of Arrangements
International Journal of Algebra, Vol. 8, 2014, no. 6, 281-292 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2014.4216 The Orlik-Solomon Algebra and the Supersolvable Class of Arrangements
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationarxiv: v1 [math.ac] 8 Jun 2012
DECOMPOSITION OF MONOMIAL ALGEBRAS: APPLICATIONS AND ALGORITHMS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1206.1735v1 [math.ac] 8 Jun 2012 Abstract. Considering finite extensions K[A] K[B] of
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
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 informationTHE LARGEST INTERSECTION LATTICE OF A CHRISTOS A. ATHANASIADIS. Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin.
THE LARGEST INTERSECTION LATTICE OF A DISCRIMINANTAL ARRANGEMENT CHRISTOS A. ATHANASIADIS Abstract. We prove a conjecture of Bayer and Brandt [J. Alg. Combin. 6 (1997), 229{246] about the \largest" intersection
More informationBETTI NUMBERS AND DEGREE BOUNDS FOR SOME LINKED ZERO-SCHEMES
BETTI NUMBERS AND DEGREE BOUNDS FOR SOME LINKED ZERO-SCHEMES LEAH GOLD, HAL SCHENCK, AND HEMA SRINIVASAN Abstract In [8], Herzog and Srinivasan study the relationship between the graded Betti numbers of
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
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 informationarxiv: v2 [math.ac] 10 Nov 2011
DECOMPOSITION OF SEMIGROUP ALGEBRAS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1110.3653v2 [math.ac] 10 Nov 2011 Abstract. Let A B be cancellative abelian semigroups, and let R be an integral
More informationOn the topology of matrix configuration spaces
On the topology of matrix configuration spaces Daniel C. Cohen Department of Mathematics Louisiana State University Daniel C. Cohen (LSU) Matrix configuration spaces Summer 2013 1 Configuration spaces
More informationFREE DIVISORS IN A PENCIL OF CURVES
Journal of Singularities Volume 11 (2015), 190-197 received: 17 February 2015 in revised form: 26 June 2015 DOI: 10.5427/jsing.2015.11h FREE DIVISORS IN A PENCIL OF CURVES JEAN VALLÈS Abstract. A plane
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More informationOn the minimal free resolution of a monomial ideal.
On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationRECTANGULAR SIMPLICIAL SEMIGROUPS
RECTANGULAR SIMPLICIAL SEMIGROUPS WINFRIED BRUNS AND JOSEPH GUBELADZE In [3] Bruns, Gubeladze, and Trung define the notion of polytopal semigroup ring as follows. Let P be a lattice polytope in R n, i.
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationComputing Free Resolutions in Macaulay2
Computing Free Resolutions in Macaulay2 Madeline Brandt October 6, 2015 Introduction We will let R = k[x 1,..., x r ]. Definition 1. A free resolution of an R-module M is a complex F : F n φ n φ 1 F1 F0
More informationGreen s Hyperplane Restriction Theorem: an extension to modules
Green s Hyperplane Restriction Theorem: an extension to modules Ornella Greco Abstract In this paper, we prove a generalization of Green s Hyperplane Restriction Theorem to the case of modules over the
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 informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationarxiv: v1 [math.ac] 18 Mar 2014
LINEARLY RELATED POLYOMINOES arxiv:1403.4349v1 [math.ac] 18 Mar 2014 VIVIANA ENE, JÜRGEN HERZOG, TAKAYUKI HIBI Abstract. We classify all convex polyomino ideals which are linearly related or have a linear
More informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationBinomial Ideals from Graphs
Binomial Ideals from Graphs Danielle Farrar University of Washington Yolanda Manzano St. Mary s University Juan Manuel Torres-Acevedo University of Puerto Rico Humacao August 10, 2000 Abstract This paper
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationHomology of Newtonian Coalgebras
Homology of Newtonian Coalgebras Richard EHRENBORG and Margaret READDY Abstract Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed
More informationOn the extremal Betti numbers of binomial edge ideals of block graphs
On the extremal Betti numbers of binomial edge ideals of block graphs Jürgen Herzog Fachbereich Mathematik Universität Duisburg-Essen Essen, Germany juergen.herzog@uni-essen.de Giancarlo Rinaldo Department
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationarxiv: v1 [math.at] 16 Jul 2015
ON THE HOMOTOPY TYPE OF THE COMPLEMENT OF AN ARRANGEMENT THAT IS A 2-GENERIC SECTION OF THE PARALLEL CONNECTION OF AN ARRANGEMENT AND A PENCIL OF LINES arxiv:1507.04706v1 [math.at] 16 Jul 2015 KRISTOPHER
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationmathematics Smoothness in Binomial Edge Ideals Article Hamid Damadi and Farhad Rahmati *
mathematics Article Smoothness in Binomial Edge Ideals Hamid Damadi and Farhad Rahmati * Faculty of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), 424 Hafez
More informationLEXLIKE SEQUENCES. Jeffrey Mermin. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic segments.
LEXLIKE SEQUENCES Jeffrey Mermin Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic
More informationFORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES
FORMALITY OF THE COMPLEMENTS OF SUBSPACE ARRANGEMENTS WITH GEOMETRIC LATTICES EVA MARIA FEICHTNER AND SERGEY YUZVINSKY Abstract. We show that, for an arrangement of subspaces in a complex vector space
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More informationarxiv:math/ v1 [math.ac] 24 Nov 2006
arxiv:math/061174v1 [math.ac] 4 Nov 006 TE CARACTERISTIC POLYNOMIAL OF A MULTIARRANGEMENT TAKURO ABE, IROAKI TERAO, AND MAX WAKEFIELD Abstract. Given a multiarrangement of hyperplanes we define a series
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
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 informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationCAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS
CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS LEAH GOLD, JOHN LITTLE, AND HAL SCHENCK Abstract. In [9], J. Hansen uses cohomological methods to find a lower bound for the minimum distance
More informationON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014
ON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014 AARON BROOKNER AND DAVID CORWIN Projected suggested by: Prof. Pavel Etingof Abstract. Inspired by the representation
More informationDepth of some square free monomial ideals
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 117 124 Depth of some square free monomial ideals by Dorin Popescu and Andrei Zarojanu Dedicated to the memory of Nicolae Popescu (1937-2010)
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationEuler characteristic of the truncated order complex of generalized noncrossing partitions
Euler characteristic of the truncated order complex of generalized noncrossing partitions D. Armstrong and C. Krattenthaler Department of Mathematics, University of Miami, Coral Gables, Florida 33146,
More informationSYMMETRIC ALGEBRAS OVER RINGS AND FIELDS
SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS THOMAS C. CRAVEN AND TARA L. SMITH Abstract. Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationSingular value decomposition of complexes
Singular value decomposition of complexes Danielle A. Brake, Jonathan D. Hauenstein, Frank-Olaf Schreyer, Andrew J. Sommese, and Michael E. Stillman April 24, 2018 Abstract Singular value decompositions
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 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 informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationSplitting criterion for reflexive sheaves
Splitting criterion for reflexive sheaves TAKURO ABE MASAHIKO YOSHINAGA April 6, 2005 Abstract The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationSearching for Multigrades
Searching for Multigrades Zarathustra Brady Mentor: Matthias Flach October 5, 009 Abstract An (n, k) multigrade is defined to be a pair of sets of n numbers that have equal sums, sums of squares, and so
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationA degree bound for codimension two lattice ideals
Journal of Pure and Applied Algebra 18 (003) 01 07 www.elsevier.com/locate/jpaa A degree bound for codimension two lattice ideals Leah H. Gold Department of Mathematics, Texas A& M University, College
More informationProjective Varieties. Chapter Projective Space and Algebraic Sets
Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationABELIAN ARRANGEMENTS
ABELIAN ARRANGEMENTS by CHRISTIN BIBBY A DISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment of the requirements for the degree
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationGreen s Hyperplane Restriction Theorem: an extension to modules
Green s Hyperplane Restriction Theorem: an extension to modules Ornella Greco Royal Institute of Technology, Department of Mathematics, S-10044 Stockholm, Sweden. E-mail address: ogreco@kth.se Abstract
More informationPolytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis
Polytopes and Algebraic Geometry Jesús A. De Loera University of California, Davis Outline of the talk 1. Four classic results relating polytopes and algebraic geometry: (A) Toric Geometry (B) Viro s Theorem
More informationThe minimal components of the Mayr-Meyer ideals
The minimal components of the Mayr-Meyer ideals Irena Swanson 24 April 2003 Grete Hermann proved in [H] that for any ideal I in an n-dimensional polynomial ring over the field of rational numbers, if I
More informationT-SPREAD STRONGLY STABLE MONOMIAL IDEALS
T-SPREAD STRONGLY STABLE MONOMIAL IDEALS VIVIANA ENE, JÜRGEN HERZOG, AYESHA ASLOOB QURESHI arxiv:1805.02368v2 [math.ac] 3 Jun 2018 Abstract. We introduce the concept of t-spread monomials and t-spread
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationA Grassmann Algebra for Matroids
Joint work with Jeffrey Giansiracusa, Swansea University, U.K. Matroid (Whitney, 1935) A collection B of subsets of [n] = {1,2,...,n}, called bases, such that the basis exchange property holds: Matroid
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationRELATION SPACES OF HYPERPLANE ARRANGEMENTS AND MODULES DEFINED BY GRAPHS OF FIBER ZONOTOPES
RELATION SPACES OF HYPERPLANE ARRANGEMENTS AND MODULES DEFINED BY GRAPHS OF FIBER ZONOTOPES TOBIAS FINIS AND EREZ LAPID Abstract. We study the exactness of certain combinatorially defined complexes which
More informationarxiv: v1 [math.ac] 11 Dec 2013
A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese
More informationSYZYGIES OF ORIENTED MATROIDS
DUKE MATHEMATICAL JOURNAL Vol. 111, No. 2, c 2002 SYZYGIES OF ORIENTED MATROIDS ISABELLA NOVIK, ALEXANDER POSTNIKOV, and BERND STURMFELS Abstract We construct minimal cellular resolutions of squarefree
More informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
More information