http://arxiv.org/api/ezAnhZaHEX8tdx9iDyA+eO/bQZM 2025-04-30T00:00:00-04:00 13649 210 15 http://arxiv.org/abs/2503.11325v1 2025-03-14T11:51:20Z 2025-03-14T11:51:20Z

Continuing recent studies of both the hereditary and super properties of certain classes of Abelian groups, we explore in-depth what is the situation in the quite large class consisting of directly finite Abelian groups. Trying to connect some of these classes, we specifically succeeded to prove the surprising criteria that a relatively Hopfian group is hereditarily only when it is extended Bassian, as well as that, a relatively Hopfian group is super only when it is extended Bassian. In this aspect, additional relevant necessary and sufficient conditions in a slightly more general context are also proved.

Peter Danchev Brendan Goldsmith Fatemeh Karimi 20 pages http://arxiv.org/abs/2503.11119v1 2025-03-14T06:32:35Z 2025-03-14T06:32:35Z

New results on computing certificates of strictly positive polynomials in Archimedean quadratic modules are presented. The results build upon (i) Averkov's method for generating a strictly positive polynomial for which a membership certificate can be more easily computed than the input polynomial whose certificate is being sought, and (ii) Lasserre's method for generating a certificate by successively approximating a nonnegative polynomial by sums of squares. First, a fully constructive method based on Averkov's result is given by providing details about the parameters; further, his result is extended to work on arbitrary subsets, in particular, the whole Euclidean space $\mathbb{R}^n$, producing globally strictly positive polynomials. Second, Lasserre's method is integrated with the extended Averkov construction to generate certificates. Third, the methods have been implemented and their effectiveness is illustrated. Examples are given on which the existing software package RealCertify appears to struggle, whereas the proposed method succeeds in generating certificates. Several situations are identified where an Archimedean polynomial does not have to be explicitly included in a set of generators of an Archimedean quadratic module. Unlike other approaches for addressing the problem of computing certificates, the methods/approach presented is easier to understand as well as implement.

Weifeng Shang Chenqi Mou Jose Abel Castellanos Joo Deepak Kapur 22 pages, 1 figure http://arxiv.org/abs/2503.11719v1 2025-03-13T20:20:23Z 2025-03-13T20:20:23Z

We explain how the gluing of a closed piece of the tensor-triangular spectrum with its open complement hinges on the support of the Tate ring.

Paul Balmer Beren Sanders 35 pages http://arxiv.org/abs/2503.09254v2 2025-03-13T18:36:37Z 2025-03-12T10:52:43Z

Computing Gr\"obner bases is known to have a very high upper bound on computation time with respect to input length. Due to the connection between polyhedral geometry and Gr\"obner bases through the Gr\"obner fan, one can attempt an incremental approach to compute Gr\"obner bases. First computing a Gr\"obner basis with respect to an `easy' term order and transforming that result to a Gr\"obner basis with respect to the desired term order by using information about this polyhedral fan is done by a family of algorithms termed as Gr\"obner walk. We implemented two variants of the Gr\"obner walk in the computer algebra system OSCAR and compared their performance with classical Gr\"obner basis methods already found in OSCAR.

Kamillo Ferry Francesco Nowell 8 pages, 1 figure, 2 tables. v2: Fixed typo in title http://arxiv.org/abs/2503.10778v1 2025-03-13T18:17:58Z 2025-03-13T18:17:58Z

We introduce an analogue to Quasi-$F$-splittings, Quasi-$F$-purity, which is definable over rings that are not necessarily $F$-finite. We show that this property is equivalent to being Quasi-$F$-split in the complete local and $F$-finite case. We then exhibit that it is stable under completion, direct limit, and local/finite \'etale extension.

Vignesh Jagathese http://arxiv.org/abs/2406.13580v2 2025-03-13T13:12:15Z 2024-06-19T14:15:28Z

We consider numerical semigroups $S_3 = \langle d_1,d_2,d_3\rangle$, minimally generated by three positive integers. We revisit the Wilf question in $S_3$ and, making use of identities for degrees of syzygies of such semigroups, give a short proof of existence of an affirmative answer. We find also the lower bound for Frobenius numbers of $S_3$ and upper and lower bounds for rescaled genera.

Leonid G. Fel 10 pages, 2 Figures http://arxiv.org/abs/2410.04957v2 2025-03-13T13:06:43Z 2024-10-07T11:56:08Z

It is known that all terms $U_n$ of a classical regular Lucas sequence have a primitive prime divisor if $n>30$. In addition, a complete description of all regular Lucas sequences and their terms $U_n$, $2\leq n\leq 30$, which do not have a primitive divisor is also known. Here, we prove comparable results for Lucas sequences in polynomial rings, correcting some previous theorem on the same subject. The first part of our paper develops some elements of Lucas theory in several abstract settings before proving our main theorem in polynomial rings.

Joaquim Cera Da Conceição 11 pages http://arxiv.org/abs/2503.10163v1 2025-03-13T08:37:50Z 2025-03-13T08:37:50Z

For a valuation ring $V$, a smooth $V$-algebra $A$, and a reductive $V$-group scheme $G$ satisfying a certain natural isotropicity condition, we prove that every Nisnevich $G$-torsor on $\mathbb{A}^N_A$ descends to a $G$-torsor on $A$. As a corollary, we generalize Raghunathan's theorem on torsors over affine spaces to a relative setting. We also extend several affine representability results of Asok, Hoyois, and Wendt from equi-characteristics to mixed characteristics. Our proof relies on previous work on the purity of reductive torsors over smooth relative curves and the Grothendieck--Serre conjecture for constant reductive group schemes.

