arXiv subjects

Wojciech Kucharz

Publications and source records attributed to Wojciech Kucharz.

At least 19 recordsLinked to original sources

arXiv2025

Approximation of maps from algebraic polyhedra to real algebraic varieties

Given a finite simplicial complex $\mathcal{K}$ in $\mathbb{R}^n$ and a real algebraic variety $Y,$ by a $\mathcal{K}$-regular map $|\mathcal{K}|\rightarrow Y$ we mean a continuous map whose restriction to every simplex in $\mathcal{K}$ is a regular map. A simplified version of our main result says that if $Y$ is a uniformly retract rational variety and if $k, l$ are integers satisfying $0\leq l\leq k,$ then every $\mathcal{C}^l$ map $|\mathcal{K}|\rightarrow Y$ can be approximated in the $\mathcal{C}^l$ topology by $\mathcal{K}$-regular maps of class $\mathcal{C}^k.$ By definition, $Y$ is uniformly retract rational if for every point $y\in Y$ there is a Zariski open neighborhood $V\subset Y$ of $y$ such that the identity map of $V$ is the composite of regular maps $V\rightarrow W\rightarrow V,$ where $W\subset\mathbb{R}^p$ is a Zariski open set for some $p$ depending on $y.$

math.AG↗

arXiv2024

Spaces of maps between real algebraic varieties

Given two real algebraic varieties X and Y, we denote by R(X,Y) the set of all regular maps from X to Y. The set R(X,Y) is regarded as a topological subspace of the space C(X,Y) of all continuous maps from X to Y endowed with the compact-open topology. We prove, in a much more general setting than previously considered, that each path component of C(X,Y) contains at most one path component of R(X,Y), and for every positive integer k the inclusion map R(X,Y)-->C(X,Y) induces an isomorphism between the kth homotopy groups of the corresponding path components. We also identify several cases where this inclusion map is a weak homotopy equivalence.

math.AG↗

arXiv2024

Approximation of maps between real algebraic varieties

A nonsingular real algebraic variety Y is said to have the approximation property if for every real algebraic variety X the following holds: if f:X-->Y is a C^inf map that is homotopic to a regular map, then f can be approximated in the C^inf topology by regular maps. In this paper, we characterize the varieties Y with the approximation property. We also characterize the varieties Y with the approximation property combined with a suitable interpolation condition. Some of our results have variants concerning the regular approximation of continuous maps defined on (possibly singular) real algebraic varieties.

math.AG↗

arXiv2023

Dominating real algebraic morphisms

Let X and Y be nonsingular real algebraic varieties, dimX>dimY-1. Assume that the variety Y is malleable, compact and connected. Our main result implies that each regular map from X to Y is homotopic to a surjective regular map. The class of malleable varieties includes all homogeneous spaces for linear real algebraic groups.

math.AG↗

arXiv2023

Approximation and homotopy in regulous geometry

Let X, Y be nonsingular real algebraic sets. A map fi:X-->Y is said to be k-regulous, where k is a nonnegative integer, if it is of class C^k and the restriction of fi to some Zariski open dense subset of X is a regular map. Assuming that Y is uniformly rational, and k>0, we prove that a C^inf map f:X-->Y can be approximated by k-regulous maps in the C^k topology if and only if f is homotopic to a k-regulous map. The class of uniformly rational real algebraic varieties includes spheres, Grassmannians and real rational surfaces, and is stable under blowing up nonsingular centers. Furthermore, Taking Y=S^p (the unit p-dimensional sphere), we obtain several new results on approximation of C^inf maps from X into S^p by k-regulous maps in the C^k topology, for k nonnegative.

math.AG↗

arXiv2022

Hartogs-type theorems in real algebraic geometry, I

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 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.

math.AG↗

arXiv2020

On approximation of maps into real algebraic homogeneous spaces

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps in the C^o (resp. C^infinity) topology if and only if it is homotopic to a regular map. Taking Y=S^p, the unit p-dimensional sphere, we obtain solutions of several problems that have been open since the 1980's and which concern approximation of maps with values in the unit spheres. This has several consequences for approximation of maps between unit spheres. For example, we prove that for every positive integer n every C^infinity map from S^n into S^n can be approximated by regular maps in the C^infinity topology. Up to now such a result has only been known for five special values of n, namely, n=1,2,3,4 or 7.

math.AG↗

arXiv2020

Rational approximation of holomorphic maps

Let X be a complex nonsingular affine algebraic variety, K a holomorphically convex subset of X, and Y a homogeneous variety for some complex linear algebraic group. We prove that a holomorphic map f:K-->Y can be uniformly approximated on K by regular maps K-->Y if and only if f is homotopic to a regular map K-->Y. However, it can happen that a null homotopic holomorphic map K-->Y does not admit uniform approximation on K by regular maps X-->Y. Here, a map g:K-->Y is called holomorphic (resp. regular) if there exist an open (resp. a Zariski open) neighborhood U of K in X and a holomorphic (resp. regular) map h:U-->Y such that h|K=g.

math.CV↗

