Related papers: Nearly Gorenstein rational surface singularities
Let $(A,\mathfrak m)$ be a two-dimensional excellent normal Gorenstein local domain containing an algebraically closed filed. Let $I =H^0(X,\mathcal{O}_X(-Z)) \subset A$ be an $\mathfrak m$-primary integrally closed ideal represented by an…
A conjecture of Hirose, Watanabe, and Yoshida offers a characterization of when a standard graded strongly $F$-regular ring is Gorenstein, in terms of an $F$-pure threshold. We prove this conjecture under the additional hypothesis that the…
We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with…
We describe the canonical module of a simplicial affine semigroup ring $\mathbb{K}[S]$ and its trace ideal. As a consequence, we characterize when $\mathbb{K}[S]$ is nearly Gorenstein in terms of arithmetic properties of the semigroup $S$.…
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…
We investigate the nearly Gorenstein property among $d$-dimensional cyclic quotient singularities $\Bbbk[[x_1,\dots,x_d]]^G$, where $\Bbbk$ is an algebraically closed field and $G\subseteq{\rm GL}(d,\Bbbk)$ is a finite small cyclic group…
Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical…
Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field. Then $A$ is called an elliptic singularity if $p_f(A)=1$, where $p_f$ denotes the fundamental genus. On the other hand, the concept of…
We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce…
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…
We provide a characterization of one-dimensional almost Gorenstein rings in terms of the trace ideal. As an application, we investigate the almost Gorenstein property of certain $\mathbb{Z}_2$-graded rings.
We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…
The main message of the paper is that for Gorenstein singularities, whose (real) link is rational homology sphere, the Artin--Laufer program can be continued. Here we give the complete answer in the case of elliptic singularities. The main…
For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring.…
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…
Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities…
Consider a fixed connected, finite graph $\Gamma$ and equip its vertices with weights $p_i$ which are non-negative integers. We show that there is a finite number of possibilities for the coefficients of the canonical cycle of a numerically…
We prove that for $n \leq 4$ and $p > 5$, quasi--Gorenstein $F$--pure and $\mathbb{Q}_p$--rational $n$--fold singularities are canonical. This is analogous to the usual fact that rational Gorenstein singularities are canonical. The proof is…
We discuss a particular class of rational Gorenstein singularities, which we call symplectic. A normal variety V has symplectic singularities if its smooth part carries a closed symplectic 2-form whose pull-back in any resolution X --> V…
Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…