http://arxiv.org/api/xJfEx3U4DwFTpvkg3j5hseOAlqQ 2025-05-01T00:00:00-04:00 13651 255 15 http://arxiv.org/abs/2503.03520v1 2025-03-05T14:05:44Z 2025-03-05T14:05:44Z

In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach with some examples.

Elżbieta Adamus http://arxiv.org/abs/2503.03421v1 2025-03-05T11:48:43Z 2025-03-05T11:48:43Z

In this paper, we study the unit graph $ G(\mathbb{Z}_n) $, where $ n $ is of the form $n = p_1^{n_1} p_2^{n_2} \dots p_r^{n_r}$, with $ p_1, p_2, \dots, p_r $ being distinct prime numbers and $ n_1, n_2, \dots, n_r $ being positive integers. We establish the connectivity of $ G(\mathbb{Z}_n) $, show that its diameter is at most three, and analyze its edge connectivity. Furthermore, we construct $ q $-ary linear codes from the incidence matrix of $ G(\mathbb{Z}_n) $, explicitly determining their parameters and duals. A primary contribution of this work is the resolution of two conjectures from \cite{Jain2023} concerning the structural and coding-theoretic properties of $ G(\mathbb{Z}_n) $. These results extend the study of algebraic graph structures and highlight the interplay between number theory, graph theory, and coding theory.

Apurba Sarkar Kalyan Hansda Makhan Maji http://arxiv.org/abs/2501.17504v2 2025-03-05T10:11:52Z 2025-01-29T09:21:36Z

In this article, we construct a generating set of rational invariants for the action of the orthogonal group $\text{O}(n)$ on the space $\mathbb{R}[x_1,\dots,x_n]_{2d}$ of real homogeneous polynomials of even degree $2d$. This generalizes a paper which addressed the case $n=3$. The main difficult with the generalization lies in a surprising connection to the graph isomorphism problem, a classical problem of computer science.

Henri Breloer Removed redundant and incorrect proof of Lemma 2.3, updated introduction http://arxiv.org/abs/2502.01133v4 2025-03-05T05:03:16Z 2025-02-03T07:59:21Z

For a Cohen--Macaulay positively graded ring $R$, we say that $R$ is pseudo-Gorenstein if its leading coefficient is 1. In this paper, we study the relationship between canonical trace and pseudo-Gorensteinness for a graded ring. In particular, we show that if a nearly Gorenstein graded domain satisfies certain mild assumptions and is pseudo-Gorenstein, then it is necessarily Gorenstein. As an application, we clarify the relationships among nearly Gorensteinness, almost Gorensteinness, and levelness, which generalize the notion of Gorensteinness, in the context of standard graded domains. Moreover, we give a method for constructing quasi-Gorenstein rings by taking a Veronese subalgebra of certain Noetherian graded rings.

Sora Miyashita 10 pages, I have corrected again the reference display error http://arxiv.org/abs/2503.03171v1 2025-03-05T04:26:18Z 2025-03-05T04:26:18Z

We compute the Betti numbers of the edge rings of multi-path graphs using the induced-subgraph method introduced in \cite{WL1}. Here, a multi-path graph refers to a simple graph consisting of two vertices and multiple paths connecting them, which generalizes the complete bipartite graph $K_{2,d}$. Special cases include the graph $G_{r,d}$ introduced in \cite{GHK}, the graph $G_{r,s,d}$ introduced in \cite{NN}, and the graph $B_{\underline{\ell},h}$ introduced in \cite{LZ}.

Zexin Wang Dancheng Lu This is Part II of the split mathematical research (Part I: arXiv:2404.10672), which contains Section 5 of the first version of arxiv:2404.10672. arXiv admin note: substantial text overlap with arXiv:2404.10672 http://arxiv.org/abs/2503.03083v1 2025-03-05T00:45:44Z 2025-03-05T00:45:44Z

In 2017, Ehrenborg, Govindaiah, Park, and Readdy defined the van der Waerden complex ${\tt vdW}(n,k)$ to be the simplicial complex whose facets correspond to all the arithmetic sequences on the set $\{1,\ldots,n\}$ of a fixed length $k$. To complement a classification of the Cohen--Macaulay van der Waerden complexes obtained by Hooper and Van Tuyl in 2019, a classification of van der Waerden complexes with linear resolution is presented. Furthermore, we show that the Stanley--Reisner ring of a Cohen--Macaulay van der Waerden complex is level.

