Related papers: Computing homomorphisms between holonomic D-module…

We prove the following two results 1. For a proper holomorphic function $ f : X \to D$ of a complex manifold $X$ on a disc such that $\{df = 0 \} \subset f^{-1}(0)$, we construct, in a functorial way, for each integer $p$, a geometric…

In this paper, we will provide constructions of D-module structures on the complex computing the periodic cyclic homology of a stable infinity-category defined over a scheme of characteristic zero. We give two methods. The first one is…

We give a generalization of the Hodge operator to spaces $(V,h)$ endowed with a hermitian or symmetric bilinear form $h$ over arbitrary fields, including the characteristic two case. Suitable exterior powers of $V$ become free modules over…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

A formal definition of the graded algebra $\mathcal{R}$ of modular linear differential operators is given and its properties are studied. An algebraic structure of the solutions to modular linear differential equations (MLDEs) is shown. It…

Let X be a smooth complex manifold. Let Sol denote the solution functor for D-modules on X. Traditionally, the fully-faithfulness of Riemann-Hilbert correspondance is proved by showing that if M_1 and M_2 are regular holonomic D_X modules,…

We prove that the monoid of generic extensions of finite dimensional nilpotent $k[T]$-modules is isomorphic to the monoid of partitions (with addition of partitions). Moreover we give a combinatorial algorithm that calculates constant terms…

Gelfand's charecterization of a topological space M by the duality relationship of M and $\mathcal{A} = \mathcal{F}(M)$, the commutative algebra of functions on this space has deep implications including the development of spectral calculas…

The purpose of this note is to find explicit representatives in deRham cohomology for the generators of the cohomology of the moduli space of parabolic bundles, analogous to the results of \cite{groupcoho} for the moduli space of vector…

Let X be a projective scheme; let M and N be two coherent O_X-modules. Given an integer m, we present an algorithm for computing the global extension module Ext^m(X;M,N). In particular, this allows one to compute the sheaf cohomology…

We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such…

We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis…

We investigate the representations of the hyperalgebras associated to the map algebras $\mathfrak g\otimes \mathcal A$, where $\mathfrak g$ is any finite-dimensional complex simple Lie algebra and $\mathcal A$ is any associative commutative…

We investigate the arithmetic formula complexity of the elementary symmetric polynomials S(k,n). We show that every multilinear homogeneous formula computing S(k,n) has size at least k^(Omega(log k))n, and that product-depth d multilinear…

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces…

We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…

We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…

We study differentiable holonomic sheaves of $AV$-modules on a smooth quasi-projective variety. We show that a simple differentiable holonomic sheaf $M$ of $AV$-modules is locally the tensor product of a simple holonomic $D$-module and a…

We study D-modules and related invariants on the space of 2 x 2 x n hypermatrices for n >= 3, which has finitely many orbits under the action of G = GL_2 x GL_2 x GL_n. We describe the category of coherent G-equivariant D-modules as the…