Related papers: An algorithmic criterion for basicness in dimensio…

Let M be a coherent module over the ring D of linear differential operators on an analytic manifold X and let us consider k germs of transverse hypersurfaces at a point x in X. The Malgrange-Kashiwara V-filtrations along these…

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…

Given a number field K, we consider families of critically separable rational maps of degree d over K possessing a certain fixed-point and multiplier structure. With suitable notions of isomorphism and good reduction between rational maps…

Let $\Lambda$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $\Lambda$-modules for which certain Hom- and Ext-sets vanish. A semibrick pair is completable if it can be enlarged so that a…

In this note we show the characteristic function of every indecomposable set $F$ in the plane is $BV$ equivalent to the characteristic function a closed set $\mathbb{F}$, i.e.…

The distribution of prime constellations, such as Twin Primes ($p, p+2$), is traditionally analyzed via probabilistic models or analytic sieve theory. While heuristic predictions are accurate, rigorous proofs are obstructed by the "Parity…

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we…

We give a criterion for a real divisor to be rational and semiample.

We give a simple direct proof of the Jamiolkowski criterion to check whether a linear map between matrix algebras is completely positive or not. This proof is more accesible for physicists than others found in the literature and provides a…

In this article, we first give some elementary proprieties of monoids and fans, then construct a toric scheme over an arbitrary ring, from a given fan. Using Valuative Criterion, we prove that this scheme is separated and give the…

In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$…

Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink-type vanishing holds for $(X,B)$ if it is log canonical and $p>5$, or it is…

In this paper, we establish the following criterion for divisibility in the local ring of those quasianalytic function germs at zero which are definable in a polynomially bounded structure. A sufficient (and necessary) condition for the…

In this paper, we present several algorithms for dealing with graded components of Laurent polynomial rings. To be more precise, let $S$ be the Laurent polynomial ring $k[x_1,...,x_{r},x_{r+1}^{\pm 1},..., x_n^{\pm 1}]$, $k$ algebraicaly…

Let $X$ and $X'$ be affine algebraic varieties over a field $\mathbb{k}$. The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ implies $X\cong X'$. In…

Let C be a depth-3 circuit with n variables, degree d and top fanin k (called sps(k,d,n) circuits) over base field F. It is a major open problem to design a deterministic polynomial time blackbox algorithm that tests if C is identically…

We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X \omega$ over a compact…

We get three basic results in algebraic dynamics: (1). We give the first algorithm to compute the dynamical degrees to arbitrary precision. (2). We prove that for a family of dominant rational self-maps, the dynamical degrees are lower…

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…

We give a new proof and a partial generalization of Jean Taylor's result [Ta] that says that Almgren almost-minimal sets of dimension 2 in $\R^3$ are locally $C^{1+\alpha}$-equivalent to minimal cones. The proof is rather elementary, but…