鲍拉·博纳西尼;阿莱西奥·德尔·帕德罗内;米歇尔·内西 关于形式函数的Faltings定理。 （英语） Zbl 1150.14012号 Matematiche公司 62，第1期，95-104（2007）. 的结果G.福尔廷斯[名古屋数学杂志77，99–106（1980；Zbl 04011.4001号)]具有以下全局几何后果：设（k）是代数闭域。设\（Y\）是在\（k\）上定义的射影不可约簇\（X\）的闭子簇。假设\（X\子集\mathbb P^n\）、\（\dim（X）=d>2）和\。然后，沿着（Y）在\（X）上的每一个形式有理函数都可以（唯一地）扩展到\（X\）上的有理函数。作者对这个有用的结果给出了两个新的证明。他们给出了这样一个事实作为他们的动机，即“Fallings”最初的证据并不容易理解，而且他所证明的内容也不立即意味着“”这个结果。事实上，作者证明了在所述定理的假设下，（Y）是（X）中的G3。G3属性意味着规范映射\（K（X）\右箭头K（X_{|Y}）\是同构，其中\（X_}|Y}\）是\（X）沿\（Y）的形式完成。这两个证明都依赖于Hironaka和Matsumura的工作，后者又利用了Grothendieck的存在定理。在此过程中，作者给出了几个有用的示例和备注。审核人：胡安·米利奥雷（圣母院） 引用于三文件 MSC公司： 14号05 代数几何中的投影技术 14B20型 代数几何中的形式邻域 第14页第10页 代数几何中的无穷小方法 引文：Zbl 04011.4001号 PDF格式BibTeX公司 XML格式引用 \textit｛P.Bonacini｝等人，Matematiche 62，编号1，95-104（2007年；Zbl 1150.14012） 全文： arXiv公司