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?** 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).