Related papers: Tensor product of dualizing complexes over a field

We study categories of dualizable torsion and complete objects for compactly-rigidly generated tensor-triangulated categories T with a Noetherian central action of a graded commutative Noetherian ring R. We show that they always admit a…

To any triangulated category with tensor product $(K,\otimes)$, we associate a topological space $Spc(K,\otimes)$, by means of thick subcategories of $K$, a la Hopkins-Neeman-Thomason. Moreover, to each open subset $U$ of $Spc(K,\otimes)$,…

We give a new proof of the classical result due to Rodney Y. Sharp and Peter Vamos on the dimension of tensor product of a finite number of field extensions of a given field.

Let $R$ be a commutative ring with one and $q$ an invertible element of $R$. The (specialized) quantum group ${\mathbf U} = U_q(\mathfrak{gl}_n)$ over $R$ of the general linear group acts on mixed tensor space $V^{\otimes r}\otimes…

We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of…

We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…

In this paper, we consider finitely generated modules over commutative Noetherian rings whose tensor products have finite projective dimension. We construct examples of modules of infinite projective dimension (and also of infinite…

Let $R$ be a commutative noetherian local ring. In this paper, we study the self-duality and eventual periodicity of minimal free resolutions of finitely generated $R$-modules in terms of their syzygy modules and Ext modules. As an…

Let $R$ be a commutative Noetherian local ring. We study tensor products involving a finitely generated $R$-module $M$ through the natural action of its endomorphism ring. In particular, we study torsion properties of self tensor products…

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

We consider the tensor product of modules over the polynomial algebra corresponding to the usual tensor product of linear operators. We present a general description of the representation ring in case the ground field k is perfect. It is…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of…

Let $\mathfrak{g}$ be the exceptional complex simple Lie algebra of type $G_2$. We provide a concrete cyclicity condition for the tensor product of fundamental representations of the Yangian $Y(\mathfrak{g})$. Using this condition, we show…

We study skew inverse power series extensions R[[y^{-1};tau,delta]], where R is a noetherian ring equipped with an automorphism tau and a tau-derivation delta. We find that these extensions share many of the well known features of…

Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.

Local Noetherian domains arising as local rings of points of varieties or in the context of algebraic number theory are analytically unramified, meaning their completions have no nontrivial nilpotent elements. However, looking elsewhere,…

Let R be a commutative Noetherian domain, and let M and N be finitely generated R-modules. We give new criteria for determining when M tensor N has torsion. We also give constructive formulas for producing a module in the isomorphism class…