Related papers: Tensor product of dualizing complexes over a field
Consider a pair of symplectic varieties dual with respect to 3D-mirror symmetry. The K-theoretic limit of the elliptic duality interface is an equivariant K-theory class of the product. We show that this class provides correspondences in…
Let $X$ be a finite-dimensional, noetherian scheme. Antieau, Gepner and Heller conjectured that its derived category of perfect complexes has a bounded t-structure if and only if $X$ is regular. We prove a generalization, and to do so we…
We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…
We introduce the notion of independent sequences with respect to a monomial order by using the least terms of polynomials vanishing at the sequence. Our main result shows that the Krull dimension of a Noetherian ring is equal to the…
Let $K$ be a local field with algebraically closed residue field and $X_K$ a torsor under an elliptic curve $J_K$ over $K$. Let $X$ be a proper minimal regular model of $X_K$ over the ring of integers of $K$ and $J$ the identity component…
Over a one-dimensional Gorenstein local domain $R$, let $E$ be the endomorphism ring of the maximal of $R$, viewed as a subring of the integral closure $\overline R$. If there exist finitely generated $R$-modules $M$ and $N$, neither of…
Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and ${R}$ the integral closure of $W$ in the algebraic closure ${\bar{K}}$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and…
In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…
Let k be a field. This paper investigates the embedding dimension and codimension of Noetherian local rings arising as localizations of tensor products of k-algebras. We use results and techniques from prime spectra and dimension theory to…
Let $R$ be a commutative Noetherian local ring. We characterize when its completion has an isolated singularity, thereby strengthening the Dao-Takahashi refinement of the Auslander-Huneke-Leuschke-Wiegand theorem. We investigate the ascent…
Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = \nu(\Ext^{g-\inf C}_R(Z,C))\mu^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite…
For a smooth projective complex variety $X$, we prove that there exists a birational morphism $X\times X\to Y$ to a projective variety $Y$ contracting the diagonal $\Delta_X\subset X\times X$ to a point if and only if $X$ has maximal…
Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…
Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by direct sum and tensor product. In this article we prove that if L is a component of the (stable)…
Let $A$ be a central quantization of an affine Poisson variety $X$ over a field of characteristic $p>0.$ We show that the completion of $A$ with respect to a closed point $y\in X$ is isomorphic to the tensor product of the Weyl algebra with…
Let $Q$ be a finite acyclic quiver and $A_Q$ the cluster algebra of $Q$. It is well-known that for each field $k$, the additive equivalence classes of support tilting $kQ$-modules correspond bijectively with the clusters of $A_Q$. The aim…
We propose a method to prove a polyhedral branching formula for Kirillov-Reshetikhin (KR) modules over a quantum affine algebra. When the underlying simple Lie algebra is of exceptional type, such a formula remains conjectural in many…
We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…
In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\bullet}_{X}$ with the property that for all finite type maps $f \colon X \to Y$ between $F$-finite Noetherian schemes there is a canonical…
We establish an analogue of Pontryagin duality for modules over compact discrete valuation rings $R$. Namely, we define the dual of a topological $R$ module to be its continuous $R$-module homomorphisms into $K/R$, the quotient module of…