ScalingStacks

5.1. Viro’s patchworking [04T1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

5.1. Viro’s patchworking

Let v:Δ∩ℤn+1→ℝv:\Delta\cap\mathbb{Z}^{n+1}\to\mathbb{R} be any function and a⁡(z)=∑j∈Δ∩ℤn+1aj​zja(z)=\sum\limits_{j\in\Delta\cap\mathbb{Z}^{n+1}}a_{j}z^{j} be any polynomial. Following [15] we define the patchworking polynomial for any t>0t>0 by

ftv​(z)=∑j∈Δ∩ℤn+1aj​t−v⁡(j)​zj,f^{v}_{t}(z)=\sum\limits_{j\in\Delta\cap\mathbb{Z}^{n+1}}a_{j}t^{-v(j)}z^{j},

where aj≠0a_{j}\neq 0 for any j∈Δ∩ℤn+1j\in\Delta\cap\mathbb{Z}^{n+1}. Note that if vv is integer-valued then ftvf^{v}_{t} makes sense also for any t∈ℂ∗t\in\mathbb{C}^{*}.

Remark 5.1.

In [15] the patchworking polynomial was used for construction of real algebraic hypersurfaces with controlled topology. The topology of the zero set of a real patchworking polynomial for t>>0t>>0 depends only on the function vv and on the signs of the coefficients aja_{j}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.