Indecomposable integrally closed modules of rank 3 over two-dimensional regular local rings

Futoshi Hayasaka,Vijay Kodiyalam

DOI: https://doi.org/10.1016/j.jpaa.2024.107612

IF: 0.834

2024-01-19

Journal of Pure and Applied Algebra

Abstract:We characterise ideals in two-dimensional regular local rings that arise as ideals of maximal minors of indecomposable integrally closed modules of rank three.

mathematics, applied

What problem does this paper attempt to address?

Note on indecomposable integrally closed modules of rank 2 over two-dimensional regular local rings

Futoshi Hayasaka,Vijay Kodiyalam

2023-04-19

Abstract:We characterise ideals in two-dimensional regular local rings that arise as ideals of maximal minors of indecomposable integrally closed modules of rank two.

Commutative Algebra
Constructing indecomposable integrally closed modules over a two-dimensional regular local ring

Futoshi Hayasaka

DOI: https://doi.org/10.1016/j.jalgebra.2020.03.029

IF: 0.908

2020-08-01

Journal of Algebra

Abstract:In this article, we construct integrally closed modules of rank two over a two-dimensional regular local ring. The modules are explicitly constructed from a given complete monomial ideal with respect to a regular system of parameters. Then we investigate their indecomposability. As a consequence, we have a large class of indecomposable integrally closed modules whose Fitting ideal is not simple. This gives an answer to Kodiyalam's question.

mathematics
Constructing Big Indecomposable modules

Andrew Crabbe,Janet Striuli

DOI: https://doi.org/10.48550/arXiv.0805.0804

2008-05-09

Abstract:Let $R$ be local Noetherian ring of depth at least two. We prove that there are indecomposable $R$-modules which are free on the punctured spectrum of constant, arbitrarily large, rank.

Commutative Algebra
Lengths and multiplicities of integrally closed modules over a two-dimensional regular local ring

Vijay Kodiyalam,Radha Mohan

DOI: https://doi.org/10.48550/arXiv.1412.1404

2014-12-04

Abstract:Let $(R,{\bf m})$ be a two-dimensional regular local ring with infinite residue field. We prove an analogue of the Hoskin-Deligne length formula for a finitely generated, torsion-free, integrally closed $R$-module $M$. As a consequence, we get a formula for the Buchsbaum-Rim multiplicity of $F/M$, where $F = M^{**}$.

Commutative Algebra
Commutative rings whose proper ideals are direct sum of cyclically presented modules

R. Nikandish,M. J. Nikmehr,A. Yassine

DOI: https://doi.org/10.48550/arXiv.2208.07942

2022-08-17

Abstract:A famous result due to I. M. Isaacs states that if a commutative ring $R$ has the property that every prime ideal is principal, then every ideal of $R$ is principal. This motivates ring theorists to study commutative rings for which every ideal is a direct sum of cyclically presented modules. In this paper, we study commutative rings whose ideals are direct sum of cyclically presented modules.

Commutative Algebra
Cofiniteness of local cohomology modules and subcategories of modules

Ryo Takahashi,Naoki Wakasugi

2023-07-13

Abstract:Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals $\mathfrak{p}$ that do not contain $I$. In this paper, we prove that if the $I$-cofinite modules forms an abelian category, then for all finitely generated $R$-modules $M$ and all integers $i$, the local cohomology module $H_I^i(M)$ is $I$-cofinite.

Commutative Algebra
Annihilator Ideals of Indecomposable Modules of Finite-Dimensional Pointed Hopf Algebras of Rank One

Yu Wang

DOI: https://doi.org/10.1142/s1005386724000130

2024-02-26

Algebra Colloquium

Abstract:Algebra Colloquium, Volume 31, Issue 01, Page 149-164, March 2024. Let [math] be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. We describe all annihilator ideals of indecomposable [math]-modules by generators. In particular, we give the classification of all ideals of the finite-dimensional pointed rank one Hopf algebra of nilpotent type over the Klein 4-group.

mathematics, applied
Locally dualisable modular representations and local regularity

Dave Benson,Srikanth B. Iyengar,Henning Krause,Julia Pevtsova

2024-04-23

Abstract:This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of interest is that they are exactly the modules whose restriction along a corresponding $\pi$-point are finite dimensional plus projective. A key insight is the identification of a special property of the stable module category that controls the cohomological behaviour of local dualisable objects. This property, introduced in this work for general triangulated categories and called local regularity, is related to strong generation. A major part of the paper is devoted to developing this notion and investigating its ramifications for various special classes of objects in tensor triangulated categories.

Representation Theory,Commutative Algebra
Rings of invariants for three dimensional modular representations

Jürgen Herzog,Vijaylaxmi Trivedi

2023-08-30

Abstract:Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$. This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$, and later Pierron and Shank proved it for $r=4$.

