A residue calculus approach to the uniform Artin-Rees lemma (Q375870): Difference between revisions

In [\textit{B. Berndtsson} and \textit{M. Andersson}, Ann. Inst. Fourier 32, No. 3, 91--110 (1982; Zbl 0466.32001)] and [\textit{B. Berndtsson}, Math. Ann. 263, 399--418 (1983; Zbl 0499.32013)], a very flexible new method of generating weighted integral formulas was introduced, especially useful for representing holomorphic functions and solutions of the \(\overline\partial\)-equation. Their approach has very interesting applications, concerning in particular division and interpolation problems (cf. [Math. Ann. 263, 399--418 (1983; Zbl 0499.32013); Math. Z. 254, No. 2, 315--332 (2006; Zbl 1104.32002)]). \textit{M. Andersson} presented in [Math. Ann. 326, No. 1, 1--18 (2003; Zbl 1024.32005); Math. Z. 254, No. 2, 315--332 (2006; Zbl 1104.32002)] a more flexible method which is easier to handle and allows some representations with residue currents (applicable also to singular spaces). In view of the paper under review, the crucial point is that Andersson's approach allows for a residue calculus approach to division and interpolation problems. That comprises in particular a proof of the uniform Briançon-Skoda theorem by use of residue calculus and integral division formulas in [Mich. Math. J. 54, No. 2, 361--373 (2006; Zbl 1155.32004)]. Another important step in the construction of residue currents (associated to certain complexes of Hermitian vector bundles) which have a prescribed annihilator ideal has been made by \textit{M. Andersson} and \textit{E. Wulcan} in [Ann. Sci. Éc. Norm. Supér. (4) 40, No. 6, 985--1007 (2007; Zbl 1143.32003)]. Recently, this machinery has been used by \textit{M. Andersson, H. Samuelsson} and \textit{J. Sznajdman} [Ann. Inst. Fourier 60, No. 2, 417--432 (2010; Zbl 1200.32007)] also to give an analytic proof of the Briançon-Skoda theorem on singular varieties by means of residue calculus. It is quite natural to use such an approach also for a proof of the uniform Artin-Rees lemma. This has been done in the paper under review. The classical Artin-Rees lemma is a well-known result in commutative algebra from the 1950s. It was a great achievement due to \textit{C. Huneke} [Invent. Math. 107, No. 1, 203--223 (1992; Zbl 0756.13001)] to prove the uniform Artin-Rees lemma. The main result of the paper under review is as follows: {Theorem 1.} Let \(X\) be a germ of an analytic variety in a point \(x\), \(M\) a finitely generated module over the local ring \(\mathcal{O}_{X,x}\) and \(N\subset M\) a submodule. Then there exists an integer \(\mu\) such that \[ I^{\mu+r} M \cap N \subset I^r N \] for any ideal \(I\) of \(\mathcal{O}_{X,x}\) and all integers \(r\geq 0\). This is called the (analytic) uniform Artin-Rees lemma because we can choose one \(\mu\) for all ideals. This statement is contained in Huneke's uniform Artin-Rees lemma. The new achievement in the paper under review is that Sznajdman gives an analytic proof of Theorem 1 which is based on a strategy similar to the proof of the uniform Briançon-Skoda theorem in [Zbl 1200.32007].