Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar).
Consider the augmented simplicial set of chains of points in $X$ denoted by $S(X)$. It is defined as follows:
The $-1$-simplices a one point set: $S(X)_{-1}=\{1\}$ and the augmentation $d_{-1}: S(X)_0 \to S(X)_{-1}$ is just the only possible map.
An $n\ge0$ -simplex $\xi \in S(X)_{n}$ is a chain of points $\xi = \{x_0,...,x_n\}$ s.t. $x_{i+1} \in \overline{\{x_{i}\}}$.
The face maps remove a point in the chain and the degeneracy repeat a point. Explicitly $d_{i}(\xi)=\{x_0,...,x_{i-1},x_{i+1},...,x_n\}$, $s_i(\xi) = \{x_0,...,x_{i-1},x_{i},x_{i},x_{i+1},...,x_n\}$.
This is a complex
We now define localization of a coherent sheaf $M$ w.r.t. to a chain $\xi$. The definition is inductive:
- If $\xi = {1}$ we define $M_{\xi}=\Gamma(X,M)$.
- For a chain $\xi \in S(X)_n$ we define $M_{\xi}:= \lim_{j \to \infty} (M_{x_n}/\mathfrak{m}_{x_n}^{j+1} M_{x_n})_{d_n\xi}$
This is functorial (and exact) so when fixing $M=\mathcal{O}_X$ the above localizations fit into a simplicial commutative ring with the face and degeneracies induced from the corresponding maps on chains. Call this simplicial commutative ring $\mathbb{A}_{\bullet}(\mathcal{O}_X)$. The same can be done for any coherent sheaf $M$ to obtain a simplicial module $\mathbb{A}_\bullet(M)$ over the simplicial ring $\mathbb{A}_{\bullet}(\mathcal{O}_X)$.
We get a "localization" functor $\mathbb{A}_\bullet(-): Coh(X) \to \mathbb{A}_\bullet(\mathcal{O}_X)-Mod$.
I think if everything is characteristic $0$ there's no problem in extending this functor via an equivalence so that the target will be $DG$-modules over the $DG$-algebra correpsponding to $\mathbb{A}_\bullet(\mathcal{O}_X)$.
First question: Is this functor $\mathbb{A}_\bullet(-)$ full? faithful? exact? If not can we modify the target category by remembering the topology of the various completions so that it is? Can we modify so that this becomes an equivalence? Basically: Can we reconstruct a noetherian scheme from its complex/simplicial ring of higher adeles?
I found this construction when trying to read about and understand residue complexes, injective hulls, dualizing complexes, differential operators and their various connections. Alas what I found so far was too technical for me to understand or even extract the big picture.
Second question: What is the big picture here regarding the construction of the residue complex from these adeles? How does it interact with differential operators/injective hulls/dualizing complexes? Is their a friendly source that discusses these topics? (By friendly I mean in particular that I prefer it having no proofs at all then being too technical to digest).