English
Related papers

Related papers: Gorenstein braid cones and crepant resolutions

200 papers

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…

Commutative Algebra · Mathematics 2025-12-16 Tomohiro Okuma , Kei-ichi Watanabe , Ken-ichi Yoshida

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…

Representation Theory · Mathematics 2016-11-15 Hailong Dao , Osamu Iyama , Ryo Takahashi , Michael Wemyss

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…

Algebraic Geometry · Mathematics 2015-03-19 Raf Bocklandt

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…

Algebraic Geometry · Mathematics 2019-12-19 Patrick Popescu-Pampu

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…

Algebraic Geometry · Mathematics 2007-05-23 Robin Hartshorne

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…

Algebraic Geometry · Mathematics 2018-07-24 Špela Špenko , Michel Van den Bergh

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…

Commutative Algebra · Mathematics 2008-02-22 Lars Winther Christensen , Greg Piepmeyer , Janet Striuli , Ryo Takahashi

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…

Algebraic Geometry · Mathematics 2021-03-19 Kenta Sato , Shunsuke Takagi

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…

Commutative Algebra · Mathematics 2023-03-24 J. Elias , M. E. Rossi

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…

Algebraic Geometry · Mathematics 2024-07-22 Daniel Kaplan , Travis Schedler

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…

Representation Theory · Mathematics 2026-04-22 Ryu Tomonaga

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…

Representation Theory · Mathematics 2019-03-01 Yusuke Nakajima

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)…

alg-geom · Mathematics 2008-02-03 Klaus Altmann

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…

alg-geom · Mathematics 2008-02-03 Dimitrios I. Dais , Martin Henk , Guenter M. Ziegler

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…

Category Theory · Mathematics 2021-04-30 Zhenggang He

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…

Commutative Algebra · Mathematics 2014-03-06 Fatemeh Zareh-Khoshchehreh , Mohsen Asgharzadeh , Kamran Divaani-Aazar

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…

Algebraic Geometry · Mathematics 2023-04-25 Matthew Satriano , Jeremy Usatine

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…

Commutative Algebra · Mathematics 2020-06-30 Mitsuhiro Miyazaki , Janet Page

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…

Algebraic Geometry · Mathematics 2026-03-26 Dawei Chen , Fei Yu

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…

Rings and Algebras · Mathematics 2026-02-25 Víctor Becerril