English

A nonstandard proof of continuity of affine varieties

Algebraic Geometry 2022-12-14 v5 Logic

Abstract

Extending the classical result that the roots of a polynomial with coefficients in C\mathbf{C} are continuous functions of the coefficients of the polynomial, nonstandard analysis is used to prove that if F={fλ:λΛ}\mathcal{F} = \{f_{\lambda} :\lambda \in \Lambda\} is a set of polynomials in C[t1,,tn]\mathbf{C}[t_1,\ldots, t_n] and if G={gλ:λΛ}^*\mathcal{G} = \{g_{\lambda} :\lambda \in \Lambda\} is a set of polynomials in C0[t1,,tn]^*\mathbf{C}_0[t_1,\ldots, t_n] such that gλg_{\lambda} is an infinitesimal deformation of fλf_{\lambda} for all λΛ\lambda \in \Lambda, then the nonstandard affine variety V0(G)^*V_0(\mathcal{G}) is an infinitesimal deformation of the affine variety V(F)V(\mathcal{F}).

Keywords

Cite

@article{arxiv.2207.06334,
  title  = {A nonstandard proof of continuity of affine varieties},
  author = {Melvyn B. Nathanson},
  journal= {arXiv preprint arXiv:2207.06334},
  year   = {2022}
}

Comments

8 pages; minor corrections