Source author record

Michael Wemyss

Michael Wemyss appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.RT math.AC math.GR math.GT math.RA

Catalog footprint

What is connected

8works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Stability conditions for contraction algebras

This paper gives a description of the full space of Bridgeland stability conditions on the bounded derived category of a contraction algebra associated to a 3-fold flop. The main result is that the stability manifold is the universal cover of a naturally associated hyperplane arrangement, which is known to be simplicial, and in special cases is an ADE root system. There are four main corollaries: (1) a short proof of faithfulness of pure braid group actions in both algebraic and geometric settings, the first that avoid normal forms, (2) a classification of tilting complexes in the derived category of a contraction algebra, (3) contractibility of a certain stability space associated to the flop, and (4) a new proof of the $K(π,1)$-theorem in various finite settings, which includes ADE braid groups.

preprint2016arXiv

Gorenstein modifications and $\mathbb{Q}$-Gorenstein rings

Let $R$ be a Cohen--Macaulay normal domain with a canonical module $ω_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local canonical cover of $R$, then a tight relationship between the existence of noncommutative (crepant) resolutions on $R$ and $S$ is given. A weaker notion of Gorenstein modification is developed, and a similar tight relationship is given. There are three applications: non-Gorenstein quotient singularities by connected reductive groups cannot admit an NCCR, the centre of any NCCR is log-terminal, and the Auslander--Esnault classification of two-dimensional CM-finite algebras can be deduced from Buchweitz--Greuel--Schreyer.

preprint2016arXiv

Noncommutative deformations and flops

We prove that the functor of noncommutative deformations of every flipping or flopping irreducible rational curve in a 3-fold is representable, and hence associate to every such curve a noncommutative deformation algebra. This new invariant extends and unifies known invariants for flopping curves in 3-folds, such as the width of Reid, and the bidegree of the normal bundle. It also applies in the settings of flips and singular schemes. We show that the noncommutative deformation algebra is finite dimensional, and give a new way of obtaining the commutative deformations of the curve, allowing us to make explicit calculations of these deformations for certain (-3,1)-curves. We then show how our new invariant also controls the homological algebra of flops. For any flopping curve in a projective 3-fold with only Gorenstein terminal singularities, we construct an autoequivalence of the derived category of the 3-fold by twisting around a universal family over the noncommutative deformation algebra, and prove that this autoequivalence is an inverse of Bridgeland's flop-flop functor. This demonstrates that it is strictly necessary to consider noncommutative deformations of curves in order to understand the derived autoequivalences of a 3-fold, and thus the Bridgeland stability manifold.

preprint2015arXiv

Twists and braids for general 3-fold flops

Given a quasi-projective 3-fold X with only Gorenstein terminal singularities, we prove that the flop functors beginning at X satisfy higher degree braid relations, with the combinatorics controlled by a real hyperplane arrangement H. This leads to a general theory, incorporating known special cases with degree 3 braid relations, in which we show that higher degree relations can occur even for two smooth rational curves meeting at a point. This theory yields an action of the fundamental group of the complexified complement of H on the derived category of X, for any such 3-fold that admits individually floppable curves. We also construct such an action in the more general case where individual curves may flop analytically, but not algebraically, and furthermore we lift the action to a form of affine pure braid group under the additional assumption that X is Q-factorial. Along the way, we produce two new types of derived autoequivalences. One uses commutative deformations of the scheme-theoretic fibre of a flopping contraction, and the other uses noncommutative deformations of the fibre with reduced scheme structure, generalising constructions of Toda and the authors which considered only the case when the flopping locus is irreducible. For type A flops of irreducible curves, we show that the two autoequivalences are related, but that in other cases they are very different, with the noncommutative twist being linked to birational geometry via the Bridgeland-Chen flop-flop functor.

preprint2014arXiv

Singular Derived Categories of Q-factorial terminalizations and Maximal Modification Algebras

Let X be a Gorenstein normal 3-fold satisfying (ELF) with local rings which are at worst isolated hypersurface (e.g. terminal) singularities. By using the singular derived category D_{sg}(X) and its idempotent completion, we give necessary and sufficient categorical conditions for X to be Q-factorial and complete locally Q-factorial respectively. We then relate this information to maximal modification algebras(=MMAs), introduced in [IW10], by showing that if an algebra A is derived equivalent to X as above, then X is Q-factorial if and only if A is an MMA. Thus all rings derived equivalent to Q-factorial terminalizations in dimension three are MMAs. As an application, we extend some of the algebraic results in Burban-Iyama-Keller-Reiten [BIKR] and Dao-Huneke [DH] using geometric arguments.

preprint2013arXiv

Maximal Modifications and Auslander-Reiten Duality for Non-isolated Singularities

We first generalize classical Auslander-Reiten duality for isolated singularities to cover singularities with a one-dimensional singular locus. We then define the notion of CT modules for non-isolated singularities and we show that these are intimately related to noncommutative crepant resolutions (NCCRs). When R has isolated singularities, CT modules recover the classical notion of cluster tilting modules but in general the two concepts differ. Then, wanting to generalize the notion of NCCRs to cover partial resolutions of Spec R, in the main body of this paper we introduce a theory of modifying and maximal modifying modules. Under mild assumptions all the corresponding endomorphism algebras of the maximal modifying modules for three-dimensional Gorenstein rings are shown to be derived equivalent. We then develop a theory of mutation for modifying modules which is similar but different to mutations arising in cluster tilting theory. Our mutation works in arbitrary dimension, and in dimension three the behavior of our mutation strongly depends on whether a certain factor algebra is artinian.

preprint2013arXiv

Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities

In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory. Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{\rm CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist. In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{\rm CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.

preprint2011arXiv

On the Noncommutative Bondal-Orlov Conjecture

Let R be a normal, equi-codimensional Cohen-Macaulay ring of dimension $d\geq 2$ with a canonical module. We give a sufficient criterion that establishes a derived equivalence between the noncommutative crepant resolutions of R. When $d\leq 3$ this criterion is always satisfied and so all noncommutative crepant resolutions of R are derived equivalent. Our method is based on cluster tilting theory for commutative algebras, developed in [IW10].