Searcharxiv⌕ Search

arXiv subjects

Pierre D. Milman

Publications and source records attributed to Pierre D. Milman.

At least 19 recordsLinked to original sources
arXiv2025

Effective resolution of singularities

Consider a projective variety $X \subset \mathbb{P}^n$ (over an algebraically closed field of characteristic zero), together with a (reduced) simple normal crossings divisor $E \subset \mathbb{P}^n$, where the degrees of both $X$ and $E$ are at most $d$. We show there is a pair $(n',d')$ which can be explicitly computed in terms of $(n,d)$, such that $(X,E)$ has a log resolution of singularities $(X',E')$, where $(X',E')$ can be embedded in $\mathbb{P}^{n'}$ and both $X'$ and $E'$ have degrees at most $d'$ in $\mathbb{P}^{n'}$.

math.AG↗
arXiv2021

$\mathcal C^m$ solutions of semialgebraic or definable equations

We address the question of whether geometric conditions on the given data can be preserved by a solution in (1) the Whitney extension problem, and (2) the Brenner-Fefferman-Hochster-Kollár problem, both for $\mathcal C^m$ functions. Our results involve a certain loss of differentiability. Problem (2) concerns the solution of a system of linear equations $A(x)G(x)=F(x)$, where $A$ is a matrix of functions on $\mathbb R^n$, and $F$, $G$ are vector-valued functions. Suppose the entries of $A(x)$ are semialgebraic (or, more generally, definable in a suitable o-minimal structure). Then we find $r=r(m)$ such that, if $F(x)$ is definable and the system admits a $\mathcal C^r$ solution $G(x)$, then there is a $\mathcal C^m$ definable solution. Likewise in problem (1), given a closed definable subset $X$ of $\mathbb R^n$, we find $r=r(m)$ such that if $g:X\to\mathbb R$ is definable and extends to a $\mathcal C^r$ function on $\mathbb R^n$, then there is a $\mathcal C^m$ definable extension.

math.CA↗
arXiv2017

Geometric Auslander criterion for flatness

We prove that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if the n-fold analytic tensor power of this stalk over R (where n = dim R) has no vertical elements. The result implies that if F is a finite module over a morphism f:X->Y of complex algebraic varieties, where Y is smooth and n=dim Y, then the stalk of F at x is R-flat if and only if its n-fold tensor power is a torsionfree R-module. The latter generalizes a classical freeness criterion of Auslander to modules that are not necessarily finitely generated over the base ring.

math.AC↗
arXiv2017

Geometric Auslander criterion for openness of an algebraic morphism

We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a topological analogue of a criterion for flatness that originates with Auslander.

math.AG↗
arXiv2016

Malgrange division by quasianalytic functions

Quasianalytic classes are classes of infinitely differentiable functions that satisfy the analytic continuation property enjoyed by analytic functions. Two general examples are quasianalytic Denjoy-Carleman classes (of origin in the analysis of linear partial differential equations) and the class of infinitely differentiable functions that are definable in a polynomially bounded o-minimal structure (of origin in model theory). We prove a generalization to quasianalytic functions of Malgrange's celebrated theorem on the division of infinitely differentiable by real-analytic functions.

math.CV↗
arXiv2015

Resolution of singularities of the cotangent sheaf of a singular variety

The main problem studied is resolution of singularities of the cotangent sheaf of a complex- or real-analytic variety Y (or of an algebraic variety Y over a field of characteristic zero). Given Y, we ask whether there is a global resolution of singularities s: X -> Y such that the pulled-back cotangent sheaf of Y is generated by differential monomials in suitable coordinates at every point of X ("Hsiang-Pati coordinates''). Desingularization of the cotangent sheaf is equivalent to monomialization of Fitting ideals generated by minors of a given order of the logarithmic Jacobian matrix of s. We prove resolution of singularities of the cotangent sheaf in dimension up to three. It was previously known for surfaces with isolated singularities (Hsiang-Pati 1985, Pardon-Stern 2001). Consequences include monomialization of the induced Fubini-Study metric on the smooth part of a complex projective variety Y; there have been important applications of the latter to L2-cohomology.

math.AG↗
arXiv2014

Arc-quasianalytic functions

We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its restriction to every quasianalytic arc is quasianalytic) if and only if f becomes quasianalytic after (a locally finite covering of U by) finite sequences of local blowing-ups. This generalizes a theorem of the first two authors on arc-analytic functions.

math.CV↗
arXiv2012

Desingularization by blowings-up avoiding simple normal crossings

It is shown that, for any reduced algebraic variety in characteristic zero, one can resolve all but simple normal crossings (snc) singularities by a finite sequence of blowings-up with smooth centres which, at every step, avoids points where the transformed variety together with the exceptional divisor has only snc singularities. The proof follows the philosophy of arXiv:1107.5595 that the desingularization invariant can be used together with natural geometric information to compute local normal forms of singularities.

math.AG↗
arXiv2011

Resolution except for minimal singularities I

The philosophy of the article is that the desingularization invariant together with natural geometric information can be used to compute local normal forms of singularities. The idea is used in two related problems: (1) We give a proof of resolution of singularities of a variety or a divisor, except for simple normal crossings (i.e., which avoids blowing up simple normal crossings, and ends up with a variety or a divisor having only simple normal crossings singularities). (2) For more general normal crossings (in a local analytic or formal sense), such a result does not hold. We find the smallest class of singularities (in low dimension or low codimension) with which we necessarily end up if we avoid blowing up normal crossings singularities. Several of the questions studied were raised by Kollar.

math.AG↗
arXiv2011

Resolution except for minimal singularities II. The case of four variables

In this sequel to Resolution except for minimal singularities I, we find the smallest class of singularities in four variables with which we necessarily end up if we resolve singularities except for normal crossings. The main new feature is a characterization of singularities in four variables which occur as limits of triple normal crossings singularities, and which cannot be eliminated by a birational morphism that avoids blowing up normal crossings singularities.

math.AG↗
arXiv2011

An inductive analytic criterion for flatness

We present a constructive criterion for flatness of a morphism of analytic spaces X -> Y or, more generally, for flatness over Y of a coherent sheaf of modules on X. The criterion is a combination of a simple linear-algebra condition "in codimension zero" and a condition "in codimension one" which can be used together with the Weierstrass preparation theorem to inductively reduce the fibre dimension of the morphism.

math.AC↗
arXiv2009

Q-universal desingularization

We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteristic zero admits a regular morphism to a Q-variety. The desingularization algorithm is therefore Q-universal or absolute in the sense that it is induced from its restriction to varieties over Q. As a consequence, for example, the algorithm extends functorially to localizations and Henselizations of varieties.

math.AG↗
arXiv2007

Functoriality in resolution of singularities

Algorithms for resolution of singularities in characteristic zero are based on Hironaka's idea of reducing the problem to a simpler question of desingularization of an "idealistic exponent" (or "marked ideal"). How can we determine whether two marked ideals are equisingular in the sense that they can be resolved by the same blowing-up sequences? We show there is a desingularization functor defined on the category of equivalence classes of marked ideals and smooth morphisms, where marked ideals are "equivalent" if they have the same sequences of "test transformations". Functoriality in this sense realizes Hironaka's idealistic exponent philosophy. We use it to show that the recent algorithms for desingularization of marked ideals of Wlodarczyk and of Kollar coincide with our own, and we discuss open problems. This article is dedicated to Heisuke Hironaka for his 77th birthday, in celebration of "Kiju" -- joy and long life!

math.AG↗
arXiv2004

Desingularization of toric and binomial varieties

We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.

math.AG↗
arXiv2002

Desingularization algorithms I. Role of exceptional divisors

The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare algorithms of the authors and of Villamayor and his collaborators, distinguishing between the fundamental effect of the way the exceptional divisors are used, and different theorems obtained because of flexibility allowed in the choice of "input data". We show how the meaning of "invariance" of the desingularization invariant, and the efficiency of the algorithm depend on the notion of "equivalence" of collections of local data used in the inductive construction.

math.AG↗
arXiv2001

Resolution of singularities in Denjoy-Carleman classes

We show that a version of the desingularization theorem of Hironaka holds for certain classes of infinitely differentiable functions (essentially, for subrings that exclude flat functions and are closed under differentiation and the solution of implicit equations). Examples are quasianalytic classes, introduced by E. Borel a century ago and characterized by the Denjoy-Carleman theorem. These classes have been poorly understood in dimension > 1. Resolution of singularities can be used to obtain many new results; for example, topological Noetherianity, Lojasiewicz inequalities, division properties.

math.CV↗
arXiv1997

Resolution of Singularities

This article is an exposition of an elementary constructive proof of canonical resolution of singularities in characteristic zero, presented in detail in Invent. Math. 128 (1997), 207-302. We define a new local invariant and get an algorithm for canonical desingularization by successively blowing up its maximum loci. The invariant can be described by local computations that provide equations for the centres of blowing up. We describe the origin of our approach and present the proof (in the hypersurface case) in parallel with a worked example.

alg-geom↗