Abstract: | The behavior of units in a tensor product of rings is studied, as one factor varies. For example, let be an algebraically closed field. Let and be reduced rings containing , having connected spectra. Let be a unit. Then for some units and . Here is a deeper consequence, stated for simplicity in the affine case only. Let be a field, and let be a homomorphism of finitely generated -algebras such that is dominant. Assume that every irreducible component of or is geometrically integral and has a rational point. Let be a faithfully flat homomorphism of reduced -algebras. For a -algebra, define to be . Then satisfies the following sheaf property: the sequence ![\begin{displaymath}0\to Q(B)\to Q(C)\to Q(C\otimes _B\,C)\end{displaymath}](http://www.ams.org/tran/1996-348-11/S0002-9947-96-01680-7/gif-abstract/img29.gif)
is exact. This and another result are used to prove (5.2) of 7]. |