http://arxiv.org/api/i9GeXtjYmtfniCqQ4UOivTVgscE 2025-05-03T00:00:00-04:00 13658 360 15 http://arxiv.org/abs/2401.03318v4 2025-02-15T00:03:17Z 2024-01-06T22:33:39Z

The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.

Artem Lopatin Pedro Antonio Muniz Martins Lael Viana Lima 10.46298/cm.14627 11 pages Communications in Mathematics, Volume 33 (2025), Issue 1 (February 18, 2025) cm:14627 http://arxiv.org/abs/2502.10566v1 2025-02-14T21:30:31Z 2025-02-14T21:30:31Z

We compile a long list of equivalent formulations of Hilbert's Nullstellensatz in infinite dimensions, and prove a persistence result for the strong Nullstellensatz in large polynomial rings.

A. Bernhard Zeidler 7 pages http://arxiv.org/abs/2501.19379v2 2025-02-14T18:46:41Z 2025-01-31T18:31:51Z

Motivated by the differential basis theorem of Kolchin and the difference-differential basis theorem of Cohn, in this paper we present a basis theorem for polynomial rings equipped with commuting generalised Hasse-Schmidt operators (in the sense of Moosa and Scanlon). We recover Kolchin and Cohn's results as special cases of our main theorem.

Cas Burton 21 pages http://arxiv.org/abs/2502.10278v1 2025-02-14T16:36:38Z 2025-02-14T16:36:38Z

We initiate the study of profinite rigidity for modules over a Noetherian domain: to what extent are these objects determined by their finite images? We establish foundational statements in analogy to classical results in the category of groups. We describe three profinite invariants of modules over any Noetherian domain $\Lambda$. Most notably, we show that being projective is a profinite invariant of $\Lambda$-modules. We demonstrate absolute profinite rigidity for free modules assuming that $\Lambda$ satisfies a homological condition, and for all modules when $\Lambda$ is a PID. As an application, we prove that torsion-free lamplighter groups and solvable Baumslag--Solitar groups are profinitely rigid in the absolute sense. The latter class includes the first known examples of non-abelian one-relator groups and non-LERF groups which are profinitely rigid in the absolute sense.

Julian Wykowski 17 pages, comments welcome http://arxiv.org/abs/2502.10152v1 2025-02-14T13:27:16Z 2025-02-14T13:27:16Z

We consider the logarithmic Fekete problem, which consists of placing a fixed number of points on the unit sphere in $\mathbb{R}^d$, in such a way that the product of all pairs of mutual Euclidean distances is maximized or, equivalently, so that their logarithmic energy is minimized. Using tools from Computational Algebraic Geometry, we find and classify all critical configurations for this problem when considering at most six points in every dimension $d$. Our results discover some previously unknown optimal configurations and give the first reported case of a spurious local minimum for the Fekete problem.

Diego Armentano Leandro Bentancur Federico Carrasco Marcelo Fiori Matías Valdés Mauricio Velasco Submitted to International Symposium on Symbolic and Algebraic Computation (ISSAC) http://arxiv.org/abs/2502.09585v1 2025-02-13T18:43:58Z 2025-02-13T18:43:58Z

Extremal ideals are a class of square-free monomial ideals which dominate and determine many algebraic invariants of powers of all square-free monomial ideals. For example, the $r^{th}$ power ${\mathcal{E}_q}^r$ of the extremal ideal on $q$ generators has the maximum Betti numbers among the $r^{th}$ power of any square-free monomial ideal with $q$ generators. In this paper we study the combinatorial and geometric structure of the (minimal) free resolutions of powers of square-free monomial ideals via the resolutions of powers of extremal ideals. Although the end results are algebraic, this problem has a natural interpretation in terms of polytopes and discrete geometry. Our guiding conjecture is that all powers ${\mathcal{E}_q}^r$ of extremal ideals have resolutions supported on their Scarf simplicial complexes, and thus their resolutions are as small as possible. This conjecture is known to hold for $r \leq 2$ or $q \leq 4$. In this paper we prove the conjecture holds for $r=3$ and any $q\geq 1$ by giving a complete description of the Scarf complex of ${\mathcal{E}_q}^3$. This effectively gives us a sharp bound on the betti numbers and projective dimension of the third power of any square-free momomial ideal. For large $i$ and $q$, our bounds on the $i^{th}$ betti numbers are an exponential improvement over previously known bounds. We also describe a large number of faces of the Scarf complex of ${\mathcal{E}_q}^r$ for any $r,q \geq 1$.

