Related papers: A criterion for the logarithmic differential opera…
We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce to computing a linear relation between vectors obtained as…
In this notes it will be provided a set of techniques which can help one to understand the proof of the Hochschild-Kostant-Rosenberg theorem for differentiable manifolds. Precise definitions of multidiferential operators and polyderivations…
We consider the behaviour of logarithmic differential forms on arrangements and multiarrangements of hyperplanes under the operations of deletion and restriction, extending early work of G\"unter Ziegler. The restriction of logarithmic…
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…
In algebraic geometry, there is a reduction algorithm that transforms the unreduced divisor into a unique reduced divisor, which existence is guaranteed by the Riemann-Roch theorem. We discuss application of this algorithm to construction…
Higher order derivatives of functions are structured high dimensional objects which lend themselves to many alternative representations, with the most popular being multi-index, matrix and tensor representations. The choice between them…
We define a new notion of fiber-wise linear differential operator on the total space of a vector bundle $E$. Our main result is that fiber-wise linear differential operators on $E$ are equivalent to (polynomial) derivations of an…
This paper focuses on effectivity aspects of the L\"uroth's theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions…
Let $\varphi:X\to S$ be a morphism between smooth complex analytic spaces, and let $f=0$ define a free divisor on $S$. We prove that if the deformation space $T^1_{X/S}$ of $\varphi$ is a Cohen-Macaulay $\mathcal{O}_X$-module of codimension…
Linear free divisors are free divisors, in the sense of K.Saito, with linear presentation matrix (example: normal crossing divisors). Using techniques of deformation theory on representations of quivers, we exhibit families of linear free…
We extend to manifolds endowed with a general geometric structure, the classical notions of gradient as well as Laplace operator, and provide some of their natural properties.
Consider a formally self-adjoint first order linear differential operator acting on pairs (2-columns) of complex-valued scalar fields over a 4-manifold without boundary. We examine the geometric content of such an operator and show that it…
A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a…
For a rank 1 local system on the complement of a reduced divisor on a complex manifold $X$, its cohomology is calculated by the twisted meromorphic de Rham complex. Assuming the divisor is everywhere positively weighted homogeneous, we…
We obtain several new characterizations of splayedness for divisors: a Leibniz property for ideals of singularity subschemes, the vanishing of a `splayedness' module, and the requirements that certain natural morphisms of modules and…
Matrix divisors are introduced in the work by A.Weil (1938) which is considered as a starting point of the theory of holomorphic vector bundles on Riemann surfaces. In this theory matrix divisors play the role similar to the role of usual…
We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…
We first develop some criteria for a general divisor to be strongly Euler-homogeneous in terms of the Fitting ideals of certain modules. We also study new variants of Saito-holonomicity, generalizing Koszul-free type properties and…
We study zero-divisors in the $16$-dimensional sedenion algebra from the viewpoint of the determinant of left multiplication. We show that this determinant admits a canonical factorization into the square of a quartic polynomial, obtained…
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this…