Monday, 16 May 2011

ag.algebraic geometry - Pole of a function in a diagonal embedding of a normal affine variety.

Let X be a normal affine algebraic variety of dimension n and barX1, barX2 be complete normal varieties containing X as a (Zariski) dense open subset. Let f be a regular function on X such that f has a pole along every irreducible component (which is necessarily of dimension n1) of barXisetminusX for each i, 1leqileq2. Let barXsubseteqbarX1timesbarX2 be the closure of the diagonal embedding of X into barX1timesbarX2. Is it true (assuming that barX is also normal) that f has a pole along every irreducible component of barXsetminusX?



It is easy to see that this is true when n=2 or when X is a (Zariski) open subset of a torus mathbbT and barXi's are toric completions of mathbbT. But the general case still eludes me.

No comments:

Post a Comment