Hartogs-type theorems in real algebraic geometry. I

DOI10.1515/CRELLE-2022-0037zbMATH Open1497.14116arXiv2203.00506OpenAlexW4288084230WikidataQ113741143 ScholiaQ113741143MaRDI QIDQ2170262FDOQ2170262

Jacek Bochnak, Marcin Bilski, Wojciech Kucharz

Publication date: 30 August 2022

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Differential Topology
• Title not available (Why is that?)
• Lectures on Resolution of Singularities (AM-166)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous rational functions on real and \(p\)-adic varieties
• Regulous functions
• Title not available (Why is that?)
• Introduction to the theory of analytic spaces
• Algebraic geometry and analytic geometry
• Stratified-algebraic vector bundles
• Analytic functions in topological vector-spaces
• Title not available (Why is that?)
• FROM CONTINUOUS RATIONAL TO REGULOUS FUNCTIONS
• Integral closures in real algebraic geometry
• A characterization of analytic functions of several real variables
• Curve-rational functions
• Title not available (Why is that?)
• On continuous rational functions
• Real Algebraic Varieties
• Rational representation of real functions
• Piecewise-regular maps
• Checking real analyticity on surfaces
• Criteria for Algebraicity of Analytic Functions
• Approximation of maps into spheres by piecewise-regular maps of class \(C^k\)
• Approximation by piecewise-regular maps
• Separately Nash and arc‐Nash functions over real closed fields

Cited In (4)

• 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
• Analytic functions and Nash functions along curves

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)