B-splines, polytopes, and their characteristic D-modules

Abstract: Given a polytope

s i g m a s u b s e t m a t h b b R^{m}

, its characteristic distribution

d e l t a_{s} i g m a

generates a

D

-module which we call the characteristic

D

-module of

s i g m a

and denote by

M_{s} i g m a

. More generally, the characteristic distributions of a cell complex

K

with polyhedral cells generate a

D

-module

M_{K}

, which we call the characteristic

D

-module of the cell complex. We prove various basic properties of

M_{K}

, and show that under certain mild topological conditions on

K

, the

D

-module theoretic direct image of

M_{K}

coincides with the module generated by the

B

-splines associated to the cells of

K

(considered as distributions). We also give techniques for computing

D

-annihilator ideals of polytopes.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: \(B\)-splines, polytopes, and their characteristic \(D\)-modules