Trung Chau Art M. Duval Sara Faridi Thiago Holleben Susan Morey Liana M. Şega 34 pages, 5 figures. Comments are welcome! http://arxiv.org/abs/2502.09562v1 2025-02-13T18:11:57Z 2025-02-13T18:11:57Z

The aim of this paper is to extend Cohen structure theorem beyond local rings. Both Cohen structure theorem and Nagata's generalization of it are special cases of our results. We investigate for which rings $R$ there exists a maximal ideal $\mathfrak{m}$ of $R$ such that the canonical projection $R\to R/\mathfrak{m}$ has a section, so that $R/\mathfrak{m}$ is isomorphic to a field $\kappa$ contained in $R$. We present two equivalent characterizations of this property and use them to exhibit two classes of rings that satisfy it. Moreover, we provide several examples (not necessarily local or complete local), as well as methods to construct new examples.

Elena Caviglia Amartya Goswami Luca Mesiti 11 pages http://arxiv.org/abs/2405.08097v3 2025-02-13T15:53:59Z 2024-05-13T18:24:03Z

In this work, we present a mathematical formulation for machine learning of (1) functions on symmetric matrices that are invariant with respect to the action of permutations by conjugation, and (2) functions on point clouds that are invariant with respect to rotations, reflections, and permutations of the points. To achieve this, we provide a general construction of generically separating invariant features using ideas inspired by Galois theory. We construct $O(n^2)$ invariant features derived from generators for the field of rational functions on $n\times n$ symmetric matrices that are invariant under joint permutations of rows and columns. We show that these invariant features can separate all distinct orbits of symmetric matrices except for a measure zero set; such features can be used to universally approximate invariant functions on almost all weighted graphs. For point clouds in a fixed dimension, we prove that the number of invariant features can be reduced, generically without losing expressivity, to $O(n)$, where $n$ is the number of points. We combine these invariant features with DeepSets to learn functions on symmetric matrices and point clouds with varying sizes. We empirically demonstrate the feasibility of our approach on molecule property regression and point cloud distance prediction.

Ben Blum-Smith Ningyuan Huang Marco Cuturi Soledad Villar http://arxiv.org/abs/2410.01785v2 2025-02-13T15:49:37Z 2024-10-02T17:40:57Z

Our work shows forms of descent, in the fppf, h and \'{e}tale topologies, for strong generation of the bounded derived category of a noncommutative coherent algebra over a scheme. Even for (commutative) schemes this yields new perspectives. As a consequence we exhibit new examples where these bounded derived categories admit strong generators. We achieve our main results by leveraging the action of the scheme on the coherent algebra, allowing us to lift statements into the noncommutative setting. In particular, this leads to interesting applications regarding generation for Azumaya algebras.

Timothy De Deyn Pat Lank Kabeer Manali Rahul Current: Major update, obtained strengthened result for the \'{e}tale topology and improved exposition. Previous: Comments welcome! Some parts of arXiv:2408.04561 have been moved here http://arxiv.org/abs/2502.09418v1 2025-02-13T15:40:46Z 2025-02-13T15:40:46Z

We study the arithmetic of monoids of regular elements of commutative rings with zero-divisors. Our focus is on Krull rings and on some of their generalizations (such as weakly Krull rings and C-rings). We establish sufficient conditions for a subring $R$ of a Krull ring $D$ guaranteeing that the inclusion $R^{\bullet} \hookrightarrow D^{\bullet}$ of the respective monoids of regular elements is a transfer homomorphism. The arithmetic of the Krull monoid $D^{\bullet}$ is well studied and the existence of a transfer homomorphism implies that $R^{\bullet}$ and $D^{\bullet}$ share many arithmetic properties.

