Toric Fiber Products
|
|
- Griselda Dean
- 5 years ago
- Views:
Transcription
1 Toric Fiber Products Seth Sullivant North Carolina State University June 8, 2011 Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
2 Families of Ideals Parametrized by Graphs Let G be a finite graph Let R G a polynomial ring associated to G Let I G R G an ideal associated to G Problem Classify the graphs G such that I G satisfies some nice property. Often I G := ker φ G for some ring homomorphism φ G. Problem Determine generators for I G. How do they depend on the graph G? Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
3 Graph Decompositions Question Are decompositions of the graphs G = G 1 #G 2 reflected in the ideals I G = I G1 #I G2? How to study ideals of large graphs by breaking into simple pieces? + = + = Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
4 Toric Fiber Product Let A = {a 1,..., a r } Z d. Let K[x] := K[x i j : i [r], j [s]], with deg x i j = a i. Let K[y] := K[y i k : i [r], k [t]], with deg y i k = ai. Let K[z] := K[z i jk : i [r], j [s], k [t]], with deg zi jk = ai. Let φ : K[z] K[x] K K[y] = K[x, y] defined by z i jk x i j y i k for all i, j, k. Definition Let I K[x], J K[y] ideals homogeneous w.r.t. grading by A. The toric fiber product of I and J is the ideal I A J = φ 1 (I + J). Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
5 Two Important Examples Example (Coarse Grading) Let K[x], K[y] have common grading deg x i = deg y j = 1 for all i, j. Then I K[x], J K[y] homogeneous, are homogeneous in the standard/coarse grading. I A J K[z] is the ordinary Segre product ideal. Example (Fine Grading) Let K[x 1,..., x r ], K[y 1,..., y r ] have common grading deg x i = deg y i = e i for all i. Then I K[x], J K[y] homogeneous, are monomial ideals. I A J = I(z) + J(z) K[z 1,..., z r ] is the sum of monomial ideals. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
6 A More Complex Example Let I = x kl1 m 1 x kl2 m 2 x kl1 m 2 x kl2 m 1 : k [r 1 ], l 1, l 2 [r 2 ], m 1, m 2 [r 3 ] Let J = y l1 m 1 ny l2 m 2 n y l1 m 2 ny l2 m 1 n :, l 1, l 2 [r 2 ], m 1, m 2 [r 3 ], n [r 4 ] Let deg x klm = deg y lmn = e l e m Define φ : K[z klmn : k [r 1 ],...] K[a kl, b km, c ln, d mn : k [r 1 ],...] by z klmn a kl b km c ln d mn Then I A J = ker φ. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
7 Where s the Fiber Product? Suppose I, J are toric ideal I = I B, J = I C, B Z e 1, C Z e 2 B = {b i j : i [r], j [s]} C = {c i k : i [r], k [t]} If I B homogeneous with respect to A, then there is a linear map π 1 : Z e 1 Z d, π 1 (b i j ) = ai. If I C homogeneous with respect to A, then there is a linear map π 2 : Z e 2 Z d, π 2 (c i k ) = ai. Then I A J is a toric ideal, whose vector configuration is a fiber product B A C. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
8 Codimension-0 Toric Fiber Products Definition The codimension of a TFP is the codimension of the toric ideal I A. I A J has codimension 0 iff A is linearly independent. Proposition Suppose A linearly independent. Let If deg m = deg m then n = n and m = x i 1 j1 x in j n and m = x i 1 j 1 x i n j n. i 1 = i 1,..., i n = i n. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
9 Persistence of Normality and Generating Sets Theorem (Ohsugi, Michałlek, etc.) Let I K[x], and J K[y] be toric ideals, and A linearly independent. Then K[z]/(I A J) normal K[x]/I and K[y]/J normal. If f K[x], homogeneous w.r.t. A, write f = c u x i 1 ju1 x in j un. Lift to c u z i 1 ju1 k 1 z in j unk n. Theorem Let A linearly independent. Then I A J generated by 1 Lifts of generators of I and J 2 Obvious quadrics z i j 1 k 1 z i j 2 k 2 z i j 1 k 2 z i j 2 k 1 Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
10 GIT Quotients NA = {λ 1 a λ r a r : λ i N} R = K[x]/I is an NA graded ring. R = a NA R a S = K[y]/J is an NA graded ring. S = a NA S a Proposition Suppose A linearly independent. Then If K = K, then K[z]/(I A J) = a NA R a K S a. Spec(K[z]/(I A J)) = (Spec(K[x]/I) Spec(K[y]/J)) //T, where T acts on Spec(K[x]/I) Spec(K[y]/J) via t (x, y) = (t x, t 1 y). Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
11 Higher Codimension Toric Fiber Products Not a GIT quotient No hope for general construction of generators When is normality preserved? Proposition Let K = K. Suppose that I = i P i, and J = j Q j are primary decompositions. Then I A J = i,j (P i A Q j ) is a primary decomposition of I A J. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
12 Generators of Higher Codim TFPs Suppose I K[x], J K[y], are toric ideals. A = {a 1,..., a r }, Let K[w] := K[w 1,..., w r ]. Let ψ xw : K[x] K[w], x i j w i (similarly ψ yw ) Definition Let Ĩ = x u x v I : φ(x u x v ) = 0 J = y u y v J : φ(y u y v ) = 0 The ideal Ĩ Ã J is the associated codimension 0 TFP. Ĩ Ã J I A J Ĩ Ã J is usually related (via graph theory) in a nice way to I A J. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
13 Gluing Generators Let and f = x i 1 j1 x in j n x i 1 j x i n 1 j I n g = y i 1 k1 y in k n y i 1 k 1 y i n k n J that is, φ xw (f ) = φ yw (g). Then glue(f, g) = z i 1 j1 k 1 z in j nk n z i 1 j z i 1 k 1 n j n k I n A J Question Two natural classes of generators of I A J: when do they suffice? Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
14 Awesome Pictures that Explain Everything U Answer Gluing and the associated codim 0 tfp always suffice to generate I A J. But... how to find the right binomials to glue? Projecting a fiber onto ker Z A = 0 3 Projected and connected fibers need not be compatible Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
15 Summary of General Results on Toric Fiber Products Codim 0 TFPs Can Explicitly Describe Generators/ Gröbner bases from I and J Normality Preserved for Toric Ideals Geometric Interpretation as GIT Quotient Arbitrary Codim TFPs Primary Decompositions Multiply Can Explicitly Describe Generators given generators of I and J with special properties (toric case only) Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
16 Markov Bases Definition Let A : Z n Z d be a linear transformation. A Markov Basis for A is a finite subset B ker Z (A) such that for all u, v N n with A(u) = A(v) there is a sequence b 1,..., b L B such that 1 u = v + L i=1 b i, and 2 v + l i=1 b i 0 for l = 1,..., L. Markov bases allow us to take random walks over the set of nonnegative integral points inside of polyhedra. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
17 Example: 2-way tables Let A : Z k 1 k 2 Z k 1+k 2 such that m m A(u) = u 1j,..., u k1 j; j=1 j=1 k u i1,..., i=1 k i=1 = vector of row and column sums of u u ik2 ker Z (A) = {u Z k 1 k 2 : row and columns sums of u are 0} Markov basis consists of the 2 ( )( k 1 k2 ) 2 2 moves like: Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
18 Fundamental Theorem of Markov Bases Definition Let A : Z n Z d. The toric ideal I A is the ideal p u p v : u, v N n, Au = Av K[p 1,..., p n ], where p u = p u 1 1 pu 2 2 pun n. Theorem (Diaconis-Sturmfels 1998) The set of moves B ker Z A is a Markov basis for A if and only if the set of binomials {p b+ p b : b B} generates I A p 21 p 33 p 23 p Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
19 More Complicated Marginals Let Γ = {F 1,..., F r }, each F i {1, 2,..., n}. Let d = (d 1,..., d n ) and u Z d 1 d n 0. Let A Γ,d (u) = (u F1,..., u Fr ), lower order marginals way margins of 4-way table: {1, 2}, {2, 3}, {3, 4}, {1, 4} -margins Question 4 3 How does the Markov basis of A Γ,d depend on Γ and d? How do the generators of I Γ,d depend on Γ and d? Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
20 Decomposing Along Face of Simplicial Complex Theorem (Dobra-Sullivant 2004, Hoşten-Sullivant 2002) Suppose that Γ = Γ 1 Γ 2, and Γ 1 Γ 2 is a face of both. Then and A is linearly independent. I Γ,d = I Γ1,d 1 A I Γ2,d 2 + = These complexes are called reducible in statistics. Allows for direct construction of Markov bases of reducible models. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
21 Decomposing Along Arbitrary Subcomplexes Theorem Suppose that Γ = Γ 1 Γ 2, and Γ 1 Γ 2 =. Then I Γ,d = I Γ1,d 1 A,d I Γ2,d 2, and, associated codim zero TFP is I Γ 2,d. + = If overlap is small, and associated codim zero TFP is simple, can construct generators of I Γ,d. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
22 Example Applications Theorem (Kral, Norin, Pragnac 2010) + = If d i = 2 for all i, then I Γ,d is generated in degree 4 if Γ is a series-parallel graph (no K 4 -minors). Theorem (4-cycle) 1 2 If d 2 = d 4 = 2, then I Γ,d generated in degree 2 and 4, for all d 1, d Theorem If Γ is the boundary of a bipyramid over a simplex of dimension d, and all d i = 2, I Γ,d generated in degrees 2 d+1, 2 d, 2. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
23 Conditional Independence Ideals X = (X 1,..., X n ) is an n-dimensional discrete random vector. Probability Distribution Let (A, B, C), partition of [n]. p i1 i n = Prob(X 1 = i 1,..., X n = i n ) Conditional independence statement X A X B X C gives a binomial ideal in C[p i1 i n : i j [r j ]]. Example Let n = 4, r 1 = r 2 = r 3 = r 4 = 2, X 1 X 3 (X 2, X 4 ), gives CI ideal I X1 X 3 (X 2,X 4 ) = p 1111 p 2121 p 1121 p 2111, p 1112 p 2122 p 1122 p 2112, p 1211 p 2221 p 1221 p 2211, p 1212 p 2222 p 1222 p 2212 Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
24 Global Conditional Independence Ideals G undirected graph, vertex set [n] CI statement X A X B X C holds for G if C separates A from B in G. Let Global(G) set of all CI statements holding for G. I Global(G) = X A X B X C Global(G) I XA X B X C Example (4-cycle) 1 2 I Global(G) = I X1 X 3 (X 2,X 4 ) + I X 2 X 4 (X 1,X 3 ) 4 3 Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
25 Clique Sums Proposition If G = G 1 #G 2 is a clique sum, then and A is linearly independent. Example I Global(G) = I Global(G1 ) A I Global(G2 ) + = For r i = 2 for all i, I Global(G) has 9 9 = 81 prime components. Conjecture For all graphs G, I Global(G) is a radical ideal. All nontoric components are related to marginal positivity. Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
26 Summary Problems in Algebraic Statistics call for the study of ideals associated to graphs and simplicial complexes Graph theory provides decomposition theory Algebraic structure of ideals reflected in structure of graphs (conjecturally) Toric fiber product is an algebraic decomposition tool for proving results for some graph classes References A. Engström and T. Kahle. Multigraded commutative algebra of graph decompositions S. Sullivant. Toric fiber products. J. Algebra 316 (2007), no. 2, math.ac/ Seth Sullivant (NCSU) Toric Fiber Products June 8, / 26
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates
More informationPRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM
PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM ALEX FINK 1. Introduction and background Consider the discrete conditional independence model M given by {X 1 X 2 X 3, X 1 X 3 X 2 }. The intersection axiom
More informationToric Varieties in Statistics
Toric Varieties in Statistics Daniel Irving Bernstein and Seth Sullivant North Carolina State University dibernst@ncsu.edu http://www4.ncsu.edu/~dibernst/ http://arxiv.org/abs/50.063 http://arxiv.org/abs/508.0546
More informationAlgebraic Statistics Tutorial I
Algebraic Statistics Tutorial I Seth Sullivant North Carolina State University June 9, 2012 Seth Sullivant (NCSU) Algebraic Statistics June 9, 2012 1 / 34 Introduction to Algebraic Geometry Let R[p] =
More informationarxiv: v4 [math.ac] 31 May 2012
BETTI NUMBERS OF STANLEY-REISNER RINGS DETERMINE HIERARCHICAL MARKOV DEGREES SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v4 [math.ac] 31 May 2012 Abstract. There are two seemingly unrelated ideals associated
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationToric ideals finitely generated up to symmetry
Toric ideals finitely generated up to symmetry Anton Leykin Georgia Tech MOCCA, Levico Terme, September 2014 based on [arxiv:1306.0828] Noetherianity for infinite-dimensional toric varieties (with Jan
More informationExample: Hardy-Weinberg Equilibrium. Algebraic Statistics Tutorial I. Phylogenetics. Main Point of This Tutorial. Model-Based Phylogenetics
Example: Hardy-Weinberg Equilibrium Algebraic Statistics Tutorial I Seth Sullivant North Carolina State University July 22, 2012 Suppose a gene has two alleles, a and A. If allele a occurs in the population
More informationarxiv: v2 [math.ac] 15 May 2010
MARKOV DEGREES OF HIERARCHICAL MODELS DETERMINED BY BETTI NUMBERS OF STANLEY-REISNER IDEALS SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v2 [math.ac] 15 May 2010 Abstract. There are two seemingly unrelated
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 informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationCOMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1
COMBINATORIAL SYMBOLIC POWERS SETH SULLIVANT arxiv:math/0608542v1 [mathac] 22 Aug 2006 Abstract Symbolic powers of ideals are studied in the combinatorial context of monomial ideals When the ideals are
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 informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. Markov Bases for Two-way Subtable Sum Problems
MATHEMATICAL ENGINEERING TECHNICAL REPORTS Markov Bases for Two-way Subtable Sum Problems Hisayuki HARA, Akimichi TAKEMURA and Ruriko YOSHIDA METR 27 49 August 27 DEPARTMENT OF MATHEMATICAL INFORMATICS
More informationarxiv: v2 [math.ac] 19 Dec 2008
A combinatorial description of monomial algebras arxiv:0810.4836v2 [math.ac] 19 Dec 2008 Ignacio Oeda Universidad de Extremadura Departamento de Matemáticas e-mail: oedamc@unex.es March 22, 2009 Abstract
More informationCommuting birth-and-death processes
Commuting birth-and-death processes Caroline Uhler Department of Statistics UC Berkeley (joint work with Steven N. Evans and Bernd Sturmfels) MSRI Workshop on Algebraic Statistics December 18, 2008 Birth-and-death
More informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More informationThe binomial ideal of the intersection axiom for conditional probabilities
J Algebr Comb (2011) 33: 455 463 DOI 10.1007/s10801-010-0253-5 The binomial ideal of the intersection axiom for conditional probabilities Alex Fink Received: 10 February 2009 / Accepted: 27 August 2010
More informationAlgebraic Classification of Small Bayesian Networks
GROSTAT VI, Menton IUT STID p. 1 Algebraic Classification of Small Bayesian Networks Luis David Garcia, Michael Stillman, and Bernd Sturmfels lgarcia@math.vt.edu Virginia Tech GROSTAT VI, Menton IUT STID
More informationPhylogenetic Algebraic Geometry
Phylogenetic Algebraic Geometry Seth Sullivant North Carolina State University January 4, 2012 Seth Sullivant (NCSU) Phylogenetic Algebraic Geometry January 4, 2012 1 / 28 Phylogenetics Problem Given a
More informationGroebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics
Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics Tan Tran Junior Major-Economics& Mathematics History Groebner bases were developed by Buchberger in 1965, who later named
More information5. Grassmannians and the Space of Trees In this lecture we shall be interested in a very particular ideal. The ambient polynomial ring C[p] has ( n
5. Grassmannians and the Space of Trees In this lecture we shall be interested in a very particular ideal. The ambient polynomial ring C[p] has ( n d) variables, which are called Plücker coordinates: C[p]
More informationOn intersections of complete intersection ideals
On intersections of complete intersection ideals Mircea Cimpoeaş I.M.A.R. mircea.cimpoeas@imar.ro joint work with Dumitru Stamate July 7, 2016, I.M.N.S., Levico Terme, Italy Overview 1 Introduction 2 Main
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 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 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 informationOpen Problems in Algebraic Statistics
Open Problems inalgebraic Statistics p. Open Problems in Algebraic Statistics BERND STURMFELS UNIVERSITY OF CALIFORNIA, BERKELEY and TECHNISCHE UNIVERSITÄT BERLIN Advertisement Oberwolfach Seminar Algebraic
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More informationTutorial: Gaussian conditional independence and graphical models. Thomas Kahle Otto-von-Guericke Universität Magdeburg
Tutorial: Gaussian conditional independence and graphical models Thomas Kahle Otto-von-Guericke Universität Magdeburg The central dogma of algebraic statistics Statistical models are varieties The central
More informationT. Hibi Binomial ideals arising from combinatorics
T. Hibi Binomial ideals arising from combinatorics lecture notes written by Filip Rupniewski (email: frupniewski@impan.pl) Binomial Ideals conference 3-9 September 207, Łukęcin, Poland Lecture Let S =
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 informationBetti Numbers of Splittable Graphs
Betti Numbers of Splittable Graphs Brittany Burns Dept. of Mathematical Sciences Shawnee State University, Portsmouth, OH 45662 USA Haley Mansfield Dept. of Mathematics Kansas State University, Manhattan,
More informationAn introduction to Hodge algebras
An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of
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 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 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 informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals
Binomial Ideals Binomial ideals offer an interesting class of examples. Because they occur so frequently in various applications, the development methods for binomial ideals is justified. 1 Binomial Ideals
More informationMarkov basis for testing homogeneity of Markov chains
Markov basis for testing homogeneity of Markov chains Akimichi Takemura and Hisayuki Hara University of Tokyo July 6, 2009 Takemura and Hara (Univ. of Tokyo) Testing homogeneity of Markov chains July 6,
More informationarxiv:math/ v1 [math.ac] 11 Jul 2006
arxiv:math/0607249v1 [math.ac] 11 Jul 2006 MINIMAL SYSTEMS OF BINOMIAL GENERATORS AND THE INDISPENSABLE COMPLEX OF A TORIC IDEAL HARA CHARALAMBOUS, ANARGYROS KATSABEKIS, AND APOSTOLOS THOMA Abstract. Let
More informationTHE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER
THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER arxiv:1409.2041v2 [math.ac] 11 Sep 2014 Abstract. We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in
More informationAN INTRODUCTION TO TORIC SURFACES
AN INTRODUCTION TO TORIC SURFACES JESSICA SIDMAN 1. An introduction to affine varieties To motivate what is to come we revisit a familiar example from high school algebra from a point of view that allows
More informationCombinatorial symbolic powers
Journal of Algebra 319 2008) 115 142 wwwelseviercom/locate/jalgebra Combinatorial symbolic powers Seth Sullivant Department of Mathematics and Society of Fellows, Harvard University, Cambridge, MA 02138,
More informationPowers and Products of Monomial Ideals
U.U.D.M. Project Report 6: Powers and Products of Monomial Ideals Melker Epstein Examensarbete i matematik, 5 hp Handledare: Veronica Crispin Quinonez Examinator: Jörgen Östensson Juni 6 Department of
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 informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
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 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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationMarkov bases and subbases for bounded contingency tables
Markov bases and subbases for bounded contingency tables arxiv:0905.4841v2 [math.co] 23 Jun 2009 Fabio Rapallo Abstract Ruriko Yoshida In this paper we study the computation of Markov bases for contingency
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 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 informationIdeals and graphs, Gröbner bases and decision procedures in graphs
Ideals and graphs, Gröbner bases and decision procedures in graphs GIUSEPPA CARRA FERRO and DANIELA FERRARELLO Department of Mathematics and Computer Science University of Catania Viale Andrea Doria 6,
More informationThe Maximum Likelihood Threshold of a Graph
The Maximum Likelihood Threshold of a Graph Elizabeth Gross and Seth Sullivant San Jose State University, North Carolina State University August 28, 2014 Seth Sullivant (NCSU) Maximum Likelihood Threshold
More informationAlgebraic Statistics for a Directed Random Graph Model with Reciprocation
Algebraic Statistics for a Directed Random Graph Model with Reciprocation Sonja Petrović, Alessandro Rinaldo, and Stephen E. Fienberg Abstract. The p 1 model is a directed random graph model used to describe
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationGeometry of Phylogenetic Inference
Geometry of Phylogenetic Inference Matilde Marcolli CS101: Mathematical and Computational Linguistics Winter 2015 References N. Eriksson, K. Ranestad, B. Sturmfels, S. Sullivant, Phylogenetic algebraic
More informationMinimal basis for connected Markov chain over 3 3 K contingency tables with fixed two-dimensional marginals. Satoshi AOKI and Akimichi TAKEMURA
Minimal basis for connected Markov chain over 3 3 K contingency tables with fixed two-dimensional marginals Satoshi AOKI and Akimichi TAKEMURA Graduate School of Information Science and Technology University
More informationIndispensable monomials of toric ideals and Markov bases
Journal of Symbolic Computation 43 (2008) 490 507 www.elsevier.com/locate/jsc Indispensable monomials of toric ideals and Markov bases Satoshi Aoki a, Akimichi Takemura b, Ruriko Yoshida c a Department
More informationA Saturation Algorithm for Homogeneous Binomial Ideals
A Saturation Algorithm for Homogeneous Binomial Ideals Deepanjan Kesh and Shashank K Mehta Indian Institute of Technology, Kanpur - 208016, India, {deepkesh,skmehta}@cse.iitk.ac.in Abstract. Let k[x 1,...,
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 informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
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 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 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 informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationProperties of ideals in an invariant ascending chain
Properties of ideals in an invariant ascending chain Uwe Nagel (University of Kentucky) joint work with Tim Römer (University of Osnabrück) Daejeon, August 3, 2015 Two-way Tables Fix integers c, r 2 and
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationCompatibly split subvarieties of Hilb n (A 2 k)
Compatibly split subvarieties of Hilb n (A 2 k) Jenna Rajchgot (Supervised by Allen Knutson) Department of Mathematics, Cornell University Southern Ontario Groups and Geometry Fields Institute April 1-2,
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationarxiv:alg-geom/ v1 11 Jan 1994
January 11, 1994 BINOMIAL IDEALS David Eisenbud 1 Brandeis University, Waltham MA 02254 arxiv:alg-geom/9401001v1 11 Jan 1994 eisenbud@math.brandeis.edu and Bernd Sturmfels 2 Cornell University, Ithaca,
More informationToric Varieties. Madeline Brandt. April 26, 2017
Toric Varieties Madeline Brandt April 26, 2017 Last week we saw that we can define normal toric varieties from the data of a fan in a lattice. Today I will review this idea, and also explain how they can
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 informationLOVÁSZ-SAKS-SCHRIJVER IDEALS AND COORDINATE SECTIONS OF DETERMINANTAL VARIETIES
LOVÁSZ-SAKS-SCHRIJVER IDEALS AND COORDINATE SECTIONS OF DETERMINANTAL VARIETIES ALDO CONCA AND VOLKMAR WELKER Abstract Motivated by questions in algebra and combinatorics we study two ideals associated
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 215 (2011) 1255 1262 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa The colorful Helly
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationGeometry of Gaussoids
Geometry of Gaussoids Bernd Sturmfels MPI Leipzig and UC Berkeley p 3 p 13 p 23 a 12 3 p 123 a 23 a 13 2 a 23 1 a 13 p 2 p 12 a 12 p p 1 Figure 1: With The vertices Tobias andboege, 2-faces ofalessio the
More informationMulti-parameter persistent homology: applications and algorithms
Multi-parameter persistent homology: applications and algorithms Nina Otter Mathematical Institute, University of Oxford Gudhi/Top Data Workshop Porquerolles, 18 October 2016 Multi-parameter persistent
More informationarxiv: v2 [math.pr] 14 Jan 2010
The Annals of Applied Probability 2010, Vol. 20, No. 1, 238 266 DOI: 10.1214/09-AAP615 c Institute of Mathematical Statistics, 2010 COMMUTING BIRTH-AND-DEATH PROCESSES arxiv:0812.2724v2 [math.pr] 14 Jan
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically
INTRODUCTION TO ALGEBRAIC GEOMETRY STEVEN DALE CUTKOSKY Throughout these notes all rings will be commutative with identity. k will be an algebraically closed field. 1. Preliminaries on Ring Homomorphisms
More informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
More informationIntroduction to Algebraic Statistics
Introduction to Algebraic Statistics Seth Sullivant North Carolina State University January 5, 2017 Seth Sullivant (NCSU) Algebraic Statistics January 5, 2017 1 / 28 What is Algebraic Statistics? Observation
More informationThe universal Gröbner basis of a binomial edge ideal
The universal Gröbner basis of a binomial edge ideal Mourtadha Badiane Isaac Burke Emil Sköldberg National University of Ireland, Galway Galway, Ireland {m.badiane1,i.burke1,emil.skoldberg}@nuigalway.ie
More informationMONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION
MATH. SCAND. 95 (2004), 23 32 MONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION JÜRGEN HERZOG, TAKAYUKI HIBI and XINXIAN ZHENG Introduction In this paper we consider graded ideals in a polynomial ring
More informationDistance-reducing Markov bases for sampling from a discrete sample space
Bernoulli 11(5), 2005, 793 813 Distance-reducing Markov bases for sampling from a discrete sample space AKIMICHI TAKEMURA* and SATOSHI AOKI** Department of Mathematical Informatics, Graduate School of
More informationA new parametrization for binary hidden Markov modes
A new parametrization for binary hidden Markov models Andrew Critch, UC Berkeley at Pennsylvania State University June 11, 2012 See Binary hidden Markov models and varieties [, 2012], arxiv:1206.0500,
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
More informationDot Products, Transposes, and Orthogonal Projections
Dot Products, Transposes, and Orthogonal Projections David Jekel November 13, 2015 Properties of Dot Products Recall that the dot product or standard inner product on R n is given by x y = x 1 y 1 + +
More informationV (f) :={[x] 2 P n ( ) f(x) =0}. If (x) ( x) thenf( x) =
20 KIYOSHI IGUSA BRANDEIS UNIVERSITY 2. Projective varieties For any field F, the standard definition of projective space P n (F ) is that it is the set of one dimensional F -vector subspaces of F n+.
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 information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationMACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES
MACAULAY S THEOREM FOR SOME PROJECTIVE MONOMIAL CURVES RI-XIANG CHEN DEPARTMENT OF MATHEMATICS, CORNELL UNIVERSITY, ITHACA, NY 14853 1. Introduction Throughout this paper S stands for the polynomial ring
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 informationarxiv: v2 [math.ac] 17 Apr 2013
ALGEBRAIC PROPERTIES OF CLASSES OF PATH IDEALS MARTINA KUBITZKE AND ANDA OLTEANU arxiv:1303.4234v2 [math.ac] 17 Apr 2013 Abstract. We consider path ideals associated to special classes of posets such as
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 informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
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 information