Showing 1–27 of 27 results for author: Hellus, M

On the order of magnitude of certain integer sequences

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (arXiv:1312.7748 [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numeric… ▽ More Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (arXiv:1312.7748 [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numerical evidence suggesting that the summands of $N$ always can be chosen between $\frac N6$ and $\frac N2$. This would imply that $u$ is less than $6p$. △ Less

Submitted 10 June, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: New figure added. 11 pages, 2 figure

MSC Class: 11D07 (Primary) 20M14 (Secondary)

A lower bound for the Wilf density, deduced from a result of Zhai

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $S\neq\mathbb N$ be a numerical semigroup with Frobenius number $f$, genus $g$ and embedding dimension $e$. In 1978 Wilf asked the question, whether $\frac{f+1-g}{f+1}\geq\frac1e$. As is well known, this holds in the cases $e=2$ and $e=3$. From Zhai's results in [5] we derive \[\frac{f+1-g}{f+1}\geq\frac2{e^2-e+2}\text{ for }e\geq4\,.\] Let $S\neq\mathbb N$ be a numerical semigroup with Frobenius number $f$, genus $g$ and embedding dimension $e$. In 1978 Wilf asked the question, whether $\frac{f+1-g}{f+1}\geq\frac1e$. As is well known, this holds in the cases $e=2$ and $e=3$. From Zhai's results in [5] we derive \[\frac{f+1-g}{f+1}\geq\frac2{e^2-e+2}\text{ for }e\geq4\,.\] △ Less

Submitted 8 August, 2021; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: Stonger estimate with simpler proof, 3 pages

MSC Class: 11D07 (Primary) 20M14 (Secondary)

Note on a question of Wilf

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $S$ be a numerical semigroup with Frobenius number $f$, genus $g$ and embedding dimension $e$. % In 1978 Wilf asked the question, whether $\frac{f+1-g}{f+1}\geq\frac1e$. As is well known, this holds in the cases $e=2$ and $e=3$. For $e\geq4$, we derive from results of Zhai [5] the following (substantially weaker) lower bound \[\frac{f+1-g}{f+1}>\left(\frac{2N+1}{(2N+2)(e-2)}\right)^e\text{ wit… ▽ More Let $S$ be a numerical semigroup with Frobenius number $f$, genus $g$ and embedding dimension $e$. % In 1978 Wilf asked the question, whether $\frac{f+1-g}{f+1}\geq\frac1e$. As is well known, this holds in the cases $e=2$ and $e=3$. For $e\geq4$, we derive from results of Zhai [5] the following (substantially weaker) lower bound \[\frac{f+1-g}{f+1}>\left(\frac{2N+1}{(2N+2)(e-2)}\right)^e\text{ with }\lfloor N\rfloor=104978\,.\] To the best of our knowledge this is the first explicit lower bound for $\frac{f+1-g}{f+1}$ in terms of the embedding dimension. △ Less

Submitted 15 July, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: Note that our new paper arXiv:2107.06752 [math.NT] contains a stronger estimate for d(S). Typing error corrected, 4 pages

MSC Class: 11D07 (Primary) 20M14 (Secondary)

On the Frobenius number of certain numerical semigroups

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $0<λ\leq1$, $λ\notin\left\{\frac24, \frac27, \frac2{10}, \frac2{13}, \ldots\right\}$, be a real and $p$ a prime number, with $[p,p+λp]$ containing at least two primes. Denote by $f_λ(p)$ the largest integer which cannot be written as a sum of primes from $[p,p+λp]$. Then \[f_λ(p)\sim\left\lfloor2+\frac2λ\right\rfloor\cdot p\text{, as }p\text{ goes to infinity.}\] Further a question of Wilf a… ▽ More Let $0<λ\leq1$, $λ\notin\left\{\frac24, \frac27, \frac2{10}, \frac2{13}, \ldots\right\}$, be a real and $p$ a prime number, with $[p,p+λp]$ containing at least two primes. Denote by $f_λ(p)$ the largest integer which cannot be written as a sum of primes from $[p,p+λp]$. Then \[f_λ(p)\sim\left\lfloor2+\frac2λ\right\rfloor\cdot p\text{, as }p\text{ goes to infinity.}\] Further a question of Wilf about the 'Money-Changing Problem' has a positive answer for all semigroups of multiplicity $p$ containing the primes from $[p,2p]$. In particular, this holds for the semigroup generated by all primes not less than $p$. The latter special case was already shown in a previous paper. △ Less

Submitted 1 March, 2022; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 15 pages, 2 figures

MSC Class: 11D07 (Primary) 11P32; 20M14 (Secondary)

Journal ref: Electronic version of an article published as [International Journal of Algebra and Computation, Vol. 31, No. 03, pp. 519-532 (2021)] [copyright World Scientific Publishing Company] [https://www.worldscientific.com/worldscinet/ijac]

Numerical Semigroups generated by Primes

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $p_1=2, p_2=3, p_3=5, \ldots$ be the consecutive prime numbers, $S_n$ the numerical semigroup generated by the primes not less than $p_n$ and $u_n$ the largest irredundant generator of $S_n$. We will show, that $\bullet$ $u_n\sim3p_n$. Similarly, for the largest integer $f_n$ not contained in $S_n$, by computational evidence we suspect that $\bullet$ $f_n$ is an odd number for $n\geq5$ a… ▽ More Let $p_1=2, p_2=3, p_3=5, \ldots$ be the consecutive prime numbers, $S_n$ the numerical semigroup generated by the primes not less than $p_n$ and $u_n$ the largest irredundant generator of $S_n$. We will show, that $\bullet$ $u_n\sim3p_n$. Similarly, for the largest integer $f_n$ not contained in $S_n$, by computational evidence we suspect that $\bullet$ $f_n$ is an odd number for $n\geq5$ and $\bullet$ $f_n\sim3p_n$; further $\bullet$ $4p_n>f_{n+1}$ for $n\geq1$. If $f_n$ is odd for large $n$, then $f_n\sim3p_n$. In case $f_n\sim3p_n$ every large even integer $x$ is the sum of two primes. If $4p_n>f_{n+1}$ for $n\geq1$, then the Goldbach conjecture holds true. Further, Wilf's question in [12] has a positive answer for the semigroups $S_n$. △ Less

Submitted 28 January, 2020; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 14 pages, 4 figures; added references for tables

MSC Class: 11D07 (Primary) 11P32; 20M14 (Secondary)

Generalization of a connectedness result to cohomologically complete intersections

Authors: Michael Hellus

Abstract: It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important connectedness result is that a local ring with disconnected punctured sprectrum has depth at most $1$ ([H1, Proposition 2.1]). The two results are related, Hartshorne calls… ▽ More It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important connectedness result is that a local ring with disconnected punctured sprectrum has depth at most $1$ ([H1, Proposition 2.1]). The two results are related, Hartshorne calls the latter "the keystone to the proof" of the former (loc. cit). In this short note we show that the latter result generalizes smoothly from set-theoretical to cohomologically complete intersections, i. e. to ideals for which there is in terms of local cohomology no obstruction to be a complete intersection ([HeSc1], [HeSc2]). The proof is based on the fact that, for cohomologically complete intersections over a complete local ring, the endomorphism ring of the (only) local cohomology cohomology module is the ring itself ([HeSt, Theorem 2.2 (iii)]) and hence indecomposable as a module. △ Less

Submitted 7 March, 2019; v1 submitted 3 March, 2019; originally announced March 2019.

Comments: 4 pages

MSC Class: 13D45 (Primary) 14M10; 13C40 (Secondary)

Distributions of weights and a question of Wilf

Authors: Michael Hellus, Rolf Waldi

Abstract: Let $S$ be a numerical semigroup of embedding dimension $e$ and conductor $c$. The question of Wilf is, if $\#(\mathbb N\setminus S)/c\leq e-1/e$. \noindent In (An asymptotic result concerning a question of Wilf, arXiv:1111.2779v1 [math.CO], 2011, Lemma 3), Zhai has shown an analogous inequality for the distribution of weights $x\cdotγ$, $x\in\mathbb N^d$, w.\,r. to a positive weight vector $γ$:… ▽ More Let $S$ be a numerical semigroup of embedding dimension $e$ and conductor $c$. The question of Wilf is, if $\#(\mathbb N\setminus S)/c\leq e-1/e$. \noindent In (An asymptotic result concerning a question of Wilf, arXiv:1111.2779v1 [math.CO], 2011, Lemma 3), Zhai has shown an analogous inequality for the distribution of weights $x\cdotγ$, $x\in\mathbb N^d$, w.\,r. to a positive weight vector $γ$: \noindent Let $B\subseteq\mathbb N^d$ be finite and the complement of an $\mathbb N^d$-ideal. Denote by $\operatorname{mean}(B\cdotγ)$ the average weight of $B$. Then \[\operatorname{mean}(B\cdotγ)/\max(B\cdotγ)\leq d/d+1.\] $\bullet$ For the family $Δ_n:=\{x\in\mathbb N^d|x\cdotγ<n+1\}$ of such sets we are able to show, that $\operatorname{mean}(Δ_n\cdotγ)/\max(Δ_n\cdotγ)$ converges to $d/d+1$, as $n$ goes to infinity. $\bullet$ Applying Zhai's Lemma 3 to the Hilbert function of a positively graded Artinian algebra yields a new class of numerical semigroups satisfying Wilf's inequality. △ Less

Submitted 18 April, 2018; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 7 pages

Variants on a question of Wilf

Authors: Michael Hellus, Anton Rechenauer, Rolf Waldi

Abstract: Let $S\neq\mathbb N$ be a numerical semigroup generated by $e$ elements. In his paper (A Circle-Of-Lights Algorithm for the "Money-Changing Problem", Amer. Math. Monthly 85 (1978), 562--565), H.~S.~Wilf raised the following question: Let $Ω$ be the number of positive integers not contained in $S$ and $c-1$ the largest such element. Is it true that the fraction $\fracΩc$ of omitted numbers is at mo… ▽ More Let $S\neq\mathbb N$ be a numerical semigroup generated by $e$ elements. In his paper (A Circle-Of-Lights Algorithm for the "Money-Changing Problem", Amer. Math. Monthly 85 (1978), 562--565), H.~S.~Wilf raised the following question: Let $Ω$ be the number of positive integers not contained in $S$ and $c-1$ the largest such element. Is it true that the fraction $\fracΩc$ of omitted numbers is at most $1-\frac1e$? Let $B\subseteq\mathbb N^{e-1}$ be the complement of an artinian $\mathbb N^{e-1}$-ideal. Following a concept of A.~Zhai (An asymptotic result concerning a question of Wilf, arXiv:1111.2779v1 [math.CO]) we relate Wilf's problem to a more general question about the weight distribution on $B$ with respect to a positive weight vector. An affirmative answer is given in special cases, similar to those considered by R.~Fröberg, C.~Gottlieb, R.~Häggkvist (On numerical semigroups, Semigroup Forum, Vol.~35, Issue 1, 1986/1987, 63--83) for Wilf's question. △ Less

Submitted 18 April, 2018; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 17 pages, 6 figures

A result on Macaulay's curve

Authors: Michael Hellus, Reinhold Hübl

Abstract: We are able to improve what is known about two assumed homogeneous polynomials cutting out Macaulay's curve $C_4\subseteq P^3_k$ set-theoretically, in characteristic zero. We use local cohomology and an idea from Thoma. We are able to improve what is known about two assumed homogeneous polynomials cutting out Macaulay's curve $C_4\subseteq P^3_k$ set-theoretically, in characteristic zero. We use local cohomology and an idea from Thoma. △ Less

Submitted 22 January, 2014; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: 6 pages

MSC Class: 14M10 (Primary) 13D45 (Secondary)

Notes on local cohomology and duality

Authors: M. Hellus, P. Schenzel

Abstract: We provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results of Enochs and Xu (see [4] and [3]). We prove a certain 'dual' version of the Hartshorne-Lichtenbaum vanishing (see Theorem 2.2). There is a generalization of loc… ▽ More We provide a formula (see Theorem 1.5) for the Matlis dual of the injective hull of $R/\mathfrak{p}$ where $\mathfrak p$ is a one dimensional prime ideal in a local complete Gorenstein domain $(R,\mathfrak{m})$. This is related to results of Enochs and Xu (see [4] and [3]). We prove a certain 'dual' version of the Hartshorne-Lichtenbaum vanishing (see Theorem 2.2). There is a generalization of local duality to cohomologically complete intersection ideals $I$ in the sense that for $I=\mathfrak{m}$ we get back the classical Local Duality Theorem. We determine the exact class of modules to which a characterization of cohomologically complete intersection from [6] generalizes naturally (see Theorem 4.4). △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 11 pages

MSC Class: 13D45 (Primary) 14M10 (Secondary)

Matlis duals of top Local Cohomology Modules

Authors: Michael Hellus, Jürgen Stückrad

Abstract: In the first section of this paper we present generalizations of known results on the set of associated primes of Matlis duals of local cohomology modules; we prove these generalizations by using a new technique. In section 2 we compute the set of associated primes of the Matlis dual of $\LCMo ^{d-1}_J(R)$, where $R$ is a $d$-dimensional local ring and $J\subseteq R$ an ideal such that… ▽ More In the first section of this paper we present generalizations of known results on the set of associated primes of Matlis duals of local cohomology modules; we prove these generalizations by using a new technique. In section 2 we compute the set of associated primes of the Matlis dual of $\LCMo ^{d-1}_J(R)$, where $R$ is a $d$-dimensional local ring and $J\subseteq R$ an ideal such that $\dim (R/J)=1$ and $\LCMo ^d_J(R)=0$. △ Less

Submitted 18 April, 2012; v1 submitted 17 April, 2012; originally announced April 2012.

Comments: First published in Proceedings of the American Mathematical Society in Volume 136, Number 2, published by the American Mathematical Society; 10 pages

MSC Class: 13D45; 13C05

Journal ref: Proc. Amer. Math. Soc. 136 (2008), no. 2, 489-498

A note on the vanishing of certain local cohomology modules

Authors: Michael Hellus

Abstract: For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new, ring-theoretic vanishing criterion for local cohomology modules. For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new, ring-theoretic vanishing criterion for local cohomology modules. △ Less

Submitted 30 March, 2012; originally announced March 2012.

Comments: 4 pages, submitted to CMB in 2009, to appear

MSC Class: 13D45

Gröbner bases of simplicial toric ideals

Authors: M. Hellus, J. Stueckrad, L. T. Hoa

Abstract: Bounds for the maximum degree of a minimal Gröbner basis of simplicial toric ideals with respect to the reverse lexicographic order are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity. Bounds for the maximum degree of a minimal Gröbner basis of simplicial toric ideals with respect to the reverse lexicographic order are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity. △ Less

Submitted 3 October, 2009; originally announced October 2009.

Comments: Revised version; To appear in Nagoya Math. J

Report number: math.AC 0710.5347 MSC Class: 13P10; 13F20; 14M25

On the associated primes of Matlis duals of local cohomology modules II

Authors: Michael Hellus

Abstract: In continuation of [1] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1], [4], [5], [6] and obtain partial answers to questions which were left open in [1]. These partial answers give further support for conjecture $(*)$ from [1] on the set of associated primes… ▽ More In continuation of [1] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1], [4], [5], [6] and obtain partial answers to questions which were left open in [1]. These partial answers give further support for conjecture $(*)$ from [1] on the set of associated primes of MDLCMs. In addition, and also inspired by ideas from Zöschinger, we prove some non-finiteness results of local cohomology. △ Less

Submitted 15 June, 2009; v1 submitted 3 June, 2009; originally announced June 2009.

Comments: 7 pages (theorem 3.2 - minor changes)

MSC Class: 13D45; 14B15

On cohomologically complete intersections

Authors: Michael Hellus, Peter Schenzel

Abstract: An ideal $I$ of a local Gorenstein ring $(R, \mathfrak m)$ is called cohomologically complete intersection whenever $H^i_I(R) = 0$ for all $i \not= \height I.$ Here $H^i_I(R), i \in \mathbb Z,$ denotes the local cohomology of $R$ with respect to $I.$ For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersection… ▽ More An ideal $I$ of a local Gorenstein ring $(R, \mathfrak m)$ is called cohomologically complete intersection whenever $H^i_I(R) = 0$ for all $i \not= \height I.$ Here $H^i_I(R), i \in \mathbb Z,$ denotes the local cohomology of $R$ with respect to $I.$ For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view, in particular in terms of their Bass numbers of $H^c_I(R), c = \height I.$ As a main result it is shown that the vanishing $H^i_I(R) = 0$ for all $i \not= c$ is completely encoded in homological properties of $H^c_I(R),$ in particular in its Bass numbers. △ Less

Submitted 16 April, 2008; originally announced April 2008.

Comments: 16 pages

MSC Class: 13D45; 14M10; 13C40

Gröbner bases of simplicial toric ideals

Authors: M. Hellus, J. Stueckrad, L. T. Hoa

Abstract: Bounds for the maximal degree of certain Gröbner bases of simplicial toric ideals are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity. Bounds for the maximal degree of certain Gröbner bases of simplicial toric ideals are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the Castelnuovo-Mumford regularity. △ Less

Submitted 29 October, 2007; originally announced October 2007.

MSC Class: 13P10; 13F20; 14M25

Castelnuovo-Mumford regularity and reduction number of smooth monomial curves

Authors: Michael Hellus, Lê Tuân Hoa, Jürgen Stückrad

Abstract: We compare, for smooth monomial projective curves, the Castel- nuovo-Mumford regularity and the reduction number; we present an example where these two numbers differ. However, we show they coin- cide for a certain class of monomial curves. Furthermore, for smooth monomial curves we prove an inequality which is stronger than the one from the Eisenbud-Goto conjecture. We compare, for smooth monomial projective curves, the Castel- nuovo-Mumford regularity and the reduction number; we present an example where these two numbers differ. However, we show they coin- cide for a certain class of monomial curves. Furthermore, for smooth monomial curves we prove an inequality which is stronger than the one from the Eisenbud-Goto conjecture. △ Less

Submitted 24 October, 2007; originally announced October 2007.

Comments: 9 pages

MSC Class: 13A30; 13D45

On endomorphism rings of local cohomology

Authors: Michael Hellus, Juergen Stueckrad

Abstract: Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every l\neq h(:= height(I)) (I an ideal of R); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal t… ▽ More Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every l\neq h(:= height(I)) (I an ideal of R); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Comments: 10 pages

MSC Class: 13D45

Generalization of an example of Hartshorne concerning local cohomology

Authors: Michael Hellus, Juergen Stueckrad

Abstract: We prove the following generalization of an example of Hartshorne: Let k be a field, n=4, R = k[[X1,...,Xn]], I = (X1,...,Xn-2)R and p\in R a prime element such that p\in(Xn-1,Xn)R. Then H^{n-2}_I (R/pR) is not artinian. We prove the following generalization of an example of Hartshorne: Let k be a field, n=4, R = k[[X1,...,Xn]], I = (X1,...,Xn-2)R and p\in R a prime element such that p\in(Xn-1,Xn)R. Then H^{n-2}_I (R/pR) is not artinian. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Comments: 6 pages

MSC Class: 13D45; 13E10

A Note on the injective dimension of local cohomology modules

Authors: Michael Hellus

Abstract: For a noetherian ring R we call an R-module M cofinite if there exists an ideal I of R such that M is I-cofinite; we show that every cofinite module M satisfies dim_R(M)<=injdimR(M). As an application we study the question which local cohomology modules H^i_I(R) satisfy injdim_R(H^i_I(R)) = dim_R(H^i_I(R)). There are two situations where the answer is positive. On the other hand we present two c… ▽ More For a noetherian ring R we call an R-module M cofinite if there exists an ideal I of R such that M is I-cofinite; we show that every cofinite module M satisfies dim_R(M)<=injdimR(M). As an application we study the question which local cohomology modules H^i_I(R) satisfy injdim_R(H^i_I(R)) = dim_R(H^i_I(R)). There are two situations where the answer is positive. On the other hand we present two counter-examples, the failure in these two examples coming from different reasons. △ Less

Submitted 5 March, 2007; originally announced March 2007.

MSC Class: 13D45; 13C05

Local Cohomology and Matlis duality

Authors: Michael Hellus

Abstract: Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4. Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4. △ Less

Submitted 5 March, 2007; originally announced March 2007.

Comments: The author's Habilitationsschrift

MSC Class: 13D45; 14B15; 14M10

Finiteness properties of duals of local cohomology modules

Authors: Michael Hellus

Abstract: We investigate Matlis duals of local cohomology modules and prove that, in general, their zeroth Bass number with respect to the zero ideal is not finite. We also prove that, somewhat surprisingly, if we apply local cohomology again (i. e. to the Matlis dual of the local cohomology module), we get (under certain hypotheses) either zero or $E$, an $R$-injective hull of the residue field of the lo… ▽ More We investigate Matlis duals of local cohomology modules and prove that, in general, their zeroth Bass number with respect to the zero ideal is not finite. We also prove that, somewhat surprisingly, if we apply local cohomology again (i. e. to the Matlis dual of the local cohomology module), we get (under certain hypotheses) either zero or $E$, an $R$-injective hull of the residue field of the local ring $R$. △ Less

Submitted 4 July, 2006; originally announced July 2006.

Comments: 10 pages

MSC Class: 13D45

On the set of associated primes of a local cohomology module

Authors: Michael Hellus

Abstract: Assume $R$ is a local Cohen-Macaulay ring. It is shown that $\Ass_R (H^l_I(R))$ is finite for any ideal $I$ and any integer $l$ provided $\Ass_R (H^2_{(x,y)}(R))$ is finite for any $x,y\in R$ and $\Ass_R (H^3_{(x_1,x_2,y)}(R))$ is finite for any $y\in R$ and any regular sequence $x_1,x_2\in R$. Furthermore it is shown that $\Ass_R (H^l_I(R))$ is always finite if $\dim (R)\leq 3$. The same statem… ▽ More Assume $R$ is a local Cohen-Macaulay ring. It is shown that $\Ass_R (H^l_I(R))$ is finite for any ideal $I$ and any integer $l$ provided $\Ass_R (H^2_{(x,y)}(R))$ is finite for any $x,y\in R$ and $\Ass_R (H^3_{(x_1,x_2,y)}(R))$ is finite for any $y\in R$ and any regular sequence $x_1,x_2\in R$. Furthermore it is shown that $\Ass_R (H^l_I(R))$ is always finite if $\dim (R)\leq 3$. The same statement is even true for $\dim (R)\leq 4$ if $R$ is almost factorial. △ Less

Submitted 4 July, 2006; originally announced July 2006.

Comments: 14 pages

MSC Class: 13D45

Journal ref: J. Algebra 237, (2001) 406-419

Attached primes and Matlis duals of local cohomology modules

Authors: Michael Hellus

Abstract: Let $J$ be an ideal of a noetherian local ring $R$. We show new results on the set of attached primes $\Att_R(\LCMo ^l_J(R))$ of a local cohomology module $\LCMo ^l_J(R)$. To prove our results we establish and use new relations between the set $\Att_R(\LCMo ^l_J(R))$ of attached primes of a local cohomology module and the set $\Ass_R(D(\LCMo ^l_J(R)))$ of associated primes of the Matlis dual of… ▽ More Let $J$ be an ideal of a noetherian local ring $R$. We show new results on the set of attached primes $\Att_R(\LCMo ^l_J(R))$ of a local cohomology module $\LCMo ^l_J(R)$. To prove our results we establish and use new relations between the set $\Att_R(\LCMo ^l_J(R))$ of attached primes of a local cohomology module and the set $\Ass_R(D(\LCMo ^l_J(R)))$ of associated primes of the Matlis dual of the same local cohomology module. △ Less

Submitted 3 April, 2006; originally announced April 2006.

MSC Class: 13D45; 13D22; 13D05

Local Cohomology and complete intersections of rank 1

Authors: Michael Hellus

Abstract: The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis duals of certain local cohomology modules and thus is related to the set of associated primes of such Matlis duals. While in [8] the general situation with n… ▽ More The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis duals of certain local cohomology modules and thus is related to the set of associated primes of such Matlis duals. While in [8] the general situation with no restrictions on arithmetic rank and cohomological dimension was investigated, this work concentrates on the case ``cohomological dimension of the given ideal is (at most) one'' and also on the interplay between non-graded local and graded situations. The main results are new characterizations for the case $\ara \leq 1$ (theorem 1 and theorem 2), the fact that given a graded ring $R$ and a homogenous ideal $I$ of cohomological dimension at most one the inclusion $$\{x\in I| x\hbox {non-homogenous}\} \subseteq \bigcup_{\goth p\in \Ass_R(D(\LCMo ^1_I(R)))}\goth p$$ holds (theorem 4, $D$ is a Matlis dual functor) and a (somewhat technical) statement on regular sequences on Matlis duals of certain local cohomology modules (theorem 5), which shows that regular sequences on such Matlis duals behave well in some sense although these modules are not finite in general. △ Less

Submitted 28 September, 2005; originally announced September 2005.

Comments: 7 pages

MSC Class: 13D45; 13A10; 14B15

Local Homology, Cohen-Macaulayness and Cohen-Macaulayfications

Authors: Michael Hellus

Abstract: Let (R,m) be a local, complete ring, X an artinian R-module of Noetherian dimension d; let x_1,...,x_d\in m be such that 0:_X (x_1,...,x_d)R has finite length. Then H^x_d(X) is a finite R-module, providing a positive answer to a question posed by Tang. As a first application of this result corollory 1 contains a necessary condition for a finite module to be CM; secondly we propose a notion of Co… ▽ More Let (R,m) be a local, complete ring, X an artinian R-module of Noetherian dimension d; let x_1,...,x_d\in m be such that 0:_X (x_1,...,x_d)R has finite length. Then H^x_d(X) is a finite R-module, providing a positive answer to a question posed by Tang. As a first application of this result corollory 1 contains a necessary condition for a finite module to be CM; secondly we propose a notion of Cohen-Macaulayfication and prove its uniqueness (th. 3); finally we show that this new notion of Cohen-Macaulayfication is a direct generalization of a notion of Cohen-Macaulayfication introduced by Goto (th. 4). △ Less

Submitted 7 July, 2005; originally announced July 2005.

Comments: 5 pages

MSC Class: 13C14; 13D45

On the associated primes of Matlis duals of top local cohomology modules

Authors: Michael Hellus

Abstract: After motivating the question we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases we can calculate this set, for the general situation we present a conjecture. An easy application of this theory is the well-known fact that Krull dimension can be expressed by the vanishing of local cohomology modules. After motivating the question we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases we can calculate this set, for the general situation we present a conjecture. An easy application of this theory is the well-known fact that Krull dimension can be expressed by the vanishing of local cohomology modules. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: 10 pages

MSC Class: 13D45; 14B15