Algebraic versions of Hartogs' theorem
The paper finds families \(\mathcal A\) of test curves such that a given function \(f:\mathbb K^n \to \mathbb K\) is regular if and only if the restriction \(f|_C\) of \(f\) to every curve \(C\) in \(\mathcal A\) are regular, where \(\mathbb K\) is a field and \(n \geq 2\). The first main theorem says that we can choose the family of nonsingular curves as \(\mathcal A\) if and only if \(\mathbb K\) is uncountable and algebraically closed. Its proof is constructive and non-regular functions whose restriction to nonsingular algebraic curves are regular are constructed when \(\mathbb K\) does not satisfy the condition. The first main theorem implies that \(\mathcal A\) must contains a singular algebraic curve when \(\mathbb K\) does not satisfy the above condition. The paper considers the case where \(\mathbb K\) is uncountable and of characteristic zero. The second main theorem says that, in such a case, we can choose the set of affine lines parallel to coordinate axes and translates of curves in an `admissible' family as \(\mathcal A\) when \(n=2\). When \(n>2\), the family of the images of such curves under affine isomorphisms of \(\mathbb K^2\) onto \(2\)-planes in \(\mathbb K^n\) is sufficient. An admissible family is defined as a collection \(\mathcal E\) of algebraic curves in \(\mathbb K^2\) passing the origin such that, for every integer \(l\), the multiplicity of the defining polynomial of some curve in \(\mathcal E\) at the origin is larger than \(l\). Two examples of admissible families are given, and one is the family of curves defined by the equation \(X^p-Y^q=0\), where \(p<q\) are prime numbers.
- Analytic functions and Nash functions along curves
- Basic algebraic geometry 1. Varieties in projective space. Translated from the Russian by Miles Reid
- Continuous rational functions on real and \(p\)-adic varieties
- Curve-rational functions
- Finiteness theorems for abelian varieties over number fields.
- From continuous rational to regulous functions
- Geometrie algebrique sur un corps non algebriquement clos
- Hartogs-type theorems in real algebraic geometry. I
- scientific article; zbMATH DE number 3650694 (Why is no real title available?)
- scientific article; zbMATH DE number 3897078 (Why is no real title available?)
- On some regularity condition
- Real algebraic geometry. Transl. from the French.
- Real Algebraic Varieties
- Regulous functions
- Regulous Functions over Real Closed Fields
- Some Analogues of Hartogs' Theorem in an Algebraic Setting
- Some results of algebraic geometry over Henselian rank one valued fields
This page was built for publication: Algebraic versions of Hartogs' theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6608791)
