https://arxiv.org/api/LfpEhQl7GIyNHfivDdpgjCJyRMs 2026-03-22T08:38:40Z 14563 120 15 http://arxiv.org/abs/2603.00886v1 2026-03-01T03:21:25Z

We construct an explicit flat one-parameter family of 22-dimensional Artinian $k$-algebras whose special fibre is the spider algebra $k[x,y,z]/(x^8, y^8, z^8, xy, xz, yz)$ and whose generic fibre is the curvilinear algebra $k[t]/(t^{22})$. The construction uses Möbius generators $u_a = t/(1-at)$ inside the curvilinear ring together with a divided-difference change of coordinates, and produces the family via a weighted Rees degeneration with integer coefficients. This gives an explicit one-parameter family witnessing, for this spider ideal, the general phenomenon proved by Bérczi-Svendsen that every monomial subscheme of $\mathbb{C}^d$ lies in the curvilinear component of the Hilbert scheme of points.

2026-03-01T03:21:25Z 18 pages, Macaulay2 verification script included as ancillary file David Turturean MIT http://arxiv.org/abs/2310.09763v2 2026-02-28T21:08:50Z

The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006). In this new version we have fixed a little typo in Theorem 3.8: the hypothesis seminormal was missing.

2023-10-15T07:28:21Z Theoretical Computer Science, 392, no 1-3, p. 113-127, (2008) Henri Lombardi Claude Quitté 10.1016/j.tcs.2007.10.007 http://arxiv.org/abs/2603.00715v1 2026-02-28T15:40:15Z

This paper is concerned with Turán problems for (alternating) multilinear maps, with the aim of determining the maximum dimension $k$, called the isotropy index, for which every such map has an isotropic subspace of dimension $k$. We extend the formula for the isotropy index of alternating bilinear maps [Buhler, Gupta & Harris, J. Algebra, 1987] to alternating multilinear maps of arbitrary order over algebraically closed fields. In particular, this answers an open question posed in [Qiao, Discrete Anal., 2023]. Moreover, we prove that the same formula holds for sufficiently large finite fields. For multilinear maps, we establish a necessary and sufficient condition for the isotropy index to be at least two. Our results have three implications: (1) For algebraically closed fields, we determine the exact value of the Feldman--Propp number, whose lower bound has been known for over thirty years [Feldman & Propp, Adv. Math., 1992] but whose precise value had remained undetermined. (2) We establish the exact values of both the Turán number and the Gow--Quinlan number for alternating multilinear maps of arbitrary order over algebraically closed fields. Specifically, our result greatly extends the existing formula for the Gow--Quinlan number for alternating bilinear maps [Gow & Quinlan, Linear Multilinear Algebra, 2006]. (3) Bridging the lower bound for the Erdős box problem and tensor analytic rank, we show that there is an obstruction to improving the existing lower bound in [Conlon, Pohoata & Zakharov, Discrete Anal., 2021] via the multilinear method.

2026-02-28T15:40:15Z 16 pages. Comments are very welcome! Qiyuan Chen Zixiang Xu Ke Ye http://arxiv.org/abs/2603.00672v1 2026-02-28T14:26:14Z

Let C be a projective curve defined over a field k and let D be a divisor of C. The Riemann-Roch space L(D) is the set of rational functions on C for which certain zeros are imposed and certain poles are allowed, with some multiplicities determined by D. Riemann-Roch spaces play a fundamental role in algebraic geometry due to the central place of the Riemann-Roch theorem. They have also important applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we believe is the fastest algorithm to date that computes a basis of a Riemann-Roch space for a curve with arbitrary singularities. Our algorithm is deterministic, works over any perfect field k, and works with no assumptions on the support of D.

2026-02-28T14:26:14Z 32 pages Dounia Darkaoui Martin Weimann http://arxiv.org/abs/2502.21020v3 2026-02-28T11:10:06Z

In this survey article we discuss key open problems which could serve as a guidance for further research directions of multiplicative ideal theory and factorization theory.

2025-02-28T13:05:04Z To appear in: The Ideal Theory and Arithmetic of Rings, Monoids, and Semigroups, Contemporary Mathematics 836, 2026 Alfred Geroldinger Hwankoo Kim K. Alan Loper http://arxiv.org/abs/2505.20238v3 2026-02-28T07:23:18Z

We carry on the work started by the author and Bhagwat and develop the theory of root clusters further in this article and also resolve certain problems in related areas. We introduce some new notions as well as recall earlier notions for field extensions over a perfect base field: root cluster size, its generalization root capacity, its dual notion ascending index and its generalization intersection indicium. We establish our results on the Inverse problems for these generalized notions over number fields which generalizes our earlier results. We give a field theoretic formulation for the concept of minimal generating sets of splitting fields which was introduced by the author and Vanchinathan. We present new results as well as generalizations of our earlier results on the cardinalities of minimal generating sets for extensions over number fields. We generalize a result of Drungilas et al. by establishing that a certain family of triplets is compositum feasible over any number field and we also list all the irreducible triplets in this family. We also prove a partial case of a conjecture of Drungilas et al. We also improve on the inverse problems by proving that there exist arbitrarily large finite families of pairwise non-isomorphic extensions having additional properties that satisfy the given conditions. Our methods for all these problems are Galois theoretic in nature and heavily rely on the known cases of the inverse Galois problem.

