Homogeneous Border Bases on Infinite Order Ideals

2026-03-06T11:04:22Z

Border bases are traditionally restricted to 0-dimensional ideals due to the finiteness of the underlying order ideal. In this paper we extend the theory to homogeneous ideals of positive Krull dimension by introducing homogeneous border bases, defined relative to an infinite order ideal. Moreover, we provide two characterizations of these bases: one via border reductors and, most notably, one in terms of formal multiplication matrices. Although the latter condition a priori requires verification in infinitely many degrees, we prove that it is sufficient to check only finitely many of them, thereby obtaining an effective criterion.

Dp-finite and Noetherian NIP integral domains

2026-03-06T07:21:41Z

We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If $R$ is an NIP Noetherian domain that is not a field, then $R$ is a semilocal ring of Krull dimension 1, and the fraction field of $R$ has characteristic 0. Assuming the henselianity conjecture (on NIP valued fields), $R$ is a henselian local ring. Additionally, we show that integral domains of finite dp-rank are henselian local rings. Finally, we lay some groundwork for the study of Noetherian domains of finite dp-rank, and we classify dp-minimal Noetherian domains.

Algebraic Invariants of Edge Ideals Under Suspension

2026-03-05T20:18:27Z

The central question of this paper is: how do algebraic invariants of edge ideals change under natural graph operations? We study this question through the lens of suspensions. The (full) suspension of a graph is obtained by adjoining a new vertex adjacent to every vertex of the original graph; this construction is well-understood in the literature. Motivated by the fact that regularity is preserved under full suspension while projective dimension becomes maximal, we refine the construction to selective suspensions, where the new vertex is joined only to a prescribed subset of vertices. We focus on two extremal choices: minimal vertex covers and maximal independent sets. For suspensions over minimal vertex covers of an arbitrary graph, regularity is preserved and projective dimension increases by one. Moreover, the independence polynomial changes in a controlled way, allowing us to track $\mathfrak a$-invariants under cover suspension. In contrast, the analogous uniform behavior fails in general for suspensions over maximal independent sets. We therefore analyze paths and cycles and give a complete description: projective dimension always increases by one, and regularity and the $\mathfrak a$-invariant are preserved except for a unique extremal family of paths, where both invariants increase by one.

Generic flatness of the cohomology of thickenings

2026-03-05T16:54:55Z

We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in algebraic geometry: Given a set of $m$ distinct points in projective space over a field, and $t$ a positive integer, determine the least degree of a hypersurface that passes through each point with multiplicity at least $t$. Related to this, it remains unresolved whether there exists a dense open set of $m$-tuples of points for which this least degree is constant for each $t\ge 1$. Investigating this connection in the case of nine points in projective plane, we construct a local cohomology module that is not generically free; moreover, we show that it has infinitely many associated prime ideals.

Simple generators of rational function fields

2026-03-05T12:22:31Z

Consider a subfield of the field of rational functions in several indeterminates. We present an algorithm that, given a set of generators of such a subfield, finds a simple generating set. We provide an implementation of the algorithm and show that it improves upon the state of the art both in efficiency and the quality of the results. Furthermore, we demonstrate the utility of simplified generators through several case studies from different application domains, such as structural parameter identifiability. The main algorithmic novelties include performing only partial Gröbner basis computation via sparse interpolation and efficient search for polynomials of a fixed degree in a subfield of the rational function field.

Lattice points arising from regularity and $\mathrm{v}$-number of Graphs: Whisker and Cameron-Walker

2026-03-05T07:05:37Z

