Functorial structure of units in a tensor product

DOI10.1090/S0002-9947-96-01680-7zbMATH Open0861.13001arXivalg-geom/9410010OpenAlexW1580536418MaRDI QIDQ3837643FDOQ3837643

Authors: David B. Jaffe 

Publication date: 10 December 1996

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: 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 in A tensor_k B be a unit. Then u = a tensor_k b for some units a in A and b in 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(R_red) or Spec(S_red) 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 tensor_k A)^*/(R tensor_k A)^*. Then Q satisfies the following sheaf property: the sequence 0 --> Q(B) --> Q(C) --> Q(C tensor_B 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 tensor_k E) --> Pic(A tensor_k K) is injective.

Full work available at URL: https://arxiv.org/abs/alg-geom/9410010

Recommendations

• On the unit sum number of some rings
• Tensor products and localizations of algebras
• On the prime ideal structure of tensor products of algebras
• On the group of units and the Picard group of a product
• On the tensor product of algebras

zbMATH Keywords

flat homomorphismunits in a tensor product of rings

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Divisibility and factorizations in commutative rings (13A05)

Cites Work

• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Some Basic Theorems on Algebraic Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The early proofs of Sylow's theorem
• On the Picard group: Torsion and the kernel induced by a faithfully flat map
• Title not available (Why is that?)

Cited In (3)

• Partial tensor-product functors and crossed-product functors
• On the group of units and the Picard group of a product
• Čech cohomology and the capitulation kernel

This page was built for publication: Functorial structure of units in a tensor product

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3837643)