Related papers: A computational approach to the D-module of meromo…

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…

In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are…

We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra.

In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors,…

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs. We…

Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite…

Let $X$ be a complex analytic manifold, $D\subset X$ a locally quasi-homogeneous free divisor, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $X-D$. In this paper…

A function is differentially algebraic (or simply D-algebraic) if there is a polynomial relationship between some of its derivatives and the indeterminate variable. Many functions in the sciences, such as Mathieu functions, the Weierstrass…

We introduce a q-analogue MW_q for the meromorphic Weyl algebra, and study the normalization problem and the symmetric powers sym^n(MW_q) for such algebra from a combinatorial viewpoint.

A symmetric function of $N$ variables can be given in terms of symmetric polynomials of these variables. We determine those symmetric polynomials in which the dual differential operators take the neatest form when expressed in terms of our…

We are concerned with the arithmetic of solutions to ordinary or partial nonlinear differential equations which are algebraic in the indeterminates and their derivatives. We call these solutions D-algebraic functions, and their equations…

The Weyl modules in the sense of V.Chari and A.Pressley [CP] over the current Lie algebra on an affine variety are studied. We show that local Weyl modules are finite-dimensional and generalize the tensor product decomposition theorem from…

Investigating the direct integral decomposition of von Neumann algebras of bounded module operators on self-dual Hilbert W*-moduli an equivalence principle is obtained which connects the theory of direct disintegration of von Neumann…

We investigate the meromorphic quasi-modular forms and their $L$-functions. We study the space of meromorphic quasi-modular forms. Then we define their $L$-functions by using the technique of regularized integral. Moreover, we give an…

We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

Let D be a bounded domain in the complex plane whose boundary bD consists of finitely many pairwise disjoint real analytic simple closed curves. Let f be an integrable function on bD. In the paper we show how to compute the candidates for…

Let $f$ be a real polynomial of $x = (x_1,\dots,x_n)$ and $\varphi$ be a locally integrable function of $x$ which satisfies a holonomic system of linear differential equations. We study the distribution $f_+^\lambda\varphi$ with a…

In this paper, we study the holonomic $D$-modules when $D$ is the ring of $k$-linear differential operators on $A = k[\Gamma]$, the coordinate ring of an affine monomial curve over the complex numbers $k = \mathbb C$. In particular, we…

We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of…

This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…