arXiv2019

Approximation by piecewise-regular maps

A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove that every map of class C^l from a compact subset of a real algebraic variety into a uniformly rational real algebraic variety can be approximated in the C^l topology by piecewise-regular maps of class C^k, where k is an arbitrary integer greater than or equal to l. Next we derive consequences regarding algebraization of topological vector bundles.

math.AG↗

arXiv2018

Checking real analyticity on surfaces

We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for the classical theorem of Hartogs that a function on a complex manifold is complex analytic iff it is complex analytic when restricted to any complex curve.

math.CA↗

arXiv2017

Nash regulous functions

A real-valued function on R^n is k-regulous, where k is a nonnegative integer, if it is of class C^k and can be represented as a quotient of two polynomial functions on R^n. Several interesting results involving such functions have been obtained recently. Some of them (Nullstellensatz, Cartan's theorems A and B, etc.) can be carried over to a new setting of Nash regulous functions, introduced in this paper. Here a function on a Nash manifold X is called Nash k-regulous if it is of class C^k and can be represented as a quotient of two Nash functions on X.

math.AG↗

arXiv2017

Piecewise-regular maps

Let V, W be real algebraic varieties (that is, up to isomorphism, real algebraic sets), and let X be a subset of V. A map f from X into W is said to be regular if it can be extended to a regular map defined on some Zariski locally closed subvariety of V that contains X. Furthermore, such a map is said to be piecewise-regular if there exists a stratification of V such that the restriction of f to the intersection of X with each stratum is a regular map. By a stratification of V we mean a finite collection of pairwise disjoint Zariski locally closed subvarieties whose union is equal to V. Assuming that the subset X is compact, we prove that every continuous map from X into a Grassmann variety or a unit sphere can be approximated by piecewise-regular maps. As an application, we obtain a variant of the algebraization theorem for topological vector bundles. If the variety V is compact and nonsingular, we prove that each continuous map from V into a unit sphere is homotopic to a piecewise-regular map of class C^k, where k is an arbitrary nonnegative integer.

math.AG↗

arXiv2017

Regulous vector bundles

Among recently introduced new notions in real algebraic geometry is that of regulous functions. Such functions form a foundation for the development of regulous geometry. Several interesting results on regulous varieties and regulous sheaves are already available. In this paper, we define and investigate regulous vector bundles. We establish algebraic and geometric properties of such vector bundles, and identify them with stratified-algebraic vector bundles. Furthermore, using new results on curve-rational functions, we characterize regulous vector bundles among families of vector spaces parametrized by an affine regulous variety. We also study relationships between regulous and topological vector bundles.

math.AG↗

arXiv2017

Curve-rational functions

Let $W$ be a subset of the set of real points of a real algebraic variety $X$. We investigate which functions $f: W \to \mathbb R$ are the restrictions of rational functions on $X$. We introduce two new notions: ${\it curve-rational \, functions}$ (i.e., continuous rational on algebraic curves) and ${\it arc-rational\, functions}$ (i.e., continuous rational on arcs of algebraic curves). We prove that under mild assumptions the following classes of functions coincide: continuous hereditarily rational (introduced recently by the first named author), curve-rational and arc-rational. In particular, if $W$ is semialgebraic and $f$ is arc-rational, then $f$ is continuous and semialgebraic. We also show that an arc-rational function defined on an open set is arc-analytic (i.e., analytic on analytic arcs). Furthermore, we study rational functions on products of varieties. As an application we obtain a characterization of regular functions. Finally, we get analogous results in the framework of complex algebraic varieties.

math.AG↗

arXiv2016

Linear equations on real algebraic surfaces

We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher dimensions.

math.AG↗

arXiv2016

Continuous rational maps into spheres

Let X be a compact nonsingular real algebraic variety. We prove that if a continuous map from X into the unit p-sphere is homotopic to a continuous rational map, then, under certain assumptions, it can be approximated in the compact-open topology by continuous rational maps. As a byproduct, we also obtain some results on approximation of smooth submanifolds by nonsingular subvarieties.

math.AG↗

arXiv2015

Some conjectures on continuous rational maps into spheres

Recently continuous rational maps between real algebraic varieties have attracted the attention of several researchers. In this paper we continue the investigation of approximation properties of continuous rational maps with values in spheres. We propose a conjecture concerning such maps and show that it follows from certain classical conjectures involving transformation of compact smooth submanifolds of nonsingular real algebraic varieties onto subvarieties. Furthermore, we prove our conjecture in a special case and obtain several related results.

math.AG↗

arXiv2015

Comparison of stratified-algebraic and topological K-theory

Stratified-algebraic vector bundles on real algebraic varieties have many desirable features of algebraic vector bundles but are more flexible. We give a characterization of the compact real algebraic varieties having the following property: There exists a positive integer r such that for any topological vector bundle E on X, the direct sum of r copies of E is isomorphic to a stratified-algebraic vector bundle. In particular, each compact real algebraic variety of dimension at most 8 has this property. Our results are expressed in terms of K-theory.

math.AG↗