Related papers: Gorenstein Biliaison and ACM Sheaves
We consider geometrical problems on Gorenstein hypersurface orbifolds of dimension $n \geq 4$ through the theory of Hilbert scheme of group orbits. For a linear special group $G$ acting on $\CZ^n$, we study the $G$-Hilbert scheme,…
We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category…
Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We…
Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
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…
We show that any tetragonal Gorenstein integral curve is a complete intersection in its respective $3$-fold rational normal scroll S, implying that the normal sheaf on $C$ embedded in S, and in $\mathbb{P}^{g-1}$ as well, is unstable for…
Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard…
In this paper I investigate minimal surfaces of general type with p_g=5, q=0 for which the 1-canonical map is a birational morphism onto a surface in P^4 (so called canonical surfaces in P^4) via a structure theorem for the Hilbert…
Let $\mathscr{A}$ be an abelian category and $\mathscr{C}$ an additive full subcategory of $\mathscr{A}$. We provide a method to construct a proper $\mathscr{C}$-resolution (resp. coproper $\mathscr{C}$-coresolution) of one term in a short…
In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant…
Let $M$ be a smooth algebraic variety of dimension $2(p+q)$ with an algebraic symplectic form and a compatible deformation quantization $\mathcal{O}_h$ of the structure sheaf. Consider a smooth coisotropic subvariety $j: Y \to M$ of…
Gorenstein projection plays a key role in birational geometry; the typical example is the linear projection of a del Pezzo surface of degree d to one of degree d-1, but variations on the same idea provide many of the classical and modern…
Given a triangulation of a polygon P with n vertices, we associate an ice quiver with potential such that the associated Jacobian algebra has the structure of a Gorenstein tiled K[x]-order L. Then we show that the stable category of the…
We study canonical and pluricanonical maps of varieties isogenous to a product of curves, i.e., quotients of the form $X = (C_1 \times \dots \times C_n)/G$ with $g(C_i)\ge 2$ and $G$ acting freely. For this purpose, we provide a technical…
Let $F$ be a homogeneous polynomial in $n$ variables of degree $d$ over a field $K$. Let $A(F)$ be the associated Artinian graded $K$-algebra. If $B \subset A(F)$ is a subalgebra of $A(F)$ which is Gorenstein with the same socle degree as…
The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…
We study the family of ideals defined by mixed size minors of two-sided ladders of indeterminates. We compute their Groebner bases with respect to a skew-diagonal monomial order, then we use them to compute the height of the ideals. We show…
This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of…
We discuss criteria for a stable map of genus two and degree $4$ to the projective plane to be smoothable, as an application of our modular desingularisation of $\overline{\mathcal M}_{2,n}(\mathbb{P}^r,d)^{\text{main}}$ via logarithmic…