https://arxiv.org/api/lJU+Tm4lTDNO4AjhEho0L+FVOm8 2026-03-28T16:00:17Z 14586 285 15 http://arxiv.org/abs/2602.03179v1 2026-02-03T06:47:38Z

An algebraic approach is presented for the valuative interpolation problem, which recovers and generalizes prior characterizations known in the complex analytic setting by the authors. We use the asymptotic Samuel function to give the characterization of the existence of valuative interpolation. We also give a characterization of the existence in the infinite valuative interpolation problem.

2026-02-03T06:47:38Z 18 pages Shijie Bao Qi'an Guan Zhitong Mi Zheng Yuan http://arxiv.org/abs/2602.02972v1 2026-02-03T01:17:18Z

The efficiency of Gröbner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on static heuristics such as GrevLex, guided primarily by expert intuition. We address this gap by casting the selection of monomial orderings as a reinforcement learning problem over the space of admissible orderings. Our approach leverages domain-informed reward signals that accurately reflect the computational cost of Gröbner basis computations and admits efficient Monte Carlo estimation. Experiments on benchmark problems from systems biology and computer vision show that the resulting learned policies consistently outperform standard heuristics, yielding substantial reductions in computational cost. Moreover, we find that these policies resist distillation into simple interpretable models, providing empirical evidence that deep reinforcement learning allows the agents to exploit non-linear geometric structure beyond the scope of traditional heuristics.

2026-02-03T01:17:18Z R. Caleb Bunch Alperen A. Ergür Melika Golestani Jessie Tong Malia Walewski Yunus E. Zeytuncu http://arxiv.org/abs/2506.19148v2 2026-02-03T00:00:44Z

Fix a prime $p$ and let $(R,\mathfrak{m})$ be a Noetherian complete local domain of mixed characteristic $(0,p)$ with fraction field $K$. Let $R^+$ denote the absolute integral closure of $R$, which is the integral closure of $R$ in an algebraic closure $\overline{K}$ of $K$. The first author has shown that $\widehat{R^+}$, the $p$-adic completion of $R^+$, is an integral domain. In this paper, we prove that $\widehat{R^+}$ is completely integrally closed in $\widehat{R^+}\otimes_{R^+}\overline{K}$, but $\widehat{R^+}$ is not completely integrally closed in its own fraction field when $\dim(R)\geq 2$.

2025-06-23T21:37:46Z 15 pages, minor updates, final version Raymond Heitmann Linquan Ma http://arxiv.org/abs/2602.01878v1 2026-02-02T09:51:02Z

We prove that for any $\mathbb{N}$-graded Gorenstein tiled order $A$, the stable category $\underline{\mathrm{CM}}^{\mathbb{Z}}A$ is triangle equivalent to the perfect derived category of the incidence algebra of a finite poset $\mathbb{V}_A^{op}$. Moreover, for a finite poset $P$, we prove that the incidence algebra of $P$ can be realized as the endomorphism algebra of a standard tilting object if and only if $P$ is either empty or has the maximum. We also study the behaviors of the corresponding poset under graded Morita equivalences and coverings of a Gorenstein tiled order. Finally, we classify Gorenstein tiled orders $A$ satisfying $|\mathbb{V}_A^{op}|\leq 3$.

2026-02-02T09:51:02Z 19 pages Osamu Iyama Junyang Liu http://arxiv.org/abs/2602.01803v1 2026-02-02T08:32:50Z

We present a computational method for reconstructing a vector field on a convex polytope $\mathcal{P} \subset \mathbb{R}^d$ of arbitrary dimension from discrete samples. We specifically address the scenario where the vector field is subject to a no-penetration (slip) boundary condition, requiring it to be tangent to the boundary $\partial \mathcal{P}$. Given a degree bound $k$, our algorithm computes a polynomial vector field of degree at most $k$ that fits the observed data in the least-squares sense while exactly satisfying the tangency constraints. Central to our approach is an explicit characterization of the module of polynomial vector fields tangent to $\partial \mathcal{P}$, derived using algebraic concepts from the theory of hyperplane arrangements.

2026-02-02T08:32:50Z Junyan Chu Shizuo Kaji http://arxiv.org/abs/2602.01782v1 2026-02-02T08:07:02Z

An ideal $I$ in a Noetherian ring is called \textit{normal} if $I^n$ is integrally closed for all $n \geq 1$. Zariski proved that in two-dimensional regular local rings, every integrally closed ideal is normal. However, in dimension three and higher, this is no longer true in general, including monomial ideals in polynomial rings. In this paper, we study the normality of integrally closed monomial ideals in the polynomial ring $k[x,y,z]$ over a field $k$. We prove that every such ideal with at most seven minimal monomial generators is normal, thereby giving a sharp bound for normality in this setting. The proof is based on a detailed case-by-case analysis, combined with valuation-theoretic and combinatorial methods via Newton polyhedra.

2026-02-02T08:07:02Z Maki Ataka Naoyuki Matsuoka http://arxiv.org/abs/2602.01583v1 2026-02-02T03:22:53Z

