http://arxiv.org/api/5RtWX4ydqGZtnkx5UJ0MXV94gwY 2025-05-01T00:00:00-04:00 13651 315 15 http://arxiv.org/abs/2210.13579v3 2025-02-22T09:19:35Z 2022-10-24T20:00:16Z

We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors.

Joachim Jelisiejew Tomasz Mańdziuk v3, minor corrections http://arxiv.org/abs/2502.16155v1 2025-02-22T09:06:30Z 2025-02-22T09:06:30Z

We prove several fundamental results about divisorial integral domains in the setup of multiplicative lattices.

Tiberiu Dumitrescu Mihai Epure 6 pages http://arxiv.org/abs/2303.14599v3 2025-02-22T06:29:32Z 2023-03-26T01:28:07Z

In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also show that the same is true for klt singularities, which is a slight extension of \cite{ST20}. In the course of the proof, we provide a sufficient condition for log canonical (resp.~klt) surface singularities to be geometrically log canonical (resp.~geometrically klt) over a field.

Kenta Sato 10.1017/S1474748025000118 27pages, 4figures; v3: added Remark 2.1; simplified the proof of Proposition 3.2; fixed the definition of the node (Definition 3.5); added Remark 3.6 and Lemma 3.7; fixed several typos and minor errors http://arxiv.org/abs/2502.16004v1 2025-02-21T23:37:40Z 2025-02-21T23:37:40Z

The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined by [AF92]. We achieve this by proving these characterizations more generally for graded-commutative Gorenstein dg-algebras.

Andrew Soto Levins Prashanth Sridhar http://arxiv.org/abs/2410.14750v2 2025-02-21T22:43:25Z 2024-10-17T21:34:42Z

Let M, N be free modules over a Noetherian commutative ring R and let F be a field whose cardinality does not exceed the continuum. We prove the following : 1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent to the ICF (Injective continuum function) hypothesis and it is a non-decidable statement in ZFC. 2) If the dual of M is a projective R-module and rank(M) is infinite then the ring R is Artinian. 3) If R is Artinian and card(R) does not exceed the continuum then the the dual of M is free. 4) If M, N have isomorphic duals then they are themselves isomorphic (over R), when rank(M) is not an {\omega}-measurable cardinal and R is a non-Artinian ring that is either Hilbert or countable. 5) If R is a non-local domain then R is a half-slender ring. 6) If R is Artinian and card(R) does not exceed the continuum then the assertion that [any two free R-modules with isomorphic duals are isomorphic] is non-decidable in ZFC. We also prove that if the powersets of two given sets have equal cardinalities then there is a bijection from the one powerset to the other that preserves the symmetric difference of sets.

Theodoros Kyriopoulos http://arxiv.org/abs/2302.12558v3 2025-02-21T13:05:49Z 2023-02-24T10:16:51Z

The Positivstellens\"atze of Putinar and Schm\"udgen show that any polynomial $f$ positive on a compact semialgebraic set can be represented using sums of squares. Recently, there has been large interest in proving effective versions of these results, namely to show bounds on the required degree of the sums of squares in such representations. These effective Positivstellens\"atze have direct implications for the convergence rate of the celebrated moment-SOS hierarchy in polynomial optimization. In this paper, we restrict to the fundamental case of the hypercube $\mathrm{B}^{n} = [-1, 1]^n$. We show an upper degree bound for Putinar-type representations on $\mathrm{B}^{n}$ of the order $O(f_{\max}/f_{\min})$, where $f_{\max}$, $f_{\min}$ are the maximum and minimum of $f$ on $\mathrm{B}^{n}$, respectively. Previously, specialized results of this kind were available only for Schm\"udgen-type representations and not for Putinar-type ones. Complementing this upper degree bound, we show a lower degree bound in $\Omega(\sqrt[8]{f_{\max}/f_{\min}})$. This is the first lower bound for Putinar-type representations on a semialgebraic set with nonempty interior described by a standard set of inequalities.

Lorenzo Baldi Lucas Slot 10.1137/23M1555430 v3: Fixed a flaw in the statement of Lemma 20, which was missing a case distinction. This does not affect the applications of this lemma in the paper http://arxiv.org/abs/2306.12778v6 2025-02-21T04:46:12Z 2023-06-22T10:16:50Z

Given a commutative Noetherian graded domain $R = \bigoplus_{i\ge 0} R_i$ of dimension $d\geq 2$ with $\dim(R_0) \geq 1$, we prove that any unimodular row of length $d+1$ in $R$ can be completed to the first row of an invertible matrix $\alpha$ such that $\alpha$ is homotopic to the identity matrix. Utilizing this result we establish that if $I \subset R$ is an ideal satisfying $\mu(I/I^2) = \text{ht}(I) = d$, then any set of generators of $I/I^2$ lifts to a set of generators of $I$, where $\mu(-)$ denotes the minimal number of generators. Consequently, any projective $R$-module of rank $d$ with trivial determinant splits into a free factor of rank one. This provides an affirmative answer to an old question of Lindel. Finally, we prove that for any projective $R$-module $P$ of rank $d$, if the Quillen ideal of $P$ is non-zero, then $P$ is cancellative.

