Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper investigates the inverse of Ekedahl's equivalence, which reconstructs coherent Raynaud complexes from coherent F-gauges via a completed derived functor, by analyzing it before totalization. At a finite level, the inverse is expressed as a tensor product with a bimodule complex, whose cohomology yields R-complex representatives of diagonal cohomology. These representatives are shown to be interval-independent, establishing an exact fully faithful functor from the diagonal heart to Ch(R) that splits localization.
Diagonal cohomology representatives are proven to be interval-independent, revealing a fundamental structural property of Ekedahl's equivalence.
Ekedahl's equivalence reconstructs coherent Raynaud complexes from coherent F-gauges by a completed derived functor. We study this inverse before totalization. At a fixed finite level, we construct finite projective resolutions and express the inverse as a tensor product with a complex of bimodules. Its cohomology in the resolution direction gives actual R-complex representatives of diagonal cohomology. We prove that these representatives are independent of the interval and obtain an exact fully faithful functor from the diagonal heart to Ch(R), splitting localization. Finally, we compute the domino factors for three cyclic crystalline presentations of supergeneral abelian threefolds. The resulting elementary factor types are {2,3,4}, {2,3,7}, and {2,3,6}.