Table of Contents
Fetching ...

Border Bases in the Rational Weyl Algebra

Carlos Rodriguez, Anna-Laura Sattelberger

TL;DR

The paper develops border bases for left ideals in the noncommutative rational Weyl algebra $R_n$, extending the commutative border-basis theory to a Pfaffian/D-modules setting. It characterizes border bases in terms of integrability conditions on the associated connection matrices $A_i$ (with $A_i=M_{ abla_i}^ op$), enabling a constructive passage from connection data to cyclic $D$-modules and explicit $D$-ideals. The approach yields practical constructions of integrable connections as Pfaffian systems and provides a framework to classify certain $D$-ideals via Hilbert schemes of points, including constant-coefficient and Frobenius ideals. Applications to physics illustrate how border bases recover and illuminate Pfaffian systems for stringy integrals, sunrise Feynman integrals, and cosmological correlators, as well as considerations of $oldsymbol{eta}$- or $oldsymbol{oldsymbol{ m abla}}$-factorized forms and integrability.

Abstract

Border bases are a generalization of Gröbner bases for polynomial rings. In this article, we introduce border bases for a non-commutative ring of linear differential operators, namely the rational Weyl algebra. We elaborate on their properties and present algorithms to compute with them. We apply this theory to represent integrable connections as cyclic $D$-modules explicitly. As an application, we visit differential equations behind a stringy, a Feynman as well as a cosmological integral. We also address the classification of particular $D$-ideals of a fixed holonomic rank, namely the case of linear PDEs with constant coefficients as well as Frobenius ideals. Our approach rests on the theory of Hilbert schemes of points in affine space.

Border Bases in the Rational Weyl Algebra

TL;DR

The paper develops border bases for left ideals in the noncommutative rational Weyl algebra , extending the commutative border-basis theory to a Pfaffian/D-modules setting. It characterizes border bases in terms of integrability conditions on the associated connection matrices (with ), enabling a constructive passage from connection data to cyclic -modules and explicit -ideals. The approach yields practical constructions of integrable connections as Pfaffian systems and provides a framework to classify certain -ideals via Hilbert schemes of points, including constant-coefficient and Frobenius ideals. Applications to physics illustrate how border bases recover and illuminate Pfaffian systems for stringy integrals, sunrise Feynman integrals, and cosmological correlators, as well as considerations of - or -factorized forms and integrability.

Abstract

Border bases are a generalization of Gröbner bases for polynomial rings. In this article, we introduce border bases for a non-commutative ring of linear differential operators, namely the rational Weyl algebra. We elaborate on their properties and present algorithms to compute with them. We apply this theory to represent integrable connections as cyclic -modules explicitly. As an application, we visit differential equations behind a stringy, a Feynman as well as a cosmological integral. We also address the classification of particular -ideals of a fixed holonomic rank, namely the case of linear PDEs with constant coefficients as well as Frobenius ideals. Our approach rests on the theory of Hilbert schemes of points in affine space.

Paper Structure

This paper contains 17 sections, 14 theorems, 58 equations, 1 figure, 2 algorithms.

Key Result

Proposition 1.3

Given an $\mathcal{O}_\lambda$-border prebasis $\{g_1,\ldots,g_p\}$ with $\mathcal{O}_\lambda = \{t_1,t_2,\ldots,t_m\}$ and border $\partial \mathcal{O}_\lambda = \{b_1,b_2,\ldots,b_p\}$, then for any $f\in S$ we can find polynomials $f_j\in S$ and coefficients $c_j\in \mathop{\mathrm{\mathbb{C}}}\n and $\deg(f_i) \leq \mathop{\mathrm{ind}}\nolimits_{\lambda}(f)-1$ for all $i$ with $f_i g_i\neq 0$

Figures (1)

  • Figure 1: The black dots at $(i,j)$ correspond to the elements $X_1^i X_2^j$ of the order ideal $\mathcal{O}$ of \ref{['ex:BorderIdeal1']}. We also picture the elements in the first border $\partial \mathcal{O}$ with circles and the elements of the second border $\partial^2 \mathcal{O}$ with crosses.

Theorems & Definitions (25)

  • Definition 1.1
  • Definition 1.2
  • Proposition 1.3: KKR05
  • Definition 1.5
  • Theorem 1.6: KKR05
  • Proposition 1.7
  • Proposition 1.8: KKR05
  • Definition 2.1
  • Theorem 2.2
  • proof
  • ...and 15 more