Sourjya Banerjee Some editorial changes, particularly in 3.2 and a few other places. 21 pages. To apappear in KJM http://arxiv.org/abs/2502.15166v1 2025-02-21T03:04:11Z 2025-02-21T03:04:11Z

A poset is Macaulay if its partial order and an additional total order interact well. Analogously, a ring is Macaulay if the partial order defined on its monomials by division interacts nicely with any total monomial order. We investigate methods of obtaining new structures through combining Macaulay rings and posets by means of certain operations inspired by topology. We examine whether these new structures retain the Macaulay property, identifying new classes of posets and rings for which the operations preserve the Macaulay property.

Penelope Beall Erenay Boyali Nancy Chen Ellen Chlachidze Trong Toan Dao Frederic Garvey Mitchell Johnson Yu Olivier Li Nikola Kuzmanovski Kelvin Ma Treanungkur Mal Rukshan Marasinghe Quinlan Mayo Nava Minsky-Primus Alexandra Seceleanu Sriram Veerapaneni http://arxiv.org/abs/2502.15048v1 2025-02-20T21:13:08Z 2025-02-20T21:13:08Z

In this paper, we prove two theorems concerning the test properties of the Frobenius endomorphism over commutative Noetherian local rings of prime characteristic $p$. Our first theorem generalizes a result of Funk-Marley on the vanishing of Ext and Tor modules, while our second theorem generalizes one of our previous results on maximal Cohen-Macaulay tensor products. In these earlier results, we replace $^{e}R$ with a more general module $^{e}M$, where $R$ is a Cohen-Macaulay ring, $M$ is a Cohen-Macaulay $R$-module with full support, and $^{e}M$ is the module viewed as an $R$-module via the $e$-th iteration of the Frobenius endomorphism. We also provide examples and present applications of our results, yielding new characterizations of the regularity of local rings.

Olgur Celikbas Arash Sadeghi Yongwei Yao http://arxiv.org/abs/2502.14858v1 2025-02-20T18:59:07Z 2025-02-20T18:59:07Z

We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without using higher ramification group, local class field theory or Epp's elimination of ramifications. A key ingredient is Gabber-Ramero's computation of cotangent complexes for valuation rings.

Tongmu He 45 pages http://arxiv.org/abs/2209.09851v3 2025-02-20T15:04:51Z 2022-09-20T16:52:22Z

We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rinc\'{o}n, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.

Ayah Almousa Anton Dochtermann Ben Smith Final version, to appear in Algebraic Combinatorics http://arxiv.org/abs/2502.14306v1 2025-02-20T06:41:57Z 2025-02-20T06:41:57Z

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring with indeterminates parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to actions of permutation groups on $S$ satisfying certain combinatorial conditions. Moreover, there is a special linear order on every infinite $S$ such that $k[S]$ is Noetherian up to the action of the order-preserving permutation group, and the existence of such a linear order is equivalent to the Axiom of Choice. These Noetherian results are proved via a sheaf theoretic approach and the work of Nagel-R\"{o}mer.

Liping Li Yinhe Peng Zhengjun Yuan http://arxiv.org/abs/2502.14266v1 2025-02-20T05:06:40Z 2025-02-20T05:06:40Z

In this article, we delve into the intricate relationship between the number of ring homomorphisms and surjective group homomorphisms between two finite cyclic structures, specifically $\mathbb{Z}_m$ and $\mathbb{Z}_n$. We demonstrate that the number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$ is a divisor of the number of surjective group homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, provided that $n$ is not of the form $2 \cdot \alpha$, where each prime factor $p$ of $\alpha$ satisfies $p \equiv 3 \pmod{4}$.

Sonu Kumar Priyabrata Mandal 7 pages http://arxiv.org/abs/2404.10858v3 2025-02-20T00:39:17Z 2024-04-16T19:16:44Z

Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.

Ayah Almousa Victor Reiner Sheila Sundaram v3: final version, to appear in Annals of Representation Theory http://arxiv.org/abs/2502.14159v1 2025-02-20T00:06:52Z 2025-02-20T00:06:52Z

These notes were produced by J\"urgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincar\'e series. Sadly J\"urgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades.

Jürgen Herzog Benjamin Briggs Srikanth B. Iyengar To appear in a volume dedicated to Wolmer Vasconcelos