Algebraic surfaces determine analyticity of functions

Let $$f :X \rightarrow \mathbb {R}$$ f : X → R be a function defined on a nonsingular real algebraic set X of dimension at least 3. We prove that f is an analytic (resp. a Nash) function whenever the restriction $$f|_{S}$$ f | S is an analytic (resp. a Nash) function for every nonsingular algebraic surface $$S \subset X$$ S ⊂ X whose each connected component is homeomorphic to the unit 2-sphere. Furthermore, the surfaces S can be replaced by compact nonsingular algebraic curves in X, provided that dim$$X \ge 2$$ X ≥ 2 and f is of class $$\mathcal {C}^{\infty }$$ C ∞ .

On the Reconstruction of the Center of a Projection by Distances and Incidence Relations

Up to an orientation-preserving symmetry, photographic images are produced by a central projection of a restricted area in the space into the image plane. To obtain reliable information about physical objects and the environment through the process of recording is the basic problem of photogrammetry. We present a reconstruction process based on distances from the center of projection and incidence relations among the points to be projected. For any triplet of collinear points in the space, we construct a surface of revolution containing the center of the projection. It is a generalized conic that can be represented as an algebraic surface. The rotational symmetry allows us to restrict the investigations to the defining polynomial of the profile curve in the image plane. An equivalent condition for the boundedness is given in terms of the input parameters, and it is shown that the defining polynomial of the profile curve is irreducible.

Topological characterization of C2 via open algebraic surface theory

We will give a new proof of Ramanujam’s topological characterization of the affine [Formula: see text]-space [Formula: see text] using the Abhyankar–Moh–Suzuki theorem on embeddings of the affine line in [Formula: see text] and some ideas from the theory of open algebraic surfaces.

Complete algebraic vector fields on affine surfaces

Let [Formula: see text] be the subgroup of the group [Formula: see text] of holomorphic automorphisms of a normal affine algebraic surface [Formula: see text] generated by elements of flows associated with complete algebraic vector fields. Our main result is a classification of all normal affine algebraic surfaces [Formula: see text] quasi-homogeneous under [Formula: see text] in terms of the dual graphs of the boundaries [Formula: see text] of their SNC-completions [Formula: see text].

Towards the weighted Bounded Negativity Conjecture for blow-ups of algebraic surfaces

In the present paper we focus on a weighted version of the Bounded Negativity Conjecture, which predicts that for every smooth projective surface in characteristic zero the self-intersection numbers of reduced and irreducible curves are bounded from below by a function depending on the intesection of curve with an arbitrary big and nef line bundle that is positive on the curve. We gather evidence for this conjecture by showing various bounds on the self-intersection number of curves in an algebraic surface. We focus our attention on blow-ups of algebraic surfaces, which have so far been neglected.

On the Orbits of One Non-Solvable 5-Dimensional Lie Algebra

This paper studies holomorphic homogeneous real hypersurfaces in C3 associated with the unique non-solvable indecomposable 5-dimensional Lie algebra 𝑔5 (in accordance with Mubarakzyanov’s notation). Unlike many other 5-dimensional Lie algebras with “highly symmetric” orbits, non-degenerate orbits of 𝑔5 are “simply homogeneous”, i.e. their symmetry algebras are exactly 5-dimensional. All those orbits are equivalent (up to holomorphic equivalence) to the specific indefinite algebraic surface of the fourth order. The proofs of those statements involve the method of holomorphic realizations of abstract Lie algebras. We use the approach proposed by Beloshapka and Kossovskiy, which is based on the simultaneous simplification of several basis vector fields. Three auxiliary lemmas formulated in the text let us straighten two basis vector fields of 𝑔5 and significantly simplify the third field. There is a very important assumption which is used in our considerations: we suppose that all orbits of 𝑔5 are Levi non-degenerate. Using the method of holomorphic realizations, it is easy to show that one need only consider two sets of holomorphic vector fields associated with 𝑔5. We prove that only one of these sets leads to Levi non-degenerate orbits. Considering the commutation relations of 𝑔5, we obtain a simplified basis of vector fields and a corresponding integrable system of partial differential equations. Finally, we get the equation of the orbit (unique up to holomorphic transformations) (𝑣 − 𝑥2𝑦1)2 + 𝑦2 1𝑦2 2 = 𝑦1, which is the equation of the algebraic surface of the fourth order with the indefinite Levi form. Then we analyze the obtained equation using the method of Moser normal forms. Considering the holomorphic invariant polynomial of the fourth order corresponding to our equation, we can prove (using a number of results obtained by A.V. Loboda) that the upper bound of the dimension of maximal symmetry algebra associated with the obtained orbit is equal to 6. The holomorphic invariant polynomial mentioned above differs from the known invariant polynomials of Cartan’s and Winkelmann’s types corresponding to other hypersurfaces with 6- dimensional symmetry algebras.