Let $K$ be an algebraically closed field, $A$ and $B$ two finite type $K$-algebras which are assumed to be UFD. Is $A \otimes\_K B$ again a UFD?


This question has been already asked [here](https://math.stackexchange.com/questions/3578801/is-the-tensor-product-of-ufds-again-ufd) and [here](https://math.stackexchange.com/questions/4293027/tensor-product-of-ufds), but no (convincing) answer was given. I would like to add a few examples to show that the answer might be slightly less standard than it appears.


$\bullet$ ~~If we drop the *finite type* assumption, the result is wrong. Indeed, take $\require{enclose}
 \enclose{horizontalstrike}{A = K[[T]]}$ and $\require{enclose}
 \enclose{horizontalstrike}{B = K[X,Y,Z]\Big/ \left(X^5 + Y^7-Z^2 \right)}$. Then Samuel proves in his lecture notes [Lecture on unique factorization domains](http://www.math.tifr.res.in/%7Epubl/ln/tifr30.pdf) that $A$ and $B$ are UFD (see Theorem 8.1 in chapter 1 and Theorem 2.1 in chapter 2). On the other hand, he also proves that $\require{enclose}
 \enclose{horizontalstrike}{A \otimes\_K B = B[[T]]}$ is not a UFD (see Theorem 9.1 in chapter 1).~~
**Edit** : as mentionned by Friedrich Knop, $A \otimes\_K B$ is only a subalgebra of $B[[T]]$ (my stupid mistake) and so it's not clear wether it is a UFD or not.


$\bullet$ Even with the finite type assumption, the result doesn't seem to be known (at least at the time when Samuel wrote his lecture notes). Indeed, he states his Theorem 8.1 as:


*Let $A$ be a UFD and $A[X\_1, \ldots, X\_n]$ be graded by assigning weights $\omega\_i$ to $X\_i$ ($\omega\_i >0)$. Let $F(X\_1, \ldots, X\_n)$ be an irreducible homogeneous (for the grading) polynomial, $c$ be a positive integer, prime to the degree of $F$, and*:
$$B = A[X\_1,\ldots,X\_n,Z] \Big/ \left(Z^c-F \right).$$
*Then $B$ is a UFD if one of the following conditions is satisfied:*


1. $c \equiv 1 \ [\omega]$
2. *Every finitely generated projective $A$-module is free.*


If Samuel knew that the tensor product of two finite type $K$-algebras (with $K$ algebraically closed) which are UFD is again a UFD, he would certainly have mentionned that:
$$B = A[X\_1,\ldots,X\_n,Z] \Big/ \left(Z^c-F \right) = A \otimes\_K K[X\_1, \ldots, X\_n,Z]\Big/(Z^c-F)$$
is always a UFD when $A$ is a UFD which is a finite type algebra over $K$ algebraically closed (and he doesn't). At the end of the lecture notes, he gives various examples of such rings which are not UFD, but I can't find one where $K$ is an algebraically closed field and the second condition is the one that is not satisfied.


All in all, I would be very grateful to have a definitive answer on the initial question (even with a highly technological argument or counter-example).



Tensor product of finite type UFD algebras over an algebraically closed field is again UFD?
My [previous answer](https://mathoverflow.net/a/433662/82179) gives a partial result under some additional hypotheses, but these are not needed.


**Theorem** (Boissière–Gabber–Serman). *If $X$ and $Y$ are locally factorial varieties over an algebraically closed field $k$, then so is $X \times Y$. If $\operatorname{Cl}(X) = \operatorname{Cl}(Y) = 0$, then $\operatorname{Cl}(X \times Y)=0$.*


See [BGS, Thm. 5.1 and Cor. 5.4]. $\square$


Taking $X = \operatorname{Spec} A$ and $Y = \operatorname{Spec} B$ for unique factorisation domains $A$ and $B$ shows that $A \otimes\_k B$ is a unique factorisation domain.




---


**References.**


[BGS] S. Boissière, O. Gabber, O. Serman, *Sur le produit de variétés factorielles ou $\mathbf Q$-factorielles*. Preprint (2011). arXiv:[1104.1861](https://arxiv.org/abs/1104.1861).


