https://arxiv.org/api/zM2c2B4ECulXV3ZOxx34tSdsR7Y 2026-03-22T14:48:35Z 14563 180 15 http://arxiv.org/abs/2602.14657v1 2026-02-16T11:32:17Z

We improve a previously known theoretic method to compute A-resultants for suitable monomial support sets due to Weyman to the extent that it becomes computationally feasible and effective. This is achieved by introducing a new algorithm for the computation of direct images of complexes of coherent sheaves on toric varieties. The procedure does not rely on Gröbner basis computations at any stage.

2026-02-16T11:32:17Z 23 pages, 1 figure; we expect the accompanying implementation to soon be available in the computer algebra system OSCAR (www.oscar-system.org) Friedemann Groh Matthias Zach http://arxiv.org/abs/2511.02322v2 2026-02-16T09:38:55Z

We introduce and study graded perfectoid rings as graded analogues of Scholze's (integral) perfectoid rings. We establish a categorical equivalence between graded perfectoid rings and graded perfect prisms, extending the Bhatt-Scholze's correspondence to the graded setting. We also construct the initial graded perfectoid cover of any graded semiperfectoid rings and prove a graded version of André's flatness lemma. These results lay the foundations for a graded theory of perfectoid rings.

2025-11-04T07:16:23Z 43 pages; added relations to prior works and refined the definition of graded perfectoid rings Ryo Ishizuka Shou Yoshikawa http://arxiv.org/abs/2602.14395v1 2026-02-16T01:56:40Z

A finite poset (partially ordered set) $P$ with ${\hat 0}$ is called of distributive type if every interval $[{\hat 0}, a]$, $a \in P$, of $P$ is a distributive lattice. From a viewpoint of ASL's (algebras with straightening laws), the join-meet toric ring on a finite distributive lattice is generalized to an ASL on a finite poset of distributive type. Our target is the questions when a finite poset of distributive lattice is Cohen--Macaulay and when the ASL on it is Gorenstein. We focus on a natural class of finite posets of distributive type and study various aspects of the above questions.

2026-02-16T01:56:40Z Takayuki Hibi Seyed Amin Seyed Fakhari http://arxiv.org/abs/2408.01921v3 2026-02-15T00:40:28Z

We prove that $\mathbb Q$-Gorenstein quasi-$F$-regular singularities are klt. To this end, we shall introduce quasi-test ideals.

2024-08-04T04:14:20Z 123 pages. To appear in Memoirs of the European Mathematical Society Tatsuro Kawakami Teppei Takamatsu Hiromu Tanaka Jakub Witaszek Fuetaro Yobuko Shou Yoshikawa http://arxiv.org/abs/2602.13809v1 2026-02-14T14:43:17Z

This survey provides a comprehensive overview of the recent advancements in the theory of ``uniformly $S$''-algebraic structures in commutative ring theory. Originating from the classical concepts of Noetherian, coherent, von Neumann regular, and semisimple rings, the introduction of a multiplicative subset $S$ has led to the development of $S$-Noetherian, $S$-coherent, and other $S$-analogues. However, the element $s \in S$ in the original definitions often depends on the ideal or module under consideration. To overcome this limitation and enable deeper module-theoretic characterizations, the notion of "uniformly $S$" (abbreviated as $u$-$S$) was introduced. This survey systematically presents the definitions, characterizations, and properties of $u$-$S$-torsion modules, $u$-$S$-exact sequences, and the subsequent uniform analogues of fundamental module classes: $u$-$S$-finitely presented, $u$-$S$-Noetherian, $u$-$S$-coherent, $u$-$S$-flat, $u$-$S$-projective, $u$-$S$-injective, and $u$-$S$-absolutely pure modules. We then explore the associated uniform homological dimensions, including the $u$-$S$-weak global dimension, the $u$-$S$-global dimension, and their interplay with polynomial rings and localizations. The survey also covers structural ring classes such as $u$-$S$-von Neumann regular, $u$-$S$-semisimple, $u$-$S$-Artinian, $u$-$S$-multiplication rings, and rings with $u$-$S$-Noetherian spectrum.

2026-02-14T14:43:17Z This is a survey on the uniform $S$-version of rings, modules and their homological theories Xiaolei Zhang Wei Qi http://arxiv.org/abs/2412.00092v2 2026-02-14T11:30:23Z

The main goal of this paper is to obtain upper bounds for the regularity of graded deficiency modules in the spirit of the one obtained by Kumini--Murai in the monomial case building upon the spectral sequence formalism developed by Àlvarez Montaner, Boix and Zarzuela. This spectral sequence formalism allows us not only to recover Kumini--Murai's upper bound for monomial ideals, but also to extend it for other types of rings, which include toric face rings and some binomial edge rings, producing to the best of our knowledge new upper bounds for the regularity of graded deficiency modules of this type of rings.

2024-11-27T12:43:12Z 15 pages, comments are still welcome. The main change with respect to the previous version is Section 1 due to referee comments, main results unchanged. To appear in Mediterranean Journal of Mathematics Alberto F. Boix Santiago Zarzuela 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