Suppose $X$ is a nice (finite type over $\mathbb{C}$, smooth and proper if necessary) variety. Suppose we're given the $\mathbb{C}$-points of $X$ as a set and for any finite subset $S\subset X$ we know the DG algebra of derived sections $\Gamma_{DG}(X\setminus S)$, together with the transition maps when we replace $S$ by $S'\supset S$. Can we reconstruct $X$?
How much of a variety can be reconstructed from the codimension-zero topos?
Dmitry Vaintrob
- 8k
- 25
- 50