Related papers: Verdier specialization via weak factorization

This work establishes a strong uniqueness property for a class of planar locally integrable vector fields. A result on pointwise convergence to the boundary value is also proved for bounded solutions.

Given a vector function ${\bf F}=(F_1,\ldots,F_d),$ analytic on a neighborhood of some compact subset $E$ of the complex plane with simply connected complement, we define a sequence of vector rational functions with common denominator in…

Let $F$ be a differential field of characteristic zero with algebraically closed constant field $C$. Let $E$ be a Picard--Vessiot closure of $F$, $R \subset E$ its Picard--Vessiot ring and $\Pi$ the differential Galois group of $E$ over…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category $\mathcal{M}(H)$ of left $H$-modules, which is originally defined by Beilinson and…

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this…

Just as knowing some roots of a polynomial allows one to factor it, a well-known result provides a factorization of any scalar differential operator given a set of linearly independent functions in its kernel. This note provides a…

Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is the fixed point subspace of an element of G. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then…

A new class of compact K\"ahler manifolds, called special, is defined, which are the ones having no surjective meromorphic map to an orbifold of general type. The special manifolds are in many respect higher-dimensional generalisations of…

Let $V$ be a vertex algebra of countable dimension, $G$ a subgroup of ${\rm Aut} V$ of finite order, $V^{G}$ the fixed point subalgebra of $V$ under the action of $G$, and ${\mathscr S}$ a finite $G$-stable set of inequivalent irreducible…

The subject is partial resolution of singularities. Given an algebraic variety X (not necessarily equidimensional) in characteristic zero (or, more generally, a pair (X,D), where D is a divisor on X), we construct a functorial…

A vector bundle E on a projective variety X is called finite if it satisfies a nontrivial polynomial equation with integral coefficients. A theorem of Nori implies that E is finite if and only if the pullback of E to some finite etale…

A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…

We revisit and give a detailed proof of a lemma of Okounkov showing that, for a scheme X with a torus action, the Euler characteristic generating function associated with a "factorisable" sequence of torus-equivariant coherent sheaves on…

We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of…

We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…

Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and…

We fully develop the concept of causal symmetry introduced in Class. Quant. Grav. 20 (2003) L139. A causal symmetry is a transformation of a Lorentzian manifold (V,g) which maps every future-directed vector onto a future-directed vector. We…

Obtaining meaningful solutions for inverse problems has been a major challenge with many applications in science and engineering. Recent machine learning techniques based on proximal and diffusion-based methods have shown promising results.…