This is an improved version of [this](https://mathoverflow.net/questions/125442/how-much-of-a-variety-can-be-reconstructed-from-codimension-zero-data) question. Maybe it should be an edit -- I'm not sure what the MO convention is.


I'm curious, more or less, how much information one can get out of the derived category of coherent sheaves on a variety which are trivialized outside a finite set. Specifically, suppose $X$ is a smooth, proper variety of finite type over $\mathbb{C}$. Consider the category $\mathcal{C}=\text{Coh}(X)\_{\text{codim }0}$ of coherent sheaves which are trivial (in the sense of being isomorphic to a power of the constant sheaf) outside a finite set of $\mathbb{C}$-points of $X$. This is a symmetric monoidal category with inner Homs. Suppose we do not know $X$, but know the category $\mathcal{C}$, together with derived data (the derived category of complexes whose cohomology is in $\mathcal{C}$, together with derived tensor products, Homs and most importantly global sections). Suppose in addition we are given the set of points of $X$ together with their formal neighborhoods, and know for every sheaf in $\mathcal{C}$ how it can be patched out of a globally trivial sheaf together with patching data at some finite set of formal neighborhoods. 


How much information about $X$ does the category $\mathcal{C}$ contain? In particular can $X$ be recovered from $\mathcal{C}$?



How much of a variety can be reconstructed from codimension-zero data?
Let $F$ be a sheaf which is trivial on $X - S$. This means that $j^\*F = O\_{X-S}^{\oplus n}$ for some $n$, where $j$ is the embedding of $X - S$ into $X$. Note that by Hartogs theorem one has $j\_\*O\_{X-S} = O\_X$, so by adjunction one has a morphism $F \to j\_\*j^\*F = O\_X^{\oplus n}$ which is an isomorphism on $X - S$. So, this means that such $F$ is a modification of the trivial bundle in the finite number of points. In other words, $Coh(X)\_{codim 0}$ is the extenion closed abelian subcategory of $Coh(X)$ generated by $O\_X$ and all structure sheaves of points.


EDIT. Let us see what the information we have in this category. First, we have the cohomology of $O\_X$. Second, we have a bunch of structure sheaves of points, and this part of the category depends only on the dimension of the variety. Finally, we have multiplication maps
$$
Ext^\bullet(O\_X,O\_S)\otimes Ext^\bullet(O\_S,O\_X) \to Ext^\bullet(O\_X,O\_X)
$$
and
$$
Ext^\bullet(O\_X,O\_S)\otimes Ext^\bullet(O\_S,O\_X) \to Ext^\bullet(O\_S,O\_S).
$$
Since $S$ is $0$ dimensional the first factor lives in degree $0$ and the second in degree $n = \dim X$, so the only thing we have are the maps 
$$
Hom(O\_X,O\_S)\otimes Ext^n(O\_S,O\_X) \to Ext^n(O\_X,O\_X)
$$
and
$$
Hom(O\_X,O\_S)\otimes Ext^n(O\_S,O\_X) \to Ext^n(O\_S,O\_S).
$$
Now let $S= x$ be a point. By Serre duality these maps correspond to the maps
$$
Hom(O\_X,O\_x)\otimes Hom(O\_X,\omega\_X) \to Ext^n(O\_X,\omega\_X\otimes O\_x)
$$
and
$$
Hom(O\_X,O\_x)\otimes Hom(O\_x,O\_x) \to Hom(O\_X,O\_x).
$$
So, the second map contains no information, while the first gives the canonical morphism 
$$
X \to P(H^0(\omega\_X)^\*) = P(H^n(O\_X)).
$$


So, on one hand, if $H^n(O\_X) = 0$ you cannot reconstruct anything. On the other hand, if the canonical class is very ample, by reconstrcting the anticanonical image you reconstruct all $X$. I am not quite sure what goes on in the intermediate cases. 


