Related papers: Gorenstein braid cones and crepant resolutions
Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a…
Let $R$ be a Cohen--Macaulay normal domain with a canonical module $\omega_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…
We present an algorithm that finds all toric noncommutative crepant resolutions of a given toric 3-dimensional Gorenstein singularity. The algorithm embeds the quivers of these algebras inside a real 3-dimensional torus such that the…
Consider a normal complex analytic surface singularity. It is called Gorenstein if the canonical line bundle is holomorphically trivial in some punctured neighborhood of the singular point and is called numerically Gorenstein if this line…
Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in…
Using the theory of dimer models Broomhead proved that every 3-dimensional Gorenstein affine toric variety Spec R admits a toric non-commutative crepant resolution (NCCR). We give an alternative proof of this result by constructing a…
Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1…
Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure…
Given a set of distinct points $X=\{P_1, \dots,P_r\} $ in $ \mathbb P^n_{\res}, $ in this paper we characterize being $X$ arithmetically Gorenstein through the ``special" structure of the inverse system of the defining ideal $I(X) \subseteq…
Let $X$ be a variety with a stratification $\mathcal{S}$ into smooth locally closed subvarieties such that $X$ is locally a product along each stratum (e.g., a symplectic singularity). We prove that assigning to each open subset $U \subset…
We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities with divisor class group of rank one. We prove that they correspond bijectively to non-trivial upper…
It is known that every three dimensional Gorenstein toric singularity has a crepant resolution. Although it is not unique, all crepant resolutions are connected by repeating the operation "flop". On the other hand, this singularity also has…
Given a lattice polytope Q in R^n, we define an affine scheme M(Q) that reflects the possibilities of splitting Q into a Minkowski sum. On the other hand, Q induces a toric Gorenstein singularity Y, and we construct a flat family over M(Q)…
For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not…
This paper mainly studies the relative Gorenstein objects in the extriangulated category $\mathcal{C}=(\mathcal{C},\mathbb{E},\mathfrak{s})$ with a proper class $\xi$ and the related properties of these objects. In the first part, we define…
We consider the following question: Is Gorenstein homology a X-pure homology, in the sense defined by Warfield, for a class X of modules? Let GP denote the class of Gorenstein projective modules. We prove that over a commutative Noetherian…
We prove that every variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. We additionally prove new McKay correspondences for resolutions by Artin stacks, expressing stringy invariants of…
Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are…
Given a holomorphic differential on a smooth complex algebraic curve, we associate to it a Gorenstein curve singularity with $\mathbb G_m$-action via a test configuration. This construction decomposes the strata of holomorphic differentials…
The existence of the Gorenstein projective precovers over $R$ an arbitrary ring, as well as the completeness of the Gorenstein projective cotorsion pair $(\mathcal{GP},\mathcal{GP}^{\perp})$, are open questions. In this paper, we provide…