We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface.
We give a conceptual proof that the Poincaré series of the coordinate algebra of a Kleinian singularity and of a Fuchsian singularity of genus 0 is the quotient of the characteristic polynomials of two Coxeter elements. These Coxeter elements are interpreted geometrically, using triangulated categories and spherical twist functors.
Grothendieck proved that any locally free sheaf on a projective line over a field (uniquely) decomposes into a direct sum of line bundles. Ishii and Uehara construct an analogue of Grothendieck's theorem for pure sheaves on the fundamental cycle of the Kleinian singularity $A_n$. We first study the analogue for the other Kleinian singularities except for $A_n$. We also study the classification of rigid pure sheaves on the reduced scheme of the fundamental cycles. The classification is related to the classification of spherical objects in a certain Calabi-Yau $2$-dimensional category.
We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's work on Kleinian singularities. The construction hinges on an orbifold version of the Bogomolov-Gieseker inequality for slope semistable sheaves on the stack, and makes use of the Toën-Hirzebruch-Riemann-Roch theorem.
We describe the spaces of stability conditions on certain triangulated categories associated to Dynkin diagrams. These categories can be defined either algebraically via module categories of preprojective algebras, or geometrically via coherent sheaves on resolutions of Kleinian singularities. The resulting spaces are related to regular subsets of the corresponding complexified Cartan algebras.
We establish faithfulness of braid group actions generated by twists along an ADE configuration of $2$-spherical objects in a derived category. Our major tool is the Garside structure on braid groups of type ADE. This faithfulness result provides the missing ingredient in Bridgeland's description of a space of stability conditions associated to a Kleinian singularity.
The exceptional configuration of the minimal resolution $\hat{S}_G $ of a Kleinian quotient surface $S_G (:= \CZ^2/G)$ is depicted by a $A$-$D$-$E$ Coxeter-Dynkin diagram. In this article, we show that branching indices of the affine $A$-$D$-$E$ diagram is geometrically characterized by a certain special function $F$ of $S_G$ as the multiplicities of its divisor components in $\hat{S}_G$, a version parallel to the elliptic fibration near certain types of simple singular fibers in Kodaira's elliptic surface theory. We further obtain the uniqueness property of the function $F$ (modular local uni…
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/Γ$ as a Nakajima quiver variety for the framed McKay quiver of $Γ$, taken at a specific non-generic stability parameter. We deduce that this Hilbert scheme is irreducible (a result previously due to Zheng), normal, and admits a unique symplectic resolution. More generally, we introduce a class of algebras obtained from the preprojective algebra of the framed McKay quiver by a process called cornering, a…
In this paper we prove an analogue of a recent result of Gordon and Stafford that relates the representation theory of certain noncommutative deformations of the coordinate ring of the n-th symmetric power of C^2 with the geometry of the Hilbert scheme of n points in C^2 through the formalism of Z-algebras. Our work produces, for every regular noncommutative deformation O^λof a Kleinian singularity X=C^2/Γ, as defined by Crawley-Boevey and Holland, a filtered Z-algebra which is Morita equivalent to O^λ, such that the associated graded Z-algebra is Morita equivalent to the minimal resolution of…
C. Weibel and Thomason-Trobaugh proved (under some assumptions) that algebraic K-theory with coefficients is A1-homotopy invariant. In this article we generalize this result from schemes to the broad setting of dg categories. Along the way, we extend Bass-Quillen's fundamental theorem as well as Stienstra's foundational work on module structures over the big Witt ring to the setting of dg categories. Among other cases, the above A1-homotopy invariance result can now be applied to sheaves of (not necessarily commutative) dg algebras over stacks. As an application, we compute the algebraic K-the…
The minimal degeneration singularities in the affine Grassmannians of simple simply-laced algebraic groups are determined to be either Kleinian singularities of type A, or closures of minimal orbits in nilpotent cones. The singularities for non-simply-laced types are studied by intersection cohomology and equivariant Chow group methods.
A finite subgroup of ${\rm SL}_2(\CC)$ defines a (Kleinian) rational surface singularity. The McKay correspondence yields a relation between the Poincaré series of the algebra of invariants of such a group and the characteristic polynomials of certain Coxeter elements determined by the corresponding singularity. Here we consider some non-abelian finite subgroups $G$ of ${\rm SL}_3(\CC)$. They define non-isolated three-dimensional Gorenstein quotient singularities. We consider suitable hyperplane sections of such singularities which are Kleinian or Fuchsian surface singularities. We show that w…
We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which are known or generalise known results, on singularity categories of algebras with radical square zero, of non-commutative deformations of Kleinian singularities, of $SL_3(\mathbb{C})$-quotient singularities and of Gorenstein toric threefolds.
Smooth threefold flops with irreducible centres are classified by the length invariant, which takes values 1, 2, 3, 4, 5 or 6. This classification by Katz and Morrison identifies 6 possible partial resolutions of Kleinian singularities that can occur as generic hyperplane sections, and the simultaneous resolutions associated to such a partial resolution produce the universal flop of length $l$. In this paper we translate these ideas into noncommutative algebra. We introduce the universal flopping algebra of length $l$ from which the universal flop of length $l$ can be recovered by a moduli con…
Canonical orders, introduced in the minimal model program for orders, are simultaneous generalisations of Kleinian singularities and their associated skew group rings. In this paper, we construct minimal resolutions of canonical orders via non-commutative cyclic covers and skew group rings. This allows us to exhibit a derived equivalence between minimal resolutions of canonical orders and the skew group ring form of the canonical order in all but one case. The Fourier-Mukai transform used to construct this equivalence allows us to make explicit, the numerical version of the McKay correspondenc…
Using Braun-Chuang-Lazarev's derived quotient, we enhance the contraction algebra of Donovan-Wemyss to an invariant valued in differential graded algebras. Given an isolated contraction $X \to X_\mathrm{con}$ of an irreducible rational curve $C$ to a point $p$, we show that its derived contraction algebra controls the derived noncommutative deformations of $C$. We use dg singularity categories to prove that, when $X$ is smooth, the derived contraction algebra recovers the geometry of $X_\mathrm{con}$ complete locally around $p$, establishing a positive answer to a derived version of a conjectu…
In this paper we construct noncommutative resolutions of a certain class of Calabi-Yau threefolds studied by F. Cachazo, S. Katz and C. Vafa. The threefolds under consideration are fibered over a complex plane with the fibers being deformed Kleinian singularities. The construction is in terms of a noncommutative algebra introduced by V. Ginzburg, which we call the "N=1 ADE quiver algebra".
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and for $n\geq 1$, we use variation of GIT quotient for Nakajima quiver varieties to study the birational geometry of the Hilbert scheme of $n$ points on the minimal resolution $S$ of the Kleinian singularity $\mathbb{C}^2/Γ$. It is well known that $X:=\mathrm{Hilb}^{[n]}(S)$ is a projective, crepant resolution of the symplectic singularity $\mathbb{C}^{2n}/Γ_n$, where $Γ_n=Γ\wr\mathfrak{S}_n$ is the wreath product. We prove that every projective, crepant resolution of $\mathbb{C}^{2n}/Γ_n$ can be realised as the fine moduli space of $…
Simple, or Kleinian, singularities are classified by Dynkin diagrams of type ADE. Let g be the corresponding finite-dimensional Lie algebra, and W its Weyl group. The set of g-invariants in the basic representation of the affine Kac-Moody algebra g^ is known as a W-algebra and is a subalgebra of the Heisenberg vertex algebra F. Using period integrals, we construct an analytic continuation of the twisted representation of F. Our construction yields a global object, which may be called a W-twisted representation of F. Our main result is that the total descendant potential of the singularity, int…
Let $R$ be an isolated Gorenstein singularity with a non-commutative resolution $A=End_R(R\oplus M)$. In this paper, we show that the relative singularity category $Δ_R(A)$ of $A$ has a number of pleasant properties, such as being Hom-finite. Moreover, it determines the classical singularity category $D_{sg}(R)$ of Buchweitz and Orlov as a certain canonical quotient category. If $R$ has finite CM type, which includes for example Kleinian singularities, then we show the much more surprising result that $D_{sg}(R)$ determines $Δ_R(Aus(R))$, where $Aus(R)$ is the corresponding Auslander algebra. …
Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients, etale K-theory and periodic cyclic homology), we construct a distinguished triangle expressing E(A/F) as the cone of the endomorphism E(F)-Id of E(A). In the particular case where F is the identity dg functor, this triangle splits and gives rise to the fundamental theorem. As a first application, we compute the A1-homotopy invariants of cluster (dg) categories, …
Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the critical cohomology of the stack of representations of $(Q,W)$. Special cases of this construction are related to work of Nakajima, Varagnolo, Schiffmann-Vasserot, Maulik-Okounkov, Yang-Zhao etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $\left(\widetilde{Q},\widetilde{W}\right)$ whose CoHA is conjecturally the positive half of the Maulik-Okounkov Yangian $Y_{\text{MO}}(\mathfrak{g}_Q)$. For a quiver with potential …
Rutgers, The State University Of New Jersey(新泽西州立罗格斯大学);The University of Tokyo(东京大学);Simion Stoilow Institute of Mathematics(罗马尼亚科学院西米恩·斯托伊洛数学研究所);Université de Paris(巴黎大学)
Given a quiver with potential $(Q,W)$, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of $(Q,W)$. As shown by Davison-Meinhardt, this algebra comes with a filtration whose associated graded algebra is supercommutative. A special case of this construction is related to work of Nakajima, Varagnolo, Maulik-Okounkov etc. about geometric constructions of Yangians and their representations; indeed, given a quiver $Q$, there exists an associated pair $(\widetilde{Q},\widetilde{W})$ for which the CoHA is conjecturally the positive half of the Yangian …
Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians
Rutgers, The State University Of New Jersey(新泽西州立罗格斯大学);The University of Tokyo(东京大学);Simion Stoilow Institute of Mathematics(西蒙·斯托伊洛数学研究所);Université de Paris(巴黎大学)
A version of the Bondal-Orlov conjecture, proved by Bridgeland, states that if $X$ and $Y$ are smooth complex projective threefolds linked by a flop, then they are derived equivalent. Van den Bergh gave a new proof of Bridgeland's theorem using the notion of a NCCR, which is in particular a ring $A$ together with a derived equivalence between $X$ and $A$. This ring $A$ is constructed as an endomorphism ring of a decomposable module, and hence admits an idempotent $e$. Donovan and Wemyss define the contraction algebra $A_\mathrm{con}$ to be the quotient of $A$ by $e$; it is a finite-dimensional…