A Thom Isotopy Theorem for nonproper semialgebraic maps

Luis Renato Gonçalves Dias,Giovanny Snaider Barrera Ramos

2024-04-30

Abstract:We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map $F:\mathbb{R}^n\to \mathbb{R}^m$.

Differential Geometry

What problem does this paper attempt to address?

Thom condition and Monodromy

R. Giménez Conejero,Lê Dũng Tráng,J. J. Nuño-Ballesteros

DOI: https://doi.org/10.1007/s13398-022-01353-y

2024-03-22

Abstract:We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided that $f\in\mathfrak m_{X,x}^2$, where $\mathfrak m_{X,x}$ is the maximal ideal of $\mathcal O_{X,x}$. This result generalizes a well-known theorem of the second named author when $X$ is smooth and proves a statement by Tibar in his PhD thesis. It also implies the A'Campo theorem that the Lefschetz number of the monodromy is equal to zero. Moreover, we give an application to the case that $X$ has maximal rectified homotopical depth at $x$ and show that a family of such functions with isolated critical points and constant total Milnor number has no coalescing of singularities.

Algebraic Geometry,Algebraic Topology
A Thom Isomorphism in Foliated De Rham Theory

Yi Lin,Reyer Sjamaar

DOI: https://doi.org/10.1016/j.indag.2020.10.003

IF: 0.827

2020-01-01

Indagationes Mathematicae

Abstract:We prove a Thom isomorphism theorem for differential forms in the setting of transverse Lie algebra actions on foliated manifolds and foliated vector bundles.
Regular homotopy classes of locally generic mappings

Andras Juhasz

DOI: https://doi.org/10.1016/j.topol.2003.07.004

2005-06-28

Abstract:In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) singularities. As an application, we get a description of the path-components of the space of those immersions of a surface into R^4 whose projections into R^3 are locally generic.

Geometric Topology,Algebraic Topology
The Borsuk-Ulam Theorem for n-valued maps between surfaces

Vinicius Casteluber Laass,Carolina de Miranda e Pereiro

DOI: https://doi.org/10.1007/s10711-023-00879-8

2024-02-15

Geometriae Dedicata

Abstract:In this work we analysed the validity of a type of Borsuk-Ulam theorem for multimaps between surfaces. We developed an algebraic technique involving braid groups to study this problem for n -valued maps. As a first application we described when the Borsuk-Ulam theorem holds for split and non-split multimaps in the following two cases: ( i ) X is the 2-sphere equipped with the antipodal involution and Y is either a closed surface or the Euclidean plane; ( ii ) X is a closed surface different from the 2-sphere equipped with a free involution and Y is the Euclidean plane. The results are exhaustive and in the case ( ii ) are described in terms of an algebraic condition involving the first integral homology group of the orbit space .

mathematics
The motivic Thom isomorphism

Jack Morava

DOI: https://doi.org/10.48550/arXiv.math/0306151

2003-12-15

Abstract:The existence of a good theory of Thom isomorphisms in some rational category of mixed Tate motives would permit a nice interpolation between ideas of Kontsevich on deformation quantization, and ideas of Connes and Kreimer on a Galois theory of renormalization, mediated by Deligne's ideas on motivic Galois groups.

Algebraic Topology,Mathematical Physics,Algebraic Geometry
A Thom-Sebastiani Theorem in Characteristic p

Lei Fu

DOI: https://doi.org/10.48550/arXiv.1105.5210

2013-12-30

Abstract:Let $k$ be a perfect field of characteristic $p$, let $f_i:X_i\to\mathbb A_k^1$ $(i=1,2)$ be two $k$-morphism of finite type, and let $f:X_1\times_k X_2\to \mathbb A_k^1$ be the morphism defined by $f(z_1,z_2)=f_1(z_1)+f_2(z_2)$. For each $i\in\{1,2\}$, let $x_i$ be a $k$-rational point in the fiber $f_i^{-1}(0)$ such that $f_i$ is smooth on $X_i-\{x_i\}$. Using the $\ell$-adic Fourier transformation and the stationary phase principle of Laumon, we prove that the vanishing cycle of $f$ at $x=(x_1,x_2)$ is the convolution product of the vanishing cycles of $f_i$ at $x_i$ $(i=1,2)$.

Algebraic Geometry
On the role of semismoothness in nonsmooth numerical analysis: Theory

H. Gfrerer,J. V. Outrata

2024-05-23

Abstract:For the numerical solution of nonsmooth problems, sometimes it is not necessary that an exact subgradient/generalized Jacobian is at our disposal, but that a certain semismoothness property is fulfilled. In this paper we consider not only semismoothness of nonsmooth real- and vector-valued mappings, but also its interplay with the semismoothness$^*$ property for multifunctions. In particular, we are interested in the semismoothness of solution maps to parametric semismooth$^*$ inclusions. Our results are expressed in terms of suitable generalized derivatives of the set-valued part, i.e., by limiting coderivatives or by SC (subspace containing) derivatives. As a byproduct we identify a class of multifunctions having the remarkable property that they are strictly proto-differentiable almost everywhere (with respect to some Hausdorff measure) on their graph.

