相关论文: Formal Desingularization of Surfaces - The Jung Me…

These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic…

In this paper we discuss the desingularization algorithm for a toric surface. In particular, we construct an iterable method of determining the Hirzebruch-Jung continued fraction decomposition. These results are then applied to weighted…

We show how to use formal desingularizations (defined earlier by the first author) in order to compute the global sections (also called adjoints) of twisted pluricanonical sheaves. These sections define maps that play an important role in…

This is a self-contained purely algebraic treatment of desingularization of fields of fractions $\mathbf{L}:=Q(\mathbf{A})$ of $d$-dimensional domains of the form \[\mathbf{A}:=\bar{\mathbf{F}}[\underline{x}]/\langle…

After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial…

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…

We study the partial resolutions of singularities related to Hilbert schemes of points on an affine space. Consider a quotient of a vector space $V$ by an action of a finite group $G$ of linear transforms. Under some additional assumptions,…

The algebraic method of singular reduction is applied for non regular group action on manifolds which provides singular symplectic spaces. The problem of deformation quantization of the singular surfaces is the focus. For some examples of…

The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly…

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…

This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of…

A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular…

Foundations of the formal series $*$ -- calculus in deformation quantisation are discussed. Several classes of continuous linear functionals over algebras applied in classical and quantum physics are introduced. The notion of nonnegativity…

Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial…

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these systems into so-called simple subsystems and thereby partition the set of solutions. For algebraic systems,…

We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based on work by Cossart-Jannsen-Saito, though our variant uses a refinement of the order instead of the…

The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent…

We describe an algebro-geometric approach to Vakil-Zinger's desingularization of the main component of the moduli of genus one stable maps to projective space. The new approach provides complete local structural results for this moduli…

In this article, we study the jumping numbers of an ideal in the local ring at rational singularity on a complex algebraic surface. By understanding the contributions of reduced divisors on a fixed resolution, we are able to present an…