A corollary of the b-function lemma

A generalization of the b-function lemma

We establish some cohomological bounds in D-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the b-function lemma for non-holonomic D-modules.

关于Morse分裂引理的Lê数补注

A Lê number addendum to the Morse Splitting Lemma

该研究探讨复分析Morse分裂引理与函数通用Lê数的关联，针对0维通用Lê数≤3及临界轨迹维数为1的函数展开特例分析。

A Lemma of Lazarsfeld and the Jacobian blow up

For a complex analytic function $f$, the exceptional divisor of the jacobian blow-up is of great importance. In this paper, we show what a lemma from the thesis of Lazarsfeld tells one about the structure of this exceptional divisor.

The Lemma on b-functions in Positive Characteristic

Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced $\mathbb{D}_X$-module structure. It is shown that the $b$-function has rational roots and is determined locally in the étale topology.

De-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds

In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute cohomologies of the Lie algebra of an algebraic group G with coefficients in the space of generalized Schwartz sections of G-equivariant bundle over a G-transitive variety M. We do it under some assumptions on topological properties of G and M. This computation for the classical case i…

Uniform linear bound in Chevalley's lemma

We obtain a uniform linear bound for the Chevalley function at a point in the source of an analytic mapping that is regular in the sense of Gabrielov. There is a version of Chevalley's lemma also along a fibre, or at a point of the image of a proper analytic mapping. We get a uniform linear bound for the Chevalley function for a closed Nash (or formally Nash) subanalytic set.