Piecewise-regular maps

TL;DR

This paper introduces the concept of piecewise-regular maps between real algebraic varieties, demonstrating that continuous maps can be approximated or homotoped by such maps under certain conditions, with applications to vector bundle algebraization.

Contribution

It establishes the approximation of continuous maps by piecewise-regular maps on algebraic varieties, extending the algebraization of topological vector bundles.

Findings

Continuous maps into Grassmannians or spheres can be approximated by piecewise-regular maps.

Every continuous map into a sphere on a compact nonsingular variety is homotopic to a C^k piecewise-regular map.

Application to algebraization theorem for topological vector bundles.

Abstract

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.

Equations

$$\mathbb{G}({\mathbb{F}}^n)=\coprod _{r=0}^n{\mathbb{G}}_r({\mathbb{F}}^n)$$

$${\mathbb{S}}^n=\{(u_0,\dots ,u_n)\in {\mathbb{R}}^{n+1}:u_0^2+\cdots +u_n^2=1\}.$$

$${\mathbb{T}}^m\subseteq {\mathbb{R}}^{2m}={\mathbb{R}}^{2m}\times \{0\}\subseteq {\mathbb{R}}^{2m+1}.$$

$$G:=\{u\in H^{d(\mathbb{F})}({\mathbb{T}}^m;\mathbb{Z}/2):⟨u,\alpha ⟩=0\},$$

$$g^{\ast }(s_{d(\mathbb{F})})\notin G.$$

$$H_{\mathrm{alg}}^{d(\mathbb{F})}(V;\mathbb{Z}/2)\subseteq {\sigma }^{\ast }(G).$$

$$h:=g\circ \sigma :V\to {\mathbb{G}}_1({\mathbb{F}}^2)={\mathbb{S}}^{d(\mathbb{F})}$$

$$h^{\ast }(s_{d(\mathbb{F})})\notin H_{\mathrm{alg}}^{d(\mathbb{F})}(V;\mathbb{Z}/2).$$

$$F_r:=\{(x,y,z)\in {\mathbb{P}}^2(\mathbb{R}):x^r+y^r=z^r\}.$$

$$Z(f):=\{x\in \Omega :f(x)=0\}.$$

$$f=(f_1,\dots ,f_p):X\to W\subseteq {\mathbb{R}}^p$$

$$\Rightarrow$$

$$X\subseteq U:=U_{x_1}\cup \dots \cup U_{x_r}.$$

$$P=\sum _{i=1}^r{S}_i^2{Q}_i{P}_i,Q=\sum _{i=1}^r{S}_i^2{Q}_i^2.$$

$$V=V_0\supseteq V_1\supseteq \cdots \supseteq V_{m+1}=\varnothing .$$

$$\mathcal{P}:=\{S\cap T:S\in \mathcal{S}\text{and}T\in {\mathcal{T}}_S\}$$

$$(X\cap Z)\cap Y^0=X\cap Z^0.$$

$$(X\setminus X^{\ast })\cup \text{func}Sing(Y)\subseteq S$$

$$I_V(W)=\{f\in \mathcal{R}(V):f{|}_W=0\}$$

$$I_V(W_1\cap W_2)=I_V(W_1)+I_V(W_2)\text{in}\mathcal{R}(V).$$

$$I_U(D_1\cap D^{\prime }\cap U)=I_U(D_1\cap U)+I_U(D^{\prime }\cap U)\text{in}\mathcal{R}(U).$$

$$\left|f(x)-g(x)\right|<\epsilon \text{for all}x\in \Delta$$

$$\left|\phi (x)-\psi (x)\right|<\frac{\epsilon }{2}\text{for all}x\in H$$

$$\left|\phi (x)-\lambda (x)\right|<\frac{\epsilon }{4}\text{for all}x\in H.$$

$$\psi ={\psi }_1{q}_1+\cdots +{\psi }_r{q}_r,$$

$$M:=\sup \{\left|q_k(x)\right|:x\in \Delta ,k=1,\dots ,r\}.$$

$$\left|{\psi }_k(x)-p_k(x)\right|<\frac{\epsilon }{2rM}\text{for all}x\in \Delta .$$

$$\left|\phi (x)-p(x)\right|\le \left|\phi (x)-\psi (x)\right|+\left|\psi (x)-p(x)\right|<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon \text{for all}x\in \Delta$$

$$⟨-,-⟩:{\mathbb{F}}^n\times {\mathbb{F}}^n\to \mathbb{F}$$

$$⟨(x_1,\dots ,x_n),(y_1,\dots ,y_n)⟩=\sum _{i=1}^n{x}_i\overline{y_i},$$

Full text

{@bstr@ctlist}\abstractnamefont

Key words@bslabeldelim\abstracttextfont Real algebraic variety, regular map, piecewise-regular map, approximation, vector bundle, simplicial complex.

{@bstr@ctlist}\abstractnamefont

Mathematics subject classification (2010)@bslabeldelim\abstracttextfont 14P05, 14P99, 57R22.

1 Introduction

In this paper, by a real algebraic variety we mean a locally ringed space isomorphic to an algebraic subset of $\mathbb{R}^{m}$, for some $m$, endowed with the Zariski topology and the sheaf of real-valued regular functions (such an object is called an affine real algebraic variety in [7]). The class of real algebraic varieties is identical with the class of quasi-projective real algebraic varieties, cf. [7, Proposition 3.2.10, Theorem 3.4.4]. Morphisms of real algebraic varieties are called regular maps. Each real algebraic variety carries also the Euclidean topology, induced by the standard metric on $\mathbb{R}$. Unless explicitly stated otherwise, we always refer to the Euclidean topology.

Topological properties of regular maps and their applications to algebraization of topological vector bundles were investigated in numerous papers [3–15,17–26,28,32–36,38–41,45–47,49,51,54,62,66,69,70,74–78,80,81]. In general, regular maps are too rigid to reflect adequately topological phenomena. It is therefore desirable to introduce maps which have many good features of regular maps but are more flexible.

We first generalize the definition of regular map.

Definition 1.1**.**

Let $V$, $W$ be real algebraic varieties, $X\subseteq V$ some subset, and $Z$ the Zariski closure of $X$ in $V$.

A map $f\colon X\to W$ is said to be regular if there exist a Zariski open neighborhood $Z_{0}\subseteq Z$ of $X$ and a regular map $\tilde{f}\colon Z_{0}\to W$ such that $\tilde{f}|_{X}=f$.

The next step requires the concept of stratification. By a stratification of a real algebraic variety $V$ we mean a finite collection of pairwise disjoint Zariski locally closed subvarieties (some possibly empty) whose union is equal to $V$.

Definition 1.2**.**

Let $V$, $W$ be real algebraic varieties, $f\colon X\to W$ a continuous map defined on some subset $X\subseteq V$, and $\mathcal{S}$ a stratification of $V$.

The map $f$ is said to be $\mathcal{S}$-regular if for every stratum $S\in\mathcal{S}$ the restriction of $f$ to $X\cap S$ is a regular map. Also, $f$ is said to be piecewise $\mathcal{S}$-regular if for every stratum $S\in\mathcal{S}$ the restriction of $f$ to each connected component of $X\cap S$ is a regular map.

Moreover, $f$ is said to be stratified-regular (resp. piecewise-regular) if it is $\mathcal{T}$-regular (resp. piecewise $\mathcal{T}$-regular) for some stratification $\mathcal{T}$ of $V$.

Essentially, these notions do not depend on the ambient variety $V$. More precisely, suppose that $V$ is a Zariski locally closed subvariety of a real algebraic variety $V^{\prime}$. The map ${f\colon X\to W}$ is $\mathcal{S}$-regular (resp. piecewise $\mathcal{S}$-regular) if and only if it is $\mathcal{S}^{\prime}$-regular (resp. piecewise $\mathcal{S}^{\prime}$-regular), where $\mathcal{S}^{\prime}$ is the stratification of $V^{\prime}$ defined by ${\mathcal{S}^{\prime}=\mathcal{S}\cup\{\overline{V}\setminus V\}\cup\{V^{\prime}\setminus\overline{V}\}}$ with $\overline{V}$ the Zariski closure of $V$ in $V^{\prime}$. Conversely, given a stratification $\mathcal{P}$ of $V^{\prime}$, the map $f$ is $\mathcal{P}$-regular (resp. piecewise $\mathcal{P}$-regular) if and only if it is $\mathcal{P}(V)$-regular (resp. piecewise $\mathcal{P}(V)$-regular), where $\mathcal{P}(V)$ is the stratification of $V$ defined by $\mathcal{P}(V)=\{V\cap P\colon P\in\mathcal{P}\}$. Thus, in the definition of stratified-regular (resp. piecewise-regular) it does not matter whether $X$ is regarded as a subset of $V$ or as a subset of $V^{\prime}$.

Evidently, each stratified-regular map is piecewise-regular, whereas the converse is not always true. General properties of these two classes of maps and relationships between them are discussed in Section 2. Stratified-regular maps and functions are thoroughly investigated, in a more restrictive framework, in [5, 29, 30, 42, 43, 48, 50, 52, 53, 56, 58, 59, 60, 64, 72, 73, 82], where they sometimes appear under different names (cf. Remark 2.5). If $X$ is a semialgebraic set, then each piecewise-regular map defined on $X$ is semialgebraic. Theorem 2.9 provides a nontrivial characterization of piecewise-regular maps among semialgebraic ones.

In this section we concentrate on topological properties of piecewise-regular maps. With notation as in Definition 1.2, we let $\mathcal{C}(X,W)$ denote the space of all continuous maps from $X$ into $W$, endowed with the compact-open topology. We say that the map $f$ can be approximated by piecewise $\mathcal{S}$-regular maps if every neighborhood of $f$ in $\mathcal{C}(X,W)$ contains a piecewise $\mathcal{S}$-regular map. Approximation of $f$ by maps of other types (regular, $\mathcal{S}$-regular, stratified-regular, piecewise-regular, etc.) is defined in the analogous way.

We pay special attention to maps with values in Grassmannians. We let $\mathbb{F}$ stand for $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$ (the quaternions). When convenient, $\mathbb{F}$ will be identified with $\mathbb{R}^{d(\mathbb{F})}$, where $d(\mathbb{F})=\dim_{\mathbb{R}}\mathbb{F}$. We will consider only left $\mathbb{F}$-vector spaces, which plays a role if $\mathbb{F}=\mathbb{H}$ since the quaternions are noncommutative. For any integers $r$ and $n$, with $0\leq r\leq n$, we denote by $\mathbb{G}_{r}(\mathbb{F}^{n})$ the Grassmann space of $r$-dimensional $\mathbb{F}$-vector subspaces of $\mathbb{F}^{n}$. As in [7, Sections 3.4 and 13.3], $\mathbb{G}_{r}(\mathbb{F}^{n})$ will be regarded as a real algebraic variety. The disjoint union

[TABLE]

is also a real algebraic variety.

Theorem 1.3**.**

Let $V$ be a real algebraic variety and let $X\subseteq V$ be a compact subset. Then, for each positive integer $n$, every continuous map from $X$ into $\mathbb{G}(\mathbb{F}^{n})$ can be approximated by piecewise-regular maps.

Under an additional assumption on $X$, we also have a stronger result.

Theorem 1.4**.**

Let $V$ be a real algebraic variety and let $X\subseteq V$ be a compact locally contractible subset. Then there exists a stratification $\mathcal{S}$ of $V$ such that, for each positive integer $n$, every continuous map from $X$ into $\mathbb{G}(\mathbb{F}^{n})$ can be approximated by piecewise $\mathcal{S}$-regular maps.

Virtually all topological spaces one encounters in real algebraic geometry are locally contractible; for example, any semialgebraic set is locally contractible, cf. [7, Theorem 9.3.6].

The proofs of Theorems 1.3 and 1.4, given in Section 4, are based on some fairly explicit constructions.

It is well-known that maps with values in $\mathbb{G}(\mathbb{F}^{n})$ encode information on algebraic and topological $\mathbb{F}$-vector bundles, cf. [7, 37]. This is also the case for stratified-algebraic $\mathbb{F}$-vector bundles introduced in [59] and further investigated in [55, 57, 61, 64]. Theorems 1.3 and 1.4 have a bearing on $\mathbb{F}$-vector bundles as well, which is elaborated upon in Section 5. The main results of Section 5 are Theorems 5.10 and 5.11.

We also have an approximation theorem for maps with values in the unit $n$-sphere

[TABLE]

Theorem 1.5**.**