Let $G$ be a simple graph on $n$ vertices and $I(G)\subseteq R$ be its edge ideal. In this paper, we initiate the study of determining lattice points in $\mathbb{N}^2$ that appear as a pair $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$, where $G$ ranges over all connected graphs on $n$ vertices, and we denote this set by $\mathcal{RV}(n)$. Here `$\mathrm{reg}$' denotes the (Castelnuovo-Mumford) regularity and `$\mathrm{v}$' denotes the $\mathrm{v}$-number. We establish general bounds for $\mathcal{RV}(n)$ by identifying two sets $A(n)$ and $B(n)$ satisfying $A(n)\subseteq \mathcal{RV}(n)\subseteq B(n)$. Furthermore, we explicitly determine the subsets of $\mathcal{RV}(n)$ consisting of all possible pairs $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$ arising from whisker graphs and Cameron-Walker graphs on $n$ vertices. Finally, we propose a conjecture on the subset of $\mathcal{RV}(n)$ arising from connected chordal graphs.

Uniformly dominant local rings and Orlov spectra of singularity categories

2026-03-05T03:43:18Z

We define a uniformly dominant local ring as a commutative noetherian local ring with an integer r such that the residue field is built from any nonzero object in the singularity category by direct summands, shifts and at most r mapping cones. We find sufficient conditions for uniform dominance, by which we show Burch rings and local rings with quasi-decomposable maximal ideal are uniformly dominant. For a uniformly dominant excellent equicharacteristic isolated singularity, we get an upper bound of the Orlov spectrum of the singularity category. We prove uniform dominance is preserved under basic operations, and give techniques to construct uniformly dominant local rings. An application of our methods to local rings with decomposable maximal ideal is provided as well.

Formalization in Lean of faithfully flat descent of projectivity

2026-03-04T18:39:04Z

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$ if and only if $S\otimes_R P$ is projective over $S$. This formalizes and verifies Perry's fix of a subtle gap in the classical work of Raynaud and Gruson, a result which is a key ingredient in the study of finitistic dimension of commutative noetherian rings.

A study of perfectoid rings via Galois cohomology

2026-03-04T16:49:36Z

In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost étale extensions to establish fundamental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations to study algebraic objects arising from $p$-adic Hodge theory in mixed characteristic via the Frobenius map. In this article, we prove a few results which clarify certain ring-theoretic or homological properties of the tilt of an extension between perfectoid rings treated in the construction of big Cohen-Macaulay algebras.

Learning Read-Once Determinants and the Principal Minor Assignment Problem

2026-03-04T16:42:33Z

A symbolic determinant under rank-one restriction computes a polynomial of the form $\det(A_0+A_1y_1+\ldots+A_ny_n)$, where $A_0,A_1,\ldots,A_n$ are square matrices over a field $\mathbb{F}$ and $rank(A_i)=1$ for each $i\in[n]$. This class of polynomials has been studied extensively, since the work of Edmonds (1967), in the context of linear matroids, matching, matrix completion and polynomial identity testing. We study the following learning problem for this class: Given black-box access to an $n$-variate polynomial $f=\det(A_0+A_1y_1+ \ldots+A_ny_n)$, where $A_0,A_1,\ldots,A_n$ are unknown square matrices over $\mathbb{F}$ and rank$(A_i)=1$ for each $i\in[n]$, find a square matrix $B_0$ and rank-one square matrices $B_1,\ldots,B_n$ over $\mathbb{F}$ such that $f=\det(B_0+B_1y_1+\ldots+B_ny_n)$. In this work, we give a randomized poly(n) time algorithm to solve this problem. As the above-mentioned class is known to be equivalent to the class of read-once determinants (RODs), we will refer to the problem as learning RODs. The algorithm for learning RODs is obtained by connecting with a well-known open problem in linear algebra, namely the Principal Minor Assignment Problem (PMAP), which asks to find (if possible) a matrix having prescribed principal minors. PMAP has also been studied in machine learning to learn the kernel matrix of a determinantal point process. Here, we study a natural black-box version of PMAP: Given black-box access to an $n$-variate polynomial $f = \det(A + Y)$, where $A \in \mathbb{F}^{n \times n}$ is unknown and $Y = diag(y_1,\ldots,y_n)$, find a $B\in\mathbb{F}^{n\times n}$ such that $f=det(B+Y)$. We show that black-box PMAP can be solved in randomized poly(n) time, and further, it is randomized polynomial-time equivalent to learning RODs. We resolve black-box PMAP by investigating a property of dense matrices that we call the rank-one extension property.

Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes and Exotic Motivic Spheres

