Related papers: On Resolving Singularities

We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…

For regular and nonregular (singular) semilinear differential-algebraic equations (DAEs), we prove theorems on the existence and uniqueness of global solutions and on the blow-up of solutions, which allow one to identify the sets of initial…

In this paper we describe the implementation that led to the counterexamples to the Nash blowup conjectures recently discovered by the authors. We also provide new examples of toric varieties with prescribed singularities that are not…

In this paper, the discretization of a nonlinear wave equation whose nonlinear term is a power function is introduced. The difference equation derived by discretizing the nonlinear wave equation has solutions which show characteristics…

We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is…

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…

In this paper, we consider the initial-boundary value problem to the compressible Navier-Stokes equations for ideal gases without heat conduction in the half space or outside a fixed ball in $\mathbb R^N$, with $N\geq1$. We prove that any…

Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these…

Consider axisymmetric strong solutions of the incompressible Navier-Stokes equations in $\R^3$ with non-trivial swirl. Such solutions are not known to be globally defined, but it is shown in \cite{MR673830} that they could only blow up on…

In classical and real algebraic geometry there are several notions of the radical of an ideal I. There is the vanishing radical defined as the set of all real polynomials vanishing on the real zero set of I, and the real radical defined as…

Let M be a singular irreducible complex manifold of dimension n. There are Q divisors D[-1], D[0], D[1],...,D[n+1] on Nash's manifold U -> M such that D[n+1] is relatively ample on bounded sets, D[n] is relatively eventually basepoint free…

We study the problem of resolving singularities via the blow-up of the module of derivations. Our main results are a positive answer for the case of curves and log-canonical surface singularities, i.e., a finite sequence of blow-ups along…

We show that the second Jacobian ideal of a hypersurface can be decomposed such that a power of the Jacobian ideal becomes a factor. As an application of the decomposition, we present an elementary proof establishing that the second Nash…

Given a variety $X$ over a perfect field, we study the partition defined on $X$ by the multiplicity (into equimultiple points), and the effect of blowing up at smooth equimultiple centers. Over fields of characteristic zero we prove…

We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the…

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…

We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals…

We study the tensor product $V$ of any number of "elementary" irreducible modules over the Yangian of the general linear Lie algebra. An elementary module is determined by a skew Young diagram and by a complex parameter, and contains a…

This paper deals with the Nash problem, which claims that there are as many families of arcs on a singular germ of surface $U$ as there are essential components of the exceptional divisor in the desingularisation of this singularity. Let…

We provide an alternative definition for the familiar concept of regular singularity for meromorphic connections. Our new formulation does not use derived categories, and it also avoids the necessity of finding a special good filtration as…