Basically, my question is whether [this](https://mathoverflow.net/questions/50075/is-the-tensor-product-of-regular-rings-still-regular/50122#50122) answer is correct. Here is the point. Let $R$ be a ring, and let $A$ and $B$ be $R$-algebras. Suppose that $A$ is regular and $B \otimes\_R B$ is regular too. Does it follow that $A \otimes\_R B$ is regular?


What if we suppose that $R$ is regular and $B$ a smooth $R$-algebra?



Tensor product of regular ring (with some conditions)
I think the answer to your first question is "no" and to the second question is "yes".


Let $R = k[x]$ be a polynomial ring in one variable, $A$ the ring $k[y]$ with the map from $R$ to $A$ given by $x \mapsto y^2$. Let $B = k[x]/(x)$ as an $A$-algebra. Then $R,A,B$ are all regular, $B \otimes\_R B = k$ is also regular, but $A \otimes\_R B = k[y]/(y^2)$ is not regular.


For the second question, the regularity of $R$ is not necessary. If $B$ is smooth over $R$ then $A \otimes\_R B$ is smooth over $A$ which is regular. Since regularity is preserved by smooth base change, $A \otimes\_R B$ is also regular.


