SlideShare a Scribd company logo
1 of 9
Download to read offline
ALGEBRAIC GEOMETRY
ZERO SET OF POLYNOMIALS
HANPEN ROBOT
2015/12/14 (MONDAY) IN HANOI
𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛)
𝑎1, … , 𝑎 𝑛 ∈ 𝑘, 𝑤ℎ𝑒𝑟𝑒 𝑘 𝑖𝑠 𝑓𝑖𝑒𝑙𝑑.
CONSIDER THE FOLLOWING
HOMOMORPHISM MAP
𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛)
= 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0
= 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛])
𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛)
= 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0
= 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛])
𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛)
= 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0
= 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛])
∵
𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓 𝑎1, … , 𝑎 𝑛
𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓 𝑎1, … , 𝑎 𝑛
≅ 𝑘, (𝑘 𝑖𝑠 𝒇𝒊𝒆𝒍𝒅)
∴ 𝑓 𝑎1, … , 𝑎 𝑛 = 0 ⇔ 𝑓 ∈ 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛
REWRITE ZERO SET OF POLYNOMIALS!
𝑉 𝑓 = 𝑎1, . . , 𝑎 𝑛 ∈ 𝑘 𝑛 𝑓 𝑎1, . . , 𝑎 𝑛 = 0}
= 𝑀 ∈ 𝑆𝑝𝑚(𝐴) 𝑓 ⊂ 𝑀}
𝑊ℎ𝑒𝑟𝑒 𝑀 = 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 , 𝐴 = 𝑘[𝑥1, … , 𝑥 𝑛]
REWRITE ZERO SET OF POLYNOMIALS!
𝑉 𝑓1, … , 𝑓𝑚 = 𝑀 ∈ 𝑆𝑝𝑚(𝐴) 𝑓1, … , 𝑓𝑚 ⊂ 𝑀}
𝐼𝑛 𝑔𝑒𝑛𝑒𝑟𝑎𝑙,
THANKYOU FOR READING!

More Related Content

More from HanpenRobot

More from HanpenRobot (20)

Campbell hasudorff formula
Campbell hasudorff formulaCampbell hasudorff formula
Campbell hasudorff formula
 
構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明
 
Log complex
Log complexLog complex
Log complex
 
代数幾何memo_2020March30_1337
代数幾何memo_2020March30_1337代数幾何memo_2020March30_1337
代数幾何memo_2020March30_1337
 
金利スワップのメモ
金利スワップのメモ金利スワップのメモ
金利スワップのメモ
 
Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18 Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18
 
集合の上極限,下極限
集合の上極限,下極限集合の上極限,下極限
集合の上極限,下極限
 
確率微分方程式の基礎
確率微分方程式の基礎 確率微分方程式の基礎
確率微分方程式の基礎
 
Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示
 
微分演算子と多項式の剰余環の関係 2016 october 12
微分演算子と多項式の剰余環の関係 2016 october 12微分演算子と多項式の剰余環の関係 2016 october 12
微分演算子と多項式の剰余環の関係 2016 october 12
 
位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30
 
Fourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric groupFourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric group
 
置換族の一様分布
置換族の一様分布置換族の一様分布
置換族の一様分布
 
Duality of laplace transform
Duality of laplace transformDuality of laplace transform
Duality of laplace transform
 
Fourier analysis on symmetric group
Fourier analysis on symmetric groupFourier analysis on symmetric group
Fourier analysis on symmetric group
 
Conjugate cyclic permutation
Conjugate cyclic permutationConjugate cyclic permutation
Conjugate cyclic permutation
 
ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列
 
電子光波Memo
電子光波Memo電子光波Memo
電子光波Memo
 
Minimize quadratic form
Minimize quadratic formMinimize quadratic form
Minimize quadratic form
 
Finite set complex function
Finite set complex functionFinite set complex function
Finite set complex function
 

Algebraic geometry zero set of polynomials

  • 1. ALGEBRAIC GEOMETRY ZERO SET OF POLYNOMIALS HANPEN ROBOT 2015/12/14 (MONDAY) IN HANOI
  • 2. 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛) 𝑎1, … , 𝑎 𝑛 ∈ 𝑘, 𝑤ℎ𝑒𝑟𝑒 𝑘 𝑖𝑠 𝑓𝑖𝑒𝑙𝑑. CONSIDER THE FOLLOWING HOMOMORPHISM MAP
  • 3. 𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛) = 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0 = 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛])
  • 4. 𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛) = 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0 = 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛])
  • 5. 𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓(𝑎1, … , 𝑎 𝑛) = 𝑓 ∈ 𝑘 𝑥1, … , 𝑥 𝑛 | 𝑓 𝑎1, … , 𝑎 𝑛 = 0 = 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 ∈ 𝑆𝑝𝑚(𝑘[𝑥1, … , 𝑥 𝑛]) ∵ 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓 𝑎1, … , 𝑎 𝑛 𝑘𝑒𝑟 𝑓 𝑥1, … , 𝑥 𝑛 ↦ 𝑓 𝑎1, … , 𝑎 𝑛 ≅ 𝑘, (𝑘 𝑖𝑠 𝒇𝒊𝒆𝒍𝒅)
  • 6. ∴ 𝑓 𝑎1, … , 𝑎 𝑛 = 0 ⇔ 𝑓 ∈ 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛
  • 7. REWRITE ZERO SET OF POLYNOMIALS! 𝑉 𝑓 = 𝑎1, . . , 𝑎 𝑛 ∈ 𝑘 𝑛 𝑓 𝑎1, . . , 𝑎 𝑛 = 0} = 𝑀 ∈ 𝑆𝑝𝑚(𝐴) 𝑓 ⊂ 𝑀} 𝑊ℎ𝑒𝑟𝑒 𝑀 = 𝑥1 − 𝑎1, … , 𝑥 𝑛 − 𝑎 𝑛 , 𝐴 = 𝑘[𝑥1, … , 𝑥 𝑛]
  • 8. REWRITE ZERO SET OF POLYNOMIALS! 𝑉 𝑓1, … , 𝑓𝑚 = 𝑀 ∈ 𝑆𝑝𝑚(𝐴) 𝑓1, … , 𝑓𝑚 ⊂ 𝑀} 𝐼𝑛 𝑔𝑒𝑛𝑒𝑟𝑎𝑙,