http://arxiv.org/api/p2p2OzLRrYRdAN0cEgqeMNeMMZo 2025-04-22T00:00:00-04:00 13629 90 15 http://arxiv.org/abs/2408.13425v3 2025-04-02T18:04:42Z 2024-08-24T01:36:05Z

Let $(R,m,k)$ be a Golod ring. We show a recurrent formula for high syzygies of $k$ interms of previous ones. In the case of embedding dimension at most $2$, we provided complete descriptions of all indecomposable summands of all syzygies of $k$.

Doan Trung Cuong Hailong Dao David Eisenbud Toshinori Kobayashi Claudia Polini Bernd Ulrich http://arxiv.org/abs/2504.02038v1 2025-04-02T18:00:05Z 2025-04-02T18:00:05Z

Local faces modules are modules over face rings whose Hilbert function is the local h-vector of a triangulation of a simplex. We study when Lefschetz properties hold for local face modules. We prove new unimodality results for local h-vectors of vertex-induced triangulations and show that, even for regular triangulations, Lefschetz properties can fail for local face modules in positive characteristic.

Matt Larson Alan Stapledon http://arxiv.org/abs/2301.07664v7 2025-04-02T17:08:00Z 2023-01-18T17:17:02Z

Every finite local principal ideal ring is the homomorphic image of a discrete valuation ring of a number field, and is determined by five invariants. We present an action of a group, non-commutative in general, on the set of Eisenstein polynomials, of degree matching the ramification index of the ring, over the coefficient ring. The action is defined by taking resultants.

Matthé van der Lee 25 pages, 2 figures. Fixed a few typos. Clarified some of the arguments. Added a symbol index http://arxiv.org/abs/2504.01834v1 2025-04-02T15:40:38Z 2025-04-02T15:40:38Z

We describe an algorithm which computes the ring laws for Witt vectors of finite length over a polynomial ring with coefficients in a finite field. This algorithm uses an isomorphism of Illusie in order to compute in an adequate polynomial ring. We also give an implementation of the algorithm in SageMath, which turns out to be faster that Finotti's algorithm, which was until now the most efficient one for these operations.

Rubén Muñoz--Bertrand 11 pages http://arxiv.org/abs/2504.01633v1 2025-04-02T11:38:23Z 2025-04-02T11:38:23Z

Let $A$ be a commutative ring with identity. A proper submodule $N$ of $A$-module $M$ is said to be prime submodule if $ax \in N$ where $a \in A, x \in M$, implies $x \in N$ or $aM \subseteq N$. A proper submodule $N \subset M$ is said to be weakly prime submodule if $0 \neq ax \in N$ where $a \in A, x \in M$, then either $x \in N$ or $aM \subseteq N$. The notion of weakly prime submodule was introduced by Atani and Farzalipour \cite{atani2007weakly}. The purpose of this paper is to study the form of prime and weakly prime submodules of duplication of the $A$-module $M$ along the ideal $I$ (denoted by $M \bowtie I$), introduced and studied by E. M. Bouba, N. Mahdou and M. Tamekkante. A number of results concerning prime and weakly prime submodules on amalgamated duplication and examples are given.

Gürsel Yeşilot Esra Tarakcı Yasemin Şimşek http://arxiv.org/abs/2305.18963v2 2025-04-02T04:23:40Z 2023-05-30T11:51:42Z

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of Chatzidakis and Hrushovski (in the case of the trivial valuation) and the work of the first author and Hrushovski (in the case where the fields are algebraically closed). The logical setting for the proof is a model completeness result for valued fields equipped with an endomorphism $\sigma$ which is locally infinitely contracting and fails to be onto. Namely we prove the existence of a model complete theory $\widetilde{\mathrm{VFE}}$ amalgamating the theories $\mathrm{SCFE}$ and $\widetilde{\mathrm{VFA}}$ introduced in [5] and [11], respectively. In characteristic zero, we also prove that $\widetilde{\mathrm{VFE}}$ is NTP$_2$ and classify the stationary types: they are precisely those orthogonal to the fixed field and the value group.

Yuval Dor Yatir Halevi http://arxiv.org/abs/2401.01046v3 2025-04-01T04:33:54Z 2024-01-02T05:51:27Z

As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For chordal graphs, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free graph, then $\operatorname{J}_{t}(G)$ has linear quotients and, hence, linear resolution.

H. Ananthnarayan Omkar Javadekar Aryaman Maithani 10.1007/s10801-025-01395-6 12 pages. This is the final version of the article, which has now appeared in the Journal of Algebraic Combinatorics Journal of Algebraic Combinatorics, Volume 61, article number 34 (2025) http://arxiv.org/abs/2503.24186v1 2025-03-31T15:03:30Z 2025-03-31T15:03:30Z

Let R be a commutative Noetherian ring. We establish a close relationship between the (strong) generation of the singularity category of R, the nonvanishing of the annihilator of the singularity category of R, and the nonvanishing of the cohomological annihilator of modules. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the singularity category of R is nonzero when R is a Noetherian domain with Krull dimension at most one. Furthermore, we relate the generation of the singularity category and the extension generation of the module category. Additionally, we introduce the notion of the co-cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, we show that the infinite injective dimension locus of a finitely generated R-module M is closed, with the defining ideal given by the co-cohomological annihilator of M.

Souvik Dey Jian Liu Yuki Mifune Yuya Otake 24 pages. Any comments are welcome! http://arxiv.org/abs/2311.17679v3 2025-03-31T12:37:43Z 2023-11-29T14:41:02Z

