https://arxiv.org/api/K40FW9a/3ZdUuBdv9n+/n1qErDc 2026-03-28T08:56:53Z 14586 225 15 http://arxiv.org/abs/2505.00346v3 2026-02-14T07:38:48Z

Let $E/F$ be a cyclic field extension of degree $n$, and let $σ$ generate the group ${\rm Gal}(E/F)$. If ${\rm Tr}^E_F(y)=\sum_{i=0}^{n-1}σ^i y=0$, then the additive form of Hilbert's Theorem 90 asserts that $y=σx-x$ for some $x\in E$. When $E$ has characteristic $p>0$ we prove that $x$ gives rise to a periodic sequence $x_0,x_1,\dots$ which has period $pn_p$, where $n_p$ is the largest $p$-power that divides $n$. We also show, if $y$ lies in the finite field $\mathbb{F}_{p^n}$, then the roots of a reducible Artin-Schreier polynomial $t^p-t-y$ have the form $x+u$ where $u\in\mathbb{F}_p$ and $x=\sum_{i=0}^{n-1}\sum_{j=0}^{i-1}z^{p^j}y^{p^i}$ for some $z\in\mathbb{F}_{p^e}$ with $e=n_p$. Furthermore, the sequence $\left(\sum_{j=0}^{i-1}z^{p^j}\right)_{i\ge0}$ is periodic with period $pe$.

2025-05-01T06:47:38Z 9 pages, 1 table S. P. Glasby http://arxiv.org/abs/2510.19707v4 2026-02-14T01:03:05Z

We introduce and investigate the open neighborhood ideal $\mathcal{N}(G)$ of a finite simple graph $G$. We describe the minimal primary decomposition of $\mathcal{N}(G)$ in terms of the minimal total dominating sets (TDSs) of $G$. Then we prove that the open neighborhood ideal of a tree is Cohen-Macaulay if and only if the tree is well-totally dominated (WTD) and calculate the Cohen-Macaulay type.

2025-10-22T15:57:26Z The previous version is divided into two papers: Characterization of WTD trees, and this paper on the open neighborhood ideals of WTD trees Jounglag Lim James Gossell Keri Ann Sather-Wagstaff http://arxiv.org/abs/2204.04556v4 2026-02-13T15:25:04Z

Let $A$ be an integral matrix and let $P$ be the convex hull of its columns. By a result of Gelfand, Kapranov and Zelevinski, the so-called principal $A$-determinant locus is equal to the union of the closures of the discriminant loci of the Laurent polynomials associated to the faces of $P$ that are hypersurfaces. In this short note we show that it is also the straightforward union of all the discriminant loci, i.e. we may include those of higher codimension, and there is no need to take closures. This answers a question by Kite and Segal.

2022-04-09T21:44:12Z Corrected ERC funding acknowledgement Špela Špenko Michel Van den Bergh http://arxiv.org/abs/2602.13011v1 2026-02-13T15:19:53Z

Splines are central objects for the interpolation of discrete data via piecewise smooth paths. Their iterated-integral signature is an infinite collection of tensors which characterizes paths almost uniquely. We study truncations of this collection, which define algebraic maps from parameter space to tensor space. We prove that the images of these maps are given by orbits of a matrix-tensor action. Furthermore, taking the Zariski closure, we define and study varieties of spline signature tensors. We determine dimension and degree of these tensor varieties in a number of examples, relying on symbolic computations. With a view towards learning, constructing paths with a given signature tensor translates to studying the fibers of the signature map. We use computational methods to determine their cardinality, with a focus on its dependence on different classes of splines. We observe in explicit examples that reconstructing splines from a given signature tensor of a path yields close approximations of the original path.

2026-02-13T15:19:53Z 19 pages, comments are welcome! Carlos Améndola Felix Lotter Leonard Schmitz http://arxiv.org/abs/2505.07739v6 2026-02-13T13:24:57Z

This paper grew out of the author's work on arXiv:2504.18460. Differential operators in the sense of Grothendieck acting between modules over a commutative ring can be interpreted as torsion elements in the bimodule of all operators with respect to the diagonal ideal in the tensor square of the ring. Various notions of torsion modules for an infinitely generated ideal in a commutative ring lead to various notions of differential operators. We discuss differential operators of transfinite orders and differential operators having no global order at all, but only local orders with respect to specific elements of the ring. Many examples are presented. In particular, we prove that every ordinal can be realized as the order of a differential operator acting on the algebra of polynomials in infinitely many variables over a field. We also discuss extension of differential operators to localizations of rings and modules, and to colocalizations of modules.

