Related papers: A criterion for the logarithmic differential opera…

We consider a version of the Lipman-Zariski conjecture for logarithmic vector fields and logarithmic $1$-forms on pairs. Let $(X,D)$ be a pair consisting of a normal complex variety $X$ and an effective Weil divisor $D$ such that the sheaf…

This work studies operators mapping vector and scalar fields defined over a manifold $\mathcal{M}$, and which commute with its group of diffeomorphisms $\text{Diff}(\mathcal{M})$. We prove that in the case of scalar fields…

We establish generalizations of Saito's criterion for the freeness of divisors in projective spaces that apply both to sequences of several homogeneous polynomials and to divisors on other complete varieties. As an application, the new…

How to handle division in systems that compute with logical formulas involving what would otherwise be polynomial constraints over the real numbers is a surprisingly difficult question. This paper argues that existing approaches from both…

Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a…

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential…

Let $L$ be the homogeneous sublaplacian on the 6-dimensional free 2-step nilpotent group $N_{3,2}$ on 3 generators. We prove a theorem of Mihlin-H\"ormander type for the functional calculus of $L$, where the order of differentiability $s >…

Let $B$ be an affine $k$-domain which admits a nontrivial fundamental pair $(D,U)$ of locally nilpotent derivations, i.e., if $E=[D,U]$ then $(D,U,E)$ is an $\mathfrak{sl}_2$-triple. We prove an algebraic criterion, characterizing under…

We construct the rings of generalized differential operators on the ${\bf h}$-deformed vector space of ${\bf gl}$-type. In contrast to the $q$-deformed vector space, where the ring of differential operators is unique up to an isomorphism,…

We will describe the appearance of specific algebraic KdV potentials as a consequence of a requirement on a integro-differential expression. This expression belongs to a class generated by means of Virasoro vector fields acting on the KdV…

Let us consider the set S^A(\R^n) of rapidly decreasing functions G:\R^n \to A, where A is a separable C^*-algebra. We prove a version of the Calder\'on-Vaillancourt theorem for pseudodifferential operators acting on S^A(\R^n) whose symbol…

In 1984, H. W. Lenstra described an algorithm finding divisors of $N$ congruent to $r \mod S$. When $S^3 > N$, this algorithm runs in polynomial time and hence factors $N$ in time $N^{1/3+o(1)}$. Lenstra's algorithm relies on a sign change…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

Rosenbrock's theorem on polynomial system matrices is a classical result in linear systems theory that relates the Smith-McMillan form of a rational matrix $G$ with the Smith forms of an irreducible polynomial system matrix $P$ giving rise…

We find a necessary condition for zero divisors in complex group algebras of torsion-free groups.

We study a new class of pseudo differential operators whose symbols satisfy the differential inequality with a mixture of homogeneities. On the other hand, by taking singular integral realization, it can be equivalently defined by kernels…

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

In this note, we extend work of Farkas and Rim\'anyi on applying quadric rank loci to finding divisors of small slope on the moduli space of curves by instead considering all divisorial conditions on the hypersurfaces of a fixed degree…

We show that a smooth divisor in a projective space can be reconstructed from the isomorphism class of the sheaf of logarithmic vector fields along it if and only if its defining equation is of Sebastiani-Thom type.