Ning Guo Fei Liu 15 pages, comments welcome http://arxiv.org/abs/2503.10083v1 2025-03-13T06:09:21Z 2025-03-13T06:09:21Z

We introduce and study a relative cancellation property for associative algebras. We also prove a characterization result for polynomial rings which partially answers a question of Kraft.

Hongdi Huang Zahra Nazemian Yanhua Wang James J. Zhang http://arxiv.org/abs/2403.15566v2 2025-03-12T16:46:46Z 2024-03-22T18:42:01Z

Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulrich modules. Some of these examples are Gorenstein normal domains; others are even complete intersection domains, though not normal.

Srikanth B. Iyengar Linquan Ma Mark E. Walker Ziquan Zhuang 13 pages. The Introduction has been expanded, and a few minor corrections have been made in the text. This is slated to appear in the Commun. Am. Math. Soc http://arxiv.org/abs/2407.17042v2 2025-03-12T16:13:01Z 2024-07-24T07:03:31Z

We prove that the Hessian transformation of elliptic curves, both as an action on $j$-invariants and on the Hesse pencil, is a Latt\`es map, namely it ascends to a degree-3 endomorphism $\psi$ of a prescribed elliptic curve $E$. This result provides a powerful tool to investigate the dynamics of the Hessian transformation, which inherits its symmetries from $\psi$. In particular, we show that, over arbitrary fields of characteristic different from 2 and 3, the Hessian functional graphs can be completely determined in terms of the action of $\psi$ on the twists of $E$. When the underlying field is finite, we specialize our results to provide a complete classification of Hessian functional graphs. In such a case, we also present a practical way to compute iterated Hessians.

Marzio Mula Federico Pintore Daniele Taufer http://arxiv.org/abs/2310.05257v3 2025-03-12T15:09:59Z 2023-10-08T18:27:14Z

This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. First we present pairs with their morphisms, called ``weak morphisms;'' we generalize earlier results about triples to pairs in the first three sections. We pay special attention to supertropical pairs, hyperpairs, and the doubling functor. Then we turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.

Marianne Akian Stephane Gaubert Louis Rowen Revision of the first version, 47 pp http://arxiv.org/abs/2503.09096v1 2025-03-12T06:24:18Z 2025-03-12T06:24:18Z

Consider a simple algebraic valued field extension $(L/K,v)$ and denote by $\mathcal O_L$ and $\mathcal O_K$ the corresponding valuation rings. The main goal of this paper is to present, under certain assumptions, a description of $\mathcal O_L$ in terms of generators and relations over $\mathcal O_K$. The main tool used here are complete sequences of key polynomials. It is known that if the ramification index of $(L/K,v)$ is one, then every complete set gives rise to a set of generators of $\mathcal O_L$ over $\mathcal O_K$. We show that we can find a sequence of key polynomials for $(L/K,v)$ which satisfies good properties (called neat). Then we present explicit ``neat" relations that generate all the relations between the corresponding generators of $\mathcal O_L$ over $\mathcal O_K$.

Josnei Novacoski Mark Spivakovsky http://arxiv.org/abs/2310.10270v3 2025-03-11T21:13:34Z 2023-10-16T10:53:12Z

Given ideals $I,J$ of a noetherian local ring $(R, \mathfrak m)$ such that $I+J$ is $\mathfrak m$-primary and a finitely generated $R$-module $M$, we associate an invariant of $(M,R,I,J)$ called the $h$-function. Our results on $h$-functions allow extensions of the theories of Frobenius-Poincar\'e functions and Hilbert-Kunz density functions from the known graded case to the local case, answering a question of V.Trivedi. When $J$ is $\mathfrak m$-primary, we describe the support of the corresponding density function in terms of other invariants of $(R, I,J)$. We show that the support captures the $F$-threshold: $c^J(I)$, under mild assumptions, extending results of V. Trivedi and Watanabe. The $h$-function encodes Hilbert-Samuel, Hilbert-Kunz multiplicity and $F$-threshold of the ideal pair involved. Using this feature of $h$-functions, we provide an equivalent formulation of a conjecture of Huneke, Musta\c{t}\u{a}, Takagi, Watanabe; recover a result of Smirnov and Betancourt; give a new proof of a result answering Watanabe-Yoshida's question comparing Hilbert-Kunz and Hilbert-Samuel multiplicity and establish lower bounds on $F$-thresholds. We also point out that a conjecture of Smirnov-Betancourt as stated is false and suggest a correction which we relate to the conjecture of Huneke et al. We develop the theory of $h$-functions in a more general setting which yields a density function for $F$-signature. A key to many results on $h$-functions is a `convexity technique' that we introduce, which in particular proves differentiability of Hilbert-Kunz density functions almost everywhere on $(0,\infty)$, thus contributing to another question of Trivedi.

Cheng Meng Alapan Mukhopadhyay v3: substantial changes: applications, results added, sec 7 of v2 subsumed into other sections, rewritten for better exposition http://arxiv.org/abs/2503.08813v1 2025-03-11T18:48:39Z 2025-03-11T18:48:39Z

In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly to the codimension three case. As our main application, we prove that every Gorenstein ideal of codimension four minimally generated by six elements is a hyperplane section of a Gorenstein ideal of codimension three, strengthening a result by Herzog-Miller and Vasconcelos-Villarreal. We state analogous conjectural results for ideals minimally generated by seven and eight elements.

Tymoteusz Chmiel Lorenzo Guerrieri Xianglong Ni Jerzy Weyman