We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it and reflects give conditions on when a stable objects, singularity defect categories, respectively. In appendix, we direct proof following known result: for an category with enough projectives injectives, its global coincides injective dimension.

known as the left big finitistic projective dimension of A, is finite. Here pdM denotes the projective dimension of M . Unfortunately, this number is not known to be finite even if A is a finite dimensional algebra over a field, where, indeed, its finiteness is a celebrated conjecture. On the other hand, for such an algebra, finite flat certainly implies finite projective dimension, simply beca...

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory ω of an abelian category. We introduce the Frobenius category of ω-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of ω-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable cat...

Let X be a codimension 1 subvariety of dimension > 1 of a variety of minimal degree Y . If X is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then X is Arithmetically Gorenstein and we characterise such subvarieties X of Y via apolarity as those whose apolar hypersurfaces are Fermat.

Phaseless reconstruction from space-time samples is a nonlinear problem of recovering a function $x$ in a Hilbert space $\mathcal{H}$ from the modulus of linear measurements $\{\lvert \langle x, \phi_i\rangle \rvert$, $ \ldots$, $\lvert \langle A^{L_i}x, \phi_i \rangle \rvert : i \in\mathscr I\}$, where $\{\phi_i; i \in\mathscr I\}\subset \mathcal{H}$ is a set of functionals on $\mathcal{H}$, a...

Let X ⊂ P be a generically reduced projective scheme. A fundamental goal in computational algebraic geometry is to compute information about X even when defining equations for X are not known. We use numerical algebraic geometry to develop a test for deciding if X is arithmetically Gorenstein and apply it to three secant varieties.

Let [Formula: see text] be an abelian category. In this paper, we investigate the global text]-Gorenstein projective dimension text], associated to a GP-admissible pair text]. We give homological conditions over that characterize it. Moreover, given GI-admissible study under which and are same.

By a symplectic manifold (or a symplectic n-fold) we mean a compact Kaehler manifold of even dimension n with a non-degenerate holomorphic 2form ω, i.e. ω is a nowhere-vanishing n-form. This notion is generalized to a variety with singularities. We call X a projective symplectic variety if X is a normal projective variety with rational Gorenstein singularities and if the regular locus U of X ad...

Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring  . It is shown that Gorenstein homological dimensions  of an  -RΓ module M with respect to a semi-dualizing module,  are equal over R and RΓ  .