SearcharxivSearch

arXiv subjects

Yuki Hirano

Publications and source records attributed to Yuki Hirano.

12 recordsLinked to original sources

Stability conditions on noncommutative crepant resolutions of 3-dimensional isolated singularities

Let $R$ be a 3-dimensional complete local Gorenstein isolated singularity. For a basic maximal modifying $R$-module $M$, we construct a wall-and-chamber structure, denoted by ${\sf Cone}(M)$ and called the mutation cone of $M$, in the real Grothendieck group associated to the maximal modification algebra $Λ={\rm End}_R(M)$. Each chamber in ${\sf Cone}(M)$ corresponds to a maximal modifying module obtained by iterated (Iyama--Wemyss) mutations of $M$, and a wall-crossing corresponds to the mutation at an indecomposable summand. Moreover, we introduce the notion of tilting-noetherian property of $Λ$, and by analysis of wall-and-chamber structure of ${\sf Cone}(M)$, we prove that this property holds for $Λ$ if and only if all maximal modifying $R$-modules are connected by iterated mutations. We then consider the finite length subcategory $\mathscr{D}_M\subset {\rm D}^{\rm b}({\rm mod}\,Λ)$ and introduce a full-dimensional connected subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M\subset{\rm Stab}\mathscr{D}_M$ of Bridgeland stability conditions on $\mathscr{D}_M$. We prove that there is a regular covering map from ${\rm Stab}^{\rm mdf}\mathscr{D}_M$ to the complexification ${\sf Cone}(M)_{\mathbb{C}}$ of the mutation cone of $M$, where the Galois group is the subgroup of ${\rm Auteq} \mathscr{D}_M$ consisting of compositions of equivalences associated to mutations of maximal modifying modules. Finally, using the results on stability conditions, we describe the group of autoequivalences of $\mathscr{D}_M$ that preserve the subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M$.

math.AG

Length of triangulated categories

We introduce the notion of composition series of triangulated categories, which generalizes full exceptional sequences. The lengths of composition series yield invariants for triangulated categories. We study composition series of derived categories for some classes of projective varieties and finite-dimensional algebras. We prove that certain negative rational curves on rational surfaces cause composition series of different lengths in the derived categories of the surfaces. On the other hand, we show that for derived categories of finite-dimensional hereditary algebras, for nontrivial admissible subcategories of ${\rm D}^{\rm b}(\mathbb{P}^2)$ and for derived categories of some singular varieties, all composition series have the same length.

math.AG

Fourier-Mukai loci of K3 surfaces of Picard number one

In this paper, we describe the Fourier-Mukai locus of the derived category of a complex algebraic K3 surface of Picard number one. We also prove that the Fourier-Mukai locus of the derived category of a complex algebraic K3 surface of Picard number one is strictly smaller than it's Matsui spectrum.

math.AG

Mutations of noncommutative crepant resolutions in geometric invariant theory

Let $X$ be a generic quasi-symmetric representation of a connected reductive group $G$. The GIT quotient stack $\mathfrak{X}=[X^{\rm ss}(\ell)/G]$ with respect to a generic $\ell$ is a (stacky) crepant resolution of the affine quotient $X/G$, and it is derived equivalent to a noncommutative crepant resolution (=NCCR) of $X/G$. Halpern-Leistner and Sam showed that the derived category $\mathrm{D}^b(\mathrm{coh}~\mathfrak{X})$ is equivalent to certain subcategories of $\mathrm{D}^b(\mathrm{coh}~[X/G])$, which are called magic windows. This paper studies equivalences between magic windows that correspond to wall-crossings in a hyperplane arrangement in terms of NCCRs. We show that those equivalences coincide with derived equivalences between NCCRs induced by tilting modules, and that those tilting modules are obtained by certain operations of modules, which is called exchanges of modules. When $G$ is a torus, it turns out that the exchanges are nothing but iterated Iyama--Wemyss mutations. Although we mainly discuss resolutions of affine varieties, our theorems also yield a result for projective Calabi-Yau varieties. Using techniques from the theory of noncommutative matrix factorizations, we show that Iyama--Wemyss mutations induce a group action of the fundamental group $π_1(\mathbb{P}^1 \backslash\{0,1,\infty\})$ on the derived category of a Calabi-Yau complete intersection in a weighted projective space.

math.AG

Stability Conditions for 3-fold Flops

Let $f\colon X\to\mathrm{Spec}\, R$ be a 3-fold flopping contraction, where $X$ has at worst Gorenstein terminal singularities and $R$ is complete local. We describe the space of Bridgeland stability conditions on the null subcategory $\mathscr{C}$ of the bounded derived category of $X$, which consists of those complexes that derive pushforward to zero, and also on the affine subcategory $\mathscr{D}$, which consists of complexes supported on the exceptional locus. We show that a connected component of stability conditions on $\mathscr{C}$ is the universal cover of the complexified complement of the real hyperplane arrangement associated to $X$ via the Homological MMP, and more generally that a connected component of normalised stability conditions on $\mathscr{D}$ is a regular covering space of the infinite hyperplane arrangement constructed in Iyama-Wemyss [IW9]. Neither arrangement is Coxeter in general. As a consequence, we give the first description of the Stringy Kähler Moduli Space (SKMS) for all smooth irreducible 3-fold flops. The answer is surprising: we prove that the SKMS is always a sphere, minus either 3, 4, 6, 8, 12 or 14 points, depending on the length of the curve.

