BZPEER

preprint2022arXiv

Generalized local duality, canonical modules, and prescribed bound on projective dimension

We present various approaches to J. Herzog's theory of generalized local cohomology and explore its main aspects, e.g., (non-)vanishing results as well as a general local duality theorem which extends, to a much broader class of rings, previous results by Herzog-Zamani and Suzuki. As an application, we establish a prescribed upper bound for the projective dimension of a module satisfying suitable cohomological conditions, and we derive some freeness criteria and questions of Auslander-Reiten type. Along the way, we prove a new characterization of Cohen-Macaulay modules which truly relies on generalized local cohomology, and in addition we introduce and study a generalization of the notion of canonical module.

preprint2021arXiv

About a variation of local cohomology

Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$ . For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex resp. a factor complex of the Čech complex $\check{C}_{\underline{a}} \otimes_A M$ for a finitely generated $A$ -module $M$ . We start with the inspection of these cohomology modules that approximate in a certain sense the local cohomology modules $H^i_{\underline{a}}(M)$ for all $i \in \mathbb{N}$ . In the case of an $\mathfrak{m}$ -primary ideal $\underline{a} A$ we prove the Artinianness of these cohomology modules and characterize the last non-vanishing among them.

preprint2020arXiv

Čech (co-) complexes as Koszul complexes and applications

Let $\check{C}_{\underline{x}}$ denote the Čech complex with respect to a system of elements $\underline{x} = x_1,\ldots,x_r$ of a commutative ring $R$ . We construct a bounded complex $\mathcal{L}_{\underline{x}}$ of free $R$ -modules and a quasi-isomorphism $\mathcal{L}_{\underline{x}} \stackrel{\sim}{\longrightarrow} \check{C}_{\underline{x}}$ and isomorphisms $\mathcal{L}_{\underline{x}} \otimes_R X \cong K^{\bullet}(\underline{x}-\underline{U}; X[\underline{U}^{-1}])$ and $\operatorname{Hom}_R(\mathcal{L}_{\underline{x}},X) \cong K_{\bullet}(\underline{x}-\underline{U};X[[\underline{U}]])$ for an $R$ -complex $X$ . Here $\underline{x} - \underline{U}$ denotes the sequence of elements $x_1-U_1,\ldots,x_r-U_r$ in the polynomial ring $R[\underline{U}] = R[U_1,\ldots,U_r]$ in the variables $\underline{U}= U_1,\ldots,U_r$ over $R$ . Moreover $X[[\underline{U}]]$ denotes the formal power series complex of $X$ in $\underline{U}$ and $X[\underline{U}^{-1}]$ denotes the complex of inverse polynomials of $X$ in $\underline{U}$ . Furthermore $K_{\bullet}(\underline{x}-\underline{U};X[[\underline{U}]])$ resp. $K^{\bullet}(\underline{x}-\underline{U}; X[\underline{U}^{-1}])$ denotes the corresponding Koszul complex resp. the corresponding Koszul co-complex. In particular, there is a bounded $R$ -free resolution of $\check{C}_{\underline{x}}$ by a certain Koszul complex. This has various consequences e.g. in the case when $\underline{x}$ is a weakly pro-regular sequence. Under this additional assumption it follows that the local cohomology $H^i_{\underline{x} R}(X)$ and the left derived functors of the completion $Λ_i^{\underline{x} R}(X), i \in \mathbb{Z},$ is a certain Koszul cohomology and Koszul homology resp. This provides new approaches to the right derived functor of torsion and the left derived functor of completion with various applications.

preprint2020arXiv

Torsion of injective modules and weakly pro-regular sequences

Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$ -module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$ -torsion sub-module $Γ_{\mathfrak{a}}(I)$ , the factor module $I/Γ_{\mathfrak{a}}(I)$ and the localization $I_S$ are again injective $R$ -modules. We investigate these properties in the case of a commutative ring $R$ by means of a notion of relatively- $\mathfrak{a}$ -injective $R$ -modules. In particular we get another characterization of weakly pro-regular sequences in terms of relatively injective modules. Also we present examples of non-Noetherian commutative rings $R$ and injective $R$ -modules for which the previous properties do not hold. Moreover, under some weak pro-regularity conditions we obtain results of Mayer-Vietoris type.

preprint2015arXiv

On surfaces of maximal sectional regularity

