1994/10/12 by David B. Jaffe, Jaffe, David B.
Mathematics · #Algebraic Geometry (math.AG) #FOS: Mathematics #alg-geom #math.AG
paper · pdf · doi:10.48550/arxiv.alg-geom/9410010
23 pages, AMS-LaTeX. Hard copy is available from the author. E-mail to [email protected]
arxiv created 1994/10/12 · arxiv updated 2009/11/30
We study the units in a tensor product of rings. For example, let k be an algebraically closed field. Let A and B be reduced rings containing k, having connected spectra. Let u ∈ A tensork B be a unit. Then u = a tensork b for some units a ∈ A and b ∈ B. Here is a deeper result, stated for simplicity in the affine case only. Let k be a field, and let f: R --> S be a homomorphism of f.g. k-algebras such that Spec(f) is dominant. Assume that every irreducible component of Spec(Rred) or Spec(Sred) is geometrically integral and has a rational point. Let B --> C be a faithfully flat homomorphism of reduced k-algebras. For A a k-algebra, define Q(A) to be (S tensork A)^*/(R tensork A)^*. Then Q satisfies the following sheaf property: the sequence 0 --> Q(B) --> Q(C) --> Q(C tensorB C) is exact. This and another result are used in the proof of the following statement from "The kernel of the map on Picard groups induced by a faithfully flat homomorphism" by R. Guralnick, D. Jaffe, W. Raskind, R. Wiegand: Let K/k be an algebraic field extension and let A be a f.g. k-algebra. Assume resolution of singularities. Then there is a finite extension E/k contained in K/k such that Pic(A tensork E) --> Pic(A tensork K) is injective.