D-Modules and Holonomic Functions

10/03/2019
by   Anna-Laura Sattelberger, et al.
0

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 polynomials. The letter D stands for the Weyl algebra, and a D-module is a left module over D. We focus on left ideals, or D-ideals. We represent holonomic functions in several variables by the linear differential equations they satisfy. This encoding by a D-ideal is useful for many problems, e.g., in geometry, physics and statistics. We explain how to work with holonomic functions. Applications include volume computations and likelihood inference.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/07/2020

The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Tropical Differential Algebraic Geometry considers difficult or even int...
research
03/20/2023

D-Module Techniques for Solving Differential Equations in the Context of Feynman Integrals

Feynman integrals are solutions to linear partial differential equations...
research
04/20/2021

Linear PDE with Constant Coefficients

We discuss practical methods for computing the space of solutions to an ...
research
05/08/2023

Infinite matroids in tropical differential algebra

We consider a finite-dimensional vector space W⊂ K^E over an arbitrary f...
research
10/20/2017

Univariate Contraction and Multivariate Desingularization of Ore Ideals

Ore operators with polynomial coefficients form a common algebraic abstr...
research
05/13/2019

Fast Parameter Inference in a Biomechanical Model of the Left Ventricle using Statistical Emulation

A central problem in biomechanical studies of personalised human left ve...
research
11/25/2015

Contraction of Ore Ideals with Applications

Ore operators form a common algebraic abstraction of linear ordinary dif...

Please sign up or login with your details

Forgot password? Click here to reset