We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$ ) of maximal sectional regularity and degree $d > r$ , hence surfaces for which the Castelnuovo-Mumford regularity $\reg(\mathcal{C})$ of a general hyperplane section curve $\mathcal{C} = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$ . We use the classification of varieties of maximal sectional regularity of \cite{BLPS1} to see that these surfaces are either particular divisors on a smooth rational $3$ -fold scroll $S(1,1,1)\subset \mathbb{P}^5$ , or else admit a plane $\mathbb{F} = \mathbb{P}^2 \subset \mathbb{P}^r$ such that $X \cap \mathbb{F} \subset \mathbb{F}$ is a pure curve of degree $d-r+3$ . We show that our surfaces are either cones over curves of maximal regularity, or almost non-singular projections of smooth rational surface scrolls. We use this to show that the Castelnuovo-Mumford regularity of such a surface $X$ satisfies the equality $\reg(X) = d-r+3$ and we compute or estimate various of the cohomological invariants as well as the Betti numbers of such surfaces. We also study the geometry of extremal secant lines of our surfaces $X$ , more precisely the closure $Σ(X)$ of the set of all proper extremal secant lines to $X$ in the Grassmannian $\mathbb{G}(1, \mathbb{P}^r).$

preprint2015arXiv

Projective varieties of maximal sectional regularity

We study projective varieties $X \subset \mathbb{P}^r$ of dimension $n \geq 2$ , of codimension $c \geq 3$ and of degree $d \geq c + 3$ that are of maximal sectional regularity, i.e. varieties for which the Castelnuovo-Mumford regularity $\reg (\mathcal{C})$ of a general linear curve section is equal to $d -c+1$ , the maximal possible value (see \cite{GruLPe}). As one of the main results we classify all varieties of maximal sectional regularity. If $X$ is a variety of maximal sectional regularity, then either (a) it is a divisor on a rational normal $(n+1)$ -fold scroll $Y \subset \mathbb{P}^{n+3}$ or else (b) there is an $n$ -dimensional linear subspace $\mathbb{F} \subset \mathbb{P}^r$ such that $X \cap \mathbb{F} \subset \mathbb{F}$ is a hypersurface of degree $d-c+1$ . Moreover, suppose that $n = 2$ or the characteristic of the ground field is zero. Then in case (b) we obtain a precise description of $X$ as a birational linear projection of a rational normal $n$ -fold scroll.

preprint2013arXiv

A criterion for I-adic completeness

Let $I$ denote an ideal in a commutative Noetherian ring $R$ . Let $M$ be an $R$ -module. The $I$ -adic completion is defined by $\hat{M}^I = \varprojlim{}_α M/I^αM$ . Then $M$ is called $I$ -adic complete whenever the natural homomorphism $M \to \hat{M}^I$ is an isomorphism. Let $M$ be $I$ -separated, i.e. $\cap_α I^αM = 0$ . In the main result of the paper it is shown that $M$ is $I$ -adic complete if and only if $\Ext_R^1(F,M) = 0$ for the flat test module $F = \oplus_{i = 1}^r R_{x_i}$ where $\{x_1,\ldots,x_r\}$ is a system of elements such that $\Rad I = \Rad \xx R$. This result extends several known statements starting with C. U. Jensen's result (see \cite[Proposition 3]{J}) that a finitely generated $R$ -module $M$ over a local ring $R$ is complete if and only if $\Ext^1_R(F,M) = 0$ for any flat $R$ -module $F$ .

preprint2013arXiv

A note on the Matlis dual of a certain injective hull

Let $(R,\mathfrak{m})$ denote a local ring with $E = E_R(R/\mathfrak{m})$ the injective hull of the residue field. Let $\mathfrak{p} \in \Spec R$ denote a prime ideal with $\dim R/\mathfrak{p} = 1$ , and let $E_R(R/\mathfrak{p})$ be the injective hull of $R/\mathfrak{p}$ . As the main result we prove that the Matlis dual $\Hom_R(E_R(R/\mathfrak{p}), E)$ is isomorphic to $\hat{R_{\mathfrak{p}}}$ , the completion of $R_{\mathfrak{p}}$ , if and only if $R/\mathfrak{p}$ is complete. In the case of $R$ a one dimensional domain there is a complete description of $Q \otimes_R \hat{R}$ in terms of the completion $\hat{R}$ .

preprint2013arXiv

