Geometry of Hilbert polynomials and Gröbner bases John Perry Gröbner bases and monomial orderings Gröbner bases Geometry of orderings Hilbert polynomials Caboara, Sturmfels’ algorithms Future Geometry of Hilbert polynomials and Gröbner bases John Perry Department of Mathematics, The University of Southern Mississippi February 2010 Algebra is merely geometry in words; geometry is merely algebra in pictures. — Sophie Germain
33
Embed
Geometry of Hilbert polynomials and Gröbner bases of Hilbert polynomials and Gröbner bases John Perry Gröbner bases and monomial orderings Gröbner bases Geometry of orderings Hilbert
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Geometry of Hilbert polynomials andGröbner bases
John Perry
Department of Mathematics, The University of Southern Mississippi
February 2010
Algebra is merely geometry in words;geometry is merely algebra in pictures.
— Sophie Germain
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Outline
1 Gröbner bases and monomial orderings
2 Hilbert polynomials
3 Caboara, Sturmfels’ algorithms
4 Future
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Outline
1 Gröbner bases and monomial orderings
2 Hilbert polynomials
3 Caboara, Sturmfels’ algorithms
4 Future
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Gröbner basis: definition from example
-4 -3 -2 -1 -0 1 2 3 4
-4
-3
-2
-1
-0
1
2
3
4
what can I say about • ?
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Monomial orderings
x2+ xy2
↙ ↘
x2+ xy x2+ xy2
(lex) (tdeg)
Remark
• notation: lm (p)• uncountably many orderings• given an ideal, finitely many equivalence classes
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Monomial orderings
x2+ xy2
↙ ↘
x2+ xy x2+ xy2
(lex) (tdeg)
Remark
• notation: lm (p)• uncountably many orderings• given an ideal, finitely many equivalence classes
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Gröbner basis: precise definition
G a Gröbner basis of ideal I?
〈lm(I)〉
1 2 3 4
1
2
3
4
• I = ⟨G⟩. . .
•
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Gröbner basis: precise definition
G a Gröbner basis of ideal I?
〈lm(G)〉
1 2 3 4
1
2
3
4
y3 6∈
lm (G)�
• I = ⟨G⟩ but•
lm (I)�
6=
lm (G)�
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Gröbner basis: precise definition
G a Gröbner basis of ideal I?
〈lm(G)〉
1 2 3 4
1
2
3
4
y3 ∈
lm (G)�
• I = ⟨G⟩ and•
lm (I)�
=
lm (G)�
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Gröbner basis: facts
• finite GB exists for any I• GB varies by equivalence class
• size, density, complexity• unique “reduced GB”
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Computing Gröbner bases
Buchberger’s algorithm (1965), others• while
lm (G)�
6=
lm (I)�
:
1 2 3 4
1
2
3
4
add • to G
• • “easy” iff
lm (G)�
6=
lm (I)�
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Minkowski sum of Newton polyhedra
another view of orderings
F =�
x2+ y2− 4,xy− 1
1 2 3
1
2
3
(vertex← exponent vector of each u ∈ f1 · · · fm)
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Big-time fact
Normal cones of Minkowski sum of Fl
equivalence classes
1 2 3 4
1
2
3
4
classification of orderings←→ discrete geometry
(Gritzmann and Sturmfels, 1993)
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Outline
1 Gröbner bases and monomial orderings
2 Hilbert polynomials
3 Caboara, Sturmfels’ algorithms
4 Future
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Hilbert function: definition from example
-2.5 -2 -1.5 -1 -0.5 -0 0.5 1 1.5 2 2.5
-2.5
-2
-1.5
-1
-0.5
-0
0.5
1
1.5
2
2.5
dimF (•)?
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Hilbert function: precise definition
R= F�
x1, . . . ,xn�
, homogeneous ideal
Hilbert function:
HFI :N→Nd→ dimF (Rd/Id) .
Facts
• ∃HFI for all I• HFI =HF⟨lm(I)⟩
1 2 3 4
1
2
3
4
dimF (Rd/Id) = dimF�
R/
lm (I)��
d
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Hilbert polynomial
Hilbert polynomial:
HPI (d) =HFI (d) for “sufficiently large” d.
1 2 3 4
1
2
3
4
Facts
• ∃HFI ,HPI for all I• degHPI = dimF (•)
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
HFI (d) ¡ GB (I)
Know G=GB (I), not HFI?• HF⟨lm(G)⟩ =HFI
• “easy” to compute:
• HSI , power series expansion of HFI• HPI
Know HFI , not GB (I)?• HFI (d) degree d mononomials not in
lm (G)�
d?
• (((((((degree d pairs
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
HFI (d) ¡ GB (I)
Know G=GB (I), not HFI?• HF⟨lm(G)⟩ =HFI
• “easy” to compute:
• HSI , power series expansion of HFI• HPI
Know HFI , not GB (I)?• HFI (d) degree d mononomials not in
lm (G)�
d?
• (((((((degree d pairs
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Outline
1 Gröbner bases and monomial orderings
2 Hilbert polynomials
3 Caboara, Sturmfels’ algorithms
4 Future
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
Problem statement
• GB varies by equivalence class
• size, density, complexity• some orderings more efficient than others
Is it advisable to change orderings while computing a Gröbnerbasis?
Geometry ofHilbert
polynomialsand Gröbner
bases
John Perry
Gröbner basesand monomialorderingsGröbner bases
Geometry of orderings
Hilbertpolynomials
Caboara,Sturmfels’algorithms
Future
“Tentative” Hilbert functions
J =¬
lm�
Gh�¶
Definitiontentative Hilbert function of ⟨G⟩ is HFJ