A Morse theoretic approach to non-isolated singularities and applications to optimization

DOI10.1016/J.JPAA.2021.106865MaRDI QIDQ2229979zbMATH OpenOpenAlexFDO

Authors Jose Israel Rodriguez, Botong Wang, Laurentiu Maxim

Publication date 17 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.00406

zbMATH Keywords

characteristic cyclesconic Lagrangian cyclesconstructible complexesEuclidean distance degreeEuler characteristiclocal Euler obstruction functionnearby and vanishing cycle functorsobjective functionoptimal solutionperverse sheavessingular varietiesstationary points

Mathematics Subject Classification ID

Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Analytic subsets of affine space (32B15) Characteristic classes and numbers in differential topology (57R20) Nonconvex programming, global optimization (90C26)

Abstract: Let $X$ be a complex affine variety in $mathbb{C}^N$, and let $f:mathbb{C}^{N}omathbbC$ be a polynomial function whose restriction to $X$ is nonconstant. For $g:mathbb{C}^{N}omathbbC$ a general linear function, we study the limiting behavior of the critical points of the one-parameter family of $f_t:=f-tg$ as $to0$. Our main result gives an expression of this limit in terms of critical sets of the restrictions of $g$ to the singular strata of $(X,f)$. We apply this result in the context of optimization problems. For example, we consider nearest point problems (e.g., Euclidean distance degrees) for affine varieties and a possibly nongeneric data point.

Review text

Let \(X\) be a smooth submanifold of \(\mathbb C^N\) and let \(f\vert X\) be a nonconstant polynomial function with isolated critical points \(P_1, \dots , P_l\). Given a generic linear function on \(\mathbb C^N\), the perturbation \(f_t = f-tg\) is a holomorphic Morse function for all but finitely many \(t \in \mathbb C\). In this case the limit of the critical points of \(f_t\) is equal to the total sum \(\sum n_iP_i\), where \(n_i\) is the Milnor number of \(f\vert X\) at \(P_i\). The authors generalize this easy result to the case of arbitrary complex affine varieties. First, they define a limit of the set \(\mathrm{Crit}(f_t\vert X_{\mathrm{reg}})\), \(t \rightarrow 0\), of critical points of the restriction of \(f_t\) to the regular locus of \(X \subset \mathbb C^N\) and then prove that the limit is equal to the sum \(\sum n_i\mathrm{Crit}(g\vert X_i)\), where \(X_i\) are smooth locally closed subvarieties which are components of a suitable stratification given by the Lagrangian cycles of the perverse vanishing cycle functors \(^p \Phi_{f-c}([T^\ast_X\mathbb C^N])\) locally constant along \(X_i\) for all values of \(c \in \mathbb C\) and all \(i\), while \(n_i\) are nonnegative integers equal to the multiplicities of the corresponding components \([T^\ast_{\overline{X_i}}\mathbb C^N]\) of the associated characteristic cycle [\textit{D. B. Massey}, Topology Appl. 103, No. 1, 55--93 (2000; Zbl 0952.32019)]. The authors also discuss several concrete examples, some applications in convex algebraic geometry and related topics similarly to [\textit{H.-C. Graf von Bothmer} and \textit{K. Ranestad}, Bull. Lond. Math. Soc. 41, No. 2, 193--197 (2009; Zbl 1185.14047); \textit{D. B. Massey}, Numerical control over complex analytic singularities. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1025.32010)].

Recommendations

• Vanishing cycle control by the lowest degree stalk cohomology
• A generalization of Milnor's formula
• Milnor number of positive polynomials
• Perverse results on Milnor fibers inside parameterized hypersurfaces
• Critical points of functions on analytic varieties
• Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values
• scientific article; zbMATH DE number 1996410
• The Lê-Greuel formula for functions on analytic spaces
• Unfolding polynomial maps at infinity
• A little microlocal Morse theory

Cites work

• A general formula for the algebraic degree in semidefinite programming
• Characteristic varieties and vanishing cycles
• Chern classes for singular algebraic varieties
• Complexity of model testing for dynamical systems with toric steady states
• Critical points of functions on singular spaces
• Critical points via monodromy and local methods
• Defect of Euclidean distance degree
• Euclidean distance degree of the multiview variety
• Euclidean distance degrees of real algebraic groups
• Global Euler obstruction and polar invariants
• scientific article; zbMATH DE number 3752987 (Why is no real title available?)
• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 2012928 (Why is no real title available?)
• Monodromy of isolated singularities of hypersurfaces
• Morse Theory. (AM-51)
• Nearby cycles and characteristic classes of singular spaces
• Nearest points on toric varieties
• Numerical control over complex analytic singularities
• Offset hypersurfaces and persistent homology of algebraic varieties
• Perverse cohomology and the vanishing index theorem
• Polynomials and vanishing cycles
• Semidefinite Optimization and Convex Algebraic Geometry
• Sheaves in topology
• The algebraic degree of semidefinite programming
• The data singular and the data isotropic loci for affine cones
• The Euclidean distance degree of an algebraic variety
• The Euclidean distance degree of smooth complex projective varieties

Cited in

(6)

• Nonlinear optimization in finite dimensions. Morse theory, Chebyshev approximation, transversality, flows, parametric aspects
• Constructible sheaf complexes in complex geometry and applications
• Euclidean distance degree and limit points in a Morsification
• Algebraic structures in statistical methodology. Abstracts from the workshop held December 4--10, 2022
• Morse numbers of complex polynomials
• Applications of singularity theory in applied algebraic geometry and algebraic statistics

This page was built for publication: A Morse theoretic approach to non-isolated singularities and applications to optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229979)