Algebraic properties of the binomial edge ideal of complete bipartite graph

Let $J_G$ denote the binomial edge ideal of a connected undirected graph on $n$ vertices. This is the ideal generated by the binomials $x_iy_j - x_jy_i, 1\leq i < j \leq n,$ in the polynomial ring $S= K[x_1,...,x_n,y_1,...,y_n]$ where $\{i,j\}$ is an edge of $G$ . We study the arithmetic properties of $S/J_G$ for $G$ , the complete bipartite graph. In particular we compute dimensions, depths, Castelnuovo-Mumford regularities, Hilbert functions and multiplicities of them. As main results we give an explicit description of the modules of deficiencies, the duals of local cohomology modules, and prove the purity of the minimal free resolution of $S/J_G$ .

preprint2013arXiv

On Invariants and Endomorphism Rings of Local Cohomology Modules

Let $(R,\mathfrak{m})$ denote an $n$ -dimensional Gorenstein ring. For an ideal $I \subset R$ with $\grade I = c$ we define new numerical invariants $τ_{i,j}(I)$ as the socle dimensions of $H^i_{\mathfrak{m}}(H^{n-j}_I(R))$ . In case of a regular local ring containing a field these numbers coincide with the Lyubeznik numbers $λ_{i,j}(R/I)$ . We use $τ_{d,d}(I), d = \dim R/I,$ to characterize the surjectivity of the natural homomorphism $f : \hat{R} \to \Hom_{\hat{R}}(H^c_{I\hat{R}}(\hat{R}),H^c_{I\hat{R}}(\hat{R}))$. As a technical tool we study several natural homomorphisms. Moreover we prove a few results on $τ_{i,j}(I)$ .

preprint2013arXiv

Projective surfaces of maximal sectional regularity

We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$ ) of maximal sectional regularity and degree $d > r$ , hence surfaces for which the Castelnuovo-Mumford regularity $\reg(C)$ of a general hyperplane section curve $C = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$ . We show that each of these surfaces is either a cone over a curve $C \subset \mathbb{P}^{r-1}$ of maximal regularity or else a birational outer linear projection of a smooth rational surface scroll $\widetilde{X} \subset \mathbb{P}^{d+1}$ . We prove that the Castelnuovo-Mumford regularity of these surfaces satisfies the equality $\reg(X) = d-r+3$ and we compute or estimate various of their cohomological invariants as well as their Betti numbers. We study the the extremal variety $\mathbb{F}(X)$ of these surfaces $X$ , that is the closed union of the extremal secant lines of all smooth hyperplane section curves of $X$ . We show that $\mathbb{F}(X)$ is either a plane or that otherwise $r =5$ and $\mathbb{F}(X)$ is a rational smooth threefold scroll $S(1,1,1) \subset \mathbb{P}^5$ .

preprint2012arXiv

On an endomorphism ring of local cohomology

Let $I$ be an ideal of a local ring $(R,\mathfrak m)$ with $d = \dim R.$ For the local cohomology module $H^i_I(R)$ it is a well-known fact that it vanishes for $i > d$ and is an Artinian $R$ -module for $i = d.$ In the case that the Hartshorne-Lichtenbaum Vanishing Theorem fails, that is $H^d_I(R) \not= 0,$ we explore its fine structure. In particular, we investigate its endomorphism ring and related connectedness properties. In the case $R$ is complete we prove - as a technical tool - that $H^d_I(R) \simeq H^d_{\mathfrak m}(R/J)$ for a certain ideal $J \subset R.$ Thus, properties of $H^d_I(R)$ and its Matlis dual might be described in terms of the local cohomology supported in the maximal ideal.

Peter Schenzel

Research overview

Is this your work?

12 publications

Generalized local duality, canonical modules, and prescribed bound on projective dimension

About a variation of local cohomology

Čech (co-) complexes as Koszul complexes and applications

Torsion of injective modules and weakly pro-regular sequences

On surfaces of maximal sectional regularity

Projective varieties of maximal sectional regularity

A criterion for I-adic completeness

A note on the Matlis dual of a certain injective hull

Algebraic properties of the binomial edge ideal of complete bipartite graph

On Invariants and Endomorphism Rings of Local Cohomology Modules

Projective surfaces of maximal sectional regularity

On an endomorphism ring of local cohomology

See the researcher in context

Building this map preview