A key property of an algebraic variety is whether it is absolutely irreducible, meaning that it remains irreducible over the algebraic closure of its defining field, and determining absolute irreducibility is important in algebraic geometry and its applications in coding theory, cryptography, and other fields. Among the applications of absolute irreducibility are bounding the number of rational points via the Weil conjectures and establishing exceptional APN and permutation properties of functions over finite fields. In this article, we present a new criterion for the absolute irreducibility of hypersurfaces defined by multivariate polynomials over finite fields. Our criterion does not require testing for irreducibility in the ground or extension fields, assuming that the leading form is square-free. We just require multivariate GCD computations and the square-free property. Since almost all polynomials are known to be square-free, our absolute irreducibility criterion is valid for almost all multivariate polynomials.

2026-02-02T03:22:53Z Carlos Agrinsoni Heeralal Janwa Moises Delgado http://arxiv.org/abs/2602.01440v1 2026-02-01T21:12:21Z

This paper is concerned with lifting modules along a surjective map of noetherian local rings, say $\varphi \colon R \twoheadrightarrow S$. A finitely generated $R$-module $L$ is a naive lift of an $S$-module $M$ if $L \otimes_R S \cong M$. We are concerned with the maximum depth and dimension among all naive lifts of $M$, which we call the liftable depth and liftable dimension, respectively, of $M$ along $\varphi$. We approach this via a notion of lifting systems that we introduce in this paper. We then provide a necessary and sufficient condition for a module of finite length to lift and Serre lift to a regular local ring in terms of lifting systems.

2026-02-01T21:12:21Z Benjamin Katz Nawaj KC Kesavan Mohana Sundaram Andrew J. Soto Levins Ryan Watson http://arxiv.org/abs/2407.05167v2 2026-01-31T23:24:46Z

This article deals with computing the cohomology of Schur functors applied to tautological bundles on super Grassmannians. We show that in a range of cases, the cohomology is a free module over the cohomology of the structure sheaf and that the space of generators is an irreducible representation of the general linear supergroup that can be constructed via explicit multilinear operations. Our techniques come from commutative algebra: we relate this cohomology calculation to Tor groups of certain algebraic varieties.

2024-07-06T20:01:02Z 39 pages Steven V Sam http://arxiv.org/abs/2409.15785v3 2026-01-31T02:43:18Z

We present a unified construction of perfectoid towers from specific prisms which covers all the previous constructions of (p-torsion-free) perfectoid towers. By virtue of the construction, perfectoid towers can be systematically constructed for a large class of rings with Frobenius lift. Especially, any Frobenius lifting of a reduced $\mathbb{F}_p$-algebra has a perfectoid tower.

2024-09-24T06:30:48Z 33 pages, to appear in Nagoya Math. J Nagoya Math. J. 261 (2026) e17 Ryo Ishizuka 10.1017/nmj.2026.10101 http://arxiv.org/abs/2602.00404v1 2026-01-30T23:46:40Z

A numerical semigroup is an additive subsemigroup of the natural numbers that contains zero and has finite complement. A numerical semigroup is irreducible if it cannot be written as an intersection of numerical semigroups properly containing it. It is known that every numerical semigroup can be decomposed as an intersection of irreducible numerical semigroups, but there can be multiple such decompositions, even when irredundancy is required. In this paper, we study the set of all decomposition lengths of a given numerical semigroup. It is conjectured that the set of decomposition lengths is always an interval; we prove this conjecture for numerical semigroups whose smallest positive element is at most six. Additionally, we examine a class of numerical semigroups that was recently shown to achieve arbitrarily large minimum decomposition length, and construct a family of irreducible decompositions whose lengths form a large interval.

2026-01-30T23:46:40Z Pedro Garcia-Sanchez Christopher O'Neill http://arxiv.org/abs/2601.23247v1 2026-01-30T18:16:21Z

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

2026-01-30T18:16:21Z 16 pages comments welcome! David Chan Ben Spitz http://arxiv.org/abs/2601.23186v1 2026-01-30T17:09:51Z

Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We show that this result extends to powers of algebraic representations of the orthogonal and the symplectic groups. This work is a natural follow-up to arXiv:2212.05790 and to arXiv:1708.06420.

2026-01-30T17:09:51Z Comments welcome Alessandro Danelon http://arxiv.org/abs/2405.12763v2 2026-01-30T10:48:17Z

Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key applications are also given.

2024-05-21T13:17:53Z Revised version, to apper in J. Pure Appl. Algebra Petter Andreas Bergh David A. Jorgensen Peder Thompson http://arxiv.org/abs/2403.08751v4 2026-01-29T20:55:19Z

We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is "LRS-degenerate" iff it has two distinct roots $α, β$ such that $β= ζα$ for some root of unity $ζ$. All three algorithms are based on "intelligent brute force". The first two produce the indexes of the cyclotomic polynomials; the third produces a list of degeneracy orders. The algorithms are implemented in CoCoALib.

2024-03-13T17:51:08Z John Abbott Nico Mexis