arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2311.01874

Singularities of functions: a global point of view

Claude Sabbah
View original source ↗Read source document ↗Export metadata ↓

Abstract

This text surveys cohomological properties of pairs $(U,f)$ consisting of a smooth complex quasi-projective variety $U$ together with a regular function on~it. On the one hand, one tries to mimic the case of a germ of holomorphic function in its Milnor ball and, on the other hand, one takes advantage of the algebraicity of~$U$ and $f$ to apply technique of algebraic geometry, in particular Hodge theory. The monodromy properties are expressed by means of tools provided by the theory of linear differential equations, by mimicking the Stokes phenomenon. In the case of tame functions on smooth affine varieties, which is an algebraic analogue of that of a holomorphic function with an isolated critical point, the theory simplifies much and the formulation of the results are nicer. Examples of such tame functions are exhibited.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Claude Sabbah. 2024-10-27. Singularities of functions: a global point of view. https://doi.org/10.1007/978-3-031-68711-2_6

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets

Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed using so-called pseudo-witness sets without computing a defining equation for the hypersurface. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all components of the real complement of the hypersurface.

math.AG↗
arXiv2026

On G-birational rigidity of projective spaces

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4,5,7$, we prove that $\mathbb{P}^n$ is $G$-birationally superrigid if $G$ is a primitive subgroup isomorphic to $\mathrm{PSp}_{4}(\mathbf{F}_3)$, $\mathrm{PSU}_4(\mathbf{F}_3)\rtimes\boldsymbolμ_2$, $\mathrm{O}_8^+(\mathbf{F}_2)\rtimes \boldsymbolμ_2$, respectively.

math.AG↗
arXiv2026

Topological String Blowup Equations via Stable Pairs

The blowup equations of Huang, Sun and Wang are bilinear relations satisfied by the refined topological string partition function of a local Calabi--Yau 3-fold. We prove the blowup equations for the local Hirzebruch surfaces \(\operatorname{Tot}_{\mathbb F_\ell}K_{\mathbb F_\ell}\), \(0\leq\ell\leq2\), as identities of torus-equivariant symmetrized \(K\)-theoretic stable pair invariants; for \(\ell=2\) the invariants are localized indices. The proof identifies the stable pair vertex sum, after division by the fibre contribution, with the equivariant Euler characteristic of \((\det\mathcal V)^\ell\) on the moduli space of framed rank \(2\) sheaves on \(\mathbb P^2\). The blowup formulas of Nakajima--Yoshioka for framed sheaves then yield the unity and vanishing equations. For local \(\mathbb P^2\) we obtain the blowup equations conditionally on two explicitly stated conjectures. We also state the Huang--Sun--Wang conjecture for general local Calabi--Yau 3-folds in the language of stable pairs, and formulate stable pair conjectures for the local rational elliptic surface involving the \(E_8\) lattice.

math.AG↗