Related papers: Simple Hironaka resolution in characteristic zero
The concept of the maximal contact is the key in Hironaka's resolution theory. It treats local theory, and it is not effective in positive characteristics. This is the essential reason why Hironaka's theory treats only the case of…
This paper formulates an elementary algorithm for resolution of singularities in a neighborhood of a singular point over a field of characteristic zero. The algorithm is composed of finite sequences of Newton polyhedra and monomial…
A central question in mathematics and computer science is the question of determining whether a given ideal $I$ is prime, which geometrically corresponds to the zero set of $I$, denoted $Z(I)$, being irreducible. The case of principal…
Inverse problems are characterized by their inherent non-uniqueness and sensitivity with respect to data perturbations. Their stable solution requires the application of regularization methods including variational and iterative…
We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…
Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…
We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka.…
In this paper homological ideals associated to some Nakayama algebras are characterized and enumerated via integer specializations of some suitable Brauer configuration algebras. Besides, it is shown how the number of such homological…
We provide a "shared axiomatization" of natural numbers and hereditarily finite sets built around a polymorphic abstraction of bijective base-2 arithmetics. The "axiomatization" is described as a progressive refinement of Haskell type…
Hironaka's characteristic polyhedron is an important combinatorial object reflecting the local nature of a singularity. We prove that it can be determined without passing to the completion if the local ring is a G-ring and if additionally…
Let $(R,M,k)$ be a regular local G-ring with regular system of parameters $(u_1, \ldots ,u_d,y)$. We prove that the Hironaka characteristic polyhedron $\Delta (f;u_1, \ldots ,u_d)$, $f \not \in (u_1, \ldots ,u_d)$ of a hypersurface…
Skolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient…
In this revised version, the mistake of the author confusing the weak transform and strict transform, pointed out by E. Bierstone, is corrected. It gives a self-contained proof of (embedded) resolution of singularities over a field of…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with…
We present economical iterative algorithms built on the Biconjugate $A$-Orthonormalization Procedure for real unsymmetric and complex non-Hermitian systems. The principal characteristics of the developed solvers is that they are fast…
A simple new proof of the Harish-Chandra condition, preceded by an expository part on Hermitian symmetric spaces, holomorphic induction, and on some analytic tools.
An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…
We describe the embedded resolution of a quasi-ordinary surface singularity (V,p) which results from applying the canonical resolution of Bierstone-Milman to (V,p). We show that this process depends solely on the characteristic pairs of…
Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial…