Return to Question

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail, should I write it up?). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Here was a similar question on MO, but it adresses (as with the answer by David Ben-Zvi) only the derived setting, but I want to work with the usual category of quasi-coherent modules.

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail, should I write it up?). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Here was a similar question on MO, but it adresses (as with the answer by David Ben-Zvi) only the derived setting, but I want to work with the usual category of quasi-coherent modules.

The question is answered affirmatively here: https://arxiv.org/abs/2002.00383

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail, should I write it up?). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Here was a similar question on MO, but it adresses (as with the answer by David Ben-Zvi) only the derived setting, but I want to work with the usual category of quasi-coherent modules.

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail, should I write it up?). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Here was a similar question on MO, but it adresses (as with the answer by David Ben-Zvi) only the derived setting, but I want to work with the usual category of quasi-coherent modules.

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Let $R$ be a ring and $X,Y$ two $R$-schemes, which you may assume to be noetherian or anything reasonable you like. Is it possible to "construct" $\text{Qcoh}(X \times_R Y)$ out of $\text{Qcoh}(X)$ and $\text{Qcoh}(Y)$ in the $2$-category of all cocomplete $R$-linear tensor categories?

Perhaps it is the $2$-coproduct? So the question is if for every cocomplete $R$-linear tensor category $C$ the canonical functor

$\text{Hom}(\text{Qcoh}(X \times_R Y),C) \to \text{Hom}(\text{Qcoh}(X),C) \times \text{Hom}(\text{Qcoh}(Y),C)$

$F \mapsto (F \circ (p_X)^*, F \circ (p_Y)^*)$

is an equivalence of categories. This is satisfied if $X,Y$ are affine, but I think also when $X,Y$ are projective over $R$ (EDIT: Yes, now I've proved this in detail, should I write it up?). Actually for my purposes it would be enough to prove that the functor is conservative, i.e. reflects isomorphisms.

Here was a similar question on MO, but it adresses (as with the answer by David Ben-Zvi) only the derived setting, but I want to work with the usual category of quasi-coherent modules.