Takayuki Hibi Adam Van Tuyl 5 pages; comments welcomed http://arxiv.org/abs/2503.02830v1 2025-03-04T17:55:37Z 2025-03-04T17:55:37Z

We prove a form of generic local duality that generalizes a result of Karen E. Smith. Specifically, let $R$ be a Noetherian ring, let $P$ be a prime ideal of $R$ of height $h$, let $A:=R/P$, and $W$ be a subset of $R$ that maps onto $A\setminus \{0\}$. Suppose that $R_P$ is Cohen-Macaulay, and that $\omega$ is a finitely generated $R$-module such that $\omega_P$ is a canonical module for $R_P$. Let $E:=H^h_P(\omega)$. We show that for every finitely generated $R$-module $M$ there exists $g \in W$ such that for all $j\geq 0$, $H_P^j(M)_g \cong \mathrm{Hom}_R(\mathrm{Ext}_R^{h-j}(M,\, \omega),\, E)_g$, and that, moreover, every $H_P^j(M)_g$ has an ascending filtration by a countable sequence of finitely generated submodules such that the factors are finitely generated free $A_g$-modules. In fact, this sequence may be taken to be $\{\mathrm{Ann}_{H_P^j(M)_g}P^n\}_n$. We use this result to study the purity exponent for a nonzerodivisor $c$ in a reduced excellent Noetherian ring $R$ of prime characteristic $p$, which is the least $e \in \mathbb{N}$ such that the map $R \to R^{1/p^e}$ with $1 \mapsto c^{1/p^e}$ is pure. In particular, in the case where $R$ is a homomorphic image of an excellent Cohen-Macaulay ring and is S$_2$, we establish an upper semicontinuity result for the function $\mathfrak{e}_c:\mathrm{Spec}(R) \to \mathbb{N}$, where $\mathfrak{e}_c(P)$ is the purity exponent for the image of $c$ in $R_P$. This result enables us to prove that excellent strongly F-regular rings are very strongly F-regular (also called F-pure regular). Another consequence is that the F-pure locus is open in an S$_2$ ring that is a homomorphic image of an excellent Cohen-Macxaulay ring.

Melvin Hochster Yongwei Yao http://arxiv.org/abs/2503.02536v1 2025-03-04T12:03:18Z 2025-03-04T12:03:18Z

An arrangement of hypersurfaces in projective space is SNC if and only if its Euler discriminant is nonzero. We study the critical loci of all Laurent monomials in the equations of the smooth hypersurfaces. These loci form an irreducible variety in the product of two projective spaces, known in algebraic statistics as the likelihood correspondence and in particle physics as the scattering correspondence. We establish an explicit determinantal representation for the bihomogeneous prime ideal of this variety.

Thomas Kahle Hal Schenck Bernd Sturmfels Maximilian Wiesmann 18 pages. Comments are welcome! http://arxiv.org/abs/2502.07483v2 2025-03-04T09:23:43Z 2025-02-11T11:43:02Z

We introduce higher-dimensional module factorizations associated to a regular sequence. They include higher-dimensional matrix factorizations, which are commutative cubes consisting of free modules with edges being classical matrix factorizations. We characterize the stable category of maximal Cohen-Macaulay modules over a complete intersection via higher-dimensional matrix factorizations over the corresponding regular local ring. The result generalizes to noncommutative rings, including quantum complete intersections.

Xiao-Wu Chen Any comments are welcome http://arxiv.org/abs/2404.10672v2 2025-03-04T01:21:37Z 2024-04-16T15:47:46Z

