For a morphism of schemes $f:X\to S$ with $S=\text{Spec}(R)$ affine, let's write $A(X)=H^0(X,\mathcal{O}_X)$. I'm interested in the morphism of $R$-algebras
$$
c:A(X)\otimes_R A(Y)\to A(X\times_SY)
$$
for some $X,Y$ over $S$ which I don't want to assume affine or proper. With no affineness condition, the classical case where $c$ is shown to be an isomorphism is when $X\to S$ is flat and $A(Y)$ is flat (SGA3 I, Lemme 11.1).

> **I want to prove that $c$ is an isomorphism in the following case: $R$ is an artinian ring with algebraically closed residue field and $X$ and $Y$ are smooth, of finite type, connected if that helps, over $R$**.

In fact in my intended application I have $X=Y=G$ a smooth connected group scheme, which by Chevalley we know is an extension of an abelian variety by a an affine group scheme, or by the 'dual' Chevalley is an extension of an affine by an anti-affine. But I'm not sure this is relevant in any way.

My attempts to prove this so far were as follows. If $X,Y$ are both affine, or both proper, then the claim is true. I tried dévissage, that is, $X\to S$ factors as an affine morphism $X\to Z$ followed by a proper morphism $Z\to S$ (for schemes, Temkin 2011; for group schemes this is Chevalley) but was unable to really go further.

Another approach I tried was to use the Künneth formula (say in the form
[stacks project Tag 0FLQ](https://stacks.math.columbia.edu/tag/0FLN). Taking $H^0$ in the Künneth formula, in the RHS I get exactly $A(X\times_SY)$, while in the LHS the algebra $A(X)\otimes_R A(Y)$ should appear as a graded piece of the abutment of the second hypercohomology spectral sequence, if I'm right. The problem here is that I'm not sure how to write that spectral sequence, because instead of a functor, in this case I have a bifunctor (namely $\otimes$) and then I get lost.

Note that although I'd be quite surprised, it is still possible that my guess for the isomorphism is wrong, and I'd be happy (well... would I?) to be disproved.

Thank you for any help or suggestion!