Related papers: An introduction to constructive desingularization

In this form will appear in Communications in Algebra.

A universal minimal spinor set of linear differential equations describing anyons and ordinary integer and half-integer spin fields is constructed with the help of deformed Heisenberg algebra with reflection. The construction is generalized…

Let $I$ be a homogeneous ideal in the polynomial ring $R = k[z_1, \cdots, z_n]$ , where $k$ is an algebraically closed field of characteristic zero. Macaulay's Theorem provides constraints on the Hilbert function of $I$ or $R/I$ from one…

An algorithmic proof of General Neron Desingularization is given here for one dimensional local domains and it is implemented in \textsc{Singular}. Also a theorem recalling Greenberg' strong approximation theorem is presented for one…

Using homogeneous dynamical approach, we obtain a complete description of the forms with discrete set of values at the integer points and not representing zero non-trivially over the rational numbers. As a consequence, we obtain a general…

We outline refined versions of two major quantum algorithms for performing principal component analysis and solving linear equations. Our methods are exponentially faster than their classical counterparts and even previous quantum…

We define a very general "parametric connect sum" construction which can be used to eliminate isolated conical singularities of Riemannian manifolds. We then show that various important analytic and elliptic estimates, formulated in terms…

We develop a formalism for performing real space renormalization group transformations of the "decimation type" using perturbation theory. The type of transformations beyond $d=1$ is nontrivial even for free theories. We check the formalism…

We look at explicit ways to bring one or two antiunitary symmetries into a standard form via unitary conjugation. We carefully reproduce Wigner's proof in two special cases, where the antiunitary operators square to $+I$, or to $-I$.…

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…

We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is…

In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that…

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem.…

In this paper we intend to show that certain integers do not occur as the norms of principal ideals in a family of cubic fields studied by Cohn, Shanks, and Ennola. These results will simplify the construction of certain unramified…

Let $X$ be a fs logarithmic scheme that is generically logarithmically smooth, and that admits a strict closed embedding into a logarithmically smooth scheme $Y$ over a field $\kk$ of characteristic zero. We construct a simple and fast…

A strictly formal, set-theoretical treatment of classical first-order logic is given. Since this is done with the goal of a concrete Mizar formalization of basic results (Lindenbaum lemma; Henkin, satisfiability, completeness and…

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

We discuss the local behaviour of vector fields in the plane $\R^2$ around a regular singular point, using recently introduced reduced normal forms, i.e. Poincar\'e and Lie renormalized forms [{\it Lett. Math. Phys.} {\bf 42} (1997),…

We study regular inclusions of finite-dimensional von Neumann algebras from a matrix-theoretic perspective. To this end, we introduce a new combinatorial invariant of an inclusion, called the normalizer matrix, which encodes the structure…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…