Adelic Descent Theory

TL;DR

This paper extends adelic descriptions of vector bundles from algebraic curves to arbitrary Noetherian schemes by establishing an adelic descent theorem for perfect complexes, enabling scheme reconstruction from adelic data.

Contribution

It develops an adelic descent theorem for perfect complexes on Noetherian schemes, generalizing classical adelic descriptions and scheme reconstruction techniques.

Findings

Proves an equivalence between perfect complexes on a scheme and cartesian perfect complexes over adelic cosimplicial rings.

Establishes a scheme reconstruction theorem from adelic data analogous to Gelfand--Naimark's theorem.

Provides results on perfect complexes over flasque sheaves of algebras.

Abstract

A result of Andr\'e Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\mathrm{GL}_n(\mathbb{A})$ of regular matrices over the ring of ad\`eles (over algebraically closed fields, this result is also known to extend to $G$-torsors for a reductive algebraic group $G$). In the present paper we develop analogous adelic descriptions for vector and principal bundles on arbitrary Noetherian schemes, by proving an adelic descent theorem for perfect complexes. We show that for Beilinson's co-simplicial ring of ad\`eles $\mathbb{A}_X^{\bullet}$, we have an equivalence $\mathsf{Perf}(X) \simeq |\mathsf{Perf}(\mathbb{A}_X^{\bullet})|$ between perfect complexes on $X$ and cartesian perfect complexes for $\mathbb{A}_X^{\bullet}$. Using the Tannakian formalism for symmetric monoidal $\infty$-categories, we conclude that a Noetherian scheme can be reconstructed from the co-simplicial ring of ad\`eles. We view this statement as a scheme-theoretic analogue of Gelfand--Naimark's reconstruction theorem for locally compact topological spaces from their ring of continuous functions. Several results for categories of perfect complexes over (a strong form of) flasque sheaves of algebras are established, which might be of independent interest.