Monomialization of a quasianalytic morphism

DOI10.24033/ASENS.2562arXiv1907.09502OpenAlexW2964306244WikidataQ128831065 ScholiaQ128831065MaRDI QIDQ6131447FDOQ6131447

Authors: André Belotto da Silva, Edward Bierstone 

Publication date: 5 April 2024

Published in: Annales Scientifiques de l?tcole Normale Sup�rieure (Search for Journal in Brave)

Abstract: We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $c{C}^{i}nfty$ functions definable in a polynomially bounded $o$-minimal structure, as well as the classes of real- or complex analytic functions, and algebraic functions over any field of characteristic zero. The monomialization theorem asserts that a mapping in a quasianalytic class can be transformed to a mapping whose components are monomials with respect to suitable local coordinates, by sequences of simple modifications of the source and target -- local blowings-up and power substitutions in the real cases, in general, and local blowings-up alone in the algebraic or analytic cases. Monomialization is a version of resolution of singularities for a mapping. We show that it is not possible, in general, to monomialize by global blowings-up, even in the real-analytic case.

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

zbMATH Keywords

logarithmic derivationresolution of singularitiesquantifier eliminationblowing-upmonomializationDenjoy-Carleman class\(o\)-minimal structurequasianalytic continuationquasianalyticpower substitutionalgebraic and analytic varietes

Mathematics Subject Classification ID

Rational and birational maps (14E05) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Model theory of ordered structures; o-minimality (03C64) (C^infty)-functions, quasi-analytic functions (26E10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10) Modifications; resolution of singularities (complex-analytic aspects) (32S45) Quasi-analytic and other classes of functions of one complex variable (30D60)

Cites Work

• Introduction to Toric Varieties. (AM-131)
• Semianalytic and subanalytic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• The implicit function theorem for ultradifferentiable mappings
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Resolution of singularities in Denjoy-Carleman classes
• Ultra-distributions definies sur \(R^ n\) et sur certaines classes de variétés différentiables
• Title not available (Why is that?)
• Torification and factorization of birational maps
• Toroidalization of dominant morphisms of 3-folds
• Toroidal varieties and the weak factorization theorem
• On quasianalytic local rings
• Frobenius avec singularites. II: Le cas général
• Title not available (Why is that?)
• Arc-analytic functions
• Local monomialization of a system of first integrals of Darboux type
• Local resolution of ideals subordinated to a foliation
• Resolution of singularities of the cotangent sheaf of a singular variety
• Local monomialization of analytic maps
• Global resolution of singularities subordinated to a 1-dimensional foliation
• Functoriality in resolution of singularities
• Weak semistable reduction in characteristic 0
• Local monomialization of transcendental extensions.
• Monomialization of morphisms and \(p\)-adic quantifier elimination
• FORMAL RELATIONS BETWEEN ANALYTIC FUNCTIONS
• Weak toroidalization over non-closed fields
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Lectures on Logarithmic Algebraic Geometry
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• Pathological phenomena in Denjoy-Carleman classes
• Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras
• When \(\varphi(f)\) convergent implies \(f\) is convergent
• Global smoothing of a subanalytic set
• Lower bounds for quasianalytic functions, I. How to control smooth functions
• Partial resolution by toroidal blow-ups
• Semistable reduction in characteristic 0
• Composite quasianalytic functions
• Arc-quasianalytic functions
• Principalization of ideals on toroidal orbifolds
• Quantifier elimination in quasianalytic structures via non-standard analysis

This page was built for publication: Monomialization of a quasianalytic morphism

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