Let $V$ be a real algebraic variety and let $X\subseteq V$ be a compact subset. Then, for each positive integer $n$, every continuous map from $X$ into $\mathbb{S}^{n}$ can be approximated by piecewise-regular maps.

Theorem 1.5, which is proved in Section 6, implies that each continuous map from $X$ into $\mathbb{S}^{n}$ is homotopic to a piecewise-regular map. However, the following homotopy result requires a different proof.

Theorem 1.6**.**

Let $V$ be a compact nonsingular real algebraic variety, $n$ a positive integer, and ${f\colon V\to\mathbb{S}^{n}}$ a continuous map. Then there exists a stratification $\mathcal{S}$ of $V$ such that, for each nonnegative integer $k$, the map $f$ is homotopic to a piecewise $\mathcal{S}$-regular map ${g\colon V\to\mathbb{S}^{n}}$ of class $\mathcal{C}^{k}$.

We prove Theorem 1.6 in Section 7. It turns out that a suitable stratification $\mathcal{S}$ of $V$ is quite simple and consists of at most 3 strata.

Theorems 1.3, 1.5 and 1.6 are optimal in the sense explained in the following example.

Example 1.7**.**

Let $W$ be a compact nonsingular real algebraic variety. A cohomology class in $H^{q}(W;\mathbb{Z}/2)$ is said to be algebraic if the homology class Poincaré dual to it can be represented by a Zariski closed subvariety of $W$ of codimension $q$, cf. [4, 7]. The set $H_{\mathrm{alg}}^{q}(W;\mathbb{Z}/2)$ of all algebraic cohomology classes in $H^{q}(W;\mathbb{Z}/2)$ forms a subgroup. Obviously, the unique generator $s_{q}$ of $H^{q}(\mathbb{S}^{q};\mathbb{Z}/2)\cong\mathbb{Z}/2$ is an algebraic cohomology class.

The real algebraic varieties $\mathbb{G}_{1}(\mathbb{F}^{2})$ and $\mathbb{S}^{d(\mathbb{F})}$ are canonically biregularly isomorphic and will be identified. For any positive integer $m$, let $\mathbb{T}^{m}=\mathbb{S}^{1}\times\cdots\times\mathbb{S}^{1}$ be the $m$-fold product of $\mathbb{S}^{1}$. Clearly,

[TABLE]

We will regard $\mathbb{T}^{m}$ as a subset of $\mathbb{R}^{2m+1}$.

Fix an integer $m\geq d(\mathbb{F})+1$, and let $y_{0}$ be a point in $\mathbb{T}^{m-d(\mathbb{F})}$. Let $\alpha$ be the homology class in $H_{d(\mathbb{F})}(\mathbb{T}^{m};\mathbb{Z}/2)$ represented by the $\mathcal{C}^{\infty}$ submanifold $N\coloneqq\mathbb{T}^{d(\mathbb{F})}\times\{y_{0}\}\subseteq\mathbb{T}^{m}$. Set

[TABLE]

where $\langle u,\alpha\rangle$ stands for the Kronecker product. Let $\pi\colon\mathbb{T}^{m}=\mathbb{T}^{d(\mathbb{F})}\times\mathbb{T}^{m-d(\mathbb{F})}\to\mathbb{T}^{d(\mathbb{F})}$ be the canonical projection and let $\tau\colon\mathbb{T}^{d(\mathbb{F})}\to\mathbb{S}^{d(\mathbb{F})}$ be a $\mathcal{C}^{\infty}$ map of topological degree $1$. For the $\mathcal{C}^{\infty}$ map $g\coloneqq\tau\circ\pi\colon\mathbb{T}^{m}\to\mathbb{S}^{d(\mathbb{F})}$, we have

[TABLE]

Since the normal bundle to $N$ in $\mathbb{T}^{m}$ is trivial and $N$ is the boundary of a compact $\mathcal{C}^{\infty}$ manifold with boundary, it follows from [24, Proposition 2.5, Theorem 2.6] that there exist a nonsingular real algebraic variety $V$ and a $\mathcal{C}^{\infty}$ diffeomorphism $\sigma\colon V\to\mathbb{T}^{m}$ with

[TABLE]

The map

[TABLE]

is of class $\mathcal{C}^{\infty}$, and

[TABLE]

By [59, Propositions 7.2 and 7.7], $h$ is not homotopic to any stratified-regular map. In particular, $h$ cannot be approximated by stratified-regular maps, which is of interest in view of Theorems 1.3 and 1.5. Also, by Proposition 2.13, $h$ is not homotopic to any piecewise-regular map of class $\mathcal{C}^{\infty}$; thus the case $k=\infty$ cannot be included in Theorem 1.6.

Furthermore, according to [16, Proposition 1.2], $V$ as above can be assumed to be a Zariski closed subvariety of $\mathbb{R}^{2m+1}$ that is obtained from $\mathbb{T}^{m}$ via an arbitrarily small $\mathcal{C}^{\infty}$ isotopy.

From a different viewpoint, strengthening of Theorems 1.3, 1.5 and 1.6 might be possible. Given a compact nonsingular real algebraic variety $V$ and two positive integers $n$ and $k$, it remains an open question whether every continuous map from $V$ into $\mathbb{G}(\mathbb{F}^{n})$ or $\mathbb{S}^{n}$ can be approximated by piecewise-regular maps of class $\mathcal{C}^{k}$.

Example 1.8**.**

Stratified-regular maps often have better approximation and homotopy properties than regular ones. For instance, if $V$ is a compact nonsingular real algebraic variety of dimension $n\geq 1$, then every continuous map from $V$ into $\mathbb{S}^{n}$ can be approximated by stratified-regular maps, cf. [53, Corollary 1.3]. On the other hand, if $n$ is even, then each regular map from $\mathbb{T}^{n}$ into $\mathbb{S}^{n}$ is null homotopic, cf. [9] or [7, Theorem 13.5.1].

Piecewise-regular maps are not always more flexible than regular maps.

Example 1.9**.**

Let $F_{r}$ be the Fermat curve of degree $r$ in the real projective plane $\mathbb{P}^{2}(\mathbb{R})$,

[TABLE]

Clearly, $F_{2}$ can be identified with $\mathbb{S}^{1}$. If $s>r\geq 2$, then every piecewise-regular map from $F_{r}$ into $F_{s}$ is constant. This claim holds since, by virtue of the Hurwitz–Riemann theorem [31, p. 140], every rational map from $F_{r}$ into $F_{s}$ is constant.

It would be of interest to decide whether or not counterparts of Theorems 1.3 and 1.5 hold for maps with values in an arbitrary rational nonsingular real algebraic variety.

We have already indicated how the present paper is organized. It should be added that Section 3 contains some preliminary technical results.

Henceforth, the following notation will be frequently used.

Notation 1.10**.**

For any function $f\colon\Omega\to\mathbb{R}$ defined on some set $\Omega$, we put

[TABLE]

2 General properties of piecewise-regular maps

We first deal with regular maps in the sense of Definition 1.1.

Lemma 2.1**.**

Let $V$ be a real algebraic variety, $W\subseteq\mathbb{R}^{p}$ a Zariski closed subvariety, and

[TABLE]

a map defined on some subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

The map $f$ is regular. 2. (b)

Each component function $f_{j}\colon X\to\mathbb{R}$ is regular, $j=1,\ldots,p$.

Proof.

It is clear that (a) implies (b).

Suppose that (b) holds, and let $Z$ be the Zariski closure of $X$ in $V$. We can find a Zariski open neighborhood $Z_{0}\subseteq Z$ of $X$ and regular functions $\tilde{f}_{j}\colon Z_{0}\to\mathbb{R}$ such that $\tilde{f}_{j}|_{X}=f_{j}$ for $j=1,\ldots,p$. The regular map $\tilde{f}=(\tilde{f}_{1},\ldots,\tilde{f}_{p})\colon Z_{0}\to\mathbb{R}^{p}$ is continuous in the Zariski topology and $\tilde{f}(X)\subseteq W$. Hence $\tilde{f}(Z_{0})\subseteq W$, which implies (a). ∎

Regular functions can be characterized as follows.

Lemma 2.2**.**

Let $V\subseteq\mathbb{R}^{n}$ be a Zariski closed subvariety, and $f\colon X\to\mathbb{R}$ a function defined on some subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

The function $f$ is regular. 2. (b)

For each point $x\in X$ there exist a Zariski open neighborhood $V_{x}\subseteq V$ of $x$ and a regular function $F_{x}\colon V_{x}\to\mathbb{R}$ such that $F_{x}=f$ on $X\cap V_{x}$. 3. (c)

There exist two regular functions $\varphi,\psi\colon V\to\mathbb{R}$ such that $X\subseteq V\setminus Z(\psi)$ and $f=\varphi/\psi$ on $X$. 4. (d)

For each point $x\in X$ there exist a Zariski open neighborhood $U_{x}\subseteq\mathbb{R}^{n}$ of $x$ and two polynomial functions $P_{x},Q_{x}\colon\mathbb{R}^{n}\to\mathbb{R}$ such that $U_{x}\subseteq\mathbb{R}^{n}\setminus Z(Q_{x})$ and $f=P_{x}/Q_{x}$ on $X\cap U_{x}$. 5. (e)

There exist two polynomial functions $P,Q\colon\mathbb{R}^{n}\to\mathbb{R}$ such that $X\subseteq\mathbb{R}^{n}\setminus Z(Q)$ and $f=P/Q$ on $X$.

Proof.

It readily follows that

[TABLE]

Suppose that (d) holds. For each point $x\in X$, pick a polynomial function ${S_{x}\colon\mathbb{R}^{n}\to\mathbb{R}}$ with $Z(S_{x})=\mathbb{R}^{n}\setminus U_{x}$. Since the Zariski topology on $\mathbb{R}^{n}$ is Noetherian, we can find a finite subset $\{x_{1},\ldots,x_{r}\}\subseteq X$ such that

[TABLE]

Set $P_{i}=P_{x_{i}}$, $Q_{i}=Q_{x_{i}}$, $S_{i}=S_{x_{i}}$, and

[TABLE]

Then $U=\mathbb{R}^{n}\setminus Z(Q)$ and $S_{i}^{2}Q_{i}f=S_{i}^{2}P_{i}$ on $X$. Consequently, $f=P/Q$ on $X$, hence (e) holds. The proof is complete. ∎

A filtration of a real algebraic variety $V$ is a finite sequence $\mathcal{F}=(V_{0},V_{1},\ldots,V_{m+1})$ of Zariski closed subvarieties of $V$ satisfying

[TABLE]

We allow $V_{i}=V_{i+1}$ for some $i$. Note that $\overline{\mathcal{F}}\coloneqq\{V_{i}\setminus V_{i+1}\colon 0\leq i\leq m\}$ is a stratification of $V$.

The following is a generalization of [59, Proposition 2.2].

Proposition 2.3**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon X\to W$ a map defined on some subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

There exists a stratification $\mathcal{S}$ of $V$ such that for every stratum $S\in\mathcal{S}$ the restriction of $f$ to $X\cap S$ is a regular map. 2. (b)

There exists a filtration $\mathcal{F}$ of $V$ such that for every stratum $T\in\overline{\mathcal{F}}$ the restriction of $f$ to $X\cap T$ is a regular map. 3. (c)

For every Zariski closed subvariety $Z\subseteq V$, there exists a Zariski open dense subset $Z^{0}\subseteq Z$ such that the restriction of $f$ to $X\cap Z^{0}$ is a regular map.

*In particular, the map $f$ is stratified-regular if and only if it is continuous and satisfies the equivalent conditions *(a), (b), (c).

Proof.

It is clear that (b) implies (a).

Suppose that (a) holds, and let $Z\subseteq V$ be an irreducible Zariski closed subvariety. We can find a stratum $S\in\mathcal{S}$ such that the intersection $S\cap Z$ is nonempty and Zariski open (hence Zariski dense) subset of $Z$. Thus (c) holds for each irreducible $Z$. It immediately follows that (c) holds in the general case.

Now suppose that (c) is satisfied. Set $V_{0}=V$. Making use of (c) with $Z=V_{0}$, we find a Zariski closed nowhere dense subvariety $V_{1}\subseteq V_{0}$ such that the restriction of $f$ to $X\cap(V_{0}\setminus V_{1})$ is a regular map. Note that $\dim V_{1}<\dim V_{0}$. We repeat this construction with $Z=V_{1}$ to get $V_{2}\subseteq V_{1}$, and so on. This process terminates after finitely many steps with $V_{m+1}=\varnothing$, which proves (b). ∎

