Bounding regularity of $FI^m$-modules

Wee Liang Gan,Khoa Ta

2024-07-30

Abstract:Let $FI$ be a skeleton of the category of finite sets and injective maps, and $FI^m$ the product of $m$ copies of $FI$. We prove that if an $FI^m$-module is generated in degree $\leqslant d$ and related in degree $\leqslant r$, then its regularity is bounded above by a function of $m$, $d$, and $r$.

Representation Theory

What problem does this paper attempt to address?

Onset of regularity for FI-modules

Cihan Bahran

DOI: https://doi.org/10.1007/s10468-023-10228-8

2023-06-30

Abstract:In terms of local cohomology, we give an explicit range as to when the FI-homology of an FI-module attains its regularity.

K-Theory and Homology,Representation Theory
Regularity and stable ranges of FI-modules

Cihan Bahran

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

2023-12-17

Abstract:We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We apply these to get explicit stable ranges for diagonal coinvariant algebras, and improve those for ordered configuration spaces of manifolds and congruence subgroups of general linear groups.

Representation Theory,Algebraic Topology,Combinatorics,K-Theory and Homology
Regularity of an FI-module via the derivative functor

Cihan Bahran

2024-06-12

Abstract:We characterize the regularity of an FI-module using the derivative functors.

K-Theory and Homology,Representation Theory
FI-injective and FI-flat modules

L MAO,N DING

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

IF: 0.908

2007-01-01

Journal of Algebra

Abstract:Let R be a ring. A left R-module M (respectively right R-module N) is called FI-injective (respectively FI-flat) if Ext1(G,M)=0 (respectively Tor1(N,G)=0) for any FP-injective left R-module G. Suppose R is a left coherent ring. It is shown that a left R-module M is FI-injective if and only if M is a direct sum of an injective left R-module and a reduced FI-injective left R-module; a finitely presented right R-module M is FI-flat if and only if M is a cokernel of a flat preenvelope of a right R-module. These modules together with the left derived functors of Hom are used to study the FP-injective dimensions of modules and rings.
Virtually regular modules

Engin Büyükaşık,Özlem Irmak Demir

2024-06-17

Abstract:We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper, characterizations and some closure properties of the aforementioned modules are given. Several structure results are obtained over commutative rings. In particular, the structures of finitely presented (strongly) virtually regular modules and completely virtually regular modules are fully determined over valuation domains. Namely, for a valuation domain $R$ with the unique maximal ideal $P$, we show that finitely presented (strongly) virtually regular modules are free if and only if $P$ is not principal; and that $P=Rp$ is principal if and only if finitely presented virtually regular modules are of the form $$R^n \oplus (\frac{R}{Rp})^{n_1} \oplus (\frac{R}{Rp^2})^{n_2} \oplus \cdots \oplus (\frac{R}{Rp^k})^{n_k}$$ for nonnegative integers $n,\,k,\,n_1,\,n_2,\cdots ,n_k.$ Similarly, we prove that $P=Rp$ is principal if and only if finitely presented strongly virtually regular modules are of the form $ R^n \oplus (\frac{R}{Rp})^{m}$, where $m,n$ are nonnegative integers. We also obtain that, $R$ admits a nonzero finitely presented completely virtually regular module $M$ if and only if $P=Rp$ is principal. Moreover, for a finitely presented $R$-module $M$, we prove that: $(i)$ if $R$ is not a DVR, then $M$ is completely virtually regular if and only if $M \cong (\frac{R}{Rp})^{m}$; and $(ii)$ if $R$ is a DVR, then $M$ is completely virtually regular if and only if $M\cong R^n \oplus (\frac{R}{Rp})^{m}.$ Finally, we obtain a characterization of finitely generated virtually regular modules over the ring of integers.

Commutative Algebra,Rings and Algebras
The Regularity of Munn Rings and Semigroup Rings

Li Fang

DOI: https://doi.org/10.1007/bf02274047

1995-01-01

Acta Mathematica Sinica

