Related papers: Functorial flatification of proper morphisms
Categorical resolution of singularities has been constructed in arXiv:1212.6170. It proceeds by alternating two steps of seemingly different nature. We show how to use the formalism of filtered derived categories to combine the two steps…
The aim of this article is to study the functorial properties of the ``formal geometric quantization'' procedure which is defined for non-compact Hamiltonian manifolds (when the moment map is proper). For this purpose, we introduce a…
We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness. This proof, already sketched in [A course on constructive…
We present an algorithm for factoring linear differential operators with coefficients in a finite separable extension of F p (x). Our methods rely on specific tools arising in positive characteristic: p-curvature, structure of simple…
We consider the semilinear wave equation with power nonlinearity in one space dimension. We first show the existence of a blow-up solution with a characteristic point. Then, we consider an arbitrary blow-up solution $u(x,t)$, the graph…
For the critical one-dimensional nonlinear Schr\"odinger equation, we construct blow-up solutions that concentrate a soliton at the origin at the conformal blow-up rate, with a non-flat blow-up profile. More precisely, we obtain a blow-up…
Factorial clustering methods have been developed in recent years thanks to the improving of computational power. These methods perform a linear transformation of data and a clustering on transformed data optimizing a common criterion.…
In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations…
We discuss a correlation function factorization, which relates a three-point function to the square root of three two-point functions. This factorization is known to hold for certain scaling operators at the two-dimensional percolation…
For a local analytic diffeomorphism of the plane with an irrational elliptic fixed point at 0, we introduce the notion of ``geometric normalization'', which includes the classical formal normalizations as a special case: it is a formal…
A new concept of meromorphic $\Sigma$-factorization, for H\"{o}lder continuous functions defined on a contour $\Gamma$ that is the pullback of $\dot{\mathbb{R}}$ (or the unit circle) in a Riemann surface $\Sigma$ of genus 1, is introduced…
In this paper we address the problem of computing $\text{deg}(f^n)$, the degrees of iterates of a birational map $f:\mathbb{P}^N\rightarrow\mathbb{P}^N$. For this goal, we develop a method based on two main ingredients: the factorization of…
In this article we will apply the first- and second-order supersymmetric quantum mechanics to obtain new exactly-solvable real potentials departing from the inverted oscillator potential. This system has some special properties; in…
We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
We exhibit a probabilistic symbolic algorithm for solving zero-dimensional sparse systems. Our algorithm combines a symbolic homotopy procedure, based on a flat deformation of a certain morphism of affine varieties, with the polyhedral…
In this paper, we presents a method for factoring morphisms between arithmetic surfaces based on the regularity of arithmetic surfaces. Using this factorization, we derive a Riemann-Hurwitz formula satisfied by the ramification divisor and…
We present fully polynomial-time (deterministic or randomised) approximation schemes for Holant problems, defined by a non-negative constraint function satisfying a generalised second order recurrence modulo a couple of exceptional cases.…
We give a new proof of Raynaud-Gruson's theorem regarding flattening by blow-ups. The proof is direct, by working directly on the inverse limit of admissible blow-ups, which is a valuative space similar to the classical Zariski-Riemann…
We prove that, for certain extensions of valued fields which admit a sensible theory of ramification groups, there exist canonical towers that correspond to the break-points of their Herbrand function. In particular, each of the…