Let $V$, $W$ be real algebraic varieties, $X\subseteq V$ some subset, and $Z$ the Zariski closure of $X$ in $V$. We say that a map $f\colon X\to W$ is rational if there exists a Zariski open dense subset $Z^{0}\subseteq Z$ such that the restriction of $f$ to $X\cap Z^{0}$ is a regular map (no condition on the restriction of $f$ to $X\setminus(X\cap Z^{0})$ is imposed).

In view of Proposition 2.3, each stratified-regular map is continuous rational. On the other hand, if the set $\func{Sing}(V)$ of singular points of $V$ is nonempty, then it can happen that a function from $V$ into $\mathbb{R}$ is continuous rational but it is not stratified-regular, cf. [43, Example 2]. However, the following holds.

Proposition 2.4**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon U\to W$ a map defined on an open subset $U\subseteq V\setminus\func{Sing}(V)$. Then the following conditions are equivalent:

1. (a)

The map $f$ is stratified-regular. 2. (b)

The map $f$ is continuous and rational.

Proof.

We may assume that $W\subseteq\mathbb{R}^{p}$ is a Zariski closed subvariety. Hence, by Lemma 2.1, the proof is reduced to the case $W=\mathbb{R}$, which follows from [42, Propostion 4.2] (a variant of [43, Proposition 8]). ∎

It is worthwhile to make a comment on the terminology used in different papers.

Remark 2.5**.**

In view of Proposition 2.4, reading papers [48, 50, 52, 53, 56, 58] one can substitute everywhere stratified-regular maps for continuous rational maps. It follows from Proposition 2.3 that stratified-regular functions coincide with continuous hereditarily rational functions studied in [42, 43]. Furthermore, as explained in [29, 59, 64], stratified-regular maps defined on a constructible subset of a real algebraic variety are identical with reguluous maps.

We now present a counterpart of Proposition 2.3 for piecewise-regular maps.

Proposition 2.6**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon X\to W$ a map defined on some subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

There exists a stratification $\mathcal{S}$ of $V$ such that for every stratum $S\in\mathcal{S}$ the restriction of $f$ to each connected component of $X\cap S$ is a regular map. 2. (b)

There exists a filtration $\mathcal{F}$ of $V$ such that for every stratum $T\in\overline{\mathcal{F}}$ the restriction of $f$ to each connected component of $X\cap T$ is a regular map. 3. (c)

For every Zariski closed subvariety $Z\subseteq V$ there exists a Zariski open dense subset $Z^{0}\subseteq Z$ such that the restriction of $f$ to each connected component of $X\cap Z^{0}$ is a regular map.

*In particular, the map $f$ is piecewise-regular if and only if it is continuous and satisfies the equivalent conditions *(a), (b), (c).

Proof.

One can repeat the proof of Proposition 2.3 with only minor modifications. ∎

We also have the following characterization of piecewise-regular maps.

Proposition 2.7**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon X\to W$ a continuous map defined on some subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

The map $f$ is piecewise-regular. 2. (b)

There exists a stratification $\mathcal{S}$ of $V$ such that for every stratum $S\in\mathcal{S}$ the restriction $f|_{X\cap S}\colon X\cap S\to W$ is a piecewise-regular map.

Proof.

It is clear that (a) implies (b).

Suppose that (b) holds for some stratification $\mathcal{S}$ of $V$. For each stratum $S\in\mathcal{S}$ there exists a stratification $\mathcal{T}_{S}$ of $V$ such that for every stratum $T\in\mathcal{T}_{S}$ the restriction of $f$ to each connected component of $X\cap S\cap T$ is a regular map. Note that

[TABLE]

is a stratification of $V$, and the map $f$ is piecewise $\mathcal{P}$-regular. Thus (b) implies (a), as required. ∎

Given a real algebraic variety $V$, a subset $A\subseteq V$ is said to be a nonsingular algebraic arc if its Zariski closure $C$ in $V$ is an algebraic curve (that is, $\dim C=1$), $A\subseteq C\setminus\func{Sing}(C)$, and $A$ is homeomorphic to $\mathbb{R}$.

Proposition 2.8**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon X\to W$ a continuous map defined on a semialgebraic subset $X\subseteq V$. Then the following conditions are equivalent:

1. (a)

The map $f$ is piecewise-regular. 2. (b)

There exists a stratification $\mathcal{S}$ of $V$ such that for every stratum $S\in\mathcal{S}$ and every nonsingular algebraic arc $A$ in $V$, with $A\subseteq X\cap S$, the restriction $f|_{A}$ is a regular map.

Proof.

We may assume that $W\subseteq\mathbb{R}^{p}$ is a Zariski closed subvariety. Hence, by Lemma 2.1, the proof is reduced to the case $W=\mathbb{R}$.

It is clear that (a) implies (b).

Suppose that (b) holds for some stratification $\mathcal{S}$ of $V$. In view of [42, Proposition 3.5], for every stratum $S\in\mathcal{S}$, the restriction $f|_{X\cap S}$ is a piecewise-regular map. Consequently, by Proposition 2.7, $f$ is a piecewise-regular map. Hence (b) implies (a), as required. ∎

Piecewise-regular maps can be characterized among semialgebraic maps as follows.

Theorem 2.9**.**

Let $V$, $W$ be real algebraic varieties, $X\subseteq V$ a semialgebraic subset, and $f\colon X\to W$ a continuous semialgebraic map. Then the following conditions are equivalent:

1. (a)

The map $f$ is piecewise-regular. 2. (b)

For every nonsingular algebraic arc $A$ in $V$, with $A\subseteq X$, the restriction $f|_{A}$ is a piecewise-regular map. 3. (c)

For every nonsingular algebraic arc $A$ in $V$, with $A\subseteq X$, there exists a nonemtpy open subset $A_{0}\subseteq A$ such that the restriction $f|_{A_{0}}$ is a regular map.

Proof.

As in the proof of Proposition 2.8, we may assume that $W=\mathbb{R}$.

Evidently, (a) implies (b), and (b) implies (c).

Suppose that (c) holds, and let $Z\subseteq V$ be a Zariski closed subvariety. Let $Y$ be the Zariski closure of $X\cap Z$ in $V$. By Lemma 2.11 below (with $X$ replaced by $X\cap Z$), there exists a Zariski open dense subset $Y^{0}\subseteq Y$ such that the restriction of $f$ to each connected component of $(X\cap Z)\cap Y^{0}$ is a regular function. Note that $Z^{0}\coloneqq Z\setminus(Y\setminus Y^{0})$ is a Zariski open dense subset of $Z$, and

[TABLE]

Hence, in view of Proposition 2.6, condition (a) holds. ∎

For background on Nash manifolds and Nash functions we refer to [7]. The following variant of [42, Propositon 2.5] will be useful in the proof of Lemma 2.11.

Lemma 2.10**.**

Let $N\subseteq\mathbb{R}^{n}$ be a connected Nash submanifold, and $f\colon N\to\mathbb{R}$ a Nash function. Assume that for every nonsingular algebraic arc $A$ in $\mathbb{R}^{n}$, with $A\subseteq N$, there exists a nonempty open subset $A_{0}\subseteq A$ such that the restriction $f|_{A_{0}}$ is a regular function. Then $f$ is a rational function.

Proof.

Let $V$ be the Zarsiki closure of $N$ in $\mathbb{R}^{n}$. Note that $V$ is irreducible. Furthermore, the Zariski closure of the graph of $f$ in $V\times\mathbb{R}$ is also irreducible. Complexifying these data, we complete the proof arguing as in [42, Propostion 2.5]. ∎

In the proof of Theorem 2.9 we used the following.

Lemma 2.11**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ a semialgebraic set, and $f\colon X\to\mathbb{R}$ a semialgebraic function. Let $Y$ be the Zariski closure of $X$ in $V$. Assume that for every nonsingular algebraic arc $A$ in $V$, with $A\subseteq X$, there exists a nonempty open subset $A_{0}\subseteq A$ such that the restriction $f|_{A_{0}}$ is a regular function. Then there exists a Zariski open dense subset $Y^{0}\subseteq Y$ such that the restriction of $f$ to each connected component of $X\cap Y^{0}$ is a regular function.

Proof.

We may assume that $V\subseteq\mathbb{R}^{n}$ is a Zariski closed subvariety. Set $Y_{0}=Y\setminus\func{Sing}(Y)$, and let $X^{*}$ be the interior of $X\cap Y_{0}$ in $Y_{0}$. Then $X\setminus X^{*}$ is a semialgebraic subset of $Y$ whose Zariski closure is Zariski nowhere dense in $Y$, cf. [7, Chapter 2]. Furthermore, there exists a Zariski closed and Zariski nowhere dense subvariety $S\subseteq Y$ such that

[TABLE]

and the restriction of $f$ to each connected component of $X\setminus S$ is a Nash function. Since $X\setminus S$ is a semialgebraic set, it has finitely many connected components. Hence, in view of Lemma 2.10, there exists a Zariski open dense subset $Y^{0}\subseteq Y$ which has the required properties. ∎

We next deal with piecewise-regular maps of class $\mathcal{C}^{\infty}$. Initially, we consider functions on nonsingular real algebraic arcs.

Lemma 2.12**.**

Let $C$ be a real algebraic curve, $A\subseteq C\setminus\func{Sing}(V)$ a nonsingular real algebraic arc, and $f\colon A\to\mathbb{R}$ a piecewise-regular function of class $\mathcal{C}^{\infty}$. Then $f$ is a regular function.

Proof.

The function $f$ is analytic, being semialgebraic and of class $\mathcal{C}^{\infty}$, cf. [7, Proposition 8.1.8].

By definition of piecewise-regular, we can find a Zariski open dense subset ${C^{0}\subseteq C\setminus\func{Sing}(C)}$, a regular function $\varphi\colon C^{0}\to\mathbb{R}$ and a nonempty open subset ${U\subseteq A\cap C^{0}}$ such that $f|_{U}=\varphi|_{U}$. Regarding $\mathbb{R}$ as a subset of $\mathbb{P}^{1}(\mathbb{R})$, we get a regular map $\psi\colon C\setminus\func{Sing}(C)\to\mathbb{P}^{1}(\mathbb{R})$ with ${\psi|_{C^{0}}=\varphi}$. Hence $f=\psi|_{A}$ by the identity principle for analytic maps. Consequently, $f$ is a regular function. ∎

Lemma 2.12 can be generalized as follows.

Proposition 2.13**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon U\to W$ a map defined on an open subset $U\subseteq V\setminus\func{Sing}(V)$. Then the following conditions are equivalent:

1. (a)

The map $f$ is piecewise-regular and of class $\mathcal{C}^{\infty}$. 2. (b)

The restriction of $f$ to each connected component of $U$ is a regular map.

Proof.

As in the proof of Proposition 2.8, we may assume that $W=\mathbb{R}$.

Suppose that (a) holds and let $U_{0}$ be a connected component of $U$. For each nonsingular algebraic arc $A$ in $V$, with $A\subseteq U_{0}$, the restriction $f|_{A}$ is a regular function by Lemma 2.12. Hence, in view of [42, Theorem 2.4], $f|_{U_{0}}$ is a rational function. Consequently, $f|_{U_{0}}$ is a regular function according to [48, Proposition 2.1].

It is clear that (b) implies (a). ∎

We also have the following variant of Proposition 2.13.

Proposition 2.14**.**

Let $V$, $W$ be real algebraic varieties, and $f\colon U\to W$ a map defined on an open subset $U\subseteq V\setminus\func{Sing}(V)$. Then the following conditions are equivalent:

1. (a)

The map $f$ is piecewise-regular, and for every nonsingular algebraic arc $A$ in $V$, with $A\subseteq U$, the restriction $f|_{A}$ is of class $\mathcal{C}^{\infty}$. 2. (b)

The restriction of $f$ to each connected component of $U$ is a stratified-regular map.

Proof.

As in the proof of Proposition 2.8, we may assume that $W=\mathbb{R}$.

Suppose that (a) holds, and let $U_{0}$ be a connected component of $U$. For each nonsingular algebraic arc $A$ in $V$, with $A\subseteq U_{0}$, the restriction $f|_{A}$ is a regular function by Lemma 2.12. Hence, in view of [42, Theorem 2.4], $f|_{U_{0}}$ is a rational function. Consequently, $f|_{U_{0}}$ is a stratified-regular function according to Proposition 2.4.

It is clear that (b) implies (a). ∎

3 Functions on a simplex

This section is of a technical nature. Our main goal is Lemma 3.7, which is needed in Sections 4 and 6. For the sake of clarity, we begin with some preliminary facts.

Lemma 3.1**.**