A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of a homogeneous ${\bf m}$-primary ideal. Here we construct density functions $f_{A,\{I_n\}}$ for a Noetherian filtration $\{I_n\}_{n\in\mathbb{N}}$ of homogeneous ideals and $f_{A,\{\widetilde{I^n}\}}$ for a filtration given by the saturated powers of a homogeneous ideal $I$ in a standard graded domain $A$. As a consequence, we get a density function $f_{\varepsilon(I)}$ for the epsilon multiplicity $\varepsilon(I)$ of a homogeneous ideal $I$ in $A$. We further show that the function $f_{A,\{I_n\}}$ is continuous everywhere except possibly at one point, and $f_{A,\{\widetilde{I^n}\}}$ is a continuous function everywhere and is continuously differentiable except possibly at one point. As a corollary the epsilon density function $f_{\varepsilon(I)}$ is a compactly supported continuous function on $\mathbb{R}$ except at one point, such that $\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$. All the three functions $f_{A,\{I^n\}}$, $f_{A,\{\widetilde{I^n}\}}$ and $f_{\varepsilon(I)}$ remain invariant under passage to the integral closure of $I$. As a corollary of this theory, we observe that the `rescaled' Hilbert-Samuel multiplicities of the diagonal subalgebras form a continuous family.

Suprajo Das Sudeshna Roy Vijaylaxmi Trivedi 50 pages, 2 figures, improved exposition, to appear in the Journal of the London Mathematical Society http://arxiv.org/abs/2503.17964v2 2025-03-30T09:11:23Z 2025-03-23T06:59:27Z

We show a certain existence of a lifting of modules under the self-$\mathrm{Ext}^2$-vanishing condition over the "derived quotient" by using the notion of higher algebra. This refines a work of Auslander-Ding-Solberg's solution of the Auslander-Reiten conjecture for complete interesctions. Together with Auslander's zero-divisor theorem, we show that the existence of such $\mathrm{Ext}$-vanishing module over derived quotients is equivalent to being local complete intersections.

Ryo Ishizuka 27 pages; fix typo and add some remarks http://arxiv.org/abs/2310.19506v6 2025-03-30T06:07:15Z 2023-10-30T13:04:06Z

We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-L\^e-Schwachh\"ofer in [Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]. We prove that if $n \le \ell (r-1) +2$, with $\ell \geq 4$, the multiplication $\mu_k$ on the minimal unital $C_\infty$-algebra $H^*(M,\mathbb R)$ vanishes for all $k \ge \ell-1$. This extends the results from [loc. cit.], extending the bound on the dimension from $5r-3$ to the general bound $\ell(r-1) +2$. We also prove a variant of this result, conjectured by Zhou, stating that if $n \le \ell(r-1)+4$ and $b_r (M) =1$ then the multiplication $\mu_k$ for all $k \ge \ell-1$ vanishes. This implies two formality results by Cavalcanti [Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]. We show that in any dimension $n$ the Harrison cohomology class $[\mu_3]\in \mathrm {HHarr}^{3,-1}(H^* (M, \mathbb R), H^*(M, \mathbb R)) $ is a homotopy invariant of $M$ and the first obstruction to formality, and provide a detailed proof that if $n\leq 4r-1$ this is the only obstruction. Furthermore, we show that in any dimension $n$ the class $[\mu_3]$ and the Bianchi-Massey tensor invented by Crowley-Nordstr\"om in [J. Topol. 13(2020), 539-575] define each other uniquely.

Domenico Fiorenza Hông Vân Lê 10.2422/2036-2145.202401_003 v6, 32 p.; affiliation added, a reference added, few typos corrected. Final version. To appear in Ann. Sc. Norm. Super. Pisa http://arxiv.org/abs/2503.23117v1 2025-03-29T15:17:07Z 2025-03-29T15:17:07Z

Let $R$ be a commutative noetherian local differential graded (DG) ring. In this paper we propose a definition of a maximal Cohen-Macaulay DG-complex over $R$ that naturally generalizes a maximal Cohen-Macaulay complex over a noetherian local ring, as studied by Iyengar, Ma, Schwede, and Walker. Our proposed definition extends the work of Shaul on Cohen-Macaulay DG-rings and DG-modules, as any maximal Cohen-Macaulay DG-module is a maximal Cohen-Macaulay DG-complex. After proving necessary lemmas in derived commutative algebra, we establish the existence of a maximal Cohen-Macaulay DG-complex for every DG-ring with constant amplitude that admits a dualizing DG-module. We then use the existence of these DG-complexes to establish a derived Improved New Intersection Theorem for all DG-rings with constant amplitude.

Zachary Nason 27 pages http://arxiv.org/abs/2503.22332v1 2025-03-28T11:14:48Z 2025-03-28T11:14:48Z

In this paper, we introduce (weakly) square-difference factor absorbing hyperideals in a multiplicative hyperring

Mahdi Anbarloei http://arxiv.org/abs/2503.22261v1 2025-03-28T09:23:45Z 2025-03-28T09:23:45Z

In this paper, we introduce the notion of $\gamma$-regular sequences to characterize the property that graded modules have componentwise linear syzygies. This extends Harima and Watanabe's characterization of componentwise linear ideals in terms of $\mathfrak{m}$-full property.

Satoru Isogawa http://arxiv.org/abs/2311.10515v5 2025-03-28T08:51:02Z 2023-11-17T13:36:57Z

Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this paper, we revisit this problem from a more geometric perspective, where the construction of cylindrical algebraic decomposition is related to the study of morphisms between real varieties. It is showed that the geometric fiber cardinality (geometric property) decides the existence of semi-algebraic continuous sections (semi-algebraic property). As a result, all equations can be systematically exploited in the projection phase, leading to a new simple algorithm whose efficiency is demonstrated by experimental results.

Rizeng Chen Minor Revision, 34 Pages