2025-05-26T17:17:47Z 30 pages. Significant changes made Shubham Jaiswal http://arxiv.org/abs/2602.03947v2 2026-02-28T02:26:02Z

We give a partial characterization for when the difference $e(\mathfrak{q})-\ell_R(R/\mathfrak{q}^F)$ is independent of the choice of parameter ideal $\mathfrak{q}\subseteq R$ in an excellent equidimensional local ring $(R,\mathfrak{m})$ of prime characteristic $p>0$. Here, $\mathfrak{q}^F$ is the Frobenius closure of $\mathfrak{q}$ and $e(\mathfrak{q})$ denotes the Hilbert--Samuel multiplicity of $\mathfrak{q}$. In addition to ideal-theoretic equivalences, our characterization involves the derived category and is motivated by Schenzel's criterion of the Buchsbaum property as well as similar results of Ma-Quy in the setting of tight closure.

2026-02-03T19:11:22Z 21 pages, comments welcome! Kriti Goel Kyle Maddox Lance Edward Miller Pham Hung Quy Austyn Simpson http://arxiv.org/abs/2602.14163v2 2026-02-27T09:14:28Z

We consider the closed neighborhood ideal of square of the path graph and study some of its algebraic and homological invariants. We compute the height, the projective dimension and the Castelnuovo-Mumford regularity. We prove that these ideals are sequentially Cohen-Macaulay and characterize when they are Cohen-Macaulay.

2026-02-15T14:25:55Z Updated bibliography, typos corrected Anda Olteanu Oana Olteanu http://arxiv.org/abs/2405.01497v3 2026-02-27T06:20:25Z

Over a commutative Noetherian ring, we show that the Auslander-Reiten conjecture holds true for the class of (finitely generated) modules whose dual has finite complete intersection dimension. We provide another result that validates the conjecture for the class of modules whose self dual has finite complete intersection dimension and either the module or its dual has finite Gorenstein dimension. Thus we combine and strengthen a number of results in the literature, due to Auslander-Ding-Solberg, Dey-Ghosh and Rubio-Pérez.

2024-05-02T17:27:56Z Revised version Communications in Algebra, (2026), 1-8 Dipankar Ghosh Mouma Samanta 10.1080/00927872.2026.2633268 http://arxiv.org/abs/2602.23450v1 2026-02-26T19:14:16Z

We characterize the variety of compatible fundamental matrix triples by computing its multidegree and multihomogeneous vanishing ideal. This answers the first interesting case of a question recently posed by Bråtelund and Rydell. Our result improves upon previously discovered sets of algebraic constraints in the geometric computer vision literature, which are all incomplete (as they do \emph{not} generate the vanishing ideal) and sometimes make restrictive assumptions about how a matrix triple should be scaled. Our discussion touches more broadly on generalized compatibility varieties, whose multihomogeneous vanishing ideals are much less well understood. One of our key new discoveries is a simple set of quartic constraints vanishing on compatible fundamental matrix triples. These quartics are also significant in the setting of essential matrices: together with some previously known constraints, we show that they locally cut out the variety of compatible essential matrix triples.

2026-02-26T19:14:16Z 17 pages, 2 figures Timothy Duff Viktor Korotynskiy Anton Leykin Tomas Pajdla http://arxiv.org/abs/2302.06290v4 2026-02-26T15:49:36Z

Hahn groups endowed with the canonical valuation play a fundamental role in the classification of valued abelian groups. In this paper we study the group of valuation (respectively order) preserving automorphisms of a Hahn group $G$. Under the assumption that $G$ satisfies some lifting property, we prove a structure theorem decomposing the automorphism group into a semidirect product of two notable subgroups. We characterise a class of Hahn groups satisfying the aforementioned lifting property. For some special cases we provide a matrix description of the automorphism group.

2023-02-13T11:48:08Z 13 pages Salma Kuhlmann Michele Serra http://arxiv.org/abs/2602.22891v1 2026-02-26T11:28:06Z