Optimization and Control
Thom polynomials of Morin singularities

Gergely Berczi,Andras Szenes

DOI: https://doi.org/10.48550/arXiv.math/0608285

2008-12-05

Abstract:We prove a formula for Thom polynomials of Morin (or A_d) singularities in any codimension. We use a combination of the test-curve method of Porteous, and the localization methods in equivariant cohomology. Our formulas are independent of the codimension, and they are computationally efficient for d less than 7.

Algebraic Topology,Commutative Algebra
$C^1$-triangulations of semialgebraic sets

Toru Ohmoto,Masahiro Shiota

DOI: https://doi.org/10.48550/arXiv.1505.03970

2015-05-15

Algebraic Geometry

Abstract: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 \omega$ over a compact semialgebraic subset $X$ of a differential form $\omega$ on an ambient algebraic manifold, that provides a significant simplification of the theory of semialgebraic singular chains and integrations. Our results hold over every (possibly non-archimedian) real closed field.
The tropical non-properness set of a polynomial map

Boulos El Hilany

2024-07-19

Abstract:We study some discrete invariants of Newton non-degenerate polynomial maps $f : \mathbb{K}^n \to \mathbb{K}^n$ defined over an algebraically closed field of Puiseux series $\mathbb{K}$, equipped with a non-trivial valuation. It is known that the set $\mathcal{S}(f)$ of points at which $f$ is not finite forms an algebraic hypersurface in $\mathbb{K}^n$. The coordinate-wise valuation of $\mathcal{S}(f)\cap (\mathbb{K}^*)^n$ is a piecewise-linear object in $\mathbb{R}^n$, which we call the tropical non-properness set of $f$. We show that the tropical polynomial map corresponding to $f$ has fibers satisfying a particular combinatorial degeneracy condition exactly over points in the tropical non-properness set of $f$. We then use this description to outline a polyhedral method for computing this set, and to recover the fan dual to the Newton polytope of the set at which a complex polynomial map is not finite. The proofs rely on classical correspondence and structural results from tropical geometry, combined with a new description of $\mathcal{S}(f)$ in terms of multivariate resultants.

Algebraic Geometry,Combinatorics
Smooth Connes–Thom Isomorphism, Cyclic Homology, and Equivariant Quantization

Sayan Chakraborty,Xiang Tang,Yi-Jun Yao

DOI: https://doi.org/10.1007/s00220-024-05069-5

IF: 2.361

2024-01-01

Communications in Mathematical Physics

Abstract:Using a smooth version of the Connes–Thom isomorphism in Grensing’s bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes–Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantizations.
Finiteness of Cohomology for Pro-locally Proper Maps

Javier Sánchez González

DOI: https://doi.org/10.1007/s00009-024-02646-9

2024-04-26

Mediterranean Journal of Mathematics

Abstract:We introduce a notion of proper morphism for schematic finite spaces and prove the analog of Grothendieck's finiteness theorem for it. The techniques we employ, which further develop the theory of schematic spaces and proschemes , are ultimately founded on descent properties of flat epimorphisms of rings that are applicable in other situations in order to weaken finite presentation requirements.

mathematics, applied
Smooth and proper maps with respect to a fibration

Mathieu Anel,Jonathan Weinberger

DOI: https://doi.org/10.1017/s096012952400032x

2024-11-08

Mathematical Structures in Computer Science

Abstract:This paper explain how the geometric notions of local contractibility and properness are related to the -types and -types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external references.

computer science, theory & methods
The proper homotopy of Alexandroff spaces

Tomás Fernández-Bayort,Álvaro Luque,Antonio Quintero

DOI: https://doi.org/10.2989/16073606.2024.2323159

2024-03-23

Quaestiones Mathematicae

Abstract:This paper introduces the study of the infinity in the class of Alexandroff spaces by establishing the proper category of locally finite Alexandroff spaces. We observe that the McCord and Clader theorems are available in this setting. The paper can be considered as the starting point of a seemingly new research: relating the combinatorics and topology of the proper category of Alexandroff spaces to the proper invariants used in the geometric topology of non-compact polyhedra and manifolds.

mathematics
Thom-Sebastiani Properties of Kohn-Rossi Cohomology of Compact Connected Strongly Pseudoconvex Cr Manifolds

Stephen S. T. Yau,HuaiQing Zuo

DOI: https://doi.org/10.1007/s11425-016-5125-6

2016-01-01

Science China Mathematics

Abstract:Let X 1 and X 2 be two compact connected strongly pseudoconvex embeddable Cauchy-Riemann (CR) manifolds of dimensions 2 m - 1 and 2 n - 1 in ℂ m +1 and ℂ n +1 , respectively. We introduce the Thom-Sebastiani sum X = X 1 ⊕ X 2 which is a new compact connected strongly pseudoconvex embeddable CR manifold of dimension 2 m +2 n +1 in ℂ m + n +2 . Thus the set of all codimension 3 strongly pseudoconvex compact connected CR manifolds in ℂ n +1 for all n ≥ 2 forms a semigroup. X is said to be an irreducible element in this semigroup if X cannot be written in the form X 1 ⊕ X 2 . It is a natural question to determine when X is an irreducible CR manifold. We use Kohn-Rossi cohomology groups to give a necessary condition of the above question. Explicitly, we show that if X = X 1 ⊕ X 2 , then the Kohn-Rossi cohomology of the X is the product of those Kohn-Rossi cohomology coming from X 1 and X 2 provided that X 2 admits a transversal holomorphic S 1 -action.
Surjective Nash maps between semialgebraic sets

