Related papers: Relative torsionfreeness and Frobenius extensions

Let $X$ be a smooth projective variety of dimension $n$ over an algebraically closed field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. For any vector bundle $W$ on $X$, we prove that instability of…

Let $R$ be the coordinate ring of an affine toric variety. We show that the endomorphism ring $End_R(\mathbb A),$ where $\mathbb A$ is the (finite) direct sum of all (isomorphism classes of) conic $R$-modules, has finite global dimension.…

First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature…

In 2009, J. Wood proved that Frobenius bimodules have the extension property for symmetrized weight compositions. More generally, it was later shown that having a cyclic socle is sufficient for satisfying the property, while the necessity…

The aim of this paper is threefold: first, to prove that the endomorphism ring associated to a pure subring of a regular local ring is a noncommutative crepant resolution if it is maximal Cohen-Macaulay; second, to see that in that…

Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…

In this paper, we study the problem when a finitely generated torsionless module is projective. Let $\Lambda$ be an Artinian local algebra with radical square zero. Then a finitely generated torsionless $\Lambda$-module $M$ is projective if…

Let $k$ be a field of positive characteristic $p$, $R$ be a Gorenstein graded $k$-algebra, and $S=R/J$ be an artinian quotient of $R$ by a homogeneous ideal. We ask how the socle degrees of $S$ are related to the socle degrees of…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

If $M$ is a nonzero finitely generated module over a commutative Noetherian local ring $R$ such that $M$ has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that $M$ has finite projective…

Let R be a commutative noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre's condition and certain conditions on the local Gorenstein…

We study $(\sigma,\tau)$-derivations of a group ring $RG$ where $G$ is a group with center having finite index in $G$ and $R$ is a semiprime ring with $1$ such that either $R$ has no torsion elements or that if $R$ has $p$-torsion elements,…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be a finitely generated $\Lambda$-module. F. M. Bleher and the third author previously proved that $V$ has a…

We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra).…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

We give necessary and sufficient conditions on an Ore extension $A[x;\sigma,\delta]$, where $A$ is a finite dimensional algebra over a field $\mathbb{F}$, for being a Frobenius extension over the ring of commutative polynomials…

Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the…

Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…