math.AG

Derived factorization categories of non-Thom--Sebastiani-type sums of potentials

We first prove semi-orthogonal decompositions of derived factorization categories arising from sums of potentials of gauged Landau-Ginzburg models, where the sums are not necessarily Thom--Sebastiani type. We then apply the result to the category ${\rm HMF}^{L_f}(f)$ of maximally graded matrix factorizations of an invertible polynomial $f$ of chain type, and explicitly construct a full strong exceptional collection $E_1$,..., $E_μ$ in ${\rm HMF}^{L_f}(f)$ whose length $μ$ is the Milnor number of the Berglund--Hübsch transpose $\widetilde{f}$ of $f$. This proves a conjecture, which postulates that for an invertible polynomial $f$ the category ${\rm HMF}^{L_f}(f)$ admits a tilting object, in the case when $f$ is a chain polynomial. Moreover, by careful analysis of morphisms between the exceptional objects $E_i$, we explicitly determine the quiver with relations $(Q,I)$ which represents the endomorphism ring of the associated tilting object $\oplus_{i=1}^μE_i$ in ${\rm HMF}^{L_f}(f)$, and in particular we obtain an equivalence ${\rm HMF}^{L_f}(f)\cong {\rm D}^{\rm b}({\rm mod}\, kQ/I)$.

math.AG

Prime thick subcategories on elliptic curves

We classify all prime thick subcategories in the derived category of coherent sheaves on elliptic curves, and determine the Serre invariant locus of Matsui spectrum of derived category of coherent sheaves on any smooth projective curves.

math.AG

Equivariant Tilting Modules, Pfaffian Varieties and Noncommutative Matrix Factorizations

We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a Pfaffian variety is equivalent to the derived factorization category of a noncommutative gauged Landau-Ginzburg model $(Λ,χ, w)^{\mathbb{G}_m}$, where $Λ$ is a noncommutative resolution of the quotient singularity $W/\operatorname{GSp}(Q)$ arising from a certain representation $W$ of the symplectic similitude group $\operatorname{GSp}(Q)$ of a symplectic vector space $Q$.

math.AG

Relative singular locus and Balmer spectrum of matrix factorizations

For a separated Noetherian scheme $X$ with an ample family of line bundles and a non-zero-divisor $W\inΓ(X,L)$ of a line bundle $L$ on $X$, we classify certain thick subcategories of the derived matrix factorization category ${\rm DMF}(X,L,W)$ of the Landau-Ginzburg model $(X,L,W)$. Furthermore, by using the classification result and the theory of Balmer's tensor triangular geometry, we show that the spectrum of the tensor triangulated category $({\rm DMF}(X,L,W), \otimes^{\frac{1}{2}})$ is homeomorphic to the relative singular locus ${\rm Sing}(X_0/X)$, introduced in this paper, of the zero scheme $X_0\subset X$ of $W$.

math.AG

Faithful Actions from Hyperplane Arrangements

We show that if $X$ is a smooth quasi-projective $3$-fold admitting a flopping contraction, then the fundamental group of an associated simplicial hyperplane arrangement acts faithfully on the derived category of $X$. The main technical advance is to use torsion pairs as an efficient mechanism to track various objects under iterations of the flop functor (respectively, mutation functor). This allows us to relate compositions of the flop functor (respectively, mutation functor) to the theory of Deligne normal form, and to give a criterion for when a finite composition of $3$-fold flops can be understood as a tilt at a single torsion pair. We also use this technique to give a simplified proof of the result of Brav-Thomas for Kleinian singularities.

math.AG

Equivalences of derived factorization categories of gauged Landau-Ginzburg models

For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models. As an application, we obtain some equivalences of derived factorization categories of K-equivalent gauged LG models. This result is an equivariant version of the result of Baranovsky and Pecharich, and it also gives a partial answer to Segal's conjecture. As another application, we prove that if the kernel of the Fourier-Mukai equivalence is linearizable with respect to a reductive affine algebraic group action, then the derived categories of equivariant coherent sheaves on the varieties are equivalent. This result is shown by Ploog for finite groups case.

math.AG

Derived Kn"orrer periodicity and Orlov's theorem for gauged Landau-Ginzburg models

We prove a Kn"orrer periodicity type equivalence between derived factorization categories of gauged LG models, which is an analogy of a theorem proved by Shipman and Isik independently. As an application, we obtain a gauged LG version of Orlov's theorem describing a relationship between categories of graded matrix factorizations and derived categories of hypersurfaces in projective spaces, by combining the above Kn"orrer periodicity type equivalence and the theory of variations of GIT quotients due to Ballard, Favero and Katzarkov.

math.AG