请输入您要查询的字词:

 

单词 ChowsTheorem
释义

Chow’s theorem


For the purposes of this entry, let us define asany complex analytic variety of n, the n dimensionalcomplex projective space.Let σ:n+1{0}n be the natural projection. That is,the map that takes (z1,,zn+1) to [z1::zn+1] in homogeneous coordinatesMathworldPlanetmath.We define algebraicPlanetmathPlanetmath projective variety of n as a set σ(V)where Vn+1 is the common zero setPlanetmathPlanetmath ofa finite family of homogeneous holomorphic polynomialsMathworldPlanetmathPlanetmath. It is not hard to show that σ(V)is a in the above sense. Usually an algebraicprojective variety is just called a projective variety partly because of the following theorem.

Theorem (Chow).

Every complex analytic projective variety is algebraic.

We follow the proof by Cartan, Remmert and Stein. Note that the application of the Remmert-Stein theoremis the key point in this proof.

Proof.

Suppose that we have a complex analytic variety Xn. It is not hard to show thatthat σ-1(X) is a complex analytic subvariety of n+1{0}. Bythe theorem of Remmert-Stein the set V=σ-1(X){0} is a subvarietyMathworldPlanetmath of n+1.Furthermore V is a complex cone, that is if z=(z1,,zn+1)V, then tzV for allt.

Final step is to show that if a complex analytic subvariety Vn+1 is a complex cone,then it is given by the vanishing of finitely many homogeneous polynomialsMathworldPlanetmath.Take a finite set of defining functionsMathworldPlanetmath of V near the origin. I.e. take f1,,fkdefined in some open ball B=B(0,ϵ), such that inBV={zBf1(z)==fk(z)=0}. We can suppose that ϵis small enough that the power series for fj converges in B for all j.Expand fj in a power series near the origin and group togetherhomogeneous terms as fj=m=0fjm, where fjm is a homogeneous polynomial ofdegree m. For t we write

fj(tz)=m=0fjm(tz)=m=0tmfjm(z)

For a fixed zV we know that fj(tz)=0 for all |t|<1, hence we have a power seriesin one variable that is identically zero, and so all coefficients are zero.Thus fjm vanishes on VB and hence on V. It follows thatV is defined by a family of homogeneous polynomials. Since the ring of polynomials is Noetherian we need onlyfinitely many, and we are done.∎

References

  • 1 Hassler Whitney..Addison-Wesley, Philippines, 1972.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:16:00