Related papers: Refined blowups
In his previous paper, the author has defined a higher version of the Nash blowup and considered it a possible candidate for the one-step resolution. In this paper, we will introduce another higher version of the Nash blowup and prove that…
This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka).…
In their work on a sharp compactness theorem for the Yamabe problem, Khuri, Marques and Schoen apply a refined blow-up analysis (what we call `second order blow-up argument' in this article) to obtain highly accurate approximate solutions…
A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely…
We consider local weak large solutions with its blow-up rate near the boundary to certain class of degenerate and/or singular quasilinear elliptic equation\\ ${\rm div}(d^{\alpha}(x,\partial{}B)\Phi_p(\nabla u)) = b(x)f(u)$ in a ball B,…
Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We…
In this paper, we study renormalization, that is, the procedure for eliminating singularities, for a special model using both combinatorial techniques in the framework of working with formal series, and using a limit transition in a…
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a…
We study the existence of singular separable solutions to a class of quasilinear equations with reaction term. In the 2-dim case, we use a dynamical system approach to construct our solutions.
The purpose of this paper is to point out a relation between the canonical sheaf and the intersection complex of a singular algebraic variety. We focus on the hypersurface case. Let $M$ be a complex manifold, $X\subset M$ a singular…
We build foundations of an approach to study canonical forms of $2$-Calabi--Yau triangulated categories with cluster-tilting objects, using dg algebras and relative singularity categories. This is motivated by cluster theory, singularity…
In recent work we have developed a renormalization framework for stabilizing reduced order models for time-dependent partial differential equations. We have applied this framework to the open problem of finite-time singularity formation…
This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be…
The elementary resolution of singularities algorithm of the author's earlier paper (math.CA/0609217) is developed further, replacing the quasibump functions in the blown up coordinates with the characteristic function of a rectangle times a…
We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by…
We refine the bit complexity analysis of an algorithm for the computation of at least one point per connected component of a smooth real algebraic set, yielding exponential speedup (with respect to the number of variables) compared to prior…
We study rational double points over algebraically closed fields in arbitrary characteristics and completely classify the indecomposable objects in their singularity categories, which correspond to the vertices in their Auslander-Reiten…
We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…