generalizing the borel condition
play

Generalizing the Borel condition Chris Francisco Oklahoma State - PowerPoint PPT Presentation

Generalizing the Borel condition Chris Francisco Oklahoma State University Joint work with Jeff Mermin and Jay Schweig Lincoln, NE October 2011 Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field. Motivation: Borel ideals Let


  1. Generalizing the Borel condition Chris Francisco Oklahoma State University Joint work with Jeff Mermin and Jay Schweig Lincoln, NE October 2011

  2. Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field.

  3. Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field. Definition: A monomial ideal M ⊂ S is a Borel ideal if

  4. Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field. Definition: A monomial ideal M ⊂ S is a Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j ,

  5. Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field. Definition: A monomial ideal M ⊂ S is a Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j , then m · x i ∈ M . x j

  6. Motivation: Borel ideals Let S = k [ x 1 , . . . , x n ] , k a field. Definition: A monomial ideal M ⊂ S is a Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j , then m · x i ∈ M . x j Also known as strongly stable or 0-Borel ideals.

  7. Q -Borel ideals Let Q be a naturally-labeled poset on { x 1 , . . . , x n } . (So x i < Q x j implies i < j .) Definition: A monomial ideal M ⊂ S is a Q -Borel ideal if

  8. Q -Borel ideals Let Q be a naturally-labeled poset on { x 1 , . . . , x n } . (So x i < Q x j implies i < j .) Definition: A monomial ideal M ⊂ S is a Q -Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and

  9. Q -Borel ideals Let Q be a naturally-labeled poset on { x 1 , . . . , x n } . (So x i < Q x j implies i < j .) Definition: A monomial ideal M ⊂ S is a Q -Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j

  10. Q -Borel ideals Let Q be a naturally-labeled poset on { x 1 , . . . , x n } . (So x i < Q x j implies i < j .) Definition: A monomial ideal M ⊂ S is a Q -Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j a variable x i < Q x j ,

  11. Q -Borel ideals Let Q be a naturally-labeled poset on { x 1 , . . . , x n } . (So x i < Q x j implies i < j .) Definition: A monomial ideal M ⊂ S is a Q -Borel ideal if ◮ given any monomial m ∈ M , ◮ a variable x j dividing m , and ◮ an index i < j a variable x i < Q x j , then m · x i ∈ M . x j

  12. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c .

  13. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a

  14. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc .

  15. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc ,

  16. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc , ac ( b → a ),

  17. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc , ac ( b → a ), ab ( c → a ) ,

  18. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc , ac ( b → a ), ab ( c → a ) , a 2 ( b → a , c → a ).

  19. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc , ac ( b → a ), ab ( c → a ) , a 2 ( b → a , c → a ). So I = ( a 2 , ab , ac , bc ) .

  20. Q -Borel example Let Q be the poset with relations a < Q b and a < Q c . b c t t ❅ � ❅ � ❅ � t a Let I = Q ( bc ) , the smallest Q -Borel ideal containing bc . Monomials in I : bc , ac ( b → a ), ab ( c → a ) , a 2 ( b → a , c → a ). So I = ( a 2 , ab , ac , bc ) . This is not an ordinary Borel ideal because b 2 / ∈ I ( c �→ b ).

  21. Extremal cases Chain C of length n Antichain A t x n t x n − 1 . . . . . . t t t x 1 x 2 x n t x 2 t x 1

  22. Extremal cases Chain C of length n Antichain A t x n t x n − 1 . . . . . . t t t x 1 x 2 x n t x 2 t x 1 ◮ C -Borel ideals are the usual Borel ideals.

  23. Extremal cases Chain C of length n Antichain A t x n t x n − 1 . . . . . . t t t x 1 x 2 x n t x 2 t x 1 ◮ C -Borel ideals are the usual Borel ideals. ◮ Every monomial ideal is A -Borel.

  24. Extremal cases Chain C of length n Antichain A t x n t x n − 1 . . . . . . t t t x 1 x 2 x n t x 2 t x 1 ◮ C -Borel ideals are the usual Borel ideals. ◮ Every monomial ideal is A -Borel. Guiding idea: The closer Q is to C , the more a Q -Borel ideal should behave like a Borel ideal.

  25. Associated primes of Q -Borel ideals Borel ideals (Bayer-Stillman): If B is a Borel ideal, then any associated prime of S / B is of the form ( x 1 , x 2 , . . . , x i ) .

  26. Associated primes of Q -Borel ideals Borel ideals (Bayer-Stillman): If B is a Borel ideal, then any associated prime of S / B is of the form ( x 1 , x 2 , . . . , x i ) . Q -Borel ideals: If I is a Q -Borel ideal, and p ∈ Ass ( S / I ) , then p is generated by an order ideal in Q .

  27. Associated primes of Q -Borel ideals Borel ideals (Bayer-Stillman): If B is a Borel ideal, then any associated prime of S / B is of the form ( x 1 , x 2 , . . . , x i ) . Q -Borel ideals: If I is a Q -Borel ideal, and p ∈ Ass ( S / I ) , then p is generated by an order ideal in Q . Proof: Say m / ∈ I but x j m ∈ I . Then for any x i < Q x j , x i m ∈ I as well.

  28. Associated primes of Q -Borel ideals Borel ideals (Bayer-Stillman): If B is a Borel ideal, then any associated prime of S / B is of the form ( x 1 , x 2 , . . . , x i ) . Q -Borel ideals: If I is a Q -Borel ideal, and p ∈ Ass ( S / I ) , then p is generated by an order ideal in Q . Proof: Say m / ∈ I but x j m ∈ I . Then for any x i < Q x j , x i m ∈ I as well. Goal: Compute irredundant primary decomposition of Q -Borel ideals from Q -Borel generators and poset structure of Q .

  29. Associated primes of Q -Borel ideals Borel ideals (Bayer-Stillman): If B is a Borel ideal, then any associated prime of S / B is of the form ( x 1 , x 2 , . . . , x i ) . Q -Borel ideals: If I is a Q -Borel ideal, and p ∈ Ass ( S / I ) , then p is generated by an order ideal in Q . Proof: Say m / ∈ I but x j m ∈ I . Then for any x i < Q x j , x i m ∈ I as well. Goal: Compute irredundant primary decomposition of Q -Borel ideals from Q -Borel generators and poset structure of Q . Special case: Principal Q -Borel ideals, I = Q ( m ) .

  30. Principal Q -Borel ideals Principal Q -Borel ideals are the products of monomial primes.

  31. Principal Q -Borel ideals Principal Q -Borel ideals are the products of monomial primes. Theorem A: Suppose � p e p , I = p ⊂ S where the p are all monomial primes of S , and e p ≥ 0. Then � p a p , I = p ⊂ S where � a p = e p ′ . p ′ ⊂ p

  32. Principal Q -Borel ideals Principal Q -Borel ideals are the products of monomial primes. Theorem A: Suppose � p e p , I = p ⊂ S where the p are all monomial primes of S , and e p ≥ 0. Then � p a p , I = p ⊂ S where � a p = e p ′ . p ′ ⊂ p Get a primary decomposition consisting of powers of monomial primes.

  33. Irredundant primary decomposition For a monomial m ′ , let A ( m ′ ) = { x i : x i ≤ Q x j for some x j | m ′ } . In English: Variables below any element of supp ( m ′ ) .

  34. Irredundant primary decomposition For a monomial m ′ , let A ( m ′ ) = { x i : x i ≤ Q x j for some x j | m ′ } . In English: Variables below any element of supp ( m ′ ) . Theorem B: Let I = Q ( m ) . Let p be a prime ideal. Then p ∈ Ass ( S / I ) if and only if ◮ Gens ( p ) = A ( m ′ ) for some monomial m ′ | m , and ◮ A ( m ′ ) is connected.

  35. Irredundant primary decomposition For a monomial m ′ , let A ( m ′ ) = { x i : x i ≤ Q x j for some x j | m ′ } . In English: Variables below any element of supp ( m ′ ) . Theorem B: Let I = Q ( m ) . Let p be a prime ideal. Then p ∈ Ass ( S / I ) if and only if ◮ Gens ( p ) = A ( m ′ ) for some monomial m ′ | m , and ◮ A ( m ′ ) is connected. With Theorem A, this gives an irredundant primary decomposition of I = Q ( m ) .

  36. Irredundant primary decomposition For a monomial m ′ , let A ( m ′ ) = { x i : x i ≤ Q x j for some x j | m ′ } . In English: Variables below any element of supp ( m ′ ) . Theorem B: Let I = Q ( m ) . Let p be a prime ideal. Then p ∈ Ass ( S / I ) if and only if ◮ Gens ( p ) = A ( m ′ ) for some monomial m ′ | m , and ◮ A ( m ′ ) is connected. With Theorem A, this gives an irredundant primary decomposition of I = Q ( m ) . Method: Compute all order ideals corresponding to divisors of m . For the connected ones, use Theorem A to compute exponents.

Recommend


More recommend