Ekedahl's Equivalence Explained

Abstract

Ekedahl's theory relates diagonal complexes to \(F\)-gauges, but turning this equivalence into explicit calculations requires careful control of its constructions. These notes explain the equivalence and clarify the generators-and-relations definition of \(\rmt\). At each finite level, we construct bounded projective resolutions of bounded coherent gauge complexes by finite sums of the standard generators. Morita equivalence expresses \(\rmt\) as a tensor product functor. Comparing the constructions across levels yields an exact fully faithful embedding of the diagonal heart into \(\Ch(R)\). Finally, we compute three distinct domino types arising from abelian threefolds that are all supergeneral.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.