Given a trivially graded polynomial ring $A=K[a_1,\dots,a_m]$ over a field $K$ and a positively graded polynomial ring $P=A[x_1,\dots,x_k]$, we study graded rings $R=P/I$, where $I$ is a homogeneous ideal in $P$ such that $I\cap A = \{0\}$. The corresponding morphism $Θ: {\rm Spec}(R) \rightarrow {\rm Spec}(A) = \mathbb{A}^m_K$ is used to prove that ${\rm Spec}(R)$ is connected. Then we characterize and compute the following loci in $\mathbb{A}^m_K$: the set ${\rm Sing}_0(Θ)$ of all points such that the corresponding point in the zero section of $Θ$ is singular in ${\rm Spec}(R)$, the set ${\rm Sing}_v(Θ)$ of all points $Γ$ such that the origin of the fiber $F_Γ$ of $Θ$ is singular, and the set ${\rm Sing}_s(Θ)$ of all points $Γ$ such that $\dim({\rm Sing}(F_Γ)) \ge 1$. These results are then used to study MaxDeg border basis schemes, as their coordinate rings are non-negatively graded by the total arrow degree and they have the required structure. In particular, we explicitly determine the singular loci for the $\mathcal{O}$-border basis schemes with $\mathcal{O}=\{1,x,y,z,z^2\}$ and $\mathcal{O} = \{1,x,y,z,yz\}$.

2026-02-26T11:28:06Z 22 pages Martin Kreuzer Lorenzo Robbiano http://arxiv.org/abs/2506.09950v4 2026-02-26T09:04:56Z

The multistep solving strategy consists in a divide-and-conquer approach: when a multivariate polynomial system is computationally infeasible to solve directly, one variable is assigned over the elements of the base finite field, and the procedure is recursively applied to the resulting simplified systems. In a previous work by the same authors (among others), this approach proved effective in the algebraic cryptanalysis of the Trivium cipher. In this paper, we present a new formulation of the corresponding algorithm based on a Depth-First Search strategy, along with a novel complexity analysis leveraging tree structures. We also introduce the notion of an ``oracle function'', which is intended to determine whether evaluating a new variable is required to simplify the current polynomial system. This notion allows us to unify all previously proposed variants of the multistep strategy, including the classical hybrid approach, by appropriately selecting the oracle function. Finally, we employ the multistep solving strategy in the cryptanalysis of the NSA's recently introduced low-latency block cipher Aradi, achieving a first full-round algebraic attack that exposes structural features in its symbolic model.

2025-06-11T17:18:25Z 20 pages. To appear in Advances in Mathematics of Communications Roberto La Scala Sharwan Kumar Tiwari http://arxiv.org/abs/2102.04218v4 2026-02-26T04:59:20Z

Let $(A,\mathfrak m)$ be a Noetherian local ring of dimension $d>0$ with infinite residue field and $I$ an $\mathfrak{m}$-primary ideal. Let $\mathcal I$ be an $I$-good filtration. We study an equality of Hilbert coefficients, first given by Elias and Valla, versus passage of Buchsbaum property from the local ring to the blow-up algebras. Suppose $e_1(\mathcal I)-e_1(Q)=2e_0(\mathcal I)-2\ell(A/I_1)-\ell(I_1/(I_2+Q))$ where $Q\subseteq I$, a minimal reduction of $\mathcal I$, is a standard parameter ideal. Under some mild conditions, we prove that if $A$ is Buchsbaum (generalized Cohen-Macaulay respectively), then the associated graded ring $G(\mathcal I)$ is Buchsbaum (generalized Cohen-Macaulay respectively). Our results settle a question of Corso in general for an $I$-good filtration. Further, let $f_0(I)= e_1(I)-e_0(I)-e_1(Q)+\ell(A/I)+μ(I)-d+1$ and $e_1(I)-e_1(Q)=2e_0(I)-2\ell(A/I)-\ell(I/(I^2+Q))$. We prove, under mild conditions, that (1) if $A$ is generalized Cohen-Macaulay, then the special fiber ring $F_{\mathfrak{m}}(I)$ is generalized Cohen-Macaulay; In addition, if depth of $A$ is positive, then depth of $F_{\mathfrak {m}}(I)$ is same as depth of $A$ and (2) if $A$ is Buchsbaum and depth A$\geq d-1$, then $F_{\mathfrak{m}}(I)$ is Buchsbaum and the $I$-invariant of $F_{\mathfrak{m}}(I)$ is same as that of $A$.

2021-02-08T14:14:36Z In the first version, there were some gaps in the proofs of last section which is fixed in the second version. The statements of results remain same. Comments are welcome Anoot Kumar Yadav Kumari Saloni http://arxiv.org/abs/2602.22191v1 2026-02-25T18:37:28Z

Given an ideal $I$ in a regular local ring $A$, the cohomological dimension of $I$ in $A$ is the index of the highest non-vanishing local cohomology of $A$ supported at $I$. Determining effective upper bounds on the cohomological dimension in terms of topological invariants of $\text{Spec}(A/I)$ is a central problem in commutative algebra. In equal characteristic, Faltings proved in 1980 a general bound on the cohomological dimension of an ideal in terms of its big height. In this article, we extend Faltings' result to the unramified mixed characteristic setting and show that the resulting bound is sharp.

2026-02-25T18:37:28Z 17 pages. Comments are welcome! Manav Batavia