Related papers: Functorial flatification of proper morphisms

We exhibit Lerman's cutting procedure as a functor from the category of manifolds-with-boundary equipped with free circle actions near the boundary, with so-called equivariant transverse maps, to the category of manifolds and smooth maps.…

We provide two methods for constructing smooth bump functions and for smoothly cutting off smooth functions on fractals, one using a probabilistic approach and sub-Gaussian estimates for the heat operator, and the other using the analytic…

A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the…

In this paper, we enhance a recent algorithm for approximate spectral factorization of matrix functions, extending its capabilities to precisely factorize rational matrices when an exact lower-upper triangular factorization is available.…

We refine the iterated blow-up techniques. This technique, combined with a rigidity result and a specific choice of the kernel projection in the Poincar\'e inequality, might be employed to completely linearize blow-ups along at least one…

We use the factorization method to find the exact eigenvalues and eigenfunctions for a particle in a box with the delta function potential $V(x)=\lambda\delta(x-x_{0})$. We show that the presence of the potential results in the…

The FLAME methodology for deriving linear algebra algorithms from specification, first introduced around 2000, has been successfully applied to a broad cross section of operations. An open question has been whether it can yield algorithms…

In characteristic zero, we construct a canonical, functorial resolution algorithm by weighted blow-ups that strictly preserves the normal crossings (nc) locus, effectively answering Kollar's problem. Operating in full generality, our…

We consider the 1D cubic NLS on $\mathbb R$ and prove a blow-up result for functions that are of borderline regularity, i.e. $H^s$ for any $s<-\frac 12$ for the Sobolev scale and $\mathcal F L^\infty$ for the Fourier-Lebesgue scale. This is…

On the basis of the generalized argument principle, here we develop a numerical scheme for locating zeros and poles of a meromorphic function. A subdivision-transformation-calculation scheme is proposed to ensure the algorithm stability. A…

We consider asynchronous networks of identical finite (independent of network's size or topology) automata. Our automata drive any network from any initial configuration of states, to a coherent one in which it can carry efficiently any…

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…

Given a flat meromorphic connection on an excellent scheme over a field of characteristic zero, we prove existence of good formal structures after blowing up; this extends a theorem of Mochizuki for algebraic varieties. The argument…

We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to…

This paper is devoted to the study of the flatness property of linear time-invariant fractional systems. In the framework of polynomial matrices of the fractional derivative operator, we give a characterization of fractionally flat outputs…

Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. We consider factorizations $\Gamma\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two…

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…

We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of…

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).…

Diffeomorphisms can be seen as automorphisms of the algebra of functions. In the matrix regularization, functions on a smooth compact manifold are mapped to finite size matrices. We consider how diffeomorphisms act on the configuration…