arXiv research

Analytic functions on specific domains are characterized by their smoothness and composites with polynomial curves.

Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are p…

Let $(X,0) \subset (\mathbb{R}^n,0)$ be the germ of a closed subanalytic set and let $f$ and $g : (X,0) \rightarrow (\mathbb{R},0)$ be two subanalytic functions. Under some conditions, we relate the critical points of $g$ on the real Milnor fibre $X \cap f^{-1}(δ) \cap B_ε$, $0 <| δ| \ll ε\ll 1$, to the topology of thi…

The paper links set cuspidality to function regularity and flatness.

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For example, we prove that if $A$ is a subanalytic subset of a real analytic quotient o…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq r\leq \infty$, has a real analytic structure. This allows us to triangulate differ…

For germs of subanalytic sets, we define two finite sequences of new numerical invariants. The first one is obtained by localizing the classical Lipschitz-Killing curvatures, the second one is the real analogue of the evanescent characteristics introduced by M. Kashiwara. We show that each invariant of one sequence is …

We prove that globally subanalytic nonsingular CMC surfaces of $\mathbb{R}^3$ are only planes, round spheres or right circular cylinders

We introduce the natural and fairly general notion of a subanalytic bundle (with a finite dimensional vector space $P$ of sections) on a subanalytic subset $X$ of a real analytic manifold $M$, and prove that when $M$ is compact, there is a Baire subset $U$ of sections in $P$ whose zero-loci in $X$ have tubular neighbou…

Let $X$ be a real-analytic manifold and $g\colon X\to{\mathbf R}^n$ a proper triangulable subanalytic map. Given a subanalytic $r$-form $ω$ on $X$ whose pull-back to every non singular fiber of $g$ is exact, we show tha $ω$ has a relative primitive: there is a subanalytic $(r-1)$-form $Ω$ such that $dgΛ(ω-dΩ)=0$. The p…

We present a short complete proof of the existence of the normal cycle of a compact subanalytic set. The approach is inspired by some old ides of Joseph Fu, uses Morse theoretic techniques and $o$-minimal topology.

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on s…

Applying a local Gauss-Bonnet formula for closed subanalytic sets to the complex analytic case, we obtain characterizations of the Euler obstruction of a complex analytic germ in terms of the Lipschitz-Killing curvatures and the Chern forms of its regular part. We also prove analogous results for the global Euler obstr…

The grassmannian of hermitian lagrangian spaces in $\mathbb{C}^n\oplus \mathbb{C}^n$ is a natural compactification of the space of hermitian $n\times n$ matrices. We describe a Schubert-like, Whitney regular stratification on this space which has a Morse theoretic origin. We prove that these strata define closed subana…

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.

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

The paper extends properties of smooth functions to closed sets and maps.

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 prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable sets in polynomially bounded o-minimal structures. We give a refined version of Paw…

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

New proof confirms operations on constructible functions match theory.

We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient conditions are formulated in terms of various properties (convexity, positivity…

In this paper we investigate how germs of real functions can change under deformation. In particular we look at deformations of germs of isolated singularities from R_n to R_k (n >= k) and the relation with there natural stratification in some tame categorie (algebraic, analytic, semi-algebraic, subanalytic, o-minimal …

New concept of regular separation for ODEs leads to improved Hardy field results.

Let $G$ be a Lie group and $M$ a smooth proper $G$-manifold. Let $pi:Mto M/G$ denote the natural map to the orbit space. Then there exist a PL manifold $P$, a polyhedron $L$ and homeomorphisms $tau:Pto M$ and $σ:M/Gto L$ such that $σ\circpi\circτ$ is PL. If $M$ and the $G$-action are of analytic class, we can choose su…

Analytic proof for minimal rank Sard conjecture.

Proves regularity of extremal function on compact Kähler manifolds.

We study the link between a compact hypersurface in $¶^{n+1}$ and the set of all its tangent planes. In this context, we identify $¶^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise to a kind of duality which has already been studied Bruce and Romerro-Fuster, and r…

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

The paper extends a link criterion for Lipschitz normal embeddings to definable sets in o-minimal structures.

We prove the existence of extremal domains for the first eigenvalue of the Laplace-Beltrami operator in some compact Riemannian manifolds of dimension $n \geq 2$, with volume close to the volume of the manifold. If the first (positive) eigenfunction $φ_0$ of the Laplace-Beltrami operator over the manifold is a nonconst…

Symplectic capacities of domains near balls are well-defined, but not for all $C^1$-close domains.

Domain adaptation is transfer learning which aims to generalize a learning model across training and testing data with different distributions. Most previous research tackle this problem in seeking a shared feature representation between source and target domains while reducing the mismatch of their data distributions.…

The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of t…

Study how nodal domains change on surfaces under perturbations.

We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel asymmetry. In the first case, we determine the extremal domains.

We prove symplectic hypersurfaces in Weinstein domains and give obstructions for manifold boundaries.

3-manifolds can virtually dominate others with positive simplicial volume.

Compared with shallow domain adaptation, recent progress in deep domain adaptation has shown that it can achieve higher predictive performance and stronger capacity to tackle structural data (e.g., image and sequential data). The underlying idea of deep domain adaptation is to bridge the gap between source and target d…

Eigenfunction maxima inside high-d nodal domains.

We prove that the Teichmüller space $\mathscr{T}$ of a closed surface of genus $g \ge 2$ cannot be biholomorphic to any domain which is locally strictly convex at some boundary point.

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…

Transfer learning has recently attracted significant research attention, as it simultaneously learns from different source domains, which have plenty of labeled data, and transfers the relevant knowledge to the target domain with limited labeled data to improve the prediction performance. We propose a Bayesian transfer…

Lower bounds on average normal curvature for submanifolds in Riemannian domains.

Developed an ellipsoidal density-equalizing map for genus-0 closed surfaces.

We study the curvature flow of planar nonconvex lens-shaped domains, considered as special symmetric networks with two triple junctions. We show that the evolving domain becomes convex in finite time; then it shrinks homothetically to a point. Our theorem is the analog of the result of Grayson for curvature flow of clo…

For any pseudoconvex Runge domain $Ω\subset\mathbb{C}^2$ we prove that every closed discrete subset in $Ω$ is contained in a properly embedded complex curve in $Ω$ with any prescribed topology (possibly infinite).

Let $Ω$ be a bounded domain with convex boundary in a complete noncompact Riemannian manifold with Bakry-Émery Ricci curvature bounded below by a positive constant. We prove a lower bound of the first eigenvalue of the weighted Laplacian for closed embedded $f$-minimal hypersurfaces contained in $Ω$. Using this estimat…