Abstract:In this paper, the author studies the regularity of Munn rings and completely 0-simple semigroup rings. When either (i)R is a ring with identity andI and Λ are infinite, or (ii)R is a strong IBN and fully Dedekind-finite ring with identity and eitherI or Λ is finite, in Section 2, the regularity of the Munn ringM(R; I, Λ; P) is characterized; in Section 3, for a completely 0-simple semigroupS =M°(G; I, Λ; P), the regularity ofRS is characterized. Meantime, the author shows that for a locally finite monoidS and a ringR with identity,RS is a strong IBN ring if and only ifR is so;RS is fully Dedekind-finite if and only ifR is so.
ON THE REGULARITY OF D-MODULES GENERATED BY RELATIVE CHARACTERS

LI WEN-WEI

DOI: https://doi.org/10.1007/s00031-020-09624-x

2020-01-01

Transformation Groups

Abstract:Following the ideas of Ginzburg, for a subgroup K of a connected reductive ℝ-group G we introduce the notion of K -admissible D -modules on a homogeneous G -variety Z . We show that K -admissible D -modules are regular holonomic when K and Z are absolutely spherical. This framework includes: (i) the relative characters attached to two spherical subgroups H 1 and H 2 , provided that the twisting character χ i factors through the maximal reductive quotient of H i , for i = 1; 2; (ii) localization on Z of Harish-Chandra modules; (iii) the generalized matrix coeficients when K (ℝ) is maximal compact. This complements the holonomicity proven by Aizenbud–Gourevitch–Minchenko. The use of regularity is illustrated by a crude estimate on the growth of K -admissible distributions based on tools from subanalytic geometry.
On Regular Fusible Modules

Osama A. Naji,Mehmet Özen,Ünsal Tekir,Suat Koç

2024-03-21

Abstract:In this article, we introduce the notion of regular fusible modules. Let $R$ be a ring with an identity and $M$ an $R$-module. An element $0\neq m\in M$ is said to be regular fusible if there exists $r\in R$, a non zero-divisor of $M$, such that $mr$ can be written as the sum of a torsion element and a torsion free element in $M$. $M$ is called regular fusible if every nonzero element of $M$ is regular fusible. We characterize regular fusible modules in terms of fusible modules. In addition, we show that a regular fusible module over a right duo ring is reduced and nonsingular. Moreover, we study the regular fusible property under Cartesian product, trivial extension ring, and module of a fractions. Also, we characterize division rings in terms of fusible modules.

Rings and Algebras,Commutative Algebra
A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Eamon Quinlan-Gallego

DOI: https://doi.org/10.1093/imrn/rnae054

2024-04-01

International Mathematics Research Notices

Abstract:Abstract We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings that have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such a ring then the iterated local cohomology modules $H^{n_{1}}_{I_{1}} \circ \cdots \circ H^{n_{s}}_{I_{s}}(R)$ have finitely many associated primes, and that all local cohomology modules $H^{n}_{I}(R / gR)$ have closed support when $g$ is a nonzerodivisor on $R$.

mathematics
Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver rings

Eliana Tolosa-Villarreal

2024-05-31

Abstract:Every simple finite graph $G$ has an associated Lovász-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry, commutative algebra and combinatorics. We find a link between algebraic properties such as normality, factoriality and strong $F$-regularity of $R_G(d)$ and combinatorial invariants of the graph $G$. In particular we prove that if $d \geq \text{pmd}(G)+k(G)$ then $R_G(d)$ is $F$-regular in finite characteristic and rational singularity in characteristic $0$ and furthermore if $d \geq \text{pmd}(G)+k(G)+1$ then $R_G(d)$ is UFD. Here $\text{pmd}(G)$ is the positive matching decomposition number of $G$ and $k(G)$ is its degeneracy number.

Commutative Algebra,Combinatorics
A formalism of $F$-modules for rings with complete local finite $F$-representation type

Eamon Quinlan-Gallego

2024-03-12