Commutative Algebra,Group Theory,Representation Theory
Homological dimensions of Burch ideals, submodules and quotients

Dipankar Ghosh,Aniruddha Saha

DOI: https://doi.org/10.1016/j.jpaa.2024.107647

2024-02-19

Abstract:The notion of Burch ideals and Burch submodules were introduced (and studied) by Dao-Kobayashi-Takahashi in 2020 and Dey-Kobayashi in 2022 respectively. The aim of this article is to characterize various local rings in terms of homological invariants of Burch ideals, Burch submodules, or that of the corresponding quotients. Specific applications of our results include the following: Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring. Let $M=I$ be an integrally closed ideal of $R$ such that ${\rm depth}(R/I)=0$, or $M = \mathfrak{m} N \neq 0$ for some submodule $N$ of a finitely generated $R$-module $L$ such that either ${\rm depth}(N)\ge 1$ or $L$ is free. It is shown that: (1) $I$ has maximal projective $($resp., injective$)$ complexity and curvature. (2) $R$ is Gorenstein if and only if ${\rm Ext}_R^n(M,R)=0$ for any three consecutive values of $n \ge \max\{{\rm depth}(R)-1,0\}$. (3) $R$ is CM (Cohen-Macaulay) if and only if CM-$\dim_R(M)$ is finite.

Commutative Algebra
Chains of integrally closed ideals

Kei-ichi Watanabe

DOI: https://doi.org/10.48550/arXiv.math/0212339

2002-12-25

Abstract:Let $(A,\frak m)$ be an excellent normal local ring with algebraically closed residue class field. Given integrally closed $\frak m$-primary ideals $I\supset J$, we show that there is a composition series between $I$ and $J$, by integrally closed ideals only. Also we show that any given integrally closed $\fm$-primary ideal $I$, the family of integrally closed ideals $J\subset I, l_A(I/J)=1$ forms an algebraic variety with dimension $\dim A -1$.

Commutative Algebra,Algebraic Geometry
On Coefficient Module of Arbitrary Modules

M. D. Ferrari,V. H. Jorge Perez,P. H. Lima

2023-07-12

Abstract:Let $(R, \mathfrak{m})$ be a $d$-dimensional Noetherian local ring that is formally equidimensional, and let $M$ be an arbitrary $R$-submodule of the free module $F = R^p$ with an analytic spread $s:=s(M)$. In this work, inspired by Herzog-Puthenpurakal-Verma in \cite{herzog}, we show the existence of an unique largest $R$-module $M_{k}$ with $\ell_R(M_{k}/M)<\infty$ and $M\subseteq M_{s}\subseteq\cdots\subseteq M_{1}\subseteq M_{0}\subseteq q(M),$ such that $°(P_{M_{k}/M}(n))<s-k,$ where $q(M)$ is the relative integral closure of $M,$ defined by $q(M):=\overline{M}\cap M^{sat},$ where $M^{sat}=\cup_{n\geq 1}(M:_F\mathfrak{m}^n)$ is the saturation of $M$. We also provide a structure theorem for these modules. Furthermore, we establish the existence of coefficient modules between $I(M)M$ and $M$, where $I(M)$ denotes the $0$-th Fitting ideal of $F/M$, and discuss their structural properties. Finally, we present some applications and discuss some properties.

Commutative Algebra
Graded components of local cohomology modules of $\mathfrak{C}$-monomial ideals in characteristic zero

Tony J. Puthenpurakal,Sudeshna Roy

2023-07-07

Abstract:Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the form $aU$ where $a \in A$ (possibly nonunit) and $U$ is a monomial in $X_i$'s. We call such an ideal as a `$\mathfrak{C}$-monomial ideal'. Local cohomology modules supported on monomial ideals gain a great deal of interest due to their applications in the context of toric varieties. It was observed that for $\underline{u} \in \mathbb{Z}^d$, their $\underline{u}^{th}$ components depend only on which coordinates of $\underline{u}$ are negative. In this article, we show that this statement holds true in our general setting, even for certain invariants of the components. We mainly focus on the Bass numbers, injective dimensions, dimensions, associated primes, Bernstein-type dimensions, and multiplicities of the components. Under the extra assumption that $A$ is regular, we describe the finiteness of Bass numbers of each component and bound its injective dimension by the dimension of its support. Finally, we present a structure theorem for the components when $A$ is the ring of formal power series in one variable over a characteristic zero field.

Commutative Algebra
Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

Cristian D. Popescu,Wei Yin

2024-09-18

Abstract:Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[[T]][G]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n]][G]$ and, most importantly, to the non-Noetherian algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n, \cdots]][G]$ of countably many generators. The latter generalization is motivated by the recent work of Bley-Popescu on the geometric Equivariant Iwasawa Conjecture for function fields, where the Iwasawa algebra is not Noetherian, of the type described above. Applications of these results to the emerging field of non-Noetherian Iwasawa Theory will be given in an upcoming paper.

