Polyomino Ideals (Toric ideals and Gröbner...
Transcript of Polyomino Ideals (Toric ideals and Gröbner...
![Page 1: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/1.jpg)
Polyomino Ideals(Toric ideals and Grobner basis)
Ayesha Asloob QureshiSabancı Universitesi
Ankara-Istanbul Algebraic Geometry and Number Theorymeetings, Spring 2017
March 4, 2017
![Page 2: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/2.jpg)
Toric rings
◮ Let K be a field.
![Page 3: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/3.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
![Page 4: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/4.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S .
![Page 5: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/5.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S . The toric
ring of A is the subring K [A] = K [u1, . . . , um] of S .
![Page 6: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/6.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S . The toric
ring of A is the subring K [A] = K [u1, . . . , um] of S .
◮ Let T = K [t1, . . . , tm]
![Page 7: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/7.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S . The toric
ring of A is the subring K [A] = K [u1, . . . , um] of S .
◮ Let T = K [t1, . . . , tm] and define the surjectivehomomorphism
π : T → K [A]
by setting π(ti ) = ui for i = 1, . . . ,m.
![Page 8: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/8.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S . The toric
ring of A is the subring K [A] = K [u1, . . . , um] of S .
◮ Let T = K [t1, . . . , tm] and define the surjectivehomomorphism
π : T → K [A]
by setting π(ti ) = ui for i = 1, . . . ,m.
◮ The toric ideal of A is the kernel of π.
![Page 9: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/9.jpg)
Toric rings
◮ Let K be a field.
◮ S = K [x1, . . . , xn].
◮ A = {u1, . . . , um} be a set of m monomials in S . The toric
ring of A is the subring K [A] = K [u1, . . . , um] of S .
◮ Let T = K [t1, . . . , tm] and define the surjectivehomomorphism
π : T → K [A]
by setting π(ti ) = ui for i = 1, . . . ,m.
◮ The toric ideal of A is the kernel of π.
In other words, the toric ideal of A is the defining ideal of the toricring K [A]
![Page 10: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/10.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
![Page 11: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/11.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9
![Page 12: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/12.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9 so take T = K [t1, . . . , t9].
![Page 13: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/13.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9 so take T = K [t1, . . . , t9]. Then
π : T → K [A] = K [x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5]
![Page 14: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/14.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9 so take T = K [t1, . . . , t9]. Then
π : T → K [A] = K [x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5]
and the toric ideal ker π = IA of A is (t1t4 − t2t3, t5t8 − t6t7) bysetting
π(t1) = x1x2, . . . , π(t9) = x4x5.
![Page 15: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/15.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9 so take T = K [t1, . . . , t9]. Then
π : T → K [A] = K [x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5]
and the toric ideal ker π = IA of A is (t1t4 − t2t3, t5t8 − t6t7) bysetting
π(t1) = x1x2, . . . , π(t9) = x4x5.
One can see that π(t1t4 − t2t3) = (x1x2)(x3x4)− (x1x4)(x2x3) = 0.
![Page 16: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/16.jpg)
Toric rings
Let A ⊂ S = K [x1, . . . , x8] where
A = {x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5}.
Here |A| = 9 so take T = K [t1, . . . , t9]. Then
π : T → K [A] = K [x1x2, x1x4, x2x3, x3x4, x5x6, x5x8, x6x7, x7x8, x4x5]
and the toric ideal ker π = IA of A is (t1t4 − t2t3, t5t8 − t6t7) bysetting
π(t1) = x1x2, . . . , π(t9) = x4x5.
One can see that π(t1t4 − t2t3) = (x1x2)(x3x4)− (x1x4)(x2x3) = 0.
Also, T/IA ∼= K [A].
![Page 17: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/17.jpg)
Binomial prime ideals
◮ Here, a binomial is a polynomial of the form u − v where u
and v are non-constant monomials.
![Page 18: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/18.jpg)
Binomial prime ideals
◮ Here, a binomial is a polynomial of the form u − v where u
and v are non-constant monomials.
◮ A binomial ideal is an ideal generated by binomials.
![Page 19: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/19.jpg)
Binomial prime ideals
◮ Here, a binomial is a polynomial of the form u − v where u
and v are non-constant monomials.
◮ A binomial ideal is an ideal generated by binomials.
◮ It is known that a toric ideal is always a binomial ideal.
![Page 20: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/20.jpg)
Binomial prime ideals
◮ Here, a binomial is a polynomial of the form u − v where u
and v are non-constant monomials.
◮ A binomial ideal is an ideal generated by binomials.
◮ It is known that a toric ideal is always a binomial ideal.
◮ An ideal is a ”binomial prime ideal” if and only if it is a ”toricideal” of some toric ring.
![Page 21: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/21.jpg)
For any integer 1 ≤ t ≤ min{m, n}, the determinantal ideals,which are generated by all t-minors of a m × n matrix X is wellunderstood and discussed in several papers, for example,[Hochster, Eagon (1971)] and [Bruns, Vetter (1988)],
![Page 22: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/22.jpg)
For any integer 1 ≤ t ≤ min{m, n}, the determinantal ideals,which are generated by all t-minors of a m × n matrix X is wellunderstood and discussed in several papers, for example,[Hochster, Eagon (1971)] and [Bruns, Vetter (1988)], and moregenerally the ideals generated by all t-minors of a one and twosided ladders, see for example [Conca (1995)].
![Page 23: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/23.jpg)
For any integer 1 ≤ t ≤ min{m, n}, the determinantal ideals,which are generated by all t-minors of a m × n matrix X is wellunderstood and discussed in several papers, for example,[Hochster, Eagon (1971)] and [Bruns, Vetter (1988)], and moregenerally the ideals generated by all t-minors of a one and twosided ladders, see for example [Conca (1995)].
Motivated by applications in algebraic statistics, ideals generatedby even more general sets of minors have been investigated,including ideals generated by adjacent 2-minors, see [Hosten,Sullivant (2004)], [Hibi, Ohsugi (2006)] and [Herzog, Hibi (2010)],
![Page 24: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/24.jpg)
For any integer 1 ≤ t ≤ min{m, n}, the determinantal ideals,which are generated by all t-minors of a m × n matrix X is wellunderstood and discussed in several papers, for example,[Hochster, Eagon (1971)] and [Bruns, Vetter (1988)], and moregenerally the ideals generated by all t-minors of a one and twosided ladders, see for example [Conca (1995)].
Motivated by applications in algebraic statistics, ideals generatedby even more general sets of minors have been investigated,including ideals generated by adjacent 2-minors, see [Hosten,Sullivant (2004)], [Hibi, Ohsugi (2006)] and [Herzog, Hibi (2010)],and ideals generated by an arbitrary set of 2-minors in a2× n-matrix [Herzog, Hibi, Hreinsdottir, Kahle, Rauh, (2010)].
![Page 25: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/25.jpg)
a11 a12 a13 a14 a15a21 a22 a23 a24 a25a31 a32 a33 a34 a35a41 a42 a43 a44 a45a51 a52 a53 a54 a55a61 a62 a63 a64 a65
.
![Page 26: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/26.jpg)
a11 a12 a13 a14 a15a21 a22 a23 a24 a25a31 a32 a33 a34 a35a41 a42 a43 a44 a45a51 a52 a53 a54 a55a61 a62 a63 a64 a65
.
The 2× 2 minor M(2 5)(2 4) is given by
a22a54 − a24a52
![Page 27: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/27.jpg)
What do we do with these ideals?
Typically one determines for such ideals their Grobner bases,
![Page 28: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/28.jpg)
What do we do with these ideals?
Typically one determines for such ideals their Grobner bases,determines their resolution
![Page 29: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/29.jpg)
What do we do with these ideals?
Typically one determines for such ideals their Grobner bases,determines their resolution and computes their regularity,
![Page 30: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/30.jpg)
What do we do with these ideals?
Typically one determines for such ideals their Grobner bases,determines their resolution and computes their regularity, checkswhether the rings defined by them are normal, Cohen-Macaulay orGorenstein.
![Page 31: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/31.jpg)
Polyominoes
In order to define the polyominoes and polyomino ideals, weintroduce some terminology.
![Page 32: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/32.jpg)
Polyominoes
In order to define the polyominoes and polyomino ideals, weintroduce some terminology. We denote by < the natural partial
order on N2, i.e. (i , j) ≤ (k , l) if and only if i ≤ k and j ≤ l .
![Page 33: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/33.jpg)
Polyominoes
In order to define the polyominoes and polyomino ideals, weintroduce some terminology. We denote by < the natural partial
order on N2, i.e. (i , j) ≤ (k , l) if and only if i ≤ k and j ≤ l .
Let a = (i , j) and b = (k , l) in N2. Then
1. the set [a, b] = {c ∈ N2 : a ≤ c ≤ b} is called an interval,
![Page 34: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/34.jpg)
Polyominoes
In order to define the polyominoes and polyomino ideals, weintroduce some terminology. We denote by < the natural partial
order on N2, i.e. (i , j) ≤ (k , l) if and only if i ≤ k and j ≤ l .
Let a = (i , j) and b = (k , l) in N2. Then
1. the set [a, b] = {c ∈ N2 : a ≤ c ≤ b} is called an interval,
2. the interval of the form C = [a, a + (1, 1)] is called a cell.
![Page 35: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/35.jpg)
Polyominoes
In order to define the polyominoes and polyomino ideals, weintroduce some terminology. We denote by < the natural partial
order on N2, i.e. (i , j) ≤ (k , l) if and only if i ≤ k and j ≤ l .
Let a = (i , j) and b = (k , l) in N2. Then
1. the set [a, b] = {c ∈ N2 : a ≤ c ≤ b} is called an interval,
2. the interval of the form C = [a, a + (1, 1)] is called a cell.
3. the elements of C are called the vertices of C , and the sets{a, a + (1, 0)}, {a, a + (0, 1)}, {a + (1, 0), a + (1, 1)} and{a + (0, 1), a + (1, 1)} the edges of C .
![Page 36: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/36.jpg)
Let C be the following cell.
(i; j) (i + 1; j)
(i; j + 1) (i + 1; j + 1)
Figure: A polyomino
![Page 37: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/37.jpg)
Let C be the following cell.
(i; j) (i + 1; j)
(i; j + 1) (i + 1; j + 1)
Figure: A polyomino
Then V (C ) = {(i , j + 1), (i + 1, j), (i , j + 1), (i + 1, j + 1)}
![Page 38: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/38.jpg)
Let C be the following cell.
(i; j) (i + 1; j)
(i; j + 1) (i + 1; j + 1)
Figure: A polyomino
Then V (C ) = {(i , j + 1), (i + 1, j), (i , j + 1), (i + 1, j + 1)}and E (C ) = {{(i , j), (i + 1, j)}, {(i + 1, j), (i + 1, j +1)}, {(i , j), (i , j + 1)}, {(i , j + 1), (i + 1, j + 1)}}.
![Page 39: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/39.jpg)
Let P be a finite collection of cells of N2. Then two cells C and D
in P are said to be connected, if there is a sequence of cells
C : C1, . . . ,Cm = D
of P such that Ci ∩ Ci+1 is an edge of Ci for i = 1, . . . ,m − 1.The collection of cells P is called a polyomino if any two cells of Pare connected.
![Page 40: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/40.jpg)
Let P be a finite collection of cells of N2. Then two cells C and D
in P are said to be connected, if there is a sequence of cells
C : C1, . . . ,Cm = D
of P such that Ci ∩ Ci+1 is an edge of Ci for i = 1, . . . ,m − 1.The collection of cells P is called a polyomino if any two cells of Pare connected.
Figure: A polyomino
![Page 41: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/41.jpg)
Polyominoes
Polyominoes are, roughly speaking, plane figures obtained byjoining squares of equal size (cells) edge to edge. Their appearanceorigins in recreational mathematics but also has been a subject ofmany combinatorial investigations including tiling problems.
![Page 42: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/42.jpg)
Polyominoes
A connection of polyominoes to commutative algebra has beenestablished first in (-, 2012) by assigning to each polyomino itsideal of inner minors (also called Polyomino ideals).
This class of ideals widely generalizes the ideal of 2-minors of amatrix of indeterminates, and even that of the ideal of 2-minors oftwo-sided ladders. It also includes the meet-join ideals (Hibi ideals)of planar distributive lattices.
![Page 43: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/43.jpg)
Polyomino ideals
Let
◮ P be a polyomino .
![Page 44: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/44.jpg)
Polyomino ideals
Let
◮ P be a polyomino .
◮ V (P) =⋃
C∈PV (C ), the vertex set of P.
![Page 45: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/45.jpg)
Polyomino ideals
Let
◮ P be a polyomino .
◮ V (P) =⋃
C∈PV (C ), the vertex set of P.
◮ K be a field and S = K [xa : a ∈ V (P)].
![Page 46: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/46.jpg)
Polyomino ideals
Let
◮ P be a polyomino .
◮ V (P) =⋃
C∈PV (C ), the vertex set of P.
◮ K be a field and S = K [xa : a ∈ V (P)].
◮ An inner interval I of a polyomino P is an interval with theproperty that all cells inside I belong to P.
![Page 47: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/47.jpg)
Figure: inner interval
![Page 48: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/48.jpg)
Figure: not an inner interval
![Page 49: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/49.jpg)
◮ Let [(i , j), (k , l)] ⊂ N2 be an inner interval of P. Then the
2-minor xijxkl − xilxkj ∈ S is called an inner minor of P.
![Page 50: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/50.jpg)
◮ Let [(i , j), (k , l)] ⊂ N2 be an inner interval of P. Then the
2-minor xijxkl − xilxkj ∈ S is called an inner minor of P.
◮ The ideal IP ⊂ S generated by all inner minors of P is calledthe polyomino ideal of P. We also set K [P] = S/IP .
![Page 51: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/51.jpg)
Given an ideal I generated by an arbitrary set of 2-minors of X , thequestion arises when I is a prime or a radical ideal and what are itsprimary components.
![Page 52: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/52.jpg)
Given an ideal I generated by an arbitrary set of 2-minors of X , thequestion arises when I is a prime or a radical ideal and what are itsprimary components.
It is shown by [Herzog, Hibi, Hreinsdottir, Kahle, Rauh] that I isalways radical if X is a 2× n matrix and the authors give theexplicit primary decomposition of such ideals.
![Page 53: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/53.jpg)
Given an ideal I generated by an arbitrary set of 2-minors of X , thequestion arises when I is a prime or a radical ideal and what are itsprimary components.
It is shown by [Herzog, Hibi, Hreinsdottir, Kahle, Rauh] that I isalways radical if X is a 2× n matrix and the authors give theexplicit primary decomposition of such ideals.
The problem becomes already much more complicated if m, n ≥ 3.Easy examples show that I need not to be radical in general.
![Page 54: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/54.jpg)
Consider the ideal I generated by the 2-minors
ae − bd , bf − ce, dh − eg , ei − fh
of the matrix
a b c
d e f
g h i
.
![Page 55: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/55.jpg)
Consider the ideal I generated by the 2-minors
ae − bd , bf − ce, dh − eg , ei − fh
of the matrix
a b c
d e f
g h i
.
Then cdh − aei ∈√I \ I . So I is not a radical ideal.
![Page 56: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/56.jpg)
Consider the ideal I generated by the 2-minors
ae − bd , bf − ce, dh − eg , ei − fh
of the matrix
a b c
d e f
g h i
.
Then cdh − aei ∈√I \ I . So I is not a radical ideal.
Our main objective is to classify all polyominoes such thatassociated polyomino ideals are prime or radical.
![Page 57: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/57.jpg)
Simple Polyominoes
Let P be a polyomino and let [a, b] an interval with the propertythat P ⊂ [a, b]. A polyomino P is called simple, if for any cell Cnot belonging to P there exists a path C = C1,C2, . . . ,Cm = D
with Ci 6∈ P for i = 1, . . . ,m and such that D is not a cell of [a, b].
![Page 58: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/58.jpg)
Simple Polyominoes
Let P be a polyomino and let [a, b] an interval with the propertythat P ⊂ [a, b]. A polyomino P is called simple, if for any cell Cnot belonging to P there exists a path C = C1,C2, . . . ,Cm = D
with Ci 6∈ P for i = 1, . . . ,m and such that D is not a cell of [a, b].
Roughly speaking, a polyomono is called simple if it has no holes.
Figure: Not simple
![Page 59: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/59.jpg)
Simple Polyominoes
Let P be a polyomino and let [a, b] an interval with the propertythat P ⊂ [a, b]. A polyomino P is called simple, if for any cell Cnot belonging to P there exists a path C = C1,C2, . . . ,Cm = D
with Ci 6∈ P for i = 1, . . . ,m and such that D is not a cell of [a, b].
Roughly speaking, a polyomono is called simple if it has no holes.
Figure: Not simple
For simple polyominoes, in (-, 2012), it was conjectured that IP isa prime ideal.
![Page 60: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/60.jpg)
Convex Polyominoes
As a first step in this direction, we studied the convex polyominoes.
Figure: Not covnex
![Page 61: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/61.jpg)
Convex Polyominoes
TheoremLet P be a convex collection of cells. Then K [P] is a normal
Cohen–Macaulay domain of dimension |V (P)| − |P|.
![Page 62: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/62.jpg)
One of the possible way to show that polyomino ideal (which is abinomial ideal) of a simple polyomino is prime, is to show that it isa toric ideal of a suitable toric ring...
![Page 63: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/63.jpg)
One of the possible way to show that polyomino ideal (which is abinomial ideal) of a simple polyomino is prime, is to show that it isa toric ideal of a suitable toric ring...
Herzog and Madani, (2016) used other techniques to prove thesame result.
![Page 64: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/64.jpg)
Let P be a polyomino. An interval [a, b] with a = (i , j) andb = (k , l) is called a horizontal edge interval of P if j = l and thesets {(r , j), (r + 1, j} for r = i , . . . , k − 1 are edges of cells of P. Ifa horizontal edge interval of P is not strictly contained in anyother horizontal edge interval of P, then we call it maximalhorizontal edge interval. Similarly one defines vertical edgeintervals and maximal vertical edge intervals of P.
![Page 65: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/65.jpg)
Following figure shows a polyomino P with maximal vertical andmaximal horizontal edge intervals labelled as {V1, . . . ,V5} and{H1, . . . ,H4} respectively.
V1
V2V3
V4
V5
H1
H2
H3
H4
Figure: maximal intervals of P
![Page 66: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/66.jpg)
Let {V1, . . . ,Vm} be the set of maximal vertical edge intervals and{H1, . . . ,Hn} be the set of maximal horizontal edge intervals of P.We denote by GP , the associated bipartite graph of P with vertexset {v1, . . . , vm}
⊔{h1, . . . , hn} and the edge set defined as follows
E (GP) = {{vi , hj} | Vi ∩ Hj ∈ V (P)}.
![Page 67: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/67.jpg)
V1
V2V3
V4
V5
H1
H2
H3
H4
Figure: maximal intervals of P
h1 h2 h3 h4
v1 v2 v3 v4 v5
Figure: Associated bipartite graph of P
![Page 68: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/68.jpg)
Let T = K [v1, . . . , vm, h1, . . . , hn]. The subalgebra
K [GP ] = K [vphq : {p, q} ∈ E (GP)] ⊂ T
is called the edge ring of GP .
![Page 69: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/69.jpg)
Let T = K [v1, . . . , vm, h1, . . . , hn]. The subalgebra
K [GP ] = K [vphq : {p, q} ∈ E (GP)] ⊂ T
is called the edge ring of GP .
We denote by JP , the toric ideal of K [G (P)].
![Page 70: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/70.jpg)
Let T = K [v1, . . . , vm, h1, . . . , hn]. The subalgebra
K [GP ] = K [vphq : {p, q} ∈ E (GP)] ⊂ T
is called the edge ring of GP .
We denote by JP , the toric ideal of K [G (P)]. It is known from[Hibi, Ohsugi 1999], that JP is generated by the binomialsassociated with cycles in G (P).
![Page 71: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/71.jpg)
1 2 3 4
5 6 7 8
Figure: cycle of length 4
the associated binomial is x16x47 − x46x17.
![Page 72: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/72.jpg)
1 3 5
2 4 6
Figure: chord
![Page 73: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/73.jpg)
1 3 5
2 4 6
Figure: chord
the associated binomial is x12x36x45 − x23x56x14
![Page 74: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/74.jpg)
1 3 5
2 4 6
Figure: chord
the associated binomial is x12x36x45 − x23x56x14= x56(x12x34 − x23x14)− x12(x34x56 − x36x45).
![Page 75: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/75.jpg)
It shows toric ideal of an edge ring is generated in degree 2 if everycycle of length greater than six has a chord.
![Page 76: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/76.jpg)
It shows toric ideal of an edge ring is generated in degree 2 if everycycle of length greater than six has a chord.
Now we come back to the associated bipartite graph of polyomino.
![Page 77: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/77.jpg)
V1
V2V3
V4
V5
H1
H2
H3
H4
Figure: maximal intervals of P
h1 h2 h3 h4
v1 v2 v3 v4 v5
Figure: Associated bipartite graph of P
![Page 78: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/78.jpg)
Lemma. Let P be a simple polyomino. Then the graph GP isweakly chordal.
![Page 79: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/79.jpg)
Lemma. Let P be a simple polyomino. Then the graph GP isweakly chordal.
In this case, JP is generated in degree 2.
![Page 80: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/80.jpg)
Theorem. Let P be a simple polyomino. Then IP = JP .
![Page 81: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/81.jpg)
Theorem. Let P be a simple polyomino. Then IP = JP .
For proof we show that each 2-minor in IP correspond to a 4-cyclein GP and vice versa.
![Page 82: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/82.jpg)
It is known that the universal Grobner basis of toric ideal of abipartite graph consists of binomials associated with cycles.
![Page 83: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/83.jpg)
It is known that the universal Grobner basis of toric ideal of abipartite graph consists of binomials associated with cycles. It hassquarefree initial ideal.
![Page 84: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/84.jpg)
It is known that the universal Grobner basis of toric ideal of abipartite graph consists of binomials associated with cycles. It hassquarefree initial ideal.
It is known from Hibi, Ohsugi that JP has squarefree quadraticGrobner basis with respect to a suitable monomial order.
![Page 85: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/85.jpg)
It is known that the universal Grobner basis of toric ideal of abipartite graph consists of binomials associated with cycles. It hassquarefree initial ideal.
It is known from Hibi, Ohsugi that JP has squarefree quadraticGrobner basis with respect to a suitable monomial order.
Corollary. Let P be a simple polyomino. Then K [P] is Koszul anda normal Cohen–Macaulay domain.
![Page 86: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/86.jpg)
It is known that the universal Grobner basis of toric ideal of abipartite graph consists of binomials associated with cycles. It hassquarefree initial ideal.
It is known from Hibi, Ohsugi that JP has squarefree quadraticGrobner basis with respect to a suitable monomial order.
Corollary. Let P be a simple polyomino. Then K [P] is Koszul anda normal Cohen–Macaulay domain.
Proof Squarefree quadratic Grobner basis implies Koszulness (Bydefinition) and normality (by Strumfels). Then, following atheorem of Hochster, we obtain that K [P] is Cohen–Macaulaydomain.
![Page 87: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/87.jpg)
A polyomino ideal may be prime even if the polyomino is notsimple.
![Page 88: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/88.jpg)
A polyomino ideal may be prime even if the polyomino is notsimple.
Figure: polyomino with prime polyomino ideal
![Page 89: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/89.jpg)
Figure: polyomino with non-prime polyomino ideal
![Page 90: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/90.jpg)
It would be interesting to know a complete characterization ofpolyominoes whose attached polyomino ideals are prime, but it isnot easy to answer. However, as a first step, it is already aninteresting question to classify polyominoes with only “one hole”such that their associated polyomino ideal is prime.
![Page 91: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/91.jpg)
Questions
What is the complete characterization of prime polyominoes.
![Page 92: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/92.jpg)
Questions
What is the complete characterization of prime polyominoes.
What can we say about the ideal generated by inner t-minors of apolyomino?
![Page 93: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/93.jpg)
Questions
What is the complete characterization of prime polyominoes.
What can we say about the ideal generated by inner t-minors of apolyomino?
Does there exist a monomial order such that polyomino ideals havesquarefree Grobner basis? If Yes then it will show that Polyominoideals are always radical.
![Page 94: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/94.jpg)
Questions
What is the complete characterization of prime polyominoes.
What can we say about the ideal generated by inner t-minors of apolyomino?
Does there exist a monomial order such that polyomino ideals havesquarefree Grobner basis? If Yes then it will show that Polyominoideals are always radical.
When convex polyominoes are Gorenstien? (So far, we have acharacterization of Stack polyomino only.)
![Page 95: Polyomino Ideals (Toric ideals and Gröbner basis)web0.boun.edu.tr/alp.bassa/ankaraistanbul/Ank_ist_meeting.pdf · For any integer 1 ≤ t≤ min{m,n}, the determinantal ideals, which](https://reader034.fdocuments.in/reader034/viewer/2022042811/5fa3f588e2917734132cf8e1/html5/thumbnails/95.jpg)
Thank you!