Abstract:We develop a formalism of unit $F$-modules in the style of Lyubeznik and Emerton-Kisin for rings which have finite $F$-representation type after localization and completion at every prime ideal. As applications, we show that if $R$ is such a ring then the iterated local cohomology modules $H^{n_1}_{I_1} \circ \cdots \circ H^{n_s}_{I_s}(R)$ have finitely many associated primes, and that all local cohomology modules $H^n_I(R / gR)$ have closed support when $g$ is a nonzerodivisor on $R$.

Commutative Algebra,Algebraic Geometry
On regularity in codimension one of irreducible components of module varieties

Grzegorz Bobinski

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

2008-04-14

Abstract:Let A be a tame quasi-tilted algebra and d the dimension vector of an indecomposable A-module. In the paper we prove that each irreducible component of the variety of A-modules of dimension vector d is regular in codimension one.

Representation Theory,Algebraic Geometry
Rigidity degrees of indecomposable modules over representation-finite self-injective algebras

Wei Hu,Xiaojuan Yin

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

IF: 0.834

2023-08-09

Journal of Pure and Applied Algebra

Abstract:The rigidity degree of a generator-cogenerator determines the dominant dimension of its endomorphism algebra, and is closely related to a recently introduced homological dimension — rigidity dimension. In this paper, we give explicit formulae for the rigidity degrees of all indecomposable modules over representation-finite self-injective algebras by developing combinatorial methods from the Euclidean algorithm. As an application, the rigidity dimensions of some algebras of types A and E are given.

mathematics, applied
Regularity of Koszul modules

Tony J. Puthenpurakal

2024-09-18

Abstract:Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes of $I$ and $M$.

Commutative Algebra
A note on the degree bounds of the invariant ring

Yang Zhang,Jizhu Nan

DOI: https://doi.org/10.3934/math.2024530

2024-01-01

AIMS Mathematics

Abstract:Let $ G = C_p\times H $ be a finite group, where $ C_p $ is a cyclic group of prime order $ p $ and $ H $ is a $ p^{\prime} $-group. Let $ \mathbb{F} $ be an algebraically closed field in characteristic $ p $. Let $ V $ be a direct sum of $ m $ non-trivial indecomposable $ G $-modules such that the norm polynomials of the simple $ H $-modules are the power of the product of the basis elements of the dual. In previous work, we proved the periodicity property of the polynomial ring $ \mathbb{F}[V] $ with actions of $ G $. In this paper, by the periodicity property, we showed that $ \mathbb{F}[V]^G $ is generated by $ m $ norm polynomials together with homogeneous invariants of degree at most $ m|G|-{\rm dim}(V) $ and transfer invariants, which yields the well-known degree bound $ {\rm dim} $$ (V)\cdot(|G|-1) $. More precisely, we found that this bound gets less sharp as the dimensions of simple $ H $-modules increase.

mathematics, applied
On liftings of modules of finite projective dimension

Nawaj KC,Andrew J. Soto Levins

2024-04-27

Abstract:We introduce and study a notion of dimly liftable modules; these are modules that are liftable to the right dimension to a regular local ring. We establish special new cases of Serre's positivity conjecture over ramified regular local rings by proving it for dimly liftable modules. Furthermore, we show that the length of a nonzero finite length dimly liftable module is bounded below by the Hilbert-Samuel multiplicity of the local ring. This establishes special cases of the Length Conjecture of Iyengar-Ma-Walker.

Commutative Algebra
Gf-Regular Modules

Areej M. Abduldaim,Sheng Chen

DOI: https://doi.org/10.1155/2013/630285

2013-01-01

Journal of Applied Mathematics

Abstract:We introduced and studied GF-regular modules as a generalization of π-regular rings to modules as well as regular modules (in the sense of Fieldhouse). An R-moduleM is called GF-regular if for each x ∈ M and r ∈ R, there exist t ∈ R and a positive integer n such that rntrnx = rx. The notion of G-pure submodules was introduced to generalize pure submodules and proved that an RmoduleM isGF-regular if and only if every submodule ofM isG-pure iffMM is aGF-regular RM-module for each maximal ideal M of R. Many characterizations and properties of GF-regular modules were given. An R-moduleM isGF-regular iff R/ann(x) is a π-regular ring for each 0 ̸ = x ∈ M iff R/ann(M) is a π-regular ring for finitely generated moduleM. IfM is a GF-regular module, then J(M) = 0.
On the injective dimension of unit Cartier and Frobenius modules