Motivated by the study of square-free Gr{\"o}bner degenerations conducted by Conca and Varbaro in their 2020 paper \cite{CV}, we embark on an investigation of Betti numbers of toric ideals associated with normal edge rings by introducing a novel method. We utilize this method to prove that, for two classes of graphs satisfying the odd-cycle condition, all the Betti numbers (not merely the extremal ones) of the toric ideals of their edge rings, as well as those of certain square-free initial ideals derived from these toric ideals, are identical. As a result, we can completely determine their multi-graded Betti numbers. These classes consist of compact graphs, i.e., the graphs devoid of even cycles and satisfying the odd-cycle condition, and the graphs -- as introduced in \cite{HHKO} -- that possess both even and odd cycles. We speculate this method can be applicable to every normal edge ring.

Zexin Wang Dancheng Lu 31 pages http://arxiv.org/abs/2503.01796v1 2025-03-03T18:24:36Z 2025-03-03T18:24:36Z

We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse \'etale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety are perfections of globally $+$-regular varieties, and hence they are $\varphi$-rational. Our methods apply uniformly to all affine Schubert varieties in equicharacteristic, as well as classical Schubert varieties, thereby answering a question of Bhatt. As a corollary, we deduce that scheme-theoretic local models always have $\varphi$-split special fiber.

Robert Cass João Lourenço 33 pages, comments welcome http://arxiv.org/abs/2503.01752v1 2025-03-03T17:20:47Z 2025-03-03T17:20:47Z

Border basis schemes are open subschemes of the Hilbert scheme of $\mu$ points in an affine space $\mathbb{A}^n$. They have easily describable systems of generators of their vanishing ideals for a natural embedding into a large affine space $\mathbb{A}^{\mu\nu}$. Here we bring together several techniques for re-embedding affine schemes into lower dimensional spaces which we developed in the last years. We study their efficacy for some special types of border basis schemes such as MaxDeg border basis schemes, L-shape and simplicial border basis schemes, as well as planar border basis schemes. A particular care is taken to make these re-embeddings efficiently computable and to check when we actually get an isomorphism with $\mathbb{A}^{n\mu}$, i.e., when the border basis scheme is an affine cell.

Martin Kreuzer Lorenzo Robbiano 30 pages, 12 figures. arXiv admin note: substantial text overlap with arXiv:2207.08115 http://arxiv.org/abs/2503.01647v1 2025-03-03T15:24:06Z 2025-03-03T15:24:06Z

Classical results of Cauchy and Dehn imply that the 1-skeleton of a convex polyhedron $P$ is rigid i.e. every continuous motion of the vertices of $P$ in $\mathbb R^3$ which preserves its edge lengths results in a polyhedron which is congruent to $P$. This result was extended to convex poytopes in $\mathbb R^d$ for all $d\geq 3$ by Whiteley, and to generic realisations of 1-skeletons of simplicial $(d-1)$-manifolds in $\mathbb R^{d}$ by Kalai for $d\geq 4$ and Fogelsanger for $d\geq 3$. We will generalise Kalai's result by showing that, for all $d\geq 4$ and any fixed $1\leq k\leq d-3$, every generic realisation of the $k$-skeleton of a simplicial $(d-1)$-manifold in $\mathbb R^{d}$ is volume rigid, i.e. every continuous motion of its vertices in $\mathbb R^d$ which preserves the volumes of its $k$-faces results in a congruent realisation. In addition, we conjecture that our result remains true for $k=d-2$ and verify this conjecture when $d=4,5,6$.

James Cruickshank Bill Jackson Shin-ichi Tanigawa 18 pages http://arxiv.org/abs/2503.01640v1 2025-03-03T15:19:27Z 2025-03-03T15:19:27Z

We study certain properties of modules over 1-dimensional local integral domains. First, we examine the order of the conductor ideal and its expected relationship with multiplicity. Next, we investigate the reflexivity of certain colength-two ideals. Finally, we consider the freeness problem of the absolute integral closure of a DVR, and connect this to the reflexivity problem of $R^{\frac{1}{p^n}}$.

Mohsen Asgharzadeh http://arxiv.org/abs/2409.06025v2 2025-03-03T10:39:00Z 2024-09-09T19:27:14Z

We give a self-contained classification of $1_*$-generic minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$. Together with previous results, this gives a classification of all minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$: there are $107$ isomorphism classes (only $37$ up to permuting factors). We fully describe possible degenerations among the tensors. We prove that there are no $1$-degenerate minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m $ for $m \leq 4$.

Jakub Jagiełła Joachim Jelisiejew v2, minor changes, added isomorphism types without permuting factors