-
Proper Fourier-Mukai partners of abelian varieties and points outside the Fourier-Mukai loci in Matsui spectra
Authors:
Hisato Matsukawa
Abstract:
We prove that any smooth proper Fourier-Mukai partner of an abelian variety is an abelian variety by computing the Matsui spectrum of the derived category. While this result was previously shown by Huybrechts and Nieper-Wisskirchen in the case of smooth projective varieties, we extended it to the proper setting using a completely different method.
We also show that, for certain proper schemes, t…
▽ More
We prove that any smooth proper Fourier-Mukai partner of an abelian variety is an abelian variety by computing the Matsui spectrum of the derived category. While this result was previously shown by Huybrechts and Nieper-Wisskirchen in the case of smooth projective varieties, we extended it to the proper setting using a completely different method.
We also show that, for certain proper schemes, the set of points lying outside the Fourier-Mukai locus in the Matsui spectrum of the derived category has cardinality at least that of the base field. This suggests the existence of geometric structures outside the Fourier-Mukai locus, such as moduli spaces. Furthermore, we prove that Ito's conjecture -- which predicts that the Serre invariant locus coincides with the Fourier-Mukai locus -- fails for simple abelian varieties of dimension greater than two. Although counterexamples -- K3 surfaces of Picard number one -- were given by Hirano-Ouchi, no other counterexamples had been known prior to our work.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
The Spectrum of Stable Infinity Categories with Actions
Authors:
Hisato Matsukawa
Abstract:
In the 2000s, Balmer constructed a ringed space from a triangulated category with a tensor structure. It provides a beautiful classification of tensor ideals. However, some categories, such as the bounded derived category of coherent sheaves or the triangulated category of singularities of a scheme, do not have canonical tensor structures. We constructed a ringed space from a stable \(\infty\)-cat…
▽ More
In the 2000s, Balmer constructed a ringed space from a triangulated category with a tensor structure. It provides a beautiful classification of tensor ideals. However, some categories, such as the bounded derived category of coherent sheaves or the triangulated category of singularities of a scheme, do not have canonical tensor structures. We constructed a ringed space from a stable \(\infty\)-category with action as an analog. The aforementioned examples have canonical action of the category of perfect complexes, and their associated spaces contain information about the singularities of the scheme.
Recently, Matsui introduced a ringed space from a triangulated category. However, it can be huge and hard to calculate. Our approach describes subspaces of the Matsui spectrum, which is more manageable due to their fiber decomposition.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Cofinality Theorems of Infinity Categories and Algebraic K-Theory
Authors:
Hisato Matsukawa
Abstract:
In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Ba…
▽ More
In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Barwick's cofinality theorem of algebraic (K)-theory.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