Commutative Algebra,Number Theory
On the finiteness of Bass numbers of local cohomology modules and Cominimaxness

Kamal Bahmanpour,Reza Naghipour,Monireh Sedghi

DOI: https://doi.org/10.48550/arXiv.1309.0431

2013-09-02

Abstract:In this paper, we continue the study of cominimaxness modules with respect to an ideal of a commutative Noetherian ring (cf. \cite{ANV}), and Bass numbers of local cohomology modules. Let $R$ denote a commutative Noetherian local ring and $I$ an ideal of $R$. We first show that the Bass numbers $\mu^0(\frak p, H^2_I(R))$ and $\mu^1(\frak p, H^2_I(R))$ are finite for all $\frak p\in \Spec R$, whenever $R$ is regular. As a consequence, it follows that the Goldie dimension of $H^2_I(R)$ is finite. Also, for a finitely generated $R$-module $M$ of dimension $d$, it is shown that the Bass numbers of $H^{d-1}_{I}(M)$ are finite if and only if $\Ext^i_R(R/I, H^{d-1}_{I}(M))$ be minimax for all $i\geq0$. Finally, we prove that if $\dim R/I=2$, then the Bass numbers of $H^{n}_{I}(M)$ are finite if and only if $\Ext^i_R(R/I, H^{n}_{I}(M))$ be minimax, for all $i\geq0$, where $n$ is a non-negative integer.

Commutative Algebra
Integrable Modules of Map full Toroidal Lie Algebras

Pradeep Bisht,Punita Batra

2024-10-06

Abstract:In this paper, we study the irreducible objects of the category Cf in of integrable representations for Map full Toroidal Lie algebras with finite dimensional weight spaces. These representations turn out to be single point evaluation modules and hence are irreducible-integrable modules for the underlying full toroidal algebras.

Representation Theory
Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Srikanth B. Iyengar,Chandrashekhar B. Khare,Jeffrey Manning

2024-09-29

Abstract:We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $\lambda$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $\Psi_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence.

Number Theory,Commutative Algebra
A generalization of the dimension and radius of a subcategory of modules and its applications

Yuki Mifune

2024-01-20

Abstract:Let $R$ be a commutative noetherian local ring and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, we give some evaluations of the singular locus of $R$ and annihilators of Tor and Ext from a viewpoint of the finiteness of dimensions/radii of full subcategories of $\operatorname{mod} R$. As an application, we recover a theorem of Dey and Takahashi when $R$ is Cohen--Macaulay. Moreover, we obtain the divergence of the dimensions of specific full subcategories of $\operatorname{mod} R$ in non-Cohen--Macaulay case.

Commutative Algebra,Representation Theory
Induced modules and central character quotients for Takiff $\mathfrak{sl}_{2}$

Xiaoyu Zhu

2024-01-31

Abstract:We construct a large new family of simple modules over Takiff $\mathfrak{sl}_{2}$. We prove that the quotient of the universal enveloping algebra of the Takiff Lie algebra for $\mathfrak{sl}_{2}$ by the ideal generated by a non-trivial central character is a simple algebra. In the case of the trivial central character, we show that the corresponding ideal is primitive by explicitly constructing a simple module whose annihilator coincides with that ideal. Together with the annihilators of simple $\mathfrak{sl}_{2}$-modules, we expect that the above ideals exhaust all primitive ideal.

Representation Theory

Indecomposable integrally closed modules of rank 3 over two-dimensional regular local rings

Note on indecomposable integrally closed modules of rank 2 over two-dimensional regular local rings

Constructing indecomposable integrally closed modules over a two-dimensional regular local ring

Constructing Big Indecomposable modules

Lengths and multiplicities of integrally closed modules over a two-dimensional regular local ring

Commutative rings whose proper ideals are direct sum of cyclically presented modules

Cofiniteness of local cohomology modules and subcategories of modules

Annihilator Ideals of Indecomposable Modules of Finite-Dimensional Pointed Hopf Algebras of Rank One

Locally dualisable modular representations and local regularity

Rings of invariants for three dimensional modular representations

Homological dimensions of Burch ideals, submodules and quotients

Chains of integrally closed ideals

On Coefficient Module of Arbitrary Modules

Graded components of local cohomology modules of $\mathfrak{C}$-monomial ideals in characteristic zero

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

On the finiteness of Bass numbers of local cohomology modules and Cominimaxness

Integrable Modules of Map full Toroidal Lie Algebras

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

A generalization of the dimension and radius of a subcategory of modules and its applications

Induced modules and central character quotients for Takiff $\mathfrak{sl}_{2}$