Antonio Carbone,José F. Fernando

DOI: https://doi.org/10.1016/j.aim.2023.109288

IF: 1.675

2024-02-01

Advances in Mathematics

Abstract:In this work we study the existence of surjective Nash maps between two given semialgebraic sets S and T . Some key ingredients are: the irreducible components S i ⁎ of S (and their intersections), the analytic path-connected components T j of T (and their intersections) and the relations between dimensions of the semialgebraic sets S i ⁎ and T j . A first step to approach the previous problem is the former characterization done by the second author of the images of affine spaces under Nash maps. The core result of this article to obtain a criterion to decide about the existence of surjective Nash maps between two semialgebraic sets is: a full characterization of the semialgebraic subsets S ⊂ R n that are the image of the closed unit ball B ‾ m of R m centered at the origin under a Nash map f : R m → R n . The necessary and sufficient conditions that must satisfy such a semialgebraic set S are: it is compact, connected by analytic paths and has dimension d ≤ m . Two remarkable consequences of the latter result are the following: (1) pure dimensional compact irreducible arc-symmetric semialgebraic sets of dimension d are Nash images of B ‾ d , and (2) compact semialgebraic sets of dimension d are projections of non-singular algebraic sets of dimension d whose connected components are Nash diffeomorphic to spheres (maybe of different dimensions).

mathematics
The Space of Anosov Diffeomorphisms.

F. Thomas Farrell,Andrey Gogolev

DOI: https://doi.org/10.1112/jlms/jdt073

2014-01-01

Journal of the London Mathematical Society

Abstract:We consider the space X-L of Anosov diffeomorphisms homotopic to a fixed automorphism L of an infranilmanifold M. We show that if M is the 2-torus T-2 then X-L is homotopy equivalent to T-2. In contrast, if the dimension of M is large enough, then we show that X-L is rich in homotopy and has infinitely many connected components.
Universal polynomials for multi-singularity loci of maps

Toru Ohmoto

2024-06-18

Abstract:In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero -- we call them Thom polynomials for multi-singularity types of maps. It has been referred to as the Thom-Kazarian principle and unsolved for a long time. This result solidifies the foundation for a general enumerative theory of singularities of maps which is applicable to a broad range of problems in classical and modern algebraic geometry. In particular, it would contribute to a satisfactory answer to the rest of (an advanced form of) Hilbert's 15th problem and connect such classics to recent new interests in enumerations inspired by mathematical physics and other fields. A main feature of our proof is a striking use of algebro-geometric cohomology operations. Somewhat surprisingly, when trying to grasp a full perspective of classical enumerative geometry, we will inevitably encounter algebraic cobordism and motivic cohomology.

Algebraic Geometry
Proper topological complexity

Jose M. Garcia-Calcines,Aniceto Murillo

2024-07-24

Abstract:We introduce and study the proper topological complexity of a given configuration space, a version of the classical invariant for which we require that the algorithm controlling the motion is able to avoid any possible choice of ``unsafe'' area. To make it a homotopy functorial invariant we characterize it as a particular instance of the exterior sectional category of an exterior map, an invariant of the exterior homotopy category which is also deeply analyzed.

Algebraic Topology
Detecting Thom faults in stratified mappings

Saurabh Trivedi,David Trotman

DOI: https://doi.org/10.48550/arXiv.1311.4061

2013-11-16

Abstract:We state and prove several characterizations of Thom's regularity condition for stratified maps. In particular we extend to stratified maps some characterizations of Whitney (a) regularity, due to the second author.

Algebraic Geometry

A Thom Isotopy Theorem for nonproper semialgebraic maps

Thom condition and Monodromy

A Thom Isomorphism in Foliated De Rham Theory

Regular homotopy classes of locally generic mappings

The Borsuk-Ulam Theorem for n-valued maps between surfaces

The motivic Thom isomorphism

A Thom-Sebastiani Theorem in Characteristic p

On the role of semismoothness in nonsmooth numerical analysis: Theory

Thom polynomials of Morin singularities

$C^1$-triangulations of semialgebraic sets

The tropical non-properness set of a polynomial map

Smooth Connes–Thom Isomorphism, Cyclic Homology, and Equivariant Quantization

Finiteness of Cohomology for Pro-locally Proper Maps

Smooth and proper maps with respect to a fibration

The proper homotopy of Alexandroff spaces

Thom-Sebastiani Properties of Kohn-Rossi Cohomology of Compact Connected Strongly Pseudoconvex Cr Manifolds

Surjective Nash maps between semialgebraic sets

The Space of Anosov Diffeomorphisms.

Universal polynomials for multi-singularity loci of maps

Proper topological complexity

Detecting Thom faults in stratified mappings