http://arxiv.org/api/K40FW9a/3ZdUuBdv9n+/n1qErDc2025-04-30T00:00:00-04:001364922515http://arxiv.org/abs/2503.08521v12025-03-11T15:14:27Z2025-03-11T15:14:27ZEdge ideals whose all matching powers are bi-Cohen-Macaulay We classify all graphs $G$ satisfying the property that all matching powers
$I(G)^{[k]}$ of the edge ideal $I(G)$ are bi-Cohen-Macaulay for $1\le
k\le\nu(G)$, where $\nu(G)$ is the maximum size of a matching of $G$.
Marilena CrupiAntonino Ficarrahttp://arxiv.org/abs/2404.03695v22025-03-11T09:52:50Z2024-04-03T12:53:11ZConstructing $ω$-free Hardy fields We show that every Hardy field extends to an $\omega$-free Hardy field. This
result relates to classical oscillation criteria for second-order homogeneous
linear differential equations. It is essential in [11], and here we apply it to
answer questions of Boshernitzan, and to generalize a theorem of his.
Matthias AschenbrennerLou van den DriesJoris van der Hoeven51 pp.; revised following remarks by a referee. arXiv admin note:
substantial text overlap with arXiv:2304.10846http://arxiv.org/abs/2502.17895v22025-03-10T15:10:10Z2025-02-25T06:40:36ZBetti elements and full atomic support in rings and monoids Several papers in the recent literature have studied factorization properties
of affine monoids using the monoid's Betti elements. In this paper, we extend
this study to more general rings and monoids. We open by demonstrating the
issues with computing the complete set of Betti elements of a general
commutative cancellative monoid, and as an example compute this set for an
algebraic number ring of class number two. We specialize our study to the case
where the monoid has a single Betti element, before examining monoids with full
atomic support (that is, when each Betti element is divisible by every atom).
For such a monoid, we show that the catenary degree, tame degree, and omega
value agree and can be computed using the monoid's set of Betti elements. We
close by considering Betti elements in block monoids, giving a "Carlitz-like"
characterization of block monoids with full atomic support and proving that
these are precisely the block monoids having a unique Betti element.
Scott T. ChapmanPedro García-SánchezChristopher O'NeillVadim Ponomarenkohttp://arxiv.org/abs/2503.07299v12025-03-10T13:20:42Z2025-03-10T13:20:42ZOn average orders of automorphism groups of bilinear maps over finite
fields Let $\varphi:V\times V\to W$ be a bilinear map of finite vector spaces $V$
and $W$ over a finite field $\mathbb{F}_q$. We present asymptotic bounds on the
number of isomorphism classes of bilinear maps under the natural action of
$\mathrm{GL}(V)$ and $\mathrm{GL}(W)$, when $\dim(V)$ and $\dim(W)$ are
linearly related.
As motivations and applications of the results, we present almost tight upper
bounds on the number of $p$-groups of Frattini class $2$ as first studied by
Higman (Proc. Lond. Math. Soc., 1960). Such bounds lead to answers for some
open questions by Blackburn, Neumann, and Venkataraman (Cambridge Tracts in
Mathematics, 2007). Further applications include sampling matrix spaces with
the trivial automorphism group, and asymptotic bounds on the number of
isomorphism classes of finite cube-zero commutative algebras.
Markus BläserYinan LiYouming QiaoAlexander Rogovskyy25 pageshttp://arxiv.org/abs/2503.07271v12025-03-10T12:50:49Z2025-03-10T12:50:49ZDecompositions into a direct sum of projective and stable submodules A module $M$ is said to be stable if it has no nonzero projective direct
summand. For a ring $ R $, we study the conditions under which every $R$-module
$M$ within a specific class can be decomposed into a direct sum of a projective
module and a stable module, focusing on identifying the types of rings and the
class of $R$-modules where this property holds. Some well-known classes of
rings over which every finitely presented module can be decomposed into a
direct sum of a projective submodule and a stable submodule are semiperfect
rings or semilocal rings or rings satisfying some finiteness conditions like
having finite uniform dimension or hollow dimension or being Noetherian or
Artinian. By using the Auslander-Bridger transpose of modules, we prove that
every finitely presented right $R$-module over a left semihereditary ring $R$
has such a decomposition; note that the semihereditary condition is on the
opposite side. Our main focus in this article is to give examples where such a
decomposition fails. We give some ring examples over which there exists an
infinitely generated or finitely generated or cyclic module or finitely
presented module or cyclically presented module where such a decomposition
fails. Our main example is a cyclically presented module $M$ over a commutative
ring such that~$M$ has no such decomposition and $M$ is not projectively
equivalent to a stable module.
Gulizar GunayEngin Mermut15 pageshttp://arxiv.org/abs/2302.13787v52025-03-10T12:19:10Z2023-02-27T14:08:07ZOn image ideals of nice and quasi-nice derivations over a UFD In this paper, for a field $k$ of characteristic zero and a finitely
generated $k$-algebra $R$, we give a set of generators for the image ideals of
irreducible nice and quasi-nice $R$-derivations on the polynomial ring
$R[X,Y]$, where $R$ is a UFD.
Nikhilesh DasguptaAnimesh Lahirihttp://arxiv.org/abs/2409.03654v32025-03-10T10:42:44Z2024-09-05T16:10:30ZTressl's Structure Theorem for Separable Algebras This short paper presents a generalisation of Tressl's structure theorem for
differentially finitely generated algebras over differential rings of
characteristic 0 to the case of separable algebras over differential rings of
arbitrary characteristic.
Gabriel Ng7 pages. Minor clarifications and additional details and remarks
addedhttp://arxiv.org/abs/math/0508092v32025-03-10T09:57:54Z2005-08-04T15:12:06ZInfinite Minkowski sums of lattice polyhedra Artinian integrally closed monomial ideals are characterized by their Newton
polyhedra, which are lattice polyhedra inside the positive orthant having the
positive orthant as their recession cone. Multiplication of such ideals
correspond to Minkowski addition of their Newton polyhedra. In two dimensions,
the isomorphic monoids of artinian, integrally closed monomial ideals under
multiplication, or the class of lattice polyhedra described above, under
Minkowski addition, are free abelian, as proved by Crispin-Quinonez.
Bayer and Stillman considered so-called /monomial submodules/ of the Laurent
polynomial ring. Inspired by this, we consider a family of such monomial
submodules that can be (uniquely) expressed as an infinite product of monomial
submodules isomorphic to integrally closed monomial ideals. Geometrically,
their Newton polyhedras are expressed as an infinite Minkowski sum of *simple*
lattice polyhedra. This gives another example of a *topological ufd* i.e. a
topological abelian monoid in which every element can be uniquely written as a
convergent (possibly infinite) product of irreducibles.
Jan SnellmanMinor revisionhttp://arxiv.org/abs/2305.09190v32025-03-10T08:10:41Z2023-05-16T05:59:56Z(Almost) Complete Intersection Lovász-Saks-Schrijver ideals and
regularity of their powers We discuss the property of (almost) complete intersection of LSS-ideals of
graphs of some special forms, like trees, unicyclic, and bicyclic graphs.
Further, we give a sufficient condition for the complete intersection property
of twisted LSS-ideals in terms of a new graph theoretical invariant called
twisted positive matching decomposition number denoted by tpmd. We also study
the regularity of powers of LSS-ideals and make observations related to the
Koszul property of the quotients of the same.
Marie Amalore NambiNeeraj KumarChitra Venugopal10.1142/S0219498826500933To appear in Journal of Algebra and Its Applicationshttp://arxiv.org/abs/2501.05189v22025-03-10T03:11:45Z2025-01-09T12:24:00ZThe{N/D}-Conjecture for Nonresonant Hyperplane Arrangements This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous
polynomials $f$ of degree $d$ with $n$ variables. It is open to know when
$-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane
arrangements, this is a conjecture by Budur, Musta\c{t}\u{a} and Teitler and
implies the strong topological monodromy conjecture for arrangements. U.
Walther gave a sufficient condition that a certain differential form does not
vanish in the top cohomology group of Milnor fiber. We use Walther's result to
verify the $n\over d$-conjecture for weighted hyperplane arrangements
satisfying the nonresonant condition. We also give some essential
indecomposable homogeneous polynomials $f$ such that $-{n\over d}$ is not a
root of $b_{f,0}$. This leads to a conjectural sufficient condition for
$b_{f,0}(-{n\over d})=0$.
Baiting XieChenglong Yu18 pages, comments welcome!http://arxiv.org/abs/2410.12227v22025-03-09T14:01:00Z2024-10-16T04:43:21ZVector space summands of lower syzygies In this paper, we investigate problems concerning when the residue field $k$
of a local ring $(R,\frak m$, $k)$ appears as a direct summand of syzygy
modules, from two perspectives. First, we prove that the following conditions
are equivalent: (i) $k$ is a direct summand of second syzygies of all non-free
finitely generated $R$-modules; (ii) $k$ is a direct summand of third syzygies
of all non-free finitely generated $R$-modules; (iii) $k$ is a direct summand
of $\frak m$. We also prove various consequences of these conditions.
The second point of this article is to investigate for what artinian local
rings $R$ the dual $E^*=Hom_R(E_R(k),R)$ of the injective envelope of the
residue field, which is also a second syzygy, is a $k$-vector space. Using the
notion of Eliahou-Kervaire resolution, we introduce a large class of artinian
local rings that satisfy this condition.
Mohsen AsgharzadehMichael DeBellevueSouvik DeySaeed NassehRyo Takahashi18 pages; significant revision done on the previous versionhttp://arxiv.org/abs/2503.06600v12025-03-09T13:08:18Z2025-03-09T13:08:18ZFinite fields whose members are the sum of a potent and a 4-potent We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed
prime number, whose members are the sum of an $n$-potent element with $n>1$ and
a 4-potent element. It is shown that there are precisely ten non-trivial pairs
$(q,n)$ for which this is the case.
This continues a recent publication by Cohen-Danchev et al. in Turk. J. Math.
(2024) in which the tripotent version was examined in-depth as well as it
extends recent results of this branch established by Abyzov-Tapkin in Sib.
Math. J. (2024).
Stephen D. CohenPeter V. DanchevTomás Oliveira e Silva10 pageshttp://arxiv.org/abs/2501.05573v22025-03-08T18:49:03Z2025-01-09T20:58:18ZEuclidean domains with no multiplicative norms We construct a Euclidean domain with no multiplicative Euclidean norm to a
compatibly well-ordered monoid, and hence with no multiplicative Euclidean norm
to $\mathbb{R}$ (under its usual order).
A key step in the proof is showing that the UFD property is preserved when
adjoining a free factorization.
Caleb J. DastrupPace P. Nielsenhttp://arxiv.org/abs/2405.19992v22025-03-08T17:27:51Z2024-05-30T12:25:04ZAsymptotic v-numbers of graded (co)homology modules involving powers of
an ideal Let $R$ be a Noetherian $\mathbb{N}$-graded ring. Let $L$, $M$ and $N$ be
finitely generated graded $R$-modules with $N \subseteq M$. For a homogeneous
ideal $I$, and for each fixed $k \in \mathbb{N}$, we show the asymptotic
linearity of v-numbers of the graded modules $ {\rm
Ext}_R^{k}(L,{I^{n}M}/{I^{n}N})$ and ${\rm Tor}_k^{R}(L,{I^{n}M}/{I^{n}N})$ as
functions of $n$. Moreover, under some conditions on ${\rm Ext}_R^k(L,M)$ and
${\rm Tor}_k^R(L,M)$ respectively, we prove similar behaviour for v-numbers of
${\rm Ext}_R^{k}(L,{M}/{I^{n}N})$ and $ {\rm Tor}_k^{R}(L,{M}/{I^{n}N})$. The
last result is obtained by proving the asymptotic linearity of v-number of
$(U+I^{n}V)/I^{n}W$, where $U$, $V$ and $W$ are graded submodules of a finitely
generated graded $R$-module such that $W \subseteq V$ and $(0:_{U}I) = 0$.
Dipankar GhoshSiddhartha Pramanik10.1016/j.jalgebra.2025.01.02911 pages, Comments and suggestions are welcomeJ. Algebra 671 (2025), 61--74http://arxiv.org/abs/2310.18032v32025-03-08T09:19:31Z2023-10-27T10:14:06ZOn $S$-$n$-absorbing ideals Let $R$ be a commutative ring with identity, $S$ a multiplicative subset of
$R$ and $I$ an ideal of $R$ disjoint from $S$. In this paper, we introduce the
notion of an $S$-$n$-absorbing ideal which is a generalization of both the
$S$-prime ideals and $n$-absorbing ideals. Moreover, we investigate the basic
properties, quotient extension, existence and amalgamation of $S$-$n$-absorbing
ideals.
Hyungtae BaekHyun Seung ChoiJung Wook Lim10.1080/00927872.2025.247913218pages