Aqsa Bashir Mara Pompili http://arxiv.org/abs/2206.11802v3 2025-02-13T14:38:06Z 2022-06-23T16:16:36Z

In this paper, we classify the parameter ideals in $H^*(BA_4;\mathbb{F}_2)$ and in the Dickson algebra $H^*(BSO(3);\mathbb{F}_2)$ that are closed under Steenrod operations. Consequently, we obtain restrictions on the dimensions $n,m$ for which $A_4$ (and $SO(3)$) can act freely on $S^n\times S^m$.

Henrik Rüping Marc Stephan Ergun Yalcin 37 pages, 1 figure; v2: removed sections 8 and 9 to shorten the paper, added Theorem 1.4; v3: minor changes, final version J. Pure Appl. Algebra 229 (2025) 107899 http://arxiv.org/abs/2405.17096v2 2025-02-13T11:31:52Z 2024-05-27T12:11:13Z

Let $A$ be a Rees-like algebra of dimension $d$ and $N$ a commutative partially cancellative torsion-free seminormal monoid. We prove the following results. \begin{enumerate} \item Let $P$ be a finitely generated projective $A$-module of $\rank\geq d$. Then $(i)$ $P$ has a unimodular element; $(ii)$ The action of $\EL(A\oplus P)$ on $\Um(A\oplus P)$ is transitive. \item Let $P$ be a finitely generated projective $A[N]$-module of $\rank~r$. Then $(i)$ $P$ has a unimodular element for $r\geq\max\{3,d\}$; $(ii)$ The action of $\EL(A[N]\oplus P)$ on $\Um(A[N]\oplus P)$ is transitive for $r\geq\max\{2,d\}$. \end{enumerate} These improve the classical results of Serre \cite{Se58} and Bass \cite{Ba64}.

Chandan Bhaumik Md Abu Raihan Husney Parvez Sarwar There was an error. Proposition 3.5(3) is incomplete and Lemma 3.7 is incorrect. Proposition 3.5(3) and Lemma 3.7 have been used in the proof of Proposition 5.1 and 5.3 http://arxiv.org/abs/2502.08629v1 2025-02-12T18:35:23Z 2025-02-12T18:35:23Z

We formalize the main approach for showing Zariski descent-type statements for strong generation of triangulated categories associated to algebro-geometric objects. This recovers various known statements in the literature. As applications we show that strong generation for the singularity category of a Noetherian separated scheme is Zariski local and obtain a strong generation result for the bounded derived category of a Noetherian concentrated algebraic stacks with finite diagonal.

Timothy De Deyn Pat Lank Kabeer Manali Rahul v1, comments welcome! http://arxiv.org/abs/2404.03469v3 2025-02-12T18:12:46Z 2024-04-04T14:23:33Z

We prove a K\"{u}nneth formula for local cohomology of a Segr\'{e} product of graded modules supported in a Segr\'{e} product of ideals. In order to apply our formula to the study of cohomological dimension, we also investigate asymptotic behaviors of Eulerian graded $\scr{D}$-modules.

Jiamin Li Wenliang Zhang a new section on graded $D$-modules added; previous results on cohomological dimension improved; typos corrected; comments welcome http://arxiv.org/abs/2409.05705v2 2025-02-12T18:12:10Z 2024-09-09T15:17:04Z

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a uniform upper bound for the multiplicity of residual intersections. In positive characteristic, it follows that residual intersections are cohomologically complete intersection and, hence, their variety is connected in codimension one.

S. Hamid Hassanzadeh 28 pages, the previous title "A free Approach to Residual Intersections " changed to "Set-Theoretically Perfect Ideals and Residual Intersections", to appear in J. London Math. Soc