Related papers: Reid's recipe and derived categories

For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_\theta, introduced by Kronheimer and further…

The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an…

The McKay correspondence has had much success in studying resolutions of 3-fold quotient singularities through a wide range of tools coming from geometry, combinatorics, and representation theory. We develop a computational perspective in…

We prove several results about matroids and matroidal families associated with rigidity in dimension $2$. In particular, we establish new properties of the generic rigidity matroid family $\mathcal{R}$ and Kalai's hyperconnectivity matroid…

Let $B \subseteq A$ be an extension of finite dimensional algebras. We provide a sufficient condition for the existence of triangle equivalences of singularity categories (resp. Gorenstein defect categories) between $A$ and $B$. This result…

Sp\"ath showed that the Alperin-McKay conjecture in the representation theory of finite groups holds if the so-called inductive Alperin-McKay condition holds for all finite simple groups. In a previous article, we showed that the…

In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is…

We compute the cylindrical contact homology of the links of the simple singularities. These manifolds are contactomorphic to $S^3/G$ for finite subgroups $G\subset SU(2)$. We perturb the degenerate contact form on $S^3/G$ with a Morse…

A conjecture by Mackey and Higson claims that there is close relationship between irreducible representations of a real reductive group and those of its Cartan motion group. The case of irreducible tempered unitary representations has been…

We give counting formulas for the number of Fourier-Mukai partners of the K3 category of a very general special cubic fourfold.

This paper presents a geometric construction of the McKay-Slodowy correspondence, which extends the classical McKay correspondence. The classical McKay correspondence says: for a finite subgroup G of SL_2(C), there is a bijection between…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…

By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $X$ be a projective variety with an isolated $A_2$ singularity. We study its bounded derived category and prove that there exists a crepant categorical resolution $\pi_*\colon \widetilde{\mathcal{D}} \to D^b(X)$, which is a Verdier…

We give an overview of recent developments around a characteristic class version of the Hodge index theorem for singular complex algebraic varieties. This was formulated by Brasselet-Schuermann-Yokura as a conjecture expressing the…

Consider a finite covering $\beta : C \to X$ of a smooth projective curve $X$ by a reduced, projective, planar curve $C$. Associated to two general polarizations on $C$, $q$ and $q'$, one can construct the corresponding compactified Prym…

We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers…

The aim of this paper is twofold: First we give an explicit construction of the infinitesimal deformations of the category Coh(X) of coherent sheaves on a smooth projective variety X. Secondly we show that any Fourier-Mukai transform…