相关论文: Simple Hironaka resolution in characteristic zero

For an arbitrary separated scheme $X$ of finite type over a finite field $\mathbb F_q$ and an integer $j=-1,-2,$ we prove under the assumption of resolution of singularities, that the two groups $H_{-1}(X,\mathbb Z(j))$ and…

We describe combinatorial aspects of classical resolution of singularities that are free of characteristic and can be applied to singular foliations and vector fields as well as to functions and varieties. In particular, we give a…

Let $R=k[x_1,\dots,x_n]$ be a ring of polynomials over a field $k$ of characteristic $p>0$. There is an algorithm due to Lyubeznik for deciding the vanishing of local cohomology modules $H^i_I(R)$ where $I\subset R$ is an ideal. This…

In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Gr\"obner bases (resp. standard bases) and the modular computation of the associated primes of a zero-dimensional…

We resurrect a standard construction of analytical mechanics dating from the last century. The technique allows one to pass from any dynamical system whose first order evolution equations are known, and whose bracket algebra is not…

This paper studies the concept of algorithmic equiresolution of a family of embedded varieties or ideals, which means a simultaneous resolution of such a family compatible with a given (suitable) algorithm of resolution in characteristic…

One studies plane Cremona maps by focusing on the ideal theoretic and homological properties of its homogeneous base ideal ("indeterminacy locus"). The {\em leitmotiv} driving a good deal of the work is the relation between the base ideal…

In 1978 Lipman presented a proof of the existence of a desingularization for any excellent surface. The strategy of Lipman's proof is based on the finiteness of the number H(R) defined as the supreme of the second Hilbert-Samuel coefficient…

A theory of simultaneous resolution of singularities for families of embedded varieties (over a field of characteristic zero) parametrized by the spectrum of a suitable artinian ring, and compatible with a given algorithm of resolution, is…

We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…

We introduce a construction, called linearization, that associates to any monomial ideal $I$ an ideal $\mathrm{Lin}(I)$ in a larger polynomial ring. The main feature of this construction is that the new ideal $\mathrm{Lin}(I)$ has linear…

We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine…

We study birational maps with empty base locus defined by almost complete intersection ideals. Birationality is shown to be expressed by the equality of two Chern numbers. We provide a relatively effective method of their calculation in…

Convergence guarantees for optimization over bounded-rank matrices are delicate to obtain because the feasible set is a non-smooth and non-convex algebraic variety. Existing techniques include projected gradient descent, fixed-rank…

Based on an idea in Hironaka's proof of resolution of singularities, we present an algorithmic smoothness test for algebraic varieties. The test is inherently parallel and does not involve the calculation of codimension-sized minors of the…

We give a simple algorithm showing that the reduction of the multiplicity of a characteristic p>0 hypersurface singularity along a valuation is possible if there is a finite linear projection which is defectless. The method begins with the…

In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval…

It is shown how the canonical symmetry is used to look for the hierarchy of the Hamiltonian operators relevant to the system under consideration. It appears that only the invariance condition can be used to solve the problem.

We introduce a variation of the well-known Newton-Hironaka polytope for algebroid hypersurfaces. This combinatorial object is a perturbed version of the original one, parametrized by a real number. For well-chosen values of the parameter,…

Embedded principalization of ideals in smooth schemes, also known as Log-resolutions of ideals, play a central role in algebraic geometry. If two sheaves of ideals, say $I_1$ and $I_2$, over a smooth scheme $V$ have the same integral…