arXiv research

Proves a Thom Isotopy Theorem for nonproper semialgebraic maps.

The study characterizes Nash maps between semialgebraic sets and their properties.

Proves surjectivity of certain smooth maps with non-properness sets.

In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.

Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and semialgebraic homeomorphism of $\Bbb R^n.$

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nas…

We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X ω$ over a compact semialgebraic subset $X$ of a differential form $ω$ on an ambient algebraic manifold, that…

We introduce smooth L^\infty differential forms on a singular (semialgebraic) set X in R^n. Roughly speaking, a smooth L^\infty differential form is a certain class of equivalence of 'stratified forms', that is, a collection of smooth forms on disjoint smooth subsets (stratification) of X with matching tangential compo…

Improved semialgebraic choices with linear complexity.

Smooth maps bound Betti numbers of zero sets.

Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion of index for vector fields, the $q=n$ case. The existence of a continuous map $g…

We study Poincaré type $L^p$ inequality on a compact semialgebraic subset of $\R^n$ for $p>>1$. First we derive a local inequality by using a Lipschitz deformation retraction with estimates on its derivatives. Then, we extend the local inequality to a global inequality by employing double complex technique. As a conseq…

Inexact subgradient methods work well for semialgebraic functions with additive errors.

This paper characterizes which subsets of C^n can be the set of positions of n points on a linkage in the complex plane C. For example, assuming compactness they are just compact semialgebraic sets. Noncompact configuration spaces are semialgebraics sets invariant under the Euclidean group, with compact quotient.

We define the total curvature of a semialgebraic embedding of a graph in the 3-dimensional Euclidean space. We prove that it satisfies a Chern-Lashof type inequality and we describe when the equality holds. We also prove a generalization of a classical result of Fary and Milnor stating that certain graphs cannot be kno…

A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells…

Let Z be a smooth projective manifold. In these notes I will prove that the K-group of R-constructible sheaves is isomorphic to the free abelian group with one generator for each open semialgebraic subset $U$ (which I will denote by the same letter) modulo the Mayer-Vietoris relations: U + V - U^V - UvV = 0. I will pro…

Let $f = (f_1,\ldots,f_m) : \R^n \longrightarrow \R^m$ be a polynomial map; $G^f(r) = \{x\in\R^n : |f_i(x)| \leq r,\ i =1,\ldots, m\}$. We show that if $f$ satisfies the Mikhailov - Gindikin condition then \begin{itemize} \item[(i)] $\text{Volume}\ G^f(r) \asymp r^θ(\ln r)^k$ \item[(ii)] $\text{Card}\left(G^f(r) \cap \…

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we prove that every s-equivalence class of a closed semianalytic set contains a sem…

We construct examples of complex algebraic surfaces not admitting normal embeddings (in the sense of semialgebraic or subanalytic sets) with image a complex algebraic surface.

We describe an algorithm that associates to each positive real number $r$ and each finite collection $C_r$ of planar pixels of size $r$ a planar piecewise linear set $S_r$ with the following additional property: if $C_r$ is the collection of pixels of size $r$ that touch a given compact semialgebraic set $S$, then the …

Let $Γ$ be a nonuniform lattice acting on real hyperbolic n-space. We show that in dimension greater than or equal to 4, the volume of a representation is constant on each connected component of the representation variety of $Γ$ in SO(n,1). Furthermore, in dimensions 2 and 3, there is a semialgebraic subset of the repr…

Stochastic subgradient descent avoids critical points in definable functions.

Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield $2^{43}-43$ independent characteristic numbers mod 2, which generalize the Akbulut-K…

Study links between surface germs and knot theory in 4D.

Minimal submanifolds in matrix spaces proven for specific ranks.

Let $F$ be a left invariant Randers metric on a simply connected nilpotent Lie group $N$, induced by a left invariant Riemannian metric ${\hat{\textbf{\textit{a}}}}$ and a vector field $X$ which is $I_{\hat{\textbf{\textit{a}}}}(M)$-invariant. If the Ricci flow equation has a unique solution then, $(N,F)$ is a Ricci so…

Let $Y\subset{\mathbb R}^n$ be a triangulable set and let $r$ be either a positive integer or $r=\infty$. We say that $Y$ is a $\mathscr{C}^r$-approximation target space, or a $\mathscr{C}^r\text{-}\mathtt{ats}$ for short, if it has the following universal approximation property: For each $m\in{\mathbb N}$ and each loc…

Given a polynomial map $ψ:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $ψ$ and its derivatives satisfy a given list of polynomial equalities and inequalities (we call such a set a "singularity"). Concerning th…

Paper studies geometric and combinatorial properties of circular snakes.

Looking for an efficient algorithm for the computation of the homology groups of an algebraic set or even a semi-algebraic set is an important problem in the effective real algebraic geometry. Recently, Peter Burgisser, Felipe Cucker and Pierre Lairez wrote a paper [1], which made a step forward by giving an algorithm …

A link of an isolated singularity of a two-dimensional semialgebraic surface in $R^4$ is a knot (or a link) in $S^3$. Thus the ambient Lipschitz classification of surface singularities in $R^4$ can be interpreted as a bi-Lipschitz refinement of the topological classification of knots (or links) in $S^3$. We show that, …

We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, fo…

Grothendieck's Esquisse d'un programme is often referred to for the ideas it contains on dessins d'enfants, the Teichm{ü}ller tower, and the actions of the absolute Galois group on these objects or their etale fundamental groups. But this program contains several other important ideas. In particular, motivated by surfa…

The paper studies HYM connections on stable vector bundles over Kähler manifolds.

We provide bi-Lipschitz invariants for finitely determined map germs $f: (\mathbb{K}^n,0) \to (\mathbb{K}^p, 0)$, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. The aim of the paper is to provide partial answers to the following questions: Does the bi-Lipschitz type of a map germ $f: (\mathbb{R}^n, 0) \to (\mathbb{R…

The paper is concerned with defining a topology on the set of ideals of codimension d of the algebra C^\infty(M,R) with M being a compact smooth manifold. Its main property is that it is compact Hausdorff and it contains as a subspace the configuration space of d distinct unordered points in M and therefore provides a …

Study tests if a probability measure is near a real algebraic variety.

The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the "dual" objects so called minimal stratifications. The strata are explicitly descr…

Study the expressivity and training complexity of polynomial neural networks.

The paper defines a stratification for Lie groupoids in a tame topology context.

We develop the theory of maximal representations of the fundamental group of a compact connected oriented surface with boundary, into a group of Hermitian type. For any such representation we define the Toledo invariant, for which we establish properties such as uniform boundedness on the representation variety, additi…

Researchers create a new compactification of character varieties using geometric and algebraic methods.

We extend Kac-Rice formula to compute expected intersections of random submanifolds.

Introduces Grassmann Distance Complexity to measure algebraic set nearest point problems.

We study the spaces of polynomials stratified into the sets of polynomial with fixed number of roots inside certain semialgebraic region $Ω$, on its border, and at the complement to its closure. Presented approach is a generalisation, unification and development of several classical approaches to stability problems in …

The paper approximates smooth hypersurfaces with algebraic ones, controlling the degree.

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André-Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous man…