Hartogs-type theorems in real algebraic geometry. I

DOI10.1515/CRELLE-2022-0037MaRDI QIDQ2170262zbMATH OpenOpenAlexWikidataFDO

Authors Marcin Bilski, Jacek Bochnak, Wojciech Kucharz

Publication date 30 August 2022

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2203.00506

Mathematics Subject Classification ID

Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10) Real rational functions (26C15) Real-analytic manifolds, real-analytic spaces (32C05)

Abstract: Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular function whenever the restriction f|C is a regular function for every algebraic curve C in X that is a C^k submanifold homeomorphic to the unit circle and is either nonsingular or has precisely one singularity. Moreover, in the latter case, the singularity of C is equivalent to the plane curve singularity defined by the equation x^p=y^q for some primes p<q. If dimX>2, then f is a regular function whenever the restriction f|S is a regular function for every nonsingular algebraic surface S in X that is homeomorphic to the unit 2-sphere. We also have suitable versions of these results for X not necessarily connected.

Recommendations

• Global variants of Hartogs' theorem
• Algebraic surfaces determine analyticity of functions
• New trends in real algebraic geometry
• Checking real analyticity on surfaces
• More about signatures and approximation

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1076216 (Why is no real title available?)
• scientific article; zbMATH DE number 3273748 (Why is no real title available?)
• scientific article; zbMATH DE number 3283056 (Why is no real title available?)
• scientific article; zbMATH DE number 3415111 (Why is no real title available?)
• scientific article; zbMATH DE number 3061753 (Why is no real title available?)
• A characterization of analytic functions of several real variables
• Algebraic geometry and analytic geometry
• Analytic functions in topological vector-spaces
• Approximation by piecewise-regular maps
• Approximation of maps into spheres by piecewise-regular maps of class \(C^k\)
• Checking real analyticity on surfaces
• Continuous rational functions on real and \(p\)-adic varieties
• Criteria for Algebraicity of Analytic Functions
• Curve-rational functions
• Differential Topology
• From continuous rational to regulous functions
• Integral closures in real algebraic geometry
• Introduction to the theory of analytic spaces
• Lectures on Resolution of Singularities (AM-166)
• On continuous rational functions
• Piecewise-regular maps
• Rational representation of real functions
• Real Algebraic Varieties
• Regulous functions
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Separately Nash and arc-Nash functions over real closed fields

Cited in

(9)

• On the regularity of a semialgebraic function
• THE EXPONENTIAL SEQUENCE IN REAL ALGEBRAIC GEOMETRY AND HARNACK'S INEQUALITY FOR PROPER REDUCED REAL SCHEMES
• Hartogs-type theorems in real algebraic geometry. II.
• Algebraic versions of Hartogs' theorem
• Algebraic surfaces determine analyticity of functions
• New trends in real algebraic geometry
• Global variants of Hartogs' theorem
• Analytic functions and Nash functions along curves
• Rational representation of real functions

This page was built for publication: Hartogs-type theorems in real algebraic geometry. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2170262)