2025-05-12T16:49:33Z LaTeX 2e with xy-pic; 52 pages, 10 commutative diagrams; v.3: the proof of what is now Lemma 5.1 moved from the deleted Lemma A.1 in arXiv:2504.18460 to this paper; v.5: two paragraphs added at the end of Section 0.6; new Section 0.8, with references, added; other explanations added here and there; new Remark 7.4 inserted; v.6: several misprints corrected Leonid Positselski http://arxiv.org/abs/2602.12772v1 2026-02-13T09:58:20Z

We present a formalization of Gröbner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gröbner basis theory, including polynomial division with remainder, Buchberger's criterion, and the existence and uniqueness of reduced Gröbner bases. We develop the theory uniformly for polynomial rings indexed by arbitrary types, enabling the treatment of Gröbner bases in rings with infinitely many variables. Furthermore, we connect the finite and infinite settings by showing that infinite-variable reduced Gröbner bases can be characterized via reduced Gröbner bases on finite-variable subrings through monomial-order embeddings and filter-based limit constructions.

2026-02-13T09:58:20Z 16 pages Junyu Guo Hao Shen Junqi Liu Lihong Zhi http://arxiv.org/abs/2602.12623v1 2026-02-13T05:00:35Z

Let $Π_{(b^a)}$ be the locus of unordered set partitions of $[ab]$ with $a$ blocks of size $b$. We embed unordered set partitions of $[n]$ into the affine space $\mathbb{C}^{\binom{[n]}{2}}$ with coordinate ring $\mathbb{C}\Big[\mathbf{x}_{\binom{[n]}{2}}\Big]$. Then, we apply orbit harmonics to $Π_{(2^a)}$ and $Π_{(a^2)}$, yielding graded $\mathfrak{S}_{2a}$-modules whose graded character formulae respectively refine the Schur expansions of $h_a[h_2]$ and $h_2[h_a]$ according to $λ_1$. We further extend this $λ_1$-separation phenomenon to quotients of $\mathbb{C}^{\binom{[n]}{2}}$ where $n$ is odd. Combining $Π_{(b^a)},Π_{(a^b)}$ and orbit harmonics, we propose a conjecture related to Foulkes' conjecture, and we prove the special case $b=2$. We also apply orbit harmonics to the locus $Π_{n,m}$ of unordered set partitions of $[n]$ without blocks of size greater than $m$, yielding a graded $\mathfrak{S}_n$-module $R(Π_{n,m})$. We determine the standard monomial basis of $R(Π_{n,m})$ with respect to any monomial order, as well as its graded character formula.

2026-02-13T05:00:35Z 22 pages Hai Zhu http://arxiv.org/abs/2509.19905v3 2026-02-12T12:49:47Z

The algebra of $R$-valued functions on the set of chambers of a real hyperplane arrangement is called the Varchenko-Gelfand (VG) algebra. This algebra carries a natural filtration by the degree with respect to Heaviside functions, giving rise to the associated graded VG algebra. When the coefficient ring $R$ is an integral domain of characteristic $2$, the graded VG algebra is known to be isomorphic to the Orlik-Solomon algebra. In this paper, we study VG algebras over coefficient rings of characteristic different from $2$, and investigate to what extent VG algebras determine the underlying oriented matroid structures. Our main results concern hyperplane arrangements that are generic in codimension $2$. For such arrangements, if $R$ is an integral domain of characteristic not equal to $2$, then the oriented matroid can be recovered from both the filtered and the graded VG algebras. As a byproduct, we prove that, unlike the complexification, the cohomology ring of the complement of a $3$-plexification of a real arrangement is not determined by the intersection lattice. We also formulate an algorithm that is expected to reconstruct oriented matroids from VG algebras in the case of general arrangements.

2025-09-24T09:01:09Z 25 pages, 13 figures, V2: corrected tex commands and mistakes, V3: comments on $3$-plexification and references are added Yukino Yagi Masahiko Yoshinaga http://arxiv.org/abs/2511.04624v3 2026-02-12T11:41:02Z

The $D$-graded Proj construction provides a general framework for constructing schemes from rings graded by finitely generated abelian groups $D$, yet its properties and applications remain underdeveloped compared to the classical $\mathbb{N}$-graded case. This paper establishes the essential characteristics of $D$-graded rings $S$, like the distinction between $D$-homogeneous prime ideals and $D$-prime ideals if $D$ has torsion. We particularly focus on describing the quotient by the associated group scheme, generalizing the construction of a toric variety from its Cox ring. As in the $\mathbb{N}$-graded construction, the basic affine opens of the Proj construction are given in terms of degree-zero localizations $S_{(f)}$, where $f$ in $S$ homogeneous is \emph{relevant}. We prove that $π_f: {\rm Spec}(S_f) \to {\rm Spec}(S_{(f)})$ is a geometric quotient under mild finiteness assumptions if $f$ is relevant, and give necessary and sufficient conditions for this map to be a pseudo ${\rm Spec}(S_0[D])$-torsor.