2026-03-04T15:24:03Z

One of the emerging problems in algebraic geometry is to characterize the affine $n$-space $\mathbb{A}^n$ among smooth affine schemes up to $\mathbb{A}^1$-contractibility. Recent efforts show that this characterization holds in dimensions $n<3$ over certain fields. In this thesis, we extend this observation to "reasonably" arbitrary base schemes in relative dimensions $d<3$, exploiting the Zariski local triviality and the triviality of the sheaf of relative differentials. From dimensions $n\geq 3$, the existence of smooth "exotic" affine schemes - those that are $\mathbb{A}^1$-contractible but not isomorphic to the affine $n$-space - has already been established. A well-studied family constitutes the Koras-Russell threefolds $\mathcal{K}$ and their higher-dimensional prototypes $\mathcal{X}_n$, whose $\mathbb{A}^1$-contractibility has been so far proven over fields of characteristic zero. Here, we extend the relative $\mathbb{A}^1$-contractibility of $\mathcal{K}$ and $\mathcal{X}_n$ over a Noetherian base scheme in arbitrary dimensions. Then, using these prototypes, we study the existence of "exotic spheres" - $n$-dimensional smooth schemes that are $\mathbb{A}^1$-homotopic, but not isomorphic to $\mathbb{A}^n \backslash \{0\}$ - in motivic homotopy theory. This result can be seen as the "compact" analog of the study of exotic affine schemes. Our main result shows that in all dimensions $n\geq 4$, the quasi-affine varieties $\mathcal{X}_n \backslash \{\bullet\}$ give a model for the exotic motivic spheres over infinite perfect fields. The novelty is that these constitute the first family of examples of smooth motivic spheres of dimension $n$, which are not isomorphic to $\mathbb{A}^n \backslash \{0\}$.

The regularity of monomial ideals and their integral closures

2026-03-04T14:19:56Z

Let $I$ be a monomial ideal in a polynomial ring $S=K[x_1,\ldots,x_n]$ over a field $K$ with $n=2$ or $3$, and let $\overline{I}$ be its integral closure. We will show that $\text{reg} (\overline{I}) \le \text{reg} (I)$. Furthermore, if $I$ is generated by elements of degree $d$, then $\text{reg} (I)=d$ if and only if $I$ has linear quotients.

A criterion for modules over Gorenstein local rings to have rational Poincaré series

2026-03-04T09:08:38Z

We prove that modules over an Artinian Gorenstein local ring $R$ have rational Poincaré series sharing a common denominator if $R/\soc(R)$ is a Golod ring. If $R$ is a Gorenstein local ring with square of the maximal ideal being generated by at most two elements, we show that modules over $R$ have rational Poincaré series sharing a common denominator. By a result of \c Sega, it follows that $R$ satisfies the Auslander-Reiten conjecture. We provide a different proof of a result of Rossi and \c Sega concerning rationality of Poincaré series of modules over compressed Gorenstein local rings. We also give a new proof of the fact that modules over Gorenstein local rings of codepth at most three have rational Poincaré series sharing a common denominator, which is originally due to Avramov, Kustin and Miller.

Graphs, Axial Algebras and their Automorphism Groups

2026-03-04T08:20:25Z

We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We determine their fusion laws, prove them to be simple in almost all cases, and determine their automorphism group under some conditions on the degrees and girth of the graph. A construction of a class of these graphs with prescribed automorphism group enables us to construct for each group $G$ infinitely many simple (axial) algebras (with a fixed fusion law) such that the automorphism group of the algebra is isomorphic to $G$.

Division properties of commuting polynomials

2026-03-04T06:29:53Z

Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic particularity of the commuting polynomials coming from weighted sums for cycle graphs with pendant edges (arXiv:2402.07209v1.). We also discuss a set of commuting polynomials over a field of positive characteristic.