❇é ❣✐➳♦ ❞ô❝ ✈➭ ➤➭♦ t➵♦
❚r➢ê♥❣ ➜➵✐ ❤ä❝ ❱✐♥❤
➜➭♦ ❚❤Þ ❚❤❛♥❤ ❍➭
❈❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞
❝ñ❛ ♠ét sè ❧í♣ ♠➠➤✉♥
❈❤✉②➟♥ ♥❣➭♥❤✿ ➜➵✐ sè ✈➭ ❧ý t❤✉②Õt sè
▼➲ sè✿ ✻✷✳✹✻✳✵✺✳✵✶
tã♠ t➽t ❧✉❐♥ ➳♥ t✐Õ♥ sÜ t♦➳♥ ❤ä❝
✷✵✵✾
❈➠♥❣ tr×♥❤ ➤➢î❝ ❤♦➭♥ t❤➭♥❤ t➵✐✿
❚r➢ê♥❣ ➜➵✐ ❤ä❝ ❱✐♥❤
◆❣➢ê✐ ❤➢í♥❣ ❞➱♥ ❦❤♦❛ ❤ä❝✿ ●❙✳ ❚❙❑❍✳ ▲➟ ❚✉✃♥ ❍♦❛
P●❙✳ ❚❙✳ ◆❣➠ ❙ü ❚ï♥❣
P❤➯♥ ❜✐Ö♥ ✶✿ ●❙✳ ❚❙❑❍✳ ❍➭ ❍✉② ❑❤♦➳✐
P❤➯♥ ❜✐Ö♥ ✷✿ ●❙✳ ❚❙✳ ▲➟ ❱➝♥ ❚❤✉②Õt
P❤➯♥ ❜✐Ö♥ ✸✿ P●❙✳ ❚❙✳ ◆❣✉②Ô♥ ❚✐Õ♥ ◗✉❛♥❣
▲✉❐♥ ➳♥ sÏ ➤➢î❝ ❜➯♦ ✈Ö tr➢í❝ ❍é✐ ➤å♥❣ ❝❤✃♠ ❧✉❐♥ ➳♥ ❝✃♣ ♥❤➭ ♥➢í❝
❤ä♣ t➵✐✿ ✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳
✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳
✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳✳
✈➭♦ ❤å✐ ✳✳✳✳ ❣✐ê ✳✳✳✳ ♥❣➭② ✳✳✳✳ t❤➳♥❣ ✳✳✳✳ ♥➝♠ ✳✳✳✳
❈ã t❤Ó t×♠ ❤✐Ó✉ ✈Ò ❧✉❐♥ ➳♥ t➵✐✿
✲ ❚❤➢ ✈✐Ö♥ ◗✉è❝ ❣✐❛ ❱✐Öt ◆❛♠
✲ ❚❤➢ ✈✐Ö♥ ❚r➢ê♥❣ ➜➵✐ ❤ä❝ ❱✐♥❤
✶
▼ë ➤➬✉
✶✳ ▲ý ❞♦ ❝❤ä♥ ➤Ò t➭✐✿
❈❤♦
S=K[x1, . . . , xn]
❧➭ ✈➭♥❤ ➤❛ t❤ø❝ ♣❤➞♥ ❜❐❝ ❝❤✉➮♥ ✈➭
M
❧➭
S
✲♠➠➤✉♥ ♣❤➞♥ ❜❐❝ ❤÷✉ ❤➵♥ s✐♥❤✿
M=Li∈ZMi
✳ ❈❤Ø sè ❝❤Ý♥❤ q✉②
❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❝ñ❛
M
❧➭ sè
reg(M) = inf{p|Hi
m(M)j= 0 ∀i, j :i+j > p},
tr♦♥❣ ➤ã
Hi
m(M)
❧➭ ♠➠➤✉♥ ➤è✐ ➤å♥❣ ➤✐Ò✉ ➤Þ❛ ♣❤➢➡♥❣ ♣❤➞♥ ❜❐❝ t❤ø
i
✈í✐
❣✐➳ ❧➭ ✐➤➟❛♥ ❝ù❝ ➤➵✐ t❤✉➬♥ ♥❤✃t
m= (x1, . . . , xn)
✳
❈❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ➤ã♥❣ ♠ét ✈❛✐ trß q✉❛♥ trä♥❣
❦❤➠♥❣ ❝❤Ø tr♦♥❣ ➜➵✐ sè ❣✐❛♦ ❤♦➳♥ ♠➭ ❝➯ tr♦♥❣ ❍×♥❤ ❤ä❝ ➤➵✐ sè✳ ❈❤➻♥❣
❤➵♥✱ ✈× ♥ã ❝❤➷♥ tr➟♥ t✃t ❝➯ ❝➳❝ ❜❐❝ s✐♥❤ ❝ù❝ ➤➵✐ ❝ñ❛ ❝➳❝ ♠➠➤✉♥ ①♦➽♥ ♥➟♥
❝ã t❤Ó ①❡♠ ♥ã ♥❤➢ ♠ét ➤é ➤♦ ✈Ò sù ♣❤ø❝ t➵♣ ❝ñ❛ ♠➠➤✉♥✳ ❈❤Ø sè ❝❤Ý♥❤
q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❝ß♥ ❝ã t❤Ó ➤➢î❝ ❞ï♥❣ ➤Ó ➤♦ ➤é ♣❤ø❝ t➵♣ ❝ñ❛
t❤✉❐t t♦➳♥ ❇✉❝❤❜❡r❣❡r✳ ❈❤Ý♥❤ ✈× ✈❐② ✈✃♥ ➤Ò ♥❣❤✐➟♥ ❝ø✉ ❝❤Ø sè ❝❤Ý♥❤ q✉②
❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❦❤➠♥❣ ❝❤Ø ❝ã ý ♥❣❤Ü❛ ❧ý t❤✉②Õt✱ ♠➭ ❝ß♥ ❝ã ý ♥❣❤Ü❛
t❤ù❝ t✐Ô♥✱ t❤❡♦ ♥❣❤Ü❛ ❦❤✐ ❝ã ♠ét ❜➭✐ t♦➳♥ ❝ô t❤Ó✱ ♥ã ❝❤♦ ❜✐Õt s➡ ❜é t❤ê✐
❣✐❛♥ ❝➬♥ ❝❤➵② ❝ñ❛ ♠ét ♣❤➬♥ ♠Ò♠ ➤Þ♥❤ sö ❞ô♥❣ ✈➭ ❞♦ ➤ã ❜✐Õt tr➢í❝ ❦❤➯
♥➝♥❣ ❝ã t❤Ó sö ❞ô♥❣ ➤➢î❝ ♣❤➬♥ ♠Ò♠ ➤ã ❤❛② ❦❤➠♥❣✳ ➜➞② ❧➭ ♠ét ✈✃♥ ➤Ò
♥❣❤✐➟♥ ❝ø✉ t❤ê✐ sù✱ ➤➢î❝ ♥❤✐Ò✉ ♥❣➢ê✐ q✉❛♥ t➞♠✳
✷✳ ▼ô❝ ➤Ý❝❤ ♥❣❤✐➟♥ ❝ø✉✿
▼ô❝ ➤Ý❝❤ ♥❣❤✐➟♥ ❝ø✉ ❝ñ❛ ➤Ò t➭✐ ♥➭② ❧➭ t❤✐Õt ❧❐♣ ❝❤➷♥ tr➟♥ ❝❤♦ ❝❤Ø sè
❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❝❤♦ ♠ét sè ❧í♣ ♠➠➤✉♥ ♠í✐✳
✸✳ ➜è✐ t➢î♥❣ ♥❣❤✐➟♥ ❝ø✉✿
➜è✐ t➢î♥❣ ♥❣❤✐➟♥ ❝ø✉ ❝ô t❤Ó ❝ñ❛ ❧✉❐♥ ➳♥ ❧➭ ❝➳❝ ♠➠➤✉♥ ➤è✐ ➤å♥❣ ➤✐Ò✉
➤Þ❛ ♣❤➢➡♥❣✱ ❝❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ✈➭ ❝➳❝ ❜✃t ❜✐Õ♥ ❧✐➟♥
q✉❛♥ ♥❤➢ ❜❐❝ s✉② ré♥❣✱
a
✲❜✃t ❜✐Õ♥✳
✷
✹✳ P❤➵♠ ✈✐ ♥❣❤✐➟♥ ❝ø✉✿
❚r♦♥❣ ❧✉❐♥ ➳♥ ♥➭②✱ ❝❤ó♥❣ t➠✐ ❝❤Ø ♥❣❤✐➟♥ ❝ø✉ ❤❛✐ ❧í♣ ♠➠➤✉♥✿ ❧í♣ ♠➠➤✉♥
❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② ré♥❣ ❞➲② ✈➭ ❧í♣ ♠➠➤✉♥ ❝❤Ý♥❤ t➽❝ ❝ò♥❣ ♥❤➢ ❝➳❝
♠➠➤✉♥ ❦❤✉②Õt ❝ñ❛ ♠ét ♠➠➤✉♥✳
✺✳ P❤➢➡♥❣ ♣❤➳♣ ♥❣❤✐➟♥ ❝ø✉✿
❈❤ó♥❣ t➠✐ sö ❞ô♥❣ ♣❤➢➡♥❣ ♣❤➳♣ ♥❣❤✐➟♥ ❝ø✉ ❧ý t❤✉②Õt✱ ❦Õt ❤î♣ ✈í✐ ♣❤➬♥
♠Ò♠ ♠➳② tÝ♥❤ ❈♦❈♦❆ ➤Ó tÝ♥❤ ♠ét sè ✈Ý ❞ô ❝ô t❤Ó✳ ▲Ü♥❤ ✈ù❝ ❧ý t❤✉②Õt
❝❤ó♥❣ t➠✐ sö ❞ô♥❣ ❧➭ ➤➵✐ sè ❣✐❛♦ ❤♦➳♥ ✈➭ ➤➵✐ sè ➤å♥❣ ➤✐Ò✉✳
✻✳
ý
♥❣❤Ü❛ ❦❤♦❛ ❤ä❝ ✈➭ t❤ù❝ t✐Ô♥
▲✉❐♥ ➳♥ ➤➲ ❝ã ♥❤÷♥❣ ➤ã♥❣ ❣ã♣ ❧ý t❤✉②Õt ♠í✐✳ ❈ô t❤Ó✱ ❝❤ó♥❣ t➠✐ ➤➲ t❤✐Õt
❧❐♣ ➤➢î❝ ❝❤➷♥ tr➟♥ ❝❤♦ ❝❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❝ñ❛ ❝➳❝ ❧í♣
♠➠➤✉♥✿ ♠➠➤✉♥ ♣❤➞♥ ❜❐❝ ❇✉❝❤s❜❛✉♠ ❞➲②✱ ♠➠➤✉♥ ♣❤➞♥ ❜❐❝
k
✲❇✉❝❤s❜❛✉♠
❞➲②✱ ♠➠➤✉♥ ❝❤Ý♥❤ t➽❝ ✈➭ ❝➳❝ ♠➠➤✉♥ ❦❤✉②Õt ❝ñ❛ ❝➳❝ ♠➠➤✉♥ ♣❤➞♥ ❜❐❝✳
❱í✐ ❝➳❝ ❦Õt q✉➯ ➤➵t ➤➢î❝ t❛ ❝ã t❤Ó t❤✃② ❝➳❝ ♣❤➬♥ ♠Ò♠ ➤➵✐ sè ❤✐Ö♥ ❝ã
❝ã t❤Ó ❝❤➵② ❦❤➳ tèt tr➟♥ ❝➳❝ ❧í♣ ♠➠➤✉♥ ❇✉❝❤s❜❛✉♠ ❞➲② ❤♦➷❝
k
✲❇✉❝❤s❜❛✉♠
❞➲② ✈í✐
k
❜Ð✳
✼✳ ❚æ♥❣ q✉❛♥ ❧✉❐♥ ➳♥
❑❤➳✐ ♥✐Ö♠ ❝❤Ø sè ❝❤Ý♥❤ q✉② ❜➽t ♥❣✉å♥ tõ ♥❤÷♥❣ ❝➠♥❣ tr×♥❤ ✈Ò ➤➢ê♥❣ ❝♦♥❣
①➵ ➯♥❤ ❝ñ❛ ❈❛st❡❧♥✉♦✈♦ ✈➭ ➤➢î❝ ▼✉♠❢♦r❞ ➤Þ♥❤ ♥❣❤Ü❛ ✈➭ ♣❤➳t ❜✐Ó✉ ❝❤♦ ❝➳❝
➤❛ t➵♣ ①➵ ➯♥❤✳ ❙❛✉ ➤ã ❊✐s❡♥❜✉❞✲●♦t♦ ❬✼❪ ❞✐Ô♥ ➤➵t t❤❡♦ ♥❣➠♥ ♥❣÷ ➜➵✐ sè ❣✐❛♦
❤♦➳♥ ✈à ❝❤♦ ❝➳❝ ♠➠➤✉♥ ♣❤➞♥ ❜❐❝✳
❈❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ➤ã♥❣ ♠ét ✈❛✐ trß q✉❛♥ trä♥❣
❦❤➠♥❣ ❝❤Ø tr♦♥❣ ➜➵✐ sè ❣✐❛♦ ❤♦➳♥ ♠➭ ❝➯ tr♦♥❣ ❍×♥❤ ❤ä❝ ➤➵✐ sè✳ ❈❤➻♥❣ ❤➵♥✱ ✈×
♥ã ❝❤➷♥ tr➟♥ t✃t ❝➯ ❝➳❝ ❜❐❝ s✐♥❤ ❝ù❝ ➤➵✐ ❝ñ❛ ❝➳❝ ♠➠➤✉♥ ①♦➽♥ ♥➟♥ ❝ã t❤Ó ①❡♠
♥ã ♥❤➢ ♠ét ➤é ➤♦ ✈Ò sù ♣❤ø❝ t➵♣ ❝ñ❛ ♠➠➤✉♥✳ ❈❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲
▼✉♠❢♦r❞ ❝ß♥ ❝ã t❤Ó ➤➢î❝ ❞ï♥❣ ➤Ó ➤♦ ➤é ♣❤ø❝ t➵♣ ❝ñ❛ t❤✉❐t t♦➳♥ ❇✉❝❤❜❡r❣❡r
♥❤➢ ❇❛②❡r ✈➭ ❙t✐❧❧♠❛♥ ➤➲ ❝❤Ø r❛✳ ❱× ✈❐② ♠ét tr♦♥❣ ♥❤÷♥❣ ✈✃♥ ➤Ò ➤➬✉ t✐➟♥
✸
➤➷t r❛ tr♦♥❣ ✈✐Ö❝ ♥❣❤✐➟♥ ❝ø✉ ❝❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❧➭ ❝❤➷♥
tr➟♥ ♥ã t❤➠♥❣ q✉❛ ❝➳❝ ❜✃t ❜✐Õ♥ ❦❤➳❝ ❝ñ❛ ♠➠➤✉♥✳ ❑Õt q✉➯ q✉❛♥ trä♥❣ ✈➭ ♥æ✐
t✐Õ♥❣ ♥❤✃t ❧➭ ❝ñ❛ ●r✉s♦♥✲▲❛③❛rs❢❡❧❞✲P❡s❦✐♥❡ ♥ã✐ r➺♥❣ ➤è✐ ✈í✐ ➤➢ê♥❣ ❝♦♥❣
①➵ ➯♥❤ ❦❤➠♥❣ s✉② ❜✐Õ♥
C: reg(C)≤deg(C)−codim(C) + 1
✱ tr♦♥❣ ➤ã
deg(C)
❧➭ ❜❐❝✱ ❝ß♥
codim(C)
❧➭ ➤è✐ ❝❤✐Ò✉✳ ❑❤✐ ❝❤✐Ò✉ ➤❛ t➵♣
V
❧í♥ ❤➡♥
1
t❤× ❣✐➯ t❤✉②Õt ❊✐s❡♥❜✉❞✲●♦t♦ ♥ã✐ r➺♥❣ ❜✃t ➤➻♥❣ t❤ø❝ tr➟♥ ✈➱♥ ❝ß♥ ➤ó♥❣✱ tø❝
❧➭
reg(V)≤deg(V)−codim(V) + 1
✳ ❚✉② ♥❤✐➟♥ ❣✐➯ t❤✐Õt ♥➭② ❝❤➢❛ ➤➢î❝
❝❤ø♥❣ ♠✐♥❤✱ trõ ♣❤✐
V
t❤✉é❝ ♠ét ❧í♣ ➤➷❝ ❜✐Öt ♥➭♦ ➤ã✳ ❈❤➻♥❣ ❤➵♥ ❦❤✐
V
❧➭
➤❛ t➵♣ ❇✉❝❤s❜❛✉♠ ❤♦➷❝ ❝ã
deg(V)≤codim(V) + 2
t❤× ➤✐Ò✉ ➤ã ➤➲ ➤➢î❝
❙t
¨u
❝❦r❛❞ ✈➭ ❱♦❣❡❧ ❝❤ø♥❣ ♠✐♥❤ ✭①❡♠ ❬✶✺❪✮✳ ❱í✐ ❣✐➯ t❤✐Õt ②Õ✉ ❤➡♥ ❦❤✐
V
❧➭
➤❛ t➵♣ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② ré♥❣ t❤× ❝ã ♠ét sè ❜✃t ➤➻♥❣ t❤ø❝ ②Õ✉ ❤➡♥✳ ❈➳❝
♥❣❤✐➟♥ ❝ø✉ ♥➭② ✭❦Ó ❝➯ ❝❤♦ ♠➠➤✉♥✮ ➤➲ ➤➢î❝ ♠ét sè t➳❝ ❣✐➯ t✐Õ♥ ❤➭♥❤ ✭❝❤➻♥❣
❤➵♥ ①❡♠ ❬✶✷❪✱ ❬✶✸❪✮✳
❇➭✐ t♦➳♥ t❤ø ♥❤✃t ➤➢î❝ ①Ðt ➤Õ♥ tr♦♥❣ ❧✉❐♥ ➳♥ ♥➭② ❧➭ ❝❤➷♥ tr➟♥ ❝❤Ø sè
❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞ ❝ñ❛ ♠➠➤✉♥ ❇✉❝❤s❜❛✉♠ ❞➲② ✈➭ ♠➠➤✉♥
k
✲
❇✉❝❤s❜❛✉♠ ❞➲②✳ ❙❛✉ ý t➢ë♥❣ ❝ñ❛ ❙t❛♥❧❡②✱ ◆✳ ❚✳ ❈➢ê♥❣✲▲✳ ❚✳ ◆❤➭♥ ➤➲ ➤➢❛
r❛ ❦❤➳✐ ♥✐Ö♠ ♠➠➤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② ré♥❣ ❞➲② ✭①❡♠ ❬✻❪✮✳ ❑Õt ❤î♣
✈í✐ ❦❤➳✐ ♥✐Ö♠ ♠➠➤✉♥
k
✲❇✉❝❤s❜❛✉♠ tr➢í❝ ➤ã✱ ❝❤ó♥❣ t➠✐ tr➢í❝ ❤Õt ♣❤➞♥ ❧♦➵✐
♠➠➤✉♥ ❈♦❤❡♥✲▼❛❝❛✉❧❛② s✉② ré♥❣ ❞➲② t❤➭♥❤ ❝➳❝ ♠➠➤✉♥
k
✲❇✉❝❤s❜❛✉♠ ❞➲②✳
❈❤ó♥❣ t➠✐ sÏ ❝❤ø♥❣ ♠✐♥❤ r➺♥❣ ➤è✐ ✈í✐ ❧í♣ ❝➳❝ ♠➠➤✉♥ ♥➭② ❝❤ó♥❣ t❛ ❝ò♥❣ ❝ã
❝❤➷♥ tr➟♥ ❝❤♦
reg(M)
t➢➡♥❣ tù ♥❤➢ tr➢ê♥❣ ❤î♣ ♠➠➤✉♥
k
✲❇✉❝❤s❜❛✉♠ ✭①❡♠
➜Þ♥❤ ❧ý ✷✳✸✳✹ ✈➭ ➜Þ♥❤ ❧ý ✷✳✹✳✷✮✳ ❚✉② ♥❤✐➟♥ ❝➬♥ ♣❤➯✐ ♥❤✃♥ ♠➵♥❤ r➺♥❣ ♥❣♦➭✐
✈✐Ö❝ sö ❞ô♥❣ sè
k
✱ t❤× t❤❛② ❝❤♦ ❜❐❝ t❤➠♥❣ t❤➢ê♥❣✱ ❝➳❝ ❝❤➷♥ ♥➭② ➤➢î❝ tÝ♥❤
t❤➠♥❣ q✉❛ ❜❐❝ sè ❤ä❝✱ ♠ét ❦❤➳✐ ♥✐Ö♠ ➤➢î❝ ➤➢❛ r❛ ❜ë✐ ❇❛②❡r ✈➭ ▼✉♠❢♦r❞
❬✸❪✳
❙♦♥❣ s♦♥❣ ✈í✐ ✈✐Ö❝ ❝❤➷♥ tr➟♥ ❝❤Ø sè ❝❤Ý♥❤ q✉② ❈❛st❡❧♥✉♦✈♦✲▼✉♠❢♦r❞
♥❣➢ê✐ t❛ ❝ß♥ ❞ï♥❣ ♥ã ➤Ó ♥❣❤✐➟♥ ❝ø✉ ❝➳❝ ❜✃t ❜✐Õ♥ ❦❤➳❝✳ ❚r♦♥❣ ❜➭✐ ❜➳♦ ❬✾❪✱
❝❤ó♥❣ t➠✐ ❜➽t ➤➬✉ ♥❣❤✐➟♥ ❝ø✉ ♠ét ❤➢í♥❣ ♠í✐ ❧➭ sö ❞ô♥❣ ❝❤Ø sè ❝❤Ý♥❤ q✉②
