By Hironaka Desingularization Theorem, any real analytic function has only normal crossing singularities after a suitable modification. We focus on the analytic equivalence of such functions with only normal crossing singularities. We prove that for such functions $C^{\infty}$ right equivalence implies analytic equivalence. We prove moreover that the cardinality of the set of equivalence classes is zero or countable.
The wall crossing formula of Kontsevich and Soibelman gives an implicit relation between the BPS indices on two sides of the wall of marginal stability by equating two symplectomorphisms constructed from the indices on two sides of the wall. The wall crossing formulae of Manschot, Pioline and the author give two apparently different explicit expressions for the BPS index on one side of the wall in terms of the BPS indices on the other side. We prove the equivalence of all the three formulae.
For a balanced wall crossing in geometric invariant theory, there exist derived equivalences between the corresponding GIT quotients if certain numerical conditions are satisfied. Given such a wall crossing, I construct a perverse sheaf of categories on a disk, singular at a point, with half-monodromies recovering these equivalences, and with behaviour at the singular point controlled by a GIT quotient stack associated to the wall. Taking complexified Grothendieck groups gives a perverse sheaf of vector spaces: I characterise when this is an intersection cohomology complex of a local system on…
Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in the two dimensional case: in terms of the real tree model for the arrangement of real parts of Newton-Puiseux roots and their Puiseux pairs, and in terms of minimal resolutions. These characterisations show that in the two dimensional case the blow-analytic equivalence is a natural analogue of topological equivalence of complex analytic function germs. Moreov…
For two variable real analytic function germs we compare the blow-analytic equivalence in the sense of Kuo to the other natural equivalence relations. Our main theorem states that $C^1$ equivalent germs are blow-analytically equivalent. This gives a negative answer to a conjecture of Kuo. In the proof we show that the Puiseux pairs of real Newton-Puiseux roots are preserved by the $C^1$ equivalence of function germs. The proof is achieved, being based on a combinatorial characterisation of blow-analytic equivalence in terms of the real tree model. We also give several examples of bi-Lipschitz …
To a given analytic function germ $f:(\mathbb{R}^d,0) \to (\mathbb{R},0)$, we associate zeta functions $Z_{f,+}$, $Z_{f,-} \in \mathbb{Z} [[T]]$, defined analogously to the motivic zeta functions of Denef and Loeser. We show that our zeta functions are rational and that they are invariants of the blow-analytic equivalence in the sense of Kuo. Then we use them together with the Fukui invariant to classify the blow-analytic equivalence classes of Brieskorn polynomials of two variables. Except special series of singularities our method classifies as well the blow-analytic equivalence classes of B…
We compute Bernstein-Sato polynomials of some pairs of topologically equivalent plane curve singularities. Some pairs have the same Tjurina number but distinct Bernstein-Sato polynomials, which implies that they are not analytically equivalent.
We prove the equivalence of (a slightly modified version of) the wall-crossing formula of Manschot, Pioline and Sen and the wall-crossing formula of Kontsevich and Soibelman. The former involves abelian analogues of the motivic Donaldson-Thomas type invariants of quivers with stability introduced by Kontsevich and Soibelman, for which we derive positivity and geometricity properties.
Let $f,g:(\mathbb{R}^n,0)\rightarrow (\mathbb{R},0)$ be analytic functions. We will show that if $\nabla f(0)=0$ and $g-f \in (f)^{r+2}$ then $f$ and $g$ are $C^r$-right equivalent, where $(f)$ denote ideal generated by $f$ and $r\in \mathbb{N}$.
We show that two analytic function germs $(\C^2,0) \to (\C,0)$ are topologically right equivalent if and only if there is a one-to-one correspondence between the irreducible components of their zero sets that preserves the multiplicites of these components, their Puiseux pairs, and the intersection numbers of any pairs of distinct components.
It has been recently proved that the arc-analytic type of a singular Brieskorn polynomial determines its exponents. This last result may be seen as a real analogue of a theorem by E. Yoshinaga and M. Suzuki concerning the topological type of complex Brieskorn polynomials. In the real setting it is natural to investigate further by asking how the signs of the coefficients of a Brieskorn polynomial change its arc-analytic type. The aim of the present paper is to answer this question by giving a complete classification of Brieskorn polynomials up to the arc-analytic equivalence. The proof relies …
We prove the finiteness of the number of blow-analytic equivalence classes of embedded plane curve germs for any fixed number of branches and for any fixed value of $μ'$ ---a combinatorial invariant coming from the dual graphs of good resolutions of embedded plane curve singularities. In order to do so, we develop the concept of standard form of a dual graph. We show that, fixed $μ'$ in $\mathbb{N}$, there are only a finite number of standard forms, and to each one of them correspond a finite number of blow-analytic equivalence classes. In the tribranched case, we are able to give an explicit …
To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to $\mathbb{R}^*$-equivariant $\mathcal{AS}$-bijections over $\mathbb{R}^*$, an analog of the Grothendieck ring constructed by G. Guibert, F. Loeser and M. Merle. This zeta function generalizes the previous construction of G. Fichou but thanks to its richer structure it allows us to get a convolution formula and a Thom-Sebastiani type formula. We show that our …
Approximation of real analytic functions by Nash functions is a classical topic in real geometry. In this paper, we focus on the Nash approximation of an analytic desingularization of a Nash function germ obtained by a sequence of blowings-up along smooth analytic centers. We apply the result to prove that Nash function germs that are analytically equivalent after analytic desingularizations are Nash equivalent after Nash desingularizations. Results are based on a precise Euclidean description of a sequence of blowings-up combined with Néron Desingularization.
Kyoji Saito defined a residue map from the logarithmic differential 1-forms along a reduced complex analytic hypersurface to the meromorphic functions on the hypersurface. He studied the condition that the image of this map coincides with the weakly holomorphic functions, that is, with the functions on the normalization. With Michel Granger, the author proved that this condition is equivalent to the hypersurface being normal crossing in codimension one. In this article, the condition is given a natural interpretation in terms of regular differential forms beyond the hypersurface case. For redu…
Sufficiency of jets is a very important notion introduced by Rene Thom in order to establish the structural stability theory. The criteria for some sufficiency of jets are known as the Kuo condition and Thom type inequality, which are defined using the Kuo quantity and Thom quantity. Therefore these quantities are meaningful. In this paper we show the equivalence of Kuo and Thom quantities. Then we apply this result to the relative conditions to a given closed set.
We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals and discrete sums. As another application, we refine the theorem of Brion on generating functions of polytopes and their cones at vertices. We describe the relation of this work with the equivariant i…
We address the following question, raised by T. Fukui. Is the corank an invariant of the blow-analytic equivalence between real analytic function germs? We give a partial positive answer in the particular case of the blow-Nash equivalence. The proof is based on the computation of some virtual Poincare polynomials and zeta functions associated to a Nash function germ.
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous mathematicians. Separated analytic structures admit reasonable relative quantifier elimination in a suitable analytic language. However, the rings of global analytic functions with two kinds of variables seem not to have good algebraic properties such as Noetherianity or excellence. Therefore the usual global resolution of singularities from rigid analytic ge…
We consider a compact $C^ω$ manifold $X$ and finitely many regular $C^ω$ submanifolds $Y_1, \dots, Y_q$ of $X$, which are closed subsets in $X$, such that the union of $Y_j$'s has only normal crossings. We show that every continuous function on the union which is of class $C^ω$ on each $Y_j$ can be extended to a $C^ω$ function on $X$. A crucial feature of our proof is to employ basic tools of real analytic geometry -- Cartan Theorems A and B.
We compute I-functions and central charges for abelian GLSMs using virtual matrix factorizations of Favero and Kim. In the Calabi-Yau case we provide analytic continuation for the central charges by explicit integral formulas. The integrals in question are called hemisphere partition functions and we call the integral representation Higgs-Coulomb correspondence. We then use it to prove GIT stability wall-crossing for central charges.
It is known that the weights of a complex weighted homogeneous polynomial $f$ with isolated singularity are analytic invariants of $(\mathbb C^d,f^{-1}(0))$. When $d=2,3$ this result holds by assuming merely the topological type instead of the analytic one. G. Fichou and T. Fukui recently proved the following real counterpart: the blow-Nash type of a real singular non-degenerate convenient weighted homogeneous polynomial in three variables determines its weights. The aim of this paper is to generalize the above-cited result with no condition on the number of variables. We work with a character…
This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow-spherical equivalence, which generalizes differential equivalence and subanalytic bi-Lipschitz equivalence and, with this approach, we obtain several applications on analytic sets. On regularity, we show that blow-spherical regularity of real analytic implies $C^1$ smoothness only in the case of real analytic curves. On multiplicity, we present a generalization for Gau-Lipman's Theorem about differential invariance of the multiplicity in the comple…
We prove that two analytic branches in $(\mathbb{C}^n,0)$ whose dual resolution graph is the same admit an ambient isotopy which is smooth outside the origin. A weaker version of the converse is also proved.
We introduce topological notions of normal crossings symplectic divisor and variety and establish that they are equivalent, in a suitable sense, to the desired geometric notions. Our proposed concept of equivalence of associated topological and geometric notions fits ideally with important constructions in symplectic topology. This partially answers Gromov's question on the feasibility of defining singular symplectic (sub)varieties and lays foundation for rich developments in the future. In subsequent papers, we establish a smoothability criterion for symplectic normal crossings varieties, in …
We introduce the notion of analytic stability data on the Lie algebra of vector fields on a torus. We prove that the subspace of analytic stability data is open and closed in the topological space of all stability data. We formulate a general conjecture which explains how analytic stability data give rise to resurgent series. This conjecture is checked in several examples.
This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several applications with this new approach. For example, we reduce to homogeneous complex algebraic sets a version of Zariski's multiplicity conjecture in the case of blow-spherical homeomorphism, we give some partial answers to the Zariski's multiplicity conjecture, we show that a blow-spherical regular complex analytic set is smooth and we give a complete classif…
Group-circulant singularities and partial desingularization preserving normal crossings
Université Paris Cité（巴黎西岱大学）；Sorbonne Université, UFR de Mathématiques, Institut de Mathématiques de Jussieu-Paris Rive Gauche（索邦大学，数学学院，朱西厄-巴黎左岸数学研究所）；Institut universitaire de France (IUF)（法国大学研究院）；University of Toronto（多伦多大学）
We prove that if two germs of irreducible complex analytic curves at $0\in\mathbb{C}^2$ have different sequence of characteristic exponents, then there exists $0<α<1$ such that those germs are not $α$-Hölder homeomorphic. For germs of complex analytic plane curves with several irreducible components we prove that if any two of them are $α$-Hölder homeomorphic, for all $0<α<1$, then there is a correspondence between their branches preserving sequence of characteristic exponents and intersection multiplicity of pair of branches. In particular, we recovery the sequence of characteristic exponents…
In this paper \emph{analytic equivalence} of geometric transition is defined in such a way that equivalence classes of geometric transitions turn out to be the \emph{arrows} of the \cy web. Then it seems natural and useful, both from the mathematical and physical point of view, look for privileged arrows' representatives, called \emph{canonical models}, laying the foundations of an \emph{analytic} classification of geometric transitions. At this purpose a numerical invariant, called \emph{bi--degree}, summarizing the topological, geometric and physical changing properties of a geometric transi…
We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting equivalence. We show that this definition generalizes the usual rigid cohomology in case the variety has good reduction. We also prove a conjecture of Ayoub yielding an equivalence between rigid analytic motives with good reduction and unipotent algebraic motives over the residue field, also in mixed characteristic.
This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to ``pre-D-modules''), and then introducing a notion of (semi-)stability and applying Geometric Invariant Theory to construct a coarse moduli scheme for semistable pre-D-modules. A moduli is constructed also for the corresponding perverse sheaves, and the Riemann-Hilbert correspondence is represented by an analytic morphism between these moduli spaces.