2025-11-06T18:19:16Z 21 pages Felix Göbler http://arxiv.org/abs/2602.11519v1 2026-02-12T03:27:37Z

In this paper we present an analogue of the Milnor number for one dimensional local ring, and we show that it satisfies analogous properties to those of the Milnor number of plane curves over a field. In addition, we present two analogues of the semi-group of values for a one dimensional ring and show how they relate to our Milnor number. Finally, we use these tools and techniques to show we can relate these semigroups of one dimensional rings of finite Cohen-Macaulay type to those of the classical ADE singularities.

2026-02-12T03:27:37Z 5 figures, 1 table Yotam Svoray http://arxiv.org/abs/2602.11402v1 2026-02-11T22:10:54Z

The correspondence between commutative rings of ordinary differential operators (ODOs) and algebraic curves was established by Burchnall and Chaundy, Krichever and Mumford, among many others. To make this correspondence computationally effective, in this paper we aim to compute the defining ideals of spectral curves, Burchnall-Chaundy (BC) ideals. We provide an algorithm to compute a Gröbner basis of a BC ideal. The point of departure is the computation of the finite set of generators of a maximal commutative ring of ODOs, which was implemented by the authors in the package dalgebra of SageMath. The algorithm to compute BC ideals has been also implemented in dalgebra. The differential Galois theory of the corresponding spectral problems, linear differential equations with parameters, would benefit from the computation on this prime ideal, generated by constant coefficient polynomials. In particular, we prove the primality of the differential ideal generated by a BC ideal, after extending the coefficient field. This is a fundamental result to develop Picard-Vessiot theory for spectral problems.

2026-02-11T22:10:54Z 18 pages, 2 algorithms Antonio Jiménez-Pastor Sonia L. Rueda http://arxiv.org/abs/2601.03179v2 2026-02-11T15:36:32Z

We prove that the Gorenstein locus of the Hilbert scheme of points on $\mathbb A^n$ is non-reduced for $n\geq 12$; we construct examples of non-reduced points that come from apolar algebras of the sum of general cubics. As a corollary, we get a non-reducedness result for the cactus scheme. We generalise the Białynicki-Birula decomposition to abstract deformation functors, providing a new method of studying deformation theory. Our construction gives us fractal structures on the nested Hilbert scheme.

2026-01-06T16:57:44Z v2. Major revisions, changes in Theorem 1.1 Piotr Oszer http://arxiv.org/abs/2602.07910v2 2026-02-11T14:57:43Z

Let $G$ be a finite simple graph and $NI(G)$ be the closed neighborhood ideal of $G$ in the polynomial ring $S=K[V(G)]$. In this paper, we study the Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness of this ideal. For any chordal graph $G$, we show that $\text{reg}(S/NI(G))=τ(G)$, where $τ(G)$ denotes the vertex cover number of $G$. This generalizes the corresponding result for trees shown in [3], as in trees $τ(G)$ is the same as the matching number of $G$. When $G$ is a bipartite graph or a very well-covered graph, we notice that $\text{reg}(S/NI(G))\geq τ(G)$ and that this inequality can be strict in general. Moreover, we describe the projective dimension of $S/NI(G)$ for some families of graphs. Finally, we give a characterization of very well-covered graphs $G$ for which the ring $S/NI(G)$ is Cohen-Macaulay.

2026-02-08T11:14:34Z Somayeh Moradi Leila Sharifan http://arxiv.org/abs/2602.10783v1 2026-02-11T12:18:09Z

We introduce a natural class of models of random chain complexes of real vector spaces that some classical ensembles of random matrices, the length $1$ case. We are interested here in the homological properties of these random complexes. For chain complexes of length $1$ or $2$, we characterize the Betti numbers almost surely, in terms of the dimensions of the vector spaces. We further examine complexes of length $3$ with some constraints on dimensions, as well as complexes of arbitrary finite length in which all vector spaces have equal dimension. Across all these settings, we show that the sum of the Betti numbers is almost surely as small as possible, attaining a trivial lower bound $|χ|$ dictated by the dimensions of the underlying vector spaces and the Euler formula. These results suggest an underlying algebraic heuristic for a phenomenon frequently observed in stochastic topology, that nontrivial homology rarely appears unless forced to.

2026-02-11T12:18:09Z 15 pages Ayat Ababneh Matthew Kahle http://arxiv.org/abs/2509.22966v2 2026-02-11T11:20:50Z

For a one dimensional analytically unramified Cohen-Macaulay local ring $R$, the blowup algebra of the canonical ideal is a module finite birational extension. The conductor of this extension always contains the conductor of $R$. We study the case when there is equality. This is the case where $R$ is far from being almost Gorenstein. We study this property within the landscape of numerical semigroup rings and local Arf rings.

2025-09-26T22:05:43Z 10 pages, comments are welcome. Major changes in v2 Özgür Esentepe