Manuel Blickle,Daniel Fink,Alexandria Wheeler,Wenliang Zhang

2024-12-11

Abstract:Let $R$ be a regular $F$-finite ring of prime characteristic $p$. We prove that the injective dimension of every unit Frobenius module $M$ in the category of unit Frobenius modules is at most $\operatorname{dim}(\operatorname{Supp}_R(M))+1$. We further show that for unit Cartier modules the same bound holds over any noetherian $F$-finite ring $A$ of prime characteristic $p$. This shows that $\dim A+1$ is a uniform upper bound for the injective dimension of any unit Cartier module over a noetherian $F$-finite ring $A$.

Commutative Algebra,Algebraic Geometry
Local monodromy of Drinfeld modules

Mornev,M.

DOI: https://doi.org/10.1112/s0010437x24007450

2024-12-04

Compositio Mathematica

Abstract:Compared with algebraic varieties the local monodromy of Drinfeld modules appears to be hopelessly complex: the image of the wild inertia subgroup under Tate module representations is infinite save for the case of potential good reduction. Nonetheless, we show that Tate modules of Drinfeld modules are ramified in a limited way: the image of a sufficiently deep ramification subgroup is trivial. This leads to a new invariant, the local conductor of a Drinfeld module. We establish an upper bound on the conductor in terms of the volume of the period lattice. As an intermediate step we develop a theory of normed lattices in function field arithmetic including the notion of volume. We relate normed lattices to vector bundles on projective curves. With the aid of Castelnuovo–Mumford regularity this implies a volume bound on norms of lattice generators, and the conductor inequality follows. Last but not least we describe the image of inertia for Drinfeld modules with period lattices of rank . Just as in the theory of local -adic Galois representations this image is commensurable with a commutative unipotent algebraic subgroup. However, in the case of Drinfeld modules such a subgroup can be a product of several copies of .

mathematics
Modules with finitely generated cohomology

David J. Benson,Jon F. Carlson

2023-08-18

Abstract:Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of modules whose cohomology is finitely generated over $\mathsf{H}^*(G,\mathsf{k})$ is generated by finite dimensional modules and modules with no cohomology. If the centraliser of every element of order $p$ in $G$ is $p$-nilpotent, this statement follows from previous work. Our purpose here is to prove this conjecture in two cases with non $p$-nilpotent centralisers. The groups involved are ${\mathbb Z}/3^r\times\Sigma_3$ ($r> 0$) in characteristic three and ${\mathbb Z}/2\times A_4$ in characteristic two. As a consequence, in these cases the bounded derived category of $C^*BG$ (cochains on $BG$ with coefficients in $\mathsf{k}$) is generated by $C^*BS$, where $S$ is a Sylow $p$-subgroup of $G$.

Representation Theory

Bounding regularity of $FI^m$-modules

Onset of regularity for FI-modules

Regularity and stable ranges of FI-modules

Regularity of an FI-module via the derivative functor

FI-injective and FI-flat modules

Virtually regular modules

The Regularity of Munn Rings and Semigroup Rings

ON THE REGULARITY OF D-MODULES GENERATED BY RELATIVE CHARACTERS

On Regular Fusible Modules

A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver rings

A formalism of $F$-modules for rings with complete local finite $F$-representation type

On regularity in codimension one of irreducible components of module varieties

Rigidity degrees of indecomposable modules over representation-finite self-injective algebras

Regularity of Koszul modules

A note on the degree bounds of the invariant ring

On liftings of modules of finite projective dimension

Gf-Regular Modules

On the injective dimension of unit Cartier and Frobenius modules

Local monodromy of Drinfeld modules

Modules with finitely generated cohomology