Let $V$ be a real algebraic variety, $W\subseteq V$ a Zariski closed subvariety, and $f\colon W\to\mathbb{R}$ a regular function. Then there exists a regular function $F\colon V\to\mathbb{R}$ such that $F|_{W}=f$.

Proof.

By Lemma 2.1, there exist regular functions $\varphi,\psi\colon V\to\mathbb{R}$ such that $W\subseteq V\setminus Z(\psi)$ and $f=\varphi/\psi$ on $W$. Pick a regular function $\alpha\colon V\to\mathbb{R}$ with $Z(\alpha)=W$. Then the function $F\coloneqq\frac{\varphi\psi}{\alpha^{2}+\psi^{2}}$ has the required properties. ∎

For any real algebraic variety $V$, we let $\mathcal{R}(V)$ denote the ring of real-valued regular functions on $V$. If $W\subseteq V$ is a Zariski closed subvariety, then the ideal

[TABLE]

of $\mathcal{R}(V)$ is called the ideal of $W$ in $V$.

Lemma 3.2**.**

Let $V$ be a real algebraic variety, and $W_{1}$, $W_{2}$ Zariski closed subvarieties of $V$ for which

[TABLE]

Let $f\colon W_{1}\cup W_{2}\to\mathbb{R}$ be a function such that the restrictions $f|_{W_{1}}$ and $f|_{W_{2}}$ are regular functions. Then $f$ is a regular function.

Proof.

By Lemma 3.1, there exists a regular function $g_{i}\colon V\to\mathbb{R}$ with $g_{i}|_{W_{i}}=f|_{W_{i}}$ for $i=1,2$. Since $g_{1}-g_{2}\in I_{V}(W_{1}\cap W_{2})$, we have $g_{1}-g_{2}=h_{1}-h_{2}$, where $h_{i}\in I_{V}(W_{i})$. Hence $g_{1}-h_{1}=g_{2}-h_{2}$ is a regular function on $V$ whose restriction to $W_{1}\cup W_{2}$ is equal to $f$. Consequently, $f$ is a regular function. ∎

Let $V$ be a nonsingular real algebraic variety, and $D\subseteq V$ a Zariski closed subvariety. We say that $D$ is a simple normal crossing hypersurface if for each point $p\in D$ there exist a Zariski open neighborhood $U\subseteq V$ of $p$ and local coordinates $x_{1},\ldots,x_{n}$ on $U$ (a regular system of parameters at $p\in V$) such that the intersection of each irreducible component of $D$ with $U$ is given by the equation $x_{i}=0$ for a suitable $i$. In particular, if $D$ is a simple normal crossing hypersurface, then each irreducible component of $D$ is nonsingular of codimension $1$.

Lemma 3.3**.**

Let $V$ be a nonsingular real algebraic variety, $D\subseteq V$ a simple normal crossing hypersurface, and $f\colon D\to\mathbb{R}$ a function whose restriction to each irreducible component of $D$ is a regular function. Then $f$ is a regular function.

Proof.

We use induction on the number $k$ of irreducible components of $D$. The case $k=1$ is obvious. Suppose that $k\geq 2$. Let $D_{1}$ be an irreducible component of $D$, and let $D^{\prime}$ be the union of the remaining irreducible components. The restriction $f|_{D_{1}}$ is a regular function by assumption, whereas the restriction $f|_{D^{\prime}}$ is a regular function by the induction hypothesis.

Pick a point $p\in D_{1}\cap D^{\prime}$. It suffices to find a Zariski open neighborhood $U\subseteq V$ of $p$ such that $f|_{D\cap U}$ is a regular function. If $U$ is small enough, there exist local coordinates $x_{1},\ldots,x_{n}$ on $U$ such that the ideal $I_{U}(D_{1}\cap U)$ is generated by $x_{1}$, and the ideal $I_{U}(D^{\prime}\cap U)$ is generated by the product $x_{2}\cdots x_{l}$ for some $l$ with $2\leq l\leq n$. Note that the ideal $I_{U}(D_{1}\cap D^{\prime}\cap U)$ is generated by $x_{1}$ and $x_{2}\cdots x_{l}$; in other words,

[TABLE]

Hence $f|_{D\cap U}$ is a regular function in view of Lemma 3.2. ∎

We give next the following variant of Lemma 3.1.

Lemma 3.4**.**

Let $V$ be a real algebraic variety, $Y\subseteq X$ some subsets of $V$, and $f\colon Y\to\mathbb{R}$ a regular function. Assume that $Y=X\cap W$, where $W$ is the Zariski closure of $Y$ in $V$. Then there exists a regular function $F\colon V_{0}\to\mathbb{R}$, defined on a Zariski open neighborhood $V_{0}$ of $X$ in $V$, such that $F|_{Y}=f$.

Proof.

By Lemma 2.2, there exist regular functions $\varphi,\psi\colon V\to\mathbb{R}$ such that $Y\subseteq V\setminus Z(\psi)$ and $f=\varphi/\psi$ on $Y$. Pick a regular function $\alpha\colon V\to\mathbb{R}$ with $Z(\alpha)=W$. Set $V_{0}\coloneqq V\setminus Z(\alpha^{2}+\psi^{2})$ and $F\coloneqq\frac{\varphi\psi}{\alpha^{2}+\psi^{2}}$ on $V_{0}$. Then $F$ has the required properties. ∎

Notation 3.5**.**

By a simplex in $\mathbb{R}^{m}$ we always mean a closed geometric simplex. For any finite (geometric) simplicial complex $K$ in $\mathbb{R}^{m}$, we write $|K|$ for the union of all simplices in $K$; thus $|K|\subseteq\mathbb{R}^{m}$ is a compact polyhedron. We denote by $K^{(n)}$ the $n$-skeleton of $K$.

If $\Delta\subseteq\mathbb{R}^{m}$ is a $d$-simplex, then $\dot{\Delta}$ stands for the simplicial complex which consists of all faces of $\Delta$ of dimension at most $d-1$. Clearly, $|\dot{\Delta}|$ is the union of all $(d-1)$-dimensional faces of $\Delta$. The Zariski closure of $\Delta$ in $\mathbb{R}^{m}$, denoted by $H_{\Delta}$, is an affine subspace of dimension $d$.

Lemma 3.6**.**

Let $\Delta\subseteq\mathbb{R}^{m}$ be a $d$-simplex and let $f\colon|\dot{\Delta}|\to\mathbb{R}$ be a function such that the restriction $f|_{\Gamma}\colon\Gamma\to\mathbb{R}$ is a regular function for every $(d-1)$-simplex $\Gamma\in\dot{\Delta}$. Then there exists a regular function $F\colon\Delta\to\mathbb{R}$ with $F|_{|\dot{\Delta}|}=f$.

Proof.

Let $\Delta_{0},\ldots,\Delta_{d}$ be all the $(d-1)$-dimensional faces of $\Delta$. We set $H\coloneqq H_{\Delta}$ and $H_{i}\coloneqq H_{\Delta_{i}}$ for $i=0,\ldots,d$. Obviously, $H_{i}\subseteq H$ and $\Delta_{i}=\Delta\cap H_{i}$. By Lemma 3.4, there exists a Zariski open neighborhood $\Omega\subseteq H$ of $\Delta$ and a regular function $G_{i}\colon\Omega\to\mathbb{R}$ with $G_{i}|_{\Delta_{i}}=f|_{\Delta_{i}}$ for $i=0,\ldots,d$. In particular, $G_{i}=G_{j}$ on $\Delta_{i}\cap\Delta_{j}$ for all $i$, $j$. Since $H_{i}\cap H_{j}$ is the Zariski closure of $\Delta_{i}\cap\Delta_{j}$ in $\mathbb{R}^{m}$, we get $G_{i}=G_{j}$ on $\Omega\cap H_{i}\cap H_{j}$.

Set $D_{i}\coloneqq\Omega\cap H_{i}$ and $D\coloneqq D_{0}\cup\ldots\cup D_{d}$. Then $D$ is a simple normal crossing hypersurface in $\Omega$. Define a function $\varphi\colon D\to\mathbb{R}$ by $\varphi|_{D_{i}}=G_{i}|_{D_{i}}$ for $i=0,\ldots,d$. By Lemma 3.3, $\varphi$ is a regular function. In view of Lemma 3.1, there exists a regular function $\Phi\colon\Omega\to\mathbb{R}$ with $\Phi|_{D}=\varphi$. The function $F\coloneqq\Phi|_{\Delta}$ has the required properties. ∎

We need the following approximation result for functions defined on a simplex.

Lemma 3.7**.**

Let $\Delta\subseteq\mathbb{R}^{m}$ be a $d$-simplex and let $f\colon\Delta\to\mathbb{R}$ be a continuous function such that the restriction $f|_{\Gamma}\colon\Gamma\to\mathbb{R}$ is a regular function for every $(d-1)$-simplex $\Gamma\in\dot{\Delta}$. Then, for every $\varepsilon>0$, there exists a regular function $g\colon\Delta\to\mathbb{R}$ satisfying

[TABLE]

and $f|_{|\dot{\Delta}|}=g|_{|\dot{\Delta}|}$.

Proof.

According to Lemma 3.6, there exists a regular function $h\colon\Delta\to\mathbb{R}$ with $h|_{|\dot{\Delta}|}=f|_{|\dot{\Delta}|}$. By replacing $f$ with $f-h$, the proof is reduced to the case $f|_{|\dot{\Delta}|}=0$.

Let $\Delta_{0},\ldots,\Delta_{d}$ be all the $(d-1)$-dimensional faces of $\Delta$. We set $H\coloneqq H_{\Delta}$ and $H_{i}\coloneqq H_{\Delta_{i}}$ for $i=0,\ldots,d$. The union $D\coloneqq H_{0}\cup\ldots\cup H_{d}$ is a simple normal crossing hypersurface in $H$. The function on $\Delta\cup D$ which is equal to $f$ on $\Delta$ and identically equal to [math] on $D$ is continuous. Hence, by Tietze’s extension theorem, there exists a continuous function $\varphi\colon H\to\mathbb{R}$ with $\varphi|_{\Delta}=f$ and $\varphi|_{D}=0$.

Fix $\varepsilon>0$. Note that there exists a $\mathcal{C}^{\infty}$ function $\psi\colon H\to\mathbb{R}$ satisfying

[TABLE]

and $\psi|_{D}=0$. Indeed, by the Whitney approximation theorem [65, Theorem 10.16], one can find a $\mathcal{C}^{\infty}$ function $\lambda\colon H\to\mathbb{R}$ for which

[TABLE]

Since $\varphi|_{D}=0$, the set $U\coloneqq\{x\in H\colon\left\lvert\lambda(x)\right\rvert<\frac{\varepsilon}{4}\}$ is an open neighborhood of $D$ in $H$. If $\alpha\colon H\to\mathbb{R}$ is a $\mathcal{C}^{\infty}$ function with $\alpha|_{D}=1$ and support contained in $U$, then the function $\psi\coloneqq(1-\alpha)\lambda$ has the required properties.

Denote by $\mathcal{C}^{\infty}(H)$ the ring of $\mathcal{C}^{\infty}$ real-valued functions on $H$. One readily sees that the ideal $I\subseteq\mathcal{C}^{\infty}(H)$ of all $\mathcal{C}^{\infty}$ functions vanishing on $D$ is generated by polynomial functions, say, $q_{1},\ldots,q_{r}$ (alternatively, one can invoke a much more general result [79, p. 52, Proposition 1]). Consequently, $\psi$ can be written in the form

[TABLE]

where the $\psi_{k}$ are $\mathcal{C}^{\infty}$ functions on $H$. Let

[TABLE]

By the Weierstrass approximation theorem, there exists a polynomial function $p_{k}\colon H\to\mathbb{R}$ satisfying

[TABLE]

For $p\coloneqq p_{1}q_{1}+\cdots+p_{r}q_{r}$, we have

[TABLE]

and $p|_{D}=0$. We complete the proof setting $g\coloneqq p|_{\Delta}$. ∎

4 Piecewise-regular maps into Grassmannians

The role of Subsections 4.A and 4.B is to review some notation and terminology.

4.A Inner product and matrices

As in Section 1, we let $\mathbb{F}$ denote $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$. The $\mathbb{F}$-vector space $\mathbb{F}^{n}$ is endowed with the standard inner product

[TABLE]

given by

[TABLE]

where $\overline{y_{i}}$ stands for the conjugate of $y_{i}$ in $\mathbb{F}$.

Let $\func{Mat}_{m,n}(\mathbb{F})$, or simply $\func{Mat}_{n}(\mathbb{F})$ if $m=n$, denote the set of all $m$-by-$n$ matrices with entries in $\mathbb{F}$. For any matrix $A=[a_{ij}]\in\func{Mat}_{m,n}(\mathbb{F})$, the corresponding $\mathbb{F}$-linear transformation $L_{A}\colon\mathbb{F}^{n}\to\mathbb{F}^{m}$ is given by

[TABLE]

(recall that we always consider left $\mathbb{F}$-vector spaces). We will identify $A$ with $L_{A}$ and write

[TABLE]

If $B=[b_{jk}]\in\func{Mat}_{n,r}(\mathbb{F})$, then we define the product $AB=[c_{ik}]$ by

[TABLE]

This convention implies that $L_{AB}=L_{A}\circ L_{B}$.

We regard $\func{Mat}_{n,r}(\mathbb{F})$ as a real algebraic variety. If $1\leq r\leq n$, then the subset

[TABLE]

of all matrices with linearly independent columns is Zariski open. Furthermore, the map

[TABLE]

is a regular map, as is immediately seen by using the standard charts on $\mathbb{G}_{r}(\mathbb{F}^{n})$.

4.B Vector bundles

For any topological $\mathbb{F}$-vector bundle $\xi$ on a topological space $X$, we denote by $E(\xi)$ its total space and by $p(\xi)\colon E(\xi)\to X$ the bundle projection. The fiber of $\xi$ over a point $x\in X$ is $E(\xi)_{x}=p(\xi)^{-1}(x)$.

Given a nonnegative integer $n$, we let $\varepsilon_{X}^{n}(\mathbb{F})$ denote the standard product $\mathbb{F}$-vector bundle on $X$ with total space $X\times\mathbb{F}^{n}$. Any morphism $\varphi\colon\varepsilon_{X}^{r}(\mathbb{F})\to\varepsilon_{X}^{n}(\mathbb{F})$ of topological $\mathbb{F}$-vector bundles is of the form

[TABLE]

where $A_{\varphi}\colon X\to\func{Mat}_{n,r}(\mathbb{F})$ is a uniquely determined map, called the matrix representation of $\varphi$. Obviously, $A_{\varphi}$ is a continuous map.

If $\xi$ is a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, then $\varepsilon_{X}^{n}(\mathbb{F})=\xi\oplus\xi^{\perp}$, where $\xi^{\perp}$ is the orthogonal complement of $\xi$ with respect to the standard inner product on $\mathbb{F}^{n}$. The orthogonal projection $\rho_{\xi}\colon\varepsilon_{X}^{n}(\mathbb{F})\to\varepsilon_{X}^{n}(\mathbb{F})$ onto $\xi$ is a topological morphism of $\mathbb{F}$-vector bundles.

We will also consider algebraic vector bundles on a real algebraic variety $V$. The product $V\times\mathbb{F}^{n}$ will be regarded as a real algebraic variety. By an algebraic $\mathbb{F}$-vector bundle on $V$ we mean an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{V}^{n}(\mathbb{F})$ for some $n$ (cf. [7, Chapters 12 and 13] and [35, 36] for various characterizations of algebraic $\mathbb{F}$-vector bundles).

If $\varphi\colon\varepsilon_{V}^{r}(\mathbb{F})\to\varepsilon_{V}^{n}(\mathbb{F})$ is an algebraic morphism, then the matrix representation

[TABLE]

of $\varphi$ is a regular map.

If $\xi$ is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{V}^{n}(\mathbb{F})$, then its orthogonal complement $\xi^{\perp}$ is also an algebraic $\mathbb{F}$-vector subbundle, and the orthogonal projection $\rho_{\xi}\colon\varepsilon_{V}^{n}(\mathbb{F})\to\varepsilon_{V}^{n}(\mathbb{F})$ onto $\xi$ is an algebraic morphism.

The tautological $\mathbb{F}$-vector bundle $\gamma_{r}(\mathbb{F}^{n})$ on $\mathbb{G}_{r}(\mathbb{F}^{n})$ is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{\mathbb{G}_{r}(\mathbb{F})}^{n}(\mathbb{F}^{n})$.

Lemma 4.1**.**

Let $V$ be a real algebraic variety, and $f\colon X\to\mathbb{G}_{r}(\mathbb{F}^{n})$ a continuous map defined on some subset $X\subseteq V$. Then the map $P_{f}\colon X\to\func{Mat}_{n}(\mathbb{F})$, where $P_{f}(x)\colon\mathbb{F}^{n}\to\mathbb{F}^{n}$ is the orthogonal projection onto $f(x)\subseteq\mathbb{F}^{n}$ for all $x\in X$, is continuous. Furthermore, if the map $f$ is regular, then so is the map $P_{f}$.

Proof.

We regard the pullback $\xi\coloneqq f^{*}\gamma_{r}(\mathbb{F}^{n})$ as a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, hence

[TABLE]

It follows that $P_{f}$ is the matrix representation of the orthogonal projection $\rho_{\xi}\colon\varepsilon_{X}^{n}(\mathbb{F})\to\varepsilon_{X}^{n}(\mathbb{F})$ onto $\xi$. Consequently, $P_{f}$ is a continuous map.

Now, suppose that $f$ is a regular map. It suffices to consider the case where $X$ is a Zariski locally closed subvariety of $V$. Then $\xi$ is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, hence the argument above shows that $P_{f}$ is a regular map. ∎

4.C Maps into Grassmannians

We can now prove the following variant of Lemma 3.7.

Lemma 4.2**.**

Let $\Delta\subseteq\mathbb{R}^{m}$ be a $d$-simplex and let $f\colon\Delta\to\mathbb{G}_{r}(\mathbb{F}^{n})$ be a continuous map such that the restriction $f|_{\Gamma}\colon\Gamma\to\mathbb{G}_{r}(\mathbb{F}^{n})$ is a regular map for every $(d-1)$-simplex $\Gamma\in\dot{\Delta}$. Then, for each neighborhood $\mathcal{U}\subseteq\mathcal{C}(\Delta,\mathbb{G}_{r}(\mathbb{F}^{n}))$ of $f$, there exists a regular map $g\colon\Delta\to\mathbb{G}_{r}(\mathbb{F}^{n})$ such that $g\in\mathcal{U}$ and $g|_{|\dot{\Delta}|}=f|_{|\dot{\Delta}|}$.

Proof.

Consider the map $P=P_{f}\colon\Delta\to\func{Mat}_{n}(\mathbb{F})$, where $P(x)\colon\mathbb{F}^{n}\to\mathbb{F}^{n}$ is the orthogonal projection onto $f(x)\subseteq\mathbb{F}^{n}$ for all $x\in\Delta$. By Lemma 4.1, $P$ is a continuous map and the restriction $P|_{\Gamma}\colon\Gamma\to\func{Mat}_{n}(\mathbb{F})$ is a regular map for every $(d-1)$-simplex $\Gamma\in\dot{\Delta}$.

We regard the pullback $\xi\coloneqq f^{*}\gamma_{r}(\mathbb{F}^{n})$ as a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{\Delta}^{n}(\mathbb{F})$. Since $\xi$ is topologically trivial, there exists an injective topological morphism $\varphi\colon\varepsilon_{\Delta}^{r}(\mathbb{F})\to\varepsilon_{\Delta}^{n}(\mathbb{F})$ whose image is equal to $\xi$. Let $A=A_{\varphi}\colon\Delta\to\func{Mat}_{n,r}(\mathbb{F})$ be the matrix representation of $\varphi$. Then $A$ is a continuous map and

[TABLE]

By the Weierstrass approximation theorem, there exists a regular map $B\colon\Delta\to\func{Mat}_{n,r}(\mathbb{F})$ arbitrarily close to $A$. Define $C\colon\Delta\to\func{Mat}_{n,r}(\mathbb{F})$ by

[TABLE]

Then $C$ is a continuous map, close to $A$, such that the restriction $C|_{\Gamma}\colon\Gamma\to\func{Mat}_{n,r}(\mathbb{F})$ is a regular map for every $(d-1)$-simplex $\Gamma\in\dot{\Delta}$. Hence, according to Lemma 3.7, there exists a regular map $\Phi\colon\Delta\to\func{Mat}_{n,r}(\mathbb{F})$, arbitrarily close to $C$, with $\Phi|_{|\dot{\Delta}|}=C|_{|\dot{\Delta}|}$. In particular, the $\mathbb{F}$-linear transformation $\Phi(x)\colon\mathbb{F}^{r}\to\mathbb{F}^{n}$ is injective for all $x\in\Delta$. In other words, $\Phi(\Delta)\subseteq\func{Mat}_{n,r}^{0}(\mathbb{F})$. Thus

[TABLE]

is a well-defined regular map, close to $f$. We may assume that $g\in\mathcal{U}$. Furthermore, $g|_{|\dot{\Delta}|}=f|_{|\dot{\Delta}|}$ since $\Phi|_{|\dot{\Delta}|}=C|_{|\dot{\Delta}|}$. ∎

An important consequence of Lemma 4.2 is the following.

Proposition 4.3**.**

Let $K$ be a finite simplicial complex in $\mathbb{R}^{m}$ and let $f\colon|K|\to\mathbb{G}(\mathbb{F}^{n})$ be a continuous map. Then, for each open neighborhood $\mathcal{U}\subseteq\mathcal{C}(|K|,\mathbb{G}(\mathbb{F}^{n}))$ of $f$, there exists a continuous map $\varphi\colon|K|\to\mathbb{G}(\mathbb{F}^{n})$ such that $\varphi\in\mathcal{U}$ and the restriction $\varphi|_{\Delta}\colon\Delta\to\mathbb{G}(\mathbb{F}^{n})$ is a regular map for every simplex $\Delta\in K$.

Proof.

We use induction on $d=\dim K$. The case $d=0$ is obvious. Suppose now that $d\geq 1$. By the induction hypothesis, there exists a continuous map $\psi\colon|K^{(d-1)}|\to\mathbb{G}(\mathbb{F}^{n})$, arbitrarily close to $f|_{|K^{(d-1)}|}$, such that the restriction $\psi|_{\Gamma}\colon\Gamma\to\mathbb{G}(\mathbb{F}^{n})$ is a regular map for every simplex $\Gamma\in K^{(d-1)}$. It readily follows that $\psi$ has a continuous extension $\tilde{\psi}\colon|K|\to\mathbb{G}(\mathbb{F}^{n})$ that belongs to $\mathcal{U}$. By Lemma 4.2, for every $d$-simplex $\Delta\in K$, there exists a regular map $g_{\Delta}\colon\Delta\to\mathbb{G}(\mathbb{F})^{n}$ close to $\tilde{\psi}|_{\Delta}$ and such that $g_{\Delta}|_{|\dot{\Delta}|}=\tilde{\psi}|_{|\dot{\Delta}|}$. Then the map $\varphi\colon|K|\to\mathbb{G}(\mathbb{F}^{n})$, defined by $\varphi|_{|K^{(d-1)}|}=\psi$ and $\varphi|_{\Delta}=g_{\Delta}$ for every $d$-simplex $\Delta\in K$, has all the required properties. ∎

In what follows, we will use stratifications constructed in a fairly simple way. Any finite simplicial complex $K$ in $\mathbb{R}^{m}$ gives rise to a filtration

[TABLE]

of $\mathbb{R}^{m}$, where $Z_{0}(K)=\mathbb{R}^{m}$, $Z_{m+1}(K)=\varnothing$, and $Z_{d}(K)$ is the union of the $H_{\Delta}$ for all simplices $\Delta\in K$ of dimension at most $m-d$ with $d=1,\ldots,m$. Here, as in Notation 3.5, $H_{\Delta}\subseteq\mathbb{R}^{m}$ stands for the Zariski closure of $\Delta$. Setting

[TABLE]

we obtain a stratification of $\mathbb{R}^{m}$. More generally, if $V\subseteq\mathbb{R}^{m}$ is a Zariski closed subvariety, then the collection

[TABLE]

is a stratification of $V$, which is said to be induced by $K$. Obviously,

[TABLE]

Lemma 4.4**.**

Let $K$ be a finite simplicial complex in $\mathbb{R}^{m}$, $V\subseteq\mathbb{R}^{m}$ a Zariski closed subvariety, and $X\subseteq|K|\cap V$ an arbitrary subset. Then, for every stratum $T\in\mathcal{S}_{K}(V)$, each connected component of $X\cap T$ is contained in some simplex $\Delta\in K$.

Proof.

It suffices to consider the case $V=\mathbb{R}^{m}$. If $S\in\mathcal{S}_{K}(\mathbb{R}^{m})=\mathcal{S}_{K}$, then each connected component of $X\cap S$ is contained in a connected component of $|K|\cap S$, which in turn is contained in some simplex $\Delta\in K$ by construction of $\mathcal{S}_{K}$. ∎

We are now ready to prove the first two theorems announced in Section 1.

Proof of Theorem 1.3.

Let $n$ be a positive integer. We may assume that $V\subseteq\mathbb{R}^{m}$ and $\mathbb{G}(\mathbb{F}^{n})\subseteq\mathbb{R}^{N}$ are Zariski closed subvarieties.

Consider a continuous map $f\colon X\to\mathbb{G}(\mathbb{F}^{n})\subseteq\mathbb{R}^{N}$. By Tietze’s extension theorem, there exists a continuous map $F\colon\mathbb{R}^{m}\to\mathbb{R}^{N}$ with $F|_{X}=f$. Let $\rho\colon T\to\mathbb{G}(\mathbb{F}^{n})$ be a tubular neighborhood of $\mathbb{G}(\mathbb{F}^{n})$ in $\mathbb{R}^{N}$. Then $U\coloneqq F^{-1}(T)\subseteq\mathbb{R}^{m}$ is a neighborhood of $X$, and $\tilde{f}\colon U\to\mathbb{G}(\mathbb{F}^{n})$, given by $\tilde{f}(x)=\rho(F(x))$ for $x\in U$, is a continuous extension of $f$. Since $X$ is a compact set, we can find a finite simplicial complex $K$ in $\mathbb{R}^{m}$ with $X\subseteq|K|\subseteq U$. In view of Proposition 4.3, there exists a continuous map $\varphi\colon|K|\to\mathbb{G}(F^{n})$, arbitrarily close to $\tilde{f}|_{|K|}$, such that the restriction $\varphi|_{\Delta}\colon\Delta\to\mathbb{G}(\mathbb{F}^{n})$ is a regular map for every simplex $\Delta\in K$. According to Lemma 4.4, the restriction $g\coloneqq\varphi|_{X}\colon X\to\mathbb{G}(\mathbb{F}^{n})$ is a piecewise $\mathcal{S}_{K}(V)$-regular map. The proof is complete since $g$ is close to $f$. ∎

Proof of Theorem 1.4.

It can be assumed that $V\subseteq\mathbb{R}^{m}$ is a Zariski closed subvariety, hence ${X\subseteq\mathbb{R}^{m}}$. By Borsuk’s theorem [27, p. 537], $X$ is a retract of some neighborhood $U\subseteq\mathbb{R}^{m}$. We can find a finite simplicial complex $K$ in $\mathbb{R}^{m}$ with $X\subseteq|K|\subseteq U$. Thus there exists a retraction $r\colon|K|\to X$.

We claim that the induced stratification $\mathcal{S}\coloneqq\mathcal{S}_{K}(V)$ of $V$ has all the required properties. Indeed, let $n$ be a positive integer and let $f\colon X\to\mathbb{G}(\mathbb{F}^{n})$ be a continuous map. Then ${f\circ r\colon|K|\to\mathbb{G}(\mathbb{F}^{n})}$ is a continuous extension of $f$. By Proposition 4.3, there exists a continuous map ${\varphi\colon|K|\to\mathbb{G}(\mathbb{F}^{n})}$, arbitrarily close to $f\circ r$, such that the restriction $\varphi|_{\Delta}\colon\Delta\to\mathbb{G}(\mathbb{F}^{n})$ is a regular map for every simplex $\Delta\in K$. In view of Lemma 4.4, the restriction $g\coloneqq\varphi|_{X}\colon X\to\mathbb{G}(\mathbb{F}^{n})$ is a piecewise $\mathcal{S}$-regular map. This completes the proof since $g$ is close to $f$. ∎

We also have the following variant of Theorem 1.4.

Theorem 4.5**.**

Let $X_{0}\subseteq\mathbb{R}^{m}$ be a compact subset, $U\subseteq\mathbb{R}^{m}$ a neighborhood of $X_{0}$, $\beta\colon U\to U$ a homeomorphism, and $K$ is a finite simplicial complex in $\mathbb{R}^{m}$. Assume that $X_{0}$ is a retract of $U$ and

[TABLE]

Then, for each positive integer $n$, every continuous map from $X$ into $\mathbb{G}(\mathbb{F}^{n})$ can be approximated by piecewise $\mathcal{S}_{K}$-regular maps.

Proof.

Let $r_{0}\colon U\to X_{0}$ be a retraction. Then $r_{X}\colon U\to X$, given by

[TABLE]

is a well-defined retraction.

Let $n$ be a positive integer and let $f\colon X\to\mathbb{G}(\mathbb{F}^{n})$ be a continuous map. Since $f\circ r_{X}\colon U\to\mathbb{G}(\mathbb{F}^{n})$ is a continuous extension of $f$, we complete the proof as in the case of Theorem 1.4. ∎

Theorem 4.5 can be illustrated by revisiting Example 1.7.

Example 4.6**.**

Fix an integer $m\geq d(\mathbb{F})+1$, and consider $\mathbb{T}^{m}$ as a subset of $\mathbb{R}^{2m}\times\mathbb{R}=\mathbb{R}^{2m+1}$. Note that $\mathbb{T}^{m}$ is a retract of $U\coloneqq(\mathbb{R}\setminus\{0\})^{2m}\times\mathbb{R}$. Let $K$ be a finite simplicial complex in $\mathbb{R}^{2m+1}$ satisfying

[TABLE]

According to Example 1.7, we can find a nonsingular Zariski closed subvariety $V\subseteq\mathbb{R}^{2m+1}$, a $\mathcal{C}^{\infty}$ diffeomorphism $\beta\colon U\to U$, and a $\mathcal{C}^{\infty}$ map

[TABLE]

such that $V=\beta(\mathbb{T}^{m})\subseteq|K|$ and $h$ is not homotopic to any stratified-regular map.

By Theorem 4.5, for each positive integer $n$, every continuous map from $V$ into $\mathbb{G}(\mathbb{F}^{n})$ can be approximated by piecewise $\mathcal{S}_{K}$-regular maps. In particular, this is the case for the map $h$.

5 Piecewise-algebraic vector bundles

Comparison of algebraic and topological vector bundles on a given real algebraic variety $V$ is a challenging problem, cf. [3–7,12,13,15,22,23,26,28,32,40,45–47,75,77,78]. Unless the variety $V$ is quite exceptional, one can find a topological vector bundle on $V$ that is not topologically isomorphic to any algebraic vector bundle. On the other hand, in some sense, algebraization of topological vector bundles is possible, cf. [3, 47, 67, 68, 77, 78]. In this section we look at the algebraization problem from a new perspective. The main results are Theorems 5.10 and 5.11, derived from Theorems 1.3 and 1.4, respectively.

We will use freely notation introduced in Section 4. Moreover, given a topological space $X$, a subspace $A\subseteq X$, and a topological morphism $\psi\colon\theta\to\omega$ of topological $\mathbb{F}$-vector bundles on $X$, we let $\psi_{A}\colon\theta|_{A}\to\omega|_{A}$ denote the restriction morphism defined by $\psi_{A}(v)=\psi(v)$ for all $v\in E(\theta|_{A})$.

We first generalize the definition of algebraic vector bundle.

Definition 5.1**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $Z$ the Zariski closure of $X$ in $V$.

An algebraic $\mathbb{F}$-vector bundle $\xi$ on $X$ is a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, for some $n$, for which there exist a Zariski open neighborhood $Z_{0}\subseteq Z$ of $X$ and an algebraic $\mathbb{F}$-vector subbundle $\tilde{\xi}$ of $\varepsilon_{Z_{0}}^{n}(\mathbb{F})$ with $\tilde{\xi}|_{X}=\xi$. In that case, $\xi$ is also said to be an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$. The pair $(Z_{0},\tilde{\xi})$ is called an algebraic extension of $\xi$. In particular, $\varepsilon_{X}^{n}(\mathbb{F})$ is an algebraic $\mathbb{F}$-vector bundle on $X$.

If $\xi$ and $\eta$ are algebraic $\mathbb{F}$-vector bundles on $X$, then an algebraic morphism $\varphi\colon\xi\to\eta$ is a topological morphism such that there exist algebraic extensions $(Z_{0},\tilde{\xi})$, $(Z_{0},\tilde{\eta})$ of $\xi$, $\eta$, respectively, and an algebraic morphism $\tilde{\varphi}\colon\tilde{\xi}\to\tilde{\eta}$ with $\tilde{\varphi}_{X}=\varphi$.

Algebraic $\mathbb{F}$-vector bundles on $X$, together with algebraic morphisms, form a category.

Lemma 5.2**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $\varphi\colon\xi\to\eta$ a bijective algebraic morphism of algebraic $\mathbb{F}$-vector bundles on $X$. Then $\varphi$ is an algebraic isomorphism.

Proof.

Let $(Z_{0},\tilde{\xi})$, $(Z_{0},\tilde{\eta})$, and $\tilde{\varphi}\colon\tilde{\xi}\to\tilde{\eta}$ be as in Definition 5.1. Shrinking $Z_{0}$ if necessary, we may assume that the algebraic morphism $\tilde{\varphi}$ is bijective. Thus the proof is reduced to the case where $X$ is a Zariski locally closed subvariety of $V$.

Our goal is to prove that the inverse map $\varphi^{-1}\colon E(\eta)\to E(\xi)$ is a regular map. The problem is local for the Zariski topology on $X$, so it suffices to consider $\xi=\eta=\varepsilon_{X}^{n}(\mathbb{F})$. Let ${A=A_{\varphi}\colon X\to\func{Mat}_{n}(\mathbb{F})}$ be the matrix representation of $\varphi$. Then $A$ is a regular map and

[TABLE]

Consequently, $\varphi^{-1}$ is a regular map, as required. ∎

Lemma 5.3**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $\xi$ an algebraic $\mathbb{F}$-vector subbundle of $\xi_{X}^{n}(\mathbb{F})$. Then the orthogonal complement $\xi^{\perp}$ of $\xi$ is also an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, and the orthogonal projection $\rho_{\xi}\colon\varepsilon_{X}^{n}(\mathbb{F})\to\varepsilon_{X}^{n}(\mathbb{F})$ is an algebraic morphism.

Proof.

This is a standard fact if $X$ is a Zariski locally closed subvariety of $V$. The general case follows immediately. ∎

We denote by $\gamma(\mathbb{F}^{n})$ the algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{\mathbb{G}(\mathbb{F}^{n})}^{n}(\mathbb{F})$ whose restriction to $\mathbb{G}_{r}(\mathbb{F}^{n})$ is $\gamma_{r}(\mathbb{F}^{n})$ for $0\leq r\leq n$.

Given a topological space $X$ and a continuous map $f\colon X\to\mathbb{G}(\mathbb{F}^{n})$, we regard the pullback $f^{*}\gamma(\mathbb{F}^{n})$ as a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$; thus

[TABLE]

Conversely, if $\xi$ is a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, then the map $f_{\xi}\colon X\to\mathbb{G}(\mathbb{F}^{n})$, defined by

[TABLE]

is continuous and $\xi=f^{*}_{\xi}\gamma(\mathbb{F}^{n})$. We call $f_{\xi}$ the classifying map for $\xi$. Note that the classifying map for $f^{*}\gamma(\mathbb{F}^{n})$ is $f$.

Lemma 5.4**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $\xi$ a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$. Then the following conditions are equivalent:

1. (a)

$\xi$* is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$.* 2. (b)

The classifying map $f_{\xi}\colon X\to\mathbb{G}(\mathbb{F})$ for $\xi$ is regular.

Proof.

This is well-known if $X$ is a Zariski locally closed subvariety of $V$. The general case follows immediately. ∎

Next we introduce the central notion of this section.

Definition 5.5**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $\mathcal{S}$ a stratification of $V$.

An $\mathcal{S}$-algebraic (resp. a piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector bundle $\xi$ on $X$ is a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$, for some $n$, such that for every stratum $S\in\mathcal{S}$ the restriction $\xi|_{X\cap S}$ is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X\cap S}^{n}(\mathbb{F})$ (resp. for every stratum $S\in\mathcal{S}$ and each connected component $\Sigma$ of $X\cap S$ the restriction $\xi|_{\Sigma}$ is an algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{\Sigma}^{n}(\mathbb{F})$). In that case, $\xi$ is also said to be an $\mathcal{S}$-algebraic (resp. a piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$.

If $\xi$ and $\eta$ are $\mathcal{S}$-algebraic (resp. piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector bundles on $X$, then an $\mathcal{S}$-algebraic (resp. a piecewise $\mathcal{S}$-algebraic) morphism $\varphi\colon\xi\to\eta$ is a topological morphism such that for every stratum $S\in\mathcal{S}$ the restriction $\varphi_{X\cap S}\colon\xi|_{X\cap S}\to\eta|_{X\cap S}$ is an algebraic morphism (resp. for every stratum $S\in\mathcal{S}$ and each connected component $\Sigma$ of $X\cap S$ the restriction $\varphi_{\Sigma}\colon\xi|_{\Sigma}\to\eta|_{\Sigma}$ is an algebraic morphism).

A stratified-algebraic (resp. a piecewise-algebraic) $\mathbb{F}$-vector bundle on $X$ is a $\mathcal{T}$-algebraic (resp. a piecewise $\mathcal{T}$-algebraic) $\mathbb{F}$-vector bundle on $X$ for some stratification $\mathcal{T}$ of $V$.

If $\xi$ and $\eta$ are stratified-algebraic (resp. piecewise-algebraic) $\mathbb{F}$-vector bundles on $X$, then a stratified-algebraic (resp. a piecewise-algebraic) morphism $\varphi\colon\xi\to\eta$ is a $\mathcal{T}$-algebraic (resp. a piecewise $\mathcal{T}$-algebraic) morphism for some stratification $\mathcal{T}$ of $V$ such that both $\xi$ and $\eta$ are $\mathcal{T}$-algebraic (resp. piecewise $\mathcal{T}$-algebraic) $\mathbb{F}$-vector bundles on $X$.

It is clear that $\mathcal{S}$-algebraic (resp. piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector bundles on $X$, together with $\mathcal{S}$-algebraic (resp. piecewise $\mathcal{S}$-algebraic) morphisms, form a category. Similarly, stratified-algebraic (resp. piecewise-algebraic) $\mathbb{F}$-vector bundles on $X$, together with stratified-algebraic (resp. piecewise-algebraic) morphisms, form a category.

In a somewhat less general context, $\mathcal{S}$-algebraic and stratified-algebraic $\mathbb{F}$-vector bundles are thoroughly investigated in [55, 57, 59, 61, 64].

Proposition 5.6**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, $\mathcal{S}$ a stratification of $V$, and $\xi$ a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$ for some $n$. Then the following conditions are equivalent:

1. (a)

$\xi$* is an $\mathcal{S}$-algebraic (resp. a piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$.* 2. (b)

The classifying map $f_{\xi}\colon X\to\mathbb{G}(\mathbb{F}^{n})$ for $\xi$ is $\mathcal{S}$-regular (resp. piecewise $\mathcal{S}$-regular).

Proof.

This follows from Lemma 5.4. ∎

As a direct consequence, we obtain the following.

Corollary 5.7**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ some subset, and $\xi$ a topological $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$ for some $n$. Then the following conditions are equivalent:

1. (a)

$\xi$* is a stratified-algebraic (resp. a piecewise-algebraic) $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{n}(\mathbb{F})$.* 2. (b)

The classifying map $f_{\xi}\colon X\to\mathbb{G}(\mathbb{F}^{n})$ for $\xi$ is stratified-regular (resp. piecewise-regular).

Vector bundles introduced in Definition 5.5 can be compared with topological vector bundles.

Proposition 5.8**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ a compact subset, and $\mathcal{S}$ a stratification of $V$. Let $\xi$ and $\eta$ be $\mathcal{S}$-algebraic (resp. piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector bundles on $X$ that are topologically isomorphic. Then $\xi$ and $\eta$ are also isomorphic in the category of $\mathcal{S}$-algebraic (resp. piecewise $\mathcal{S}$-algebraic) $\mathbb{F}$-vector bundles on $X$.

Proof.

We consider explicitly only the piecewise $\mathcal{S}$-algebraic case, the $\mathcal{S}$-algebraic one being completely analogous.

Thus, $\xi$ (resp. $\eta$) is a piecewise $\mathcal{S}$-algebraic $\mathbb{F}$-vector subbundle of $\varepsilon_{X}^{k}(\mathbb{F})$ (resp. $\varepsilon_{X}^{l}(\mathbb{F})$) for some positive integer $k$ (resp. $l$). Since $\varepsilon_{X}^{k}(\mathbb{F})=\xi\oplus\xi^{\perp}$ and $\varepsilon_{X}^{l}(\mathbb{F})=\eta\oplus\eta^{\perp}$, there exists a topological morphism $\varphi\colon\varepsilon_{X}^{k}(\mathbb{F})\to\varepsilon_{X}^{l}(\mathbb{F})$ which transforms $\xi$ onto $\eta$. Let $A=A_{\varphi}\colon X\to\func{Mat}_{l,k}(\mathbb{F})$ be the matrix representation of $\varphi$. By the Weierstrass approximation theorem, we can find a regular map $B\colon X\to\func{Mat}_{l,k}(\mathbb{F})$ that is close to $A$. Then $\psi\colon\varepsilon_{X}^{k}(\mathbb{F})\to\varepsilon_{X}^{l}(\mathbb{F})$, defined by

[TABLE]

is an algebraic morphism.

In view of Lemma 5.3, the orthogonal projection $\rho_{\eta}\colon\varepsilon_{X}^{l}(\mathbb{F})\to\varepsilon_{X}^{l}(\mathbb{F})$ onto $\eta$ is a piecewise $\mathcal{S}$-algebraic morphism. Hence $\rho_{\eta}\circ\psi\colon\varepsilon_{X}^{k}(\mathbb{F})\to\varepsilon_{X}^{l}(\mathbb{F})$ is a piecewise $\mathcal{S}$-algebraic morphism which transforms $\xi$ onto $\eta$. Consequently, the morphism $\sigma\colon\xi\to\eta$ determined by $\rho_{\eta}\circ\psi$ is bijective and piecewise $\mathcal{S}$-algebraic. It follows from Lemma 5.2 that $\sigma$ is a piecewise $\mathcal{S}$-algebraic isomorphism. ∎

Proposition 5.8 implies immediately the following.

Corollary 5.9**.**

Let $V$ be a real algebraic variety, and $X\subseteq V$ a compact subset. Let $\xi$ and $\eta$ be stratified-algebraic (resp. piecewise-algebraic) $\mathbb{F}$-vector bundles on $X$ that are topologically isomorphic. Then $\xi$ and $\eta$ are also isomorphic in the category of stratified-algebraic (resp. piecewise-algebraic) $\mathbb{F}$-vector bundles on $X$.

As an application of Theorem 1.3, we obtain the following result.

Theorem 5.10**.**

Let $V$ be a real algebraic variety and let $X\subseteq V$ be a compact subset. Then each topological $\mathbb{F}$-vector bundle on $X$ is topologically isomorphic to a piecewise-algebraic $\mathbb{F}$-vector bundle on $X$, which is uniquely determined up to piecewise-algebraic isomorphism.

Proof.

Let $\xi$ be a topological $\mathbb{F}$-vector bundle on $X$. Since $X$ is compact, one can find a positive integer $n$ and a continuous map $f\colon X\to\mathbb{G}(\mathbb{F}^{n})$ such that $\xi$ is topologically isomorphic to the pullback $f^{*}\gamma(\mathbb{F}^{n})$, cf. [37, Chapter 3, Proposition 5.8]. According to Theorem 1.3, $f$ is homotopic to a piecewise-regular map $g\colon X\to\mathbb{G}(\mathbb{F}^{n})$, hence $\xi$ is topologically isomorphic to the pullback $\eta\coloneqq g^{*}\gamma(\mathbb{F}^{n})$, cf. [37, Chapter 3, Theorem 4.7]. By Corollary 5.7, $\eta$ is a piecewise-algebraic $\mathbb{F}$-vector bundle on $X$. The proof is complete in view of Corollary 5.9. ∎

In a similar way, we can derive from Theorem 1.4 the next result.

Theorem 5.11**.**

Let $V$ be a real algebraic variety and let $X\subseteq V$ be a compact locally contractible subset. Then there exists a stratification $\mathcal{S}$ of $V$ such that each topological $\mathbb{F}$-vector bundle on $X$ is topologically isomorphic to a piecewise $\mathcal{S}$-algebraic $\mathbb{F}$-vector bundle on $X$, which is uniquely determined up to piecewise $\mathcal{S}$-algebraic isomorphism.

Proof.

According to Theorem 1.4, there exists a stratification $\mathcal{S}$ of $V$ such that, for each positive integer $n$, every continuous map from $X$ into $\mathbb{G}(\mathbb{F}^{n})$ is homotopic to a piecewise $\mathcal{S}$-regular map.

Let $\xi$ be a topological $\mathbb{F}$-vector bundle on $X$. One can find a positive integer $n$ and a continuous map $f\colon X\to\mathbb{G}(\mathbb{F}^{n})$ such that $\xi$ is topologically isomorphic to the pullback $f^{*}\gamma(\mathbb{F}^{n})$. Hence $\xi$ is topologically isomorphic to the pullback $\eta\coloneqq g^{*}\gamma(\mathbb{F}^{n})$, where $g\colon X\to\mathbb{G}(\mathbb{F}^{n})$ is a piecewise $\mathcal{S}$-regular map homotopic to $f$. By Proposition 5.6, $\eta$ is a piecewise $\mathcal{S}$-algebraic $\mathbb{F}$-vector bundle on $X$. The proof is complete in view of Proposition 5.8. ∎

In Theorems 5.10 and 5.11, piecewise-algebraic and piecewise $\mathcal{S}$-algebraic cannot be replaced by stratified-algebraic and $\mathcal{S}$-algebraic, respectively.

Example 5.12**.**

Fix an integer $m\geq d(\mathbb{F})+1$, and let $V$ and $h\colon V\to\mathbb{G}_{1}(\mathbb{F}^{2})=\mathbb{S}^{d(\mathbb{F})}$ be as in Example 1.7. We claim that the topological $\mathbb{F}$-vector bundle $\xi\coloneqq h^{*}\gamma_{1}(\mathbb{F}^{2})$ on $V$ is not topologically isomorphic to any stratified-algebraic $\mathbb{F}$-vector bundle. Indeed, write $\xi_{\mathbb{R}}$ and $\gamma_{1}(\mathbb{F}^{2})_{\mathbb{R}}$ to indicate that $\xi$ and $\gamma_{1}(\mathbb{F}^{2})$ are regarded as topological $\mathbb{R}$-vector bundles. Since $w_{d(\mathbb{F})}(\gamma_{1}(\mathbb{F}^{2})_{\mathbb{R}})=s_{d(\mathbb{F})}$, we get

[TABLE]

where $w_{q}(-)$ stands for the $q$th Stiefel–Whitney class. The claim follows in view of [59, Propositions 7.3 and 7.7].

6 Piecewise-regular maps into spheres (approximation)

For maps with values in $\mathbb{S}^{n}$, we have the following counterpart of Proposition 4.3.

Proposition 6.1**.**

Let $K$ be a finite simplicial complex in $\mathbb{R}^{m}$ and let $f\colon|K|\to\mathbb{S}^{n}$ be a continuous map. Assume that $f(\Delta)\neq\mathbb{S}^{n}$ for every simplex $\Delta\in K$. Then, for each open neighborhood $\mathcal{U}\subseteq\mathcal{C}(|K|,\mathbb{S}^{n})$ of $f$, there exists a continuous map $\varphi\colon|K|\to\mathbb{S}^{n}$ such that $\varphi\in\mathcal{U}$ and the restriction $\varphi|_{\Delta}\colon\Delta\to\mathbb{S}^{n}$ is a regular map for every simplex $\Delta\in K$.

Proof.

We use induction on $d=\dim K$. The case $d=0$ is obvious. Suppose now that $d\geq 1$. By the induction hypothesis, there exists a continuous map $\psi\colon|K^{(d-1)}|\to\mathbb{S}^{n}$, arbitrarily close to $f|_{|K^{(d-1)}|}$, such that the restriction $\psi|_{\Gamma}\colon\Gamma\to\mathbb{S}^{n}$ is a regular map for every simplex $\Gamma\in K^{(d-1)}$. It readily follows that $\psi$ can be extended to a continuous map $\tilde{\psi}\colon|K|\to\mathbb{S}^{n}$ that belongs to $\mathcal{U}$ and satisfies $\tilde{\psi}(\Delta)\neq\mathbb{S}^{n}$ for every simplex $\Delta\in K$. Since $\mathbb{S}^{n}$ with one point removed is biregularly isomorphic to $\mathbb{R}^{n}$, it follows from Lemma 3.7 that for every $d$-simplex $\Delta\in K$, there exists a regular map $g_{\Delta}\colon\Delta\to\mathbb{S}^{n}$ close to $\tilde{\psi}|_{\Delta}$ and such that $g_{\Delta}|_{|\dot{\Delta}|}=\tilde{\psi}|_{|\dot{\Delta}|}$. Then the map $\varphi\colon|K|\to\mathbb{S}^{n}$, defined by $\varphi|_{|K^{(d-1)}|}=\psi$ and $\varphi|_{\Delta}=g_{\Delta}$ for every $d$-simplex $\Delta\in K$, has all the required properties. ∎

In what follows we will make use of Lemma 4.4.

Proof of Theorem 1.5.

Let $n$ be a positive integer and let $f\colon X\to\mathbb{S}^{n}\subseteq\mathbb{R}^{n+1}$ be a continuous map. We may assume that $V\subseteq\mathbb{R}^{m}$ is a Zariski closed subvariety, hence $X\subseteq\mathbb{R}^{m}$. By Tietze’s extension theorem, there exists a continuous map $F\colon\mathbb{R}^{m}\to\mathbb{R}^{n+1}$ with $F|_{X}=f$. Denoting by $\rho\colon\mathbb{R}^{n+1}\setminus\{0\}\to\mathbb{S}^{n}$ the radial projection, we see that $U\coloneqq F^{-1}(\mathbb{R}^{n+1}\setminus\{0\})\subseteq\mathbb{R}^{m}$ is a neighborhood of $X$, and $\tilde{f}\colon U\to\mathbb{S}^{n}$, given by $\tilde{f}(x)=\rho(F(x))$ for $x\in U$, is a continuous extension of $f$.

We can find a finite simplicial complex $K$ in $\mathbb{R}^{m}$ with $X\subseteq|K|\subseteq U$. By replacing $K$ with a suitable iterated barycentric subdivision of $K$, we get $\tilde{f}(\Delta)\neq\mathbb{S}^{n}$ for every simplex $\Delta\in K$. In view of Proposition 6.1, we can find a continuous map $\varphi\colon|K|\to\mathbb{S}^{n}$, arbitrarily close to $\tilde{f}|_{|K|}$, such that the restriction $\varphi|_{\Delta}\colon\Delta\to\mathbb{S}^{n}$ is a regular map for every simplex $\Delta\in K$. According to Lemma 4.4, the restriction $g\coloneqq\varphi|_{X}\colon X\to\mathbb{S}^{n}$ is a piecewise $\mathcal{S}_{K}(V)$-regular map. The proof is complete since $g$ is close to $f$. ∎

It is not clear whether there is a counterpart of Theorem 1.4 for maps into spheres.

Problem 6.2**.**

Let $V$ be a real algebraic variety, $X\subseteq V$ a compact locally contractible subset, and $n$ a positive integer. Does there exist a stratification $\mathcal{S}$ of $V$ such that every continuous map from $X$ into $\mathbb{S}^{n}$ can be approximated by piecewise $\mathcal{S}$-regular maps?

In view of Theorem 1.4, the answer is affirmative if $n=1,2$ or $4$ since $\mathbb{S}^{d(\mathbb{F})}=\mathbb{G}_{1}(\mathbb{F}^{2})$.

7 Piecewise-regular maps into spheres (homotopy)

The following lemma will be used in the proof of Theorem 1.6.

Lemma 7.1**.**

Let $V$ be a compact nonsingular real algebraic variety, $Z\subseteq V$ a nonsingular Zariski closed subvariety with $\func{codim}_{V}Z\geq 1$, and $K$ the union of some connected components of $Z$. Then there exists a closed tubular neighborhood $T\subseteq V$ of $K$ such that $T\cap(Z\setminus K)=\varnothing$ and the boundary $\partial T$ of $T$ is a nonsingular Zariski closed subvariety of $V$. Furthermore, for each nonnegative integer $l$, there exists a $\mathcal{C}^{l}$ function $\alpha\colon V\to\mathbb{R}$ with the following properties:

1. (i)

$Z(\alpha)=K$; 2. (ii)

the restrictions $\alpha|_{T}$ and $\alpha|_{V\setminus\func{int}T}$ are regular functions.

Proof.

Let $T\subseteq V$ be a closed tubular neighborhood of $K$ with $T\cap(Z\setminus K)=\varnothing$. Note that the homology class in $H_{*}(V;\mathbb{Z}/2)$ represented by the $\mathcal{C}^{\infty}$ hypersurface $\partial T\subseteq V$ is equal to [math]. Hence there exists a $\mathcal{C}^{\infty}$ diffeomorphism $\sigma\colon V\to V$, arbitrarily close in the $\mathcal{C}^{\infty}$ topology to the identity map of $V$, such that $\sigma(\partial T)$ is a nonsingular Zariski closed subvariety of $V$ and $\sigma(x)=x$ for all $x\in Z$, cf. [7, Theorem 12.4.11]. Replacing $T$ by $\sigma(T)$, we may assume that $\partial T$ is a nonsingular Zariski closed subvariety of $V$.

Let $f$ and $g$ be real-valued regular functions on $V$ with $Z(f)=Z$ and $Z(g)=\partial T$. If $l$ is a nonnegative integer, then

[TABLE]

is a $\mathcal{C}^{l}$ function that satisfies (i) and (ii). ∎

Our proof of Theorem 1.6 depends on the Pontryagin–Thom construction. Unless explicitly stated otherwise, all $\mathcal{C}^{\infty}$ manifolds will be without boundary. Submanifolds will be closed subsets of the ambient manifold. The unit $n$-sphere $\mathbb{S}^{n}$ will be oriented as the boundary of the unit $(n+1)$-disc. For any compact $\mathcal{C}^{\infty}$ manifold $X$ there is a canonical one-to-one correspondence

[TABLE]

where $\pi^{n}(X)$ is the set of all homotopy classes of continuous maps from $X$ into $\mathbb{S}^{n}$, and $F^{n}(X)$ is the set of framed cobordism classes of framed submanifolds of $X$ of codimension $n$, cf. [44, 71] for details. Given a continuous map $f\colon X\to\mathbb{S}^{n}$, we denote by $\func{PT}(f)$ the element of $F^{n}(X)$ corresponding to the homotopy class of $f$.

It is convenient to introduce some notation related to this construction. A framed submanifold of $X$ of codimension $n$ is a pair $(M,F)$, where $M\subseteq X$ is a $\mathcal{C}^{\infty}$ codimension $n$ submanifold, and $F=(v_{1},\ldots,v_{n})$ is a $\mathcal{C}^{\infty}$ framing of the normal bundle to $M$ in $X$. The normal space to $M$ in $X$ at $x\in M$ is the quotient $N_{x}M\coloneqq T_{x}X/T_{x}M$ of the tangent spaces; thus $(v_{1}(x),\ldots,v_{n}(x))$ is a basis for $N_{x}M$.

Given a continuous map $f\colon X\to\mathbb{S}^{n}$ and a point $y\in\mathbb{S}^{n}$, suppose that for some open neighborhood $U\subseteq\mathbb{S}^{n}$ of $y$ the restriction map $f|_{f^{-1}(U)}\colon f^{-1}(U)\to U$ is of class $\mathcal{C}^{\infty}$ and transverse to $y$. Choose a positively oriented basis $B=(w_{1},\ldots,w_{n})$ for $T_{y}\mathbb{S}^{n}$. Then $\func{PT}(f)\in F^{n}(X)$ is represented by the framed submanifold $(f^{-1}(y),F(f,B))$, where $F(f,B)=(v_{1},\ldots,v_{n})$ and $(v_{1}(x),\ldots,v_{n}(x))$ is transformed onto $(w_{1},\ldots,w_{n})$ by the isomorphism $N_{x}M\to T_{y}\mathbb{S}^{n}$ induced by the derivative $d_{x}\varphi\colon T_{x}X\to T_{y}\mathbb{S}^{n}$ for every $x\in f^{-1}(y)$.

Let $\varphi\colon X\to\mathbb{R}^{n}$ be a $\mathcal{C}^{\infty}$ map transverse to $0\in\mathbb{R}^{n}$ and let $M$ be the union of some connected components of $\varphi^{-1}(0)$. Then we obtain a framed submanifold $(M,F(\varphi))$ of $X$, where $F(\varphi)=(v_{1},\ldots,v_{n})$ and $(v_{1}(x),\ldots,v_{n}(x))$ is transformed onto the canonical basis for $\mathbb{R}^{n}$ by the isomorphism $N_{x}M\to\mathbb{R}^{n}$ induced by the derivative $d_{x}\varphi\colon T_{x}X\to T_{0}\mathbb{R}^{n}=\mathbb{R}^{n}$ for every $x\in M$.

Proof of Theorem 1.6.

The case $\dim V<n$ is obvious since then $f$ is null homotopic. Suppose that $\dim V\geq n$, and let $(M,F)$ be a framed submanifold of $V$ which represents $\func{PT}(f)$. By a standard transversality argument, we obtain a $\mathcal{C}^{\infty}$ map $\varphi\colon V\to\mathbb{R}^{n}$ such that $\varphi$ is transverse to $0\in\mathbb{R}^{n}$, $M$ is the union of some connected components of $\varphi^{-1}(0)$, and $(M,F)$ is framed cobordant to $(M,F(\varphi))$. In view of the Weierstrass approximation theorem, there exists a regular map $\psi\colon V\to\mathbb{R}^{n}$ arbitrarily close to $\varphi$ in the $\mathcal{C}^{\infty}$ topology. Then $\psi$ is transverse to $0\in\mathbb{R}^{n}$ and $Z\coloneqq\psi^{-1}(0)$ is isotopic to $\varphi^{-1}(0)$, cf. [2, p. 51]. In particular, $(M,F(\varphi))$ is framed cobordant to $(N,F(\psi))$, where $N$ is the union of suitable connected components of $Z$. Furthermore, $Z\subseteq V$ is a nonsingular Zariski closed subvariety. Set $K\coloneqq Z\setminus N$, and let $T$, $\alpha$ be as in Lemma 7.1 for some nonnegative integer $l$. According to the Łojasiewicz inequality [7, Corollary 2.6.7], we can find an open neighborhood $U\subseteq V$ of $K$, a real number $c>0$, and an integer $q>0$ such that

[TABLE]

where $\left\lVert-\right\rVert$ stands for the Euclidean norm on $\mathbb{R}^{n}$.

Set $a\coloneqq(0,\ldots,0,1)\in\mathbb{S}^{n}$, $b\coloneqq-a$, and let $\rho\colon\mathbb{S}^{n}\setminus\{a\}\to\mathbb{R}$ be the stereographic projection. Fix a nonnegative integer $k$. If $l$ and $r$ are sufficiently large integers, then the map $g\colon V\to\mathbb{S}^{n}$ defined by

[TABLE]

is of class $\mathcal{C}^{k}$. Since $\rho$ is a biregular isomorphism, the restrictions $g|_{T\setminus K}$ and $g|_{\func{int}T}$ are regular maps. Consequently, $\mathcal{S}\coloneqq\{Z,\partial T,V\setminus(Z\cup\partial T)\}$ is a stratification of $V$, and the map $g$ is piecewise $\mathcal{S}$-regular.

It remains to prove that $g$ is homotopic to $f$ or, equivalently, $\func{PT}(g)=\func{PT}(f)$. To this end, let $B$ be the basis for $T_{b}\mathbb{S}^{n}$ which corresponds to the canonical basis for $\mathbb{R}^{n}$ via the isomorphism $d_{b}\rho\colon T_{b}\mathbb{S}^{n}\to\mathbb{R}^{n}$. Note that the restriction of $g$ to $g^{-1}(\mathbb{S}^{n}\setminus\{a\})=V\setminus K$ is a $\mathcal{C}^{\infty}$ map transverse to $b\in\mathbb{S}^{n}$ and $g^{-1}(b)=N$. It readily follows that $(N,F(g,B))$ is framed cobordant to $(N,F(\varphi))$. Hence $(N,F(g,B))$ is framed cobordant to $(M,F)$, which implies that $\func{PT}(g)=\func{PT}(f)$, as required. ∎

Remark 7.2**.**

As demonstrated above, if $\dim V\geq n$, then the stratification $\mathcal{S}$ that appears in Theorem 1.6 can be chosen of the form

[TABLE]

where $Z$ and $W$ are disjoint Zariski closed subvarieties of $V$ with $\func{codim}_{V}Z=n$ and $\func{codim}_{V}W=1$.