A short proof of the Bernstein inequality for formal power series

DOI10.1090/PROC/14970MaRDI QIDQ5113390zbMATH OpenOpenAlexWikidataFDO

Authors Peyman Ghahremani

Publication date 11 June 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.09102

zbMATH Keywords

Bernstein inequalitygood filtrationdimension of a module

Mathematics Subject Classification ID

Formal power series rings (13F25) Derivations and commutative rings (13N15) General commutative ring theory (13A99)

Abstract: Let $k$ be a field of characteristic zero, let $R$ be the ring of formal power series in $n$ variables over $k$ and let $D(R,k)$ be the ring of $k-$linear differential operators in $R$. If $M$ is a finitely generated $D(R,k)-$module then $d(M)geqn$ where $d(M)$ is the dimension of $M$. This inequality is called the Bernstein inequality. We provide a short proof.

Recommendations

• Dimension, multiplicity, holonomic modules, and an analogue of the inequality of Bernstein for rings of differential operators in prime characteristic
• Injective dimension of \(D\)-modules: A characteristic-free approach
• Krull, Gelfand-Kirillov, and filter dimensions of simple affine algebras
• BIVARIATE DIMENSION POLYNOMIALS AND NEW INVARIANTS OF FINITELY GENERATED D-MODULES
• scientific article; zbMATH DE number 802878

Cites work

• scientific article; zbMATH DE number 3786948 (Why is no real title available?)
• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• scientific article; zbMATH DE number 803209 (Why is no real title available?)
• scientific article; zbMATH DE number 6665535 (Why is no real title available?)
• A characteristic-free proof of a basic result on \(\mathcal D\)-modules

Cited in

(1)

• Dimension, multiplicity, holonomic modules, and an analogue of the inequality of Bernstein for rings of differential operators in prime characteristic

This page was built for publication: A short proof